diff options
Diffstat (limited to 'src/Specific/montgomery64_2e256m88x2e240m1')
8 files changed, 20 insertions, 20 deletions
diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/feadd.c b/src/Specific/montgomery64_2e256m88x2e240m1/feadd.c index b14154459..bc65ab093 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/feadd.c +++ b/src/Specific/montgomery64_2e256m88x2e240m1/feadd.c @@ -16,10 +16,10 @@ static void feadd(uint64_t out[4], const uint64_t in1[4], const uint64_t in2[4]) { uint64_t x35; uint8_t x36 = _subborrow_u64(x33, x23, 0xffffffffffffffffL, &x35); { uint64_t x38; uint8_t x39 = _subborrow_u64(x36, x26, 0xffa7ffffffffffffL, &x38); { uint64_t _; uint8_t x42 = _subborrow_u64(x39, x27, 0x0, &_); - { uint64_t x43 = cmovznz(x42, x38, x26); - { uint64_t x44 = cmovznz(x42, x35, x23); - { uint64_t x45 = cmovznz(x42, x32, x20); - { uint64_t x46 = cmovznz(x42, x29, x17); + { uint64_t x43 = cmovznz64(x42, x38, x26); + { uint64_t x44 = cmovznz64(x42, x35, x23); + { uint64_t x45 = cmovznz64(x42, x32, x20); + { uint64_t x46 = cmovznz64(x42, x29, x17); out[0] = x46; out[1] = x45; out[2] = x44; diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/feaddDisplay.log b/src/Specific/montgomery64_2e256m88x2e240m1/feaddDisplay.log index 7c4667cc4..81d0d6f63 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/feaddDisplay.log +++ b/src/Specific/montgomery64_2e256m88x2e240m1/feaddDisplay.log @@ -11,10 +11,10 @@ Interp-η uint64_t x35, uint8_t x36 = subborrow_u64(x33, x23, 0xffffffffffffffffL); uint64_t x38, uint8_t x39 = subborrow_u64(x36, x26, 0xffa7ffffffffffffL); uint64_t _, uint8_t x42 = subborrow_u64(x39, x27, 0x0); - uint64_t x43 = cmovznz(x42, x38, x26); - uint64_t x44 = cmovznz(x42, x35, x23); - uint64_t x45 = cmovznz(x42, x32, x20); - uint64_t x46 = cmovznz(x42, x29, x17); + uint64_t x43 = cmovznz64(x42, x38, x26); + uint64_t x44 = cmovznz64(x42, x35, x23); + uint64_t x45 = cmovznz64(x42, x32, x20); + uint64_t x46 = cmovznz64(x42, x29, x17); return (x43, x44, x45, x46)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/femul.c b/src/Specific/montgomery64_2e256m88x2e240m1/femul.c index 20f63131b..82b06c926 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/femul.c +++ b/src/Specific/montgomery64_2e256m88x2e240m1/femul.c @@ -114,10 +114,10 @@ static void femul(uint64_t out[4], const uint64_t in1[4], const uint64_t in2[4]) { uint64_t x323; uint8_t x324 = _subborrow_u64(x321, x310, 0xffffffffffffffffL, &x323); { uint64_t x326; uint8_t x327 = _subborrow_u64(x324, x313, 0xffa7ffffffffffffL, &x326); { uint64_t _; uint8_t x330 = _subborrow_u64(x327, x315, 0x0, &_); - { uint64_t x331 = cmovznz(x330, x326, x313); - { uint64_t x332 = cmovznz(x330, x323, x310); - { uint64_t x333 = cmovznz(x330, x320, x307); - { uint64_t x334 = cmovznz(x330, x317, x304); + { uint64_t x331 = cmovznz64(x330, x326, x313); + { uint64_t x332 = cmovznz64(x330, x323, x310); + { uint64_t x333 = cmovznz64(x330, x320, x307); + { uint64_t x334 = cmovznz64(x330, x317, x304); out[0] = x334; out[1] = x333; out[2] = x332; diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/femulDisplay.log b/src/Specific/montgomery64_2e256m88x2e240m1/femulDisplay.log index 19f8879e3..aff28190a 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/femulDisplay.log +++ b/src/Specific/montgomery64_2e256m88x2e240m1/femulDisplay.log @@ -109,10 +109,10 @@ Interp-η uint64_t x323, uint8_t x324 = subborrow_u64(x321, x310, 0xffffffffffffffffL); uint64_t x326, uint8_t x327 = subborrow_u64(x324, x313, 0xffa7ffffffffffffL); uint64_t _, uint8_t x330 = subborrow_u64(x327, x315, 0x0); - uint64_t x331 = cmovznz(x330, x326, x313); - uint64_t x332 = cmovznz(x330, x323, x310); - uint64_t x333 = cmovznz(x330, x320, x307); - uint64_t x334 = cmovznz(x330, x317, x304); + uint64_t x331 = cmovznz64(x330, x326, x313); + uint64_t x332 = cmovznz64(x330, x323, x310); + uint64_t x333 = cmovznz64(x330, x320, x307); + uint64_t x334 = cmovznz64(x330, x317, x304); return (x331, x332, x333, x334)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/feopp.c b/src/Specific/montgomery64_2e256m88x2e240m1/feopp.c index f8f941e71..80cc7ff84 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/feopp.c +++ b/src/Specific/montgomery64_2e256m88x2e240m1/feopp.c @@ -7,7 +7,7 @@ static void feopp(uint64_t out[4], const uint64_t in1[4]) { { uint64_t x11; uint8_t x12 = _subborrow_u64(x9, 0x0, x4, &x11); { uint64_t x14; uint8_t x15 = _subborrow_u64(x12, 0x0, x6, &x14); { uint64_t x17; uint8_t x18 = _subborrow_u64(x15, 0x0, x5, &x17); - { uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL); + { uint64_t x19 = cmovznz64(x18, 0x0, 0xffffffffffffffffL); { uint64_t x20 = (x19 & 0xffffffffffffffffL); { uint64_t x22; uint8_t x23 = _addcarryx_u64(0x0, x8, x20, &x22); { uint64_t x24 = (x19 & 0xffffffffffffffffL); diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/feoppDisplay.log b/src/Specific/montgomery64_2e256m88x2e240m1/feoppDisplay.log index b8ce976a0..216af93d4 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/feoppDisplay.log +++ b/src/Specific/montgomery64_2e256m88x2e240m1/feoppDisplay.log @@ -6,7 +6,7 @@ Interp-η uint64_t x11, uint8_t x12 = subborrow_u64(x9, 0x0, x4); uint64_t x14, uint8_t x15 = subborrow_u64(x12, 0x0, x6); uint64_t x17, uint8_t x18 = subborrow_u64(x15, 0x0, x5); - uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL); + uint64_t x19 = cmovznz64(x18, 0x0, 0xffffffffffffffffL); uint64_t x20 = (x19 & 0xffffffffffffffffL); uint64_t x22, uint8_t x23 = addcarryx_u64(0x0, x8, x20); uint64_t x24 = (x19 & 0xffffffffffffffffL); diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/fesub.c b/src/Specific/montgomery64_2e256m88x2e240m1/fesub.c index 73f919d5d..974f1cf0d 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/fesub.c +++ b/src/Specific/montgomery64_2e256m88x2e240m1/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint64_t out[4], const uint64_t in1[4], const uint64_t in2[4]) { uint64_t x20; uint8_t x21 = _subborrow_u64(x18, x7, x13, &x20); { uint64_t x23; uint8_t x24 = _subborrow_u64(x21, x9, x15, &x23); { uint64_t x26; uint8_t x27 = _subborrow_u64(x24, x8, x14, &x26); - { uint64_t x28 = (uint64_t)cmovznz(x27, 0x0, 0xffffffffffffffffL); + { uint64_t x28 = cmovznz64(x27, 0x0, 0xffffffffffffffffL); { uint64_t x29 = (x28 & 0xffffffffffffffffL); { uint64_t x31; uint8_t x32 = _addcarryx_u64(0x0, x17, x29, &x31); { uint64_t x33 = (x28 & 0xffffffffffffffffL); diff --git a/src/Specific/montgomery64_2e256m88x2e240m1/fesubDisplay.log b/src/Specific/montgomery64_2e256m88x2e240m1/fesubDisplay.log index c8cfb7a24..bf22dbebe 100644 --- a/src/Specific/montgomery64_2e256m88x2e240m1/fesubDisplay.log +++ b/src/Specific/montgomery64_2e256m88x2e240m1/fesubDisplay.log @@ -6,7 +6,7 @@ Interp-η uint64_t x20, uint8_t x21 = subborrow_u64(x18, x7, x13); uint64_t x23, uint8_t x24 = subborrow_u64(x21, x9, x15); uint64_t x26, uint8_t x27 = subborrow_u64(x24, x8, x14); - uint64_t x28 = (uint64_t)cmovznz(x27, 0x0, 0xffffffffffffffffL); + uint64_t x28 = cmovznz64(x27, 0x0, 0xffffffffffffffffL); uint64_t x29 = (x28 & 0xffffffffffffffffL); uint64_t x31, uint8_t x32 = addcarryx_u64(0x0, x17, x29); uint64_t x33 = (x28 & 0xffffffffffffffffL); |