diff options
Diffstat (limited to 'src/Specific/montgomery32_2e511m481/feadd.c')
| -rw-r--r-- | src/Specific/montgomery32_2e511m481/feadd.c | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/src/Specific/montgomery32_2e511m481/feadd.c b/src/Specific/montgomery32_2e511m481/feadd.c index a15361b34..17497e041 100644 --- a/src/Specific/montgomery32_2e511m481/feadd.c +++ b/src/Specific/montgomery32_2e511m481/feadd.c @@ -64,22 +64,22 @@ static void feadd(uint32_t out[16], const uint32_t in1[16], const uint32_t in2[1 { uint32_t x155; uint8_t x156 = _subborrow_u32(x153, x107, 0xffffffff, &x155); { uint32_t x158; uint8_t x159 = _subborrow_u32(x156, x110, 0x7fffffff, &x158); { uint32_t _; uint8_t x162 = _subborrow_u32(x159, x111, 0x0, &_); - { uint32_t x163 = cmovznz(x162, x158, x110); - { uint32_t x164 = cmovznz(x162, x155, x107); - { uint32_t x165 = cmovznz(x162, x152, x104); - { uint32_t x166 = cmovznz(x162, x149, x101); - { uint32_t x167 = cmovznz(x162, x146, x98); - { uint32_t x168 = cmovznz(x162, x143, x95); - { uint32_t x169 = cmovznz(x162, x140, x92); - { uint32_t x170 = cmovznz(x162, x137, x89); - { uint32_t x171 = cmovznz(x162, x134, x86); - { uint32_t x172 = cmovznz(x162, x131, x83); - { uint32_t x173 = cmovznz(x162, x128, x80); - { uint32_t x174 = cmovznz(x162, x125, x77); - { uint32_t x175 = cmovznz(x162, x122, x74); - { uint32_t x176 = cmovznz(x162, x119, x71); - { uint32_t x177 = cmovznz(x162, x116, x68); - { uint32_t x178 = cmovznz(x162, x113, x65); + { uint32_t x163 = cmovznz32(x162, x158, x110); + { uint32_t x164 = cmovznz32(x162, x155, x107); + { uint32_t x165 = cmovznz32(x162, x152, x104); + { uint32_t x166 = cmovznz32(x162, x149, x101); + { uint32_t x167 = cmovznz32(x162, x146, x98); + { uint32_t x168 = cmovznz32(x162, x143, x95); + { uint32_t x169 = cmovznz32(x162, x140, x92); + { uint32_t x170 = cmovznz32(x162, x137, x89); + { uint32_t x171 = cmovznz32(x162, x134, x86); + { uint32_t x172 = cmovznz32(x162, x131, x83); + { uint32_t x173 = cmovznz32(x162, x128, x80); + { uint32_t x174 = cmovznz32(x162, x125, x77); + { uint32_t x175 = cmovznz32(x162, x122, x74); + { uint32_t x176 = cmovznz32(x162, x119, x71); + { uint32_t x177 = cmovznz32(x162, x116, x68); + { uint32_t x178 = cmovznz32(x162, x113, x65); out[0] = x178; out[1] = x177; out[2] = x176; |