X-Git-Url: https://www.bearssl.org/gitweb//home/git/?p=BearSSL;a=blobdiff_plain;f=src%2Fint%2Fi31_montmul.c;h=b953aa3f42d514da680b825b826cb432785e8b74;hp=0857797708307932d9f0f3600285c55dda062581;hb=28e4e120b84dacdf53963639f1a8a6fec2793662;hpb=6dd8c51ba7e8ca106ede7ff58b5c507042bbf6eb

diff --git a/src/int/i31_montmul.c b/src/int/i31_montmul.c
index 0857797..b953aa3 100644
--- a/src/int/i31_montmul.c
+++ b/src/int/i31_montmul.c
@@ -41,7 +41,7 @@ br_i31_montymul(uint32_t *d, const uint32_t *x, const uint32_t *y,
 		uint64_t r, zh;
 
 		xu = x[u + 1];
-		f = ((d[1] + x[u + 1] * y[1]) * m0i) & 0x7FFFFFFF;
+		f = MUL31_lo((d[1] + MUL31_lo(x[u + 1], y[1])), m0i);
 
 		r = 0;
 		for (v = 0; v < len4; v += 4) {