aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/montgomery32_2e389m21/feadd.c
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-11-10 18:13:59 -0500
committerGravatar Jason Gross <jgross@mit.edu>2017-11-10 18:13:59 -0500
commit1e5b0a76fadd9255a0ead47d1327c628160b01bd (patch)
tree52c1b30c660dfb0c30f329295b7b46b712b88bb8 /src/Specific/montgomery32_2e389m21/feadd.c
parent6a335b31b69443cfe8ee46308eb94b299929c983 (diff)
Update display logs and c files
Diffstat (limited to 'src/Specific/montgomery32_2e389m21/feadd.c')
-rw-r--r--src/Specific/montgomery32_2e389m21/feadd.c26
1 files changed, 13 insertions, 13 deletions
diff --git a/src/Specific/montgomery32_2e389m21/feadd.c b/src/Specific/montgomery32_2e389m21/feadd.c
index f84bbc134..ac55d2332 100644
--- a/src/Specific/montgomery32_2e389m21/feadd.c
+++ b/src/Specific/montgomery32_2e389m21/feadd.c
@@ -52,19 +52,19 @@ static void feadd(uint32_t out[13], const uint32_t in1[13], const uint32_t in2[1
{ uint32_t x125; uint8_t x126 = _subborrow_u32(x123, x86, 0xffffffff, &x125);
{ uint32_t x128; uint8_t x129 = _subborrow_u32(x126, x89, 0x1f, &x128);
{ uint32_t _; uint8_t x132 = _subborrow_u32(x129, x90, 0x0, &_);
- { uint32_t x133 = cmovznz(x132, x128, x89);
- { uint32_t x134 = cmovznz(x132, x125, x86);
- { uint32_t x135 = cmovznz(x132, x122, x83);
- { uint32_t x136 = cmovznz(x132, x119, x80);
- { uint32_t x137 = cmovznz(x132, x116, x77);
- { uint32_t x138 = cmovznz(x132, x113, x74);
- { uint32_t x139 = cmovznz(x132, x110, x71);
- { uint32_t x140 = cmovznz(x132, x107, x68);
- { uint32_t x141 = cmovznz(x132, x104, x65);
- { uint32_t x142 = cmovznz(x132, x101, x62);
- { uint32_t x143 = cmovznz(x132, x98, x59);
- { uint32_t x144 = cmovznz(x132, x95, x56);
- { uint32_t x145 = cmovznz(x132, x92, x53);
+ { uint32_t x133 = cmovznz32(x132, x128, x89);
+ { uint32_t x134 = cmovznz32(x132, x125, x86);
+ { uint32_t x135 = cmovznz32(x132, x122, x83);
+ { uint32_t x136 = cmovznz32(x132, x119, x80);
+ { uint32_t x137 = cmovznz32(x132, x116, x77);
+ { uint32_t x138 = cmovznz32(x132, x113, x74);
+ { uint32_t x139 = cmovznz32(x132, x110, x71);
+ { uint32_t x140 = cmovznz32(x132, x107, x68);
+ { uint32_t x141 = cmovznz32(x132, x104, x65);
+ { uint32_t x142 = cmovznz32(x132, x101, x62);
+ { uint32_t x143 = cmovznz32(x132, x98, x59);
+ { uint32_t x144 = cmovznz32(x132, x95, x56);
+ { uint32_t x145 = cmovznz32(x132, x92, x53);
out[0] = x145;
out[1] = x144;
out[2] = x143;