diff options
Diffstat (limited to 'src/Specific/solinas64_2e512m569_11limbs')
4 files changed, 6 insertions, 6 deletions
diff --git a/src/Specific/solinas64_2e512m569_11limbs/fesub.c b/src/Specific/solinas64_2e512m569_11limbs/fesub.c index e9802695a..3c79a27f2 100644 --- a/src/Specific/solinas64_2e512m569_11limbs/fesub.c +++ b/src/Specific/solinas64_2e512m569_11limbs/fesub.c @@ -21,7 +21,7 @@ static void fesub(uint64_t out[11], const uint64_t in1[11], const uint64_t in2[1 { const uint64_t x29 = in2[2]; { const uint64_t x27 = in2[1]; { const uint64_t x25 = in2[0]; - out[0] = ((Const 281474976709518 + x5) - x25); + out[0] = ((0xfffffffffb8e + x5) - x25); out[1] = ((0xfffffffffffe + x7) - x27); out[2] = ((0x7ffffffffffe + x9) - x29); out[3] = ((0xfffffffffffe + x11) - x31); diff --git a/src/Specific/solinas64_2e512m569_11limbs/fesubDisplay.log b/src/Specific/solinas64_2e512m569_11limbs/fesubDisplay.log index 8a21bad67..f633a819e 100644 --- a/src/Specific/solinas64_2e512m569_11limbs/fesubDisplay.log +++ b/src/Specific/solinas64_2e512m569_11limbs/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x22, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x42, x43, x41, x39, x37, x35, x33, x31, x29, x27, x25))%core, - (((0x7ffffffffffe + x22) - x42), ((0xfffffffffffe + x23) - x43), ((0x7ffffffffffe + x21) - x41), ((0xfffffffffffe + x19) - x39), ((0x7ffffffffffe + x17) - x37), ((0xfffffffffffe + x15) - x35), ((0x7ffffffffffe + x13) - x33), ((0xfffffffffffe + x11) - x31), ((0x7ffffffffffe + x9) - x29), ((0xfffffffffffe + x7) - x27), ((Const 281474976709518 + x5) - x25))) + (((0x7ffffffffffe + x22) - x42), ((0xfffffffffffe + x23) - x43), ((0x7ffffffffffe + x21) - x41), ((0xfffffffffffe + x19) - x39), ((0x7ffffffffffe + x17) - x37), ((0xfffffffffffe + x15) - x35), ((0x7ffffffffffe + x13) - x33), ((0xfffffffffffe + x11) - x31), ((0x7ffffffffffe + x9) - x29), ((0xfffffffffffe + x7) - x27), ((0xfffffffffb8e + x5) - x25))) (x, x0)%core : word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/solinas64_2e512m569_11limbs/freeze.c b/src/Specific/solinas64_2e512m569_11limbs/freeze.c index d5152bc48..93398b96f 100644 --- a/src/Specific/solinas64_2e512m569_11limbs/freeze.c +++ b/src/Specific/solinas64_2e512m569_11limbs/freeze.c @@ -10,7 +10,7 @@ static void freeze(uint64_t out[11], const uint64_t in1[11]) { { const uint64_t x6 = in1[2]; { const uint64_t x4 = in1[1]; { const uint64_t x2 = in1[0]; - { uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 140737488354759); + { uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffffffffdc7); { uint64_t x25, uint8_t x26 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x23, Return x4, 0x7fffffffffff); { uint64_t x28, uint8_t x29 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x26, Return x6, 0x3fffffffffff); { uint64_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x29, Return x8, 0x7fffffffffff); @@ -22,7 +22,7 @@ static void freeze(uint64_t out[11], const uint64_t in1[11]) { { uint64_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x47, Return x20, 0x7fffffffffff); { uint64_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x50, Return x19, 0x3fffffffffff); { uint64_t x54 = cmovznz64(x53, 0x0, 0xffffffffffffffffL); - { uint64_t x55 = (x54 & Const 140737488354759); + { uint64_t x55 = (x54 & 0x7ffffffffdc7); { uint64_t x57, uint8_t x58 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x22, Return x55); { uint64_t x59 = (x54 & 0x7fffffffffff); { uint64_t x61, uint8_t x62 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x58, Return x25, Return x59); diff --git a/src/Specific/solinas64_2e512m569_11limbs/freezeDisplay.log b/src/Specific/solinas64_2e512m569_11limbs/freezeDisplay.log index ab21ebb2e..17917382a 100644 --- a/src/Specific/solinas64_2e512m569_11limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e512m569_11limbs/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x19, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 140737488354759); + uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffffffffdc7); uint64_t x25, uint8_t x26 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x23, Return x4, 0x7fffffffffff); uint64_t x28, uint8_t x29 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x26, Return x6, 0x3fffffffffff); uint64_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x29, Return x8, 0x7fffffffffff); @@ -14,7 +14,7 @@ Interp-η uint64_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x47, Return x20, 0x7fffffffffff); uint64_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x50, Return x19, 0x3fffffffffff); uint64_t x54 = cmovznz64(x53, 0x0, 0xffffffffffffffffL); - uint64_t x55 = (x54 & Const 140737488354759); + uint64_t x55 = (x54 & 0x7ffffffffdc7); uint64_t x57, uint8_t x58 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x22, Return x55); uint64_t x59 = (x54 & 0x7fffffffffff); uint64_t x61, uint8_t x62 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x58, Return x25, Return x59); |