diff options
Diffstat (limited to 'src/Specific/solinas32_2e243m9_10limbs')
4 files changed, 6 insertions, 6 deletions
diff --git a/src/Specific/solinas32_2e243m9_10limbs/fesub.c b/src/Specific/solinas32_2e243m9_10limbs/fesub.c index 30eb3c31b..92263253e 100644 --- a/src/Specific/solinas32_2e243m9_10limbs/fesub.c +++ b/src/Specific/solinas32_2e243m9_10limbs/fesub.c @@ -19,7 +19,7 @@ static void fesub(uint32_t out[10], const uint32_t in1[10], const uint32_t in2[1 { const uint32_t x27 = in2[2]; { const uint32_t x25 = in2[1]; { const uint32_t x23 = in2[0]; - out[0] = ((Const 67108846 + x5) - x23); + out[0] = ((0x3ffffee + x5) - x23); out[1] = ((0x1fffffe + x7) - x25); out[2] = ((0x1fffffe + x9) - x27); out[3] = ((0x3fffffe + x11) - x29); diff --git a/src/Specific/solinas32_2e243m9_10limbs/fesubDisplay.log b/src/Specific/solinas32_2e243m9_10limbs/fesubDisplay.log index 21a468f87..41d34ad20 100644 --- a/src/Specific/solinas32_2e243m9_10limbs/fesubDisplay.log +++ b/src/Specific/solinas32_2e243m9_10limbs/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x20, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x38, x39, x37, x35, x33, x31, x29, x27, x25, x23))%core, - (((0x1fffffe + x20) - x38), ((0x1fffffe + x21) - x39), ((0x1fffffe + x19) - x37), ((0x3fffffe + x17) - x35), ((0x1fffffe + x15) - x33), ((0x1fffffe + x13) - x31), ((0x3fffffe + x11) - x29), ((0x1fffffe + x9) - x27), ((0x1fffffe + x7) - x25), ((Const 67108846 + x5) - x23))) + (((0x1fffffe + x20) - x38), ((0x1fffffe + x21) - x39), ((0x1fffffe + x19) - x37), ((0x3fffffe + x17) - x35), ((0x1fffffe + x15) - x33), ((0x1fffffe + x13) - x31), ((0x3fffffe + x11) - x29), ((0x1fffffe + x9) - x27), ((0x1fffffe + x7) - x25), ((0x3ffffee + x5) - x23))) (x, x0)%core : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) diff --git a/src/Specific/solinas32_2e243m9_10limbs/freeze.c b/src/Specific/solinas32_2e243m9_10limbs/freeze.c index b2de4baef..72b42ea89 100644 --- a/src/Specific/solinas32_2e243m9_10limbs/freeze.c +++ b/src/Specific/solinas32_2e243m9_10limbs/freeze.c @@ -9,7 +9,7 @@ static void freeze(uint32_t out[10], const uint32_t in1[10]) { { const uint32_t x6 = in1[2]; { const uint32_t x4 = in1[1]; { const uint32_t x2 = in1[0]; - { uint32_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 33554423); + { uint32_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x1fffff7); { uint32_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x21, Return x4, 0xffffff); { uint32_t x26, uint8_t x27 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x24, Return x6, 0xffffff); { uint32_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x27, Return x8, 0x1ffffff); @@ -20,7 +20,7 @@ static void freeze(uint32_t out[10], const uint32_t in1[10]) { { uint32_t x44, uint8_t x45 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x42, Return x18, 0xffffff); { uint32_t x47, uint8_t x48 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x45, Return x17, 0xffffff); { uint32_t x49 = cmovznz32(x48, 0x0, 0xffffffff); - { uint32_t x50 = (x49 & Const 33554423); + { uint32_t x50 = (x49 & 0x1fffff7); { uint32_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x20, Return x50); { uint32_t x54 = (x49 & 0xffffff); { uint32_t x56, uint8_t x57 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x23, Return x54); diff --git a/src/Specific/solinas32_2e243m9_10limbs/freezeDisplay.log b/src/Specific/solinas32_2e243m9_10limbs/freezeDisplay.log index f31a1a4e1..30c174644 100644 --- a/src/Specific/solinas32_2e243m9_10limbs/freezeDisplay.log +++ b/src/Specific/solinas32_2e243m9_10limbs/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x17, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 33554423); + uint32_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x1fffff7); uint32_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x21, Return x4, 0xffffff); uint32_t x26, uint8_t x27 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x24, Return x6, 0xffffff); uint32_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x27, Return x8, 0x1ffffff); @@ -13,7 +13,7 @@ Interp-η uint32_t x44, uint8_t x45 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x42, Return x18, 0xffffff); uint32_t x47, uint8_t x48 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x45, Return x17, 0xffffff); uint32_t x49 = cmovznz32(x48, 0x0, 0xffffffff); - uint32_t x50 = (x49 & Const 33554423); + uint32_t x50 = (x49 & 0x1fffff7); uint32_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x20, Return x50); uint32_t x54 = (x49 & 0xffffff); uint32_t x56, uint8_t x57 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x23, Return x54); |