diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-12 21:04:21 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-12 21:04:21 -0500 |
commit | 87f39543ffd547772d6f31d313ae64be50fe3515 (patch) | |
tree | 6be2757afc450cd4586b30aa31045f441e019eca /src/Specific/solinas64_2e158m15_3limbs | |
parent | c3279e03ecac28252d8b3aaed9af876bf8e8e55f (diff) |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e158m15_3limbs')
4 files changed, 6 insertions, 6 deletions
diff --git a/src/Specific/solinas64_2e158m15_3limbs/fesub.c b/src/Specific/solinas64_2e158m15_3limbs/fesub.c index efaadd2d5..54d3f502f 100644 --- a/src/Specific/solinas64_2e158m15_3limbs/fesub.c +++ b/src/Specific/solinas64_2e158m15_3limbs/fesub.c @@ -5,7 +5,7 @@ static void fesub(uint64_t out[3], const uint64_t in1[3], const uint64_t in2[3]) { const uint64_t x10 = in2[2]; { const uint64_t x11 = in2[1]; { const uint64_t x9 = in2[0]; - out[0] = ((Const 18014398509481954 + x5) - x9); + out[0] = ((0x3fffffffffffe2 + x5) - x9); out[1] = ((0x3ffffffffffffe + x7) - x11); out[2] = ((0x1ffffffffffffe + x6) - x10); }}}}}} diff --git a/src/Specific/solinas64_2e158m15_3limbs/fesubDisplay.log b/src/Specific/solinas64_2e158m15_3limbs/fesubDisplay.log index fb27cdf38..05695579b 100644 --- a/src/Specific/solinas64_2e158m15_3limbs/fesubDisplay.log +++ b/src/Specific/solinas64_2e158m15_3limbs/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x6, x7, x5, (x10, x11, x9))%core, - (((0x1ffffffffffffe + x6) - x10), ((0x3ffffffffffffe + x7) - x11), ((Const 18014398509481954 + x5) - x9))) + (((0x1ffffffffffffe + x6) - x10), ((0x3ffffffffffffe + x7) - x11), ((0x3fffffffffffe2 + x5) - x9))) (x, x0)%core : word64 * word64 * word64 → word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/solinas64_2e158m15_3limbs/freeze.c b/src/Specific/solinas64_2e158m15_3limbs/freeze.c index 4f1832611..d6722b135 100644 --- a/src/Specific/solinas64_2e158m15_3limbs/freeze.c +++ b/src/Specific/solinas64_2e158m15_3limbs/freeze.c @@ -2,11 +2,11 @@ static void freeze(uint64_t out[3], const uint64_t in1[3]) { { const uint64_t x3 = in1[2]; { const uint64_t x4 = in1[1]; { const uint64_t x2 = in1[0]; - { uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 9007199254740977); + { uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x1ffffffffffff1); { uint64_t x9, uint8_t x10 = Op (Syntax.SubWithGetBorrow 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x7, Return x4, 0x1fffffffffffff); { uint64_t x12, uint8_t x13 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x10, Return x3, 0xfffffffffffff); { uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL); - { uint64_t x15 = (x14 & Const 9007199254740977); + { uint64_t x15 = (x14 & 0x1ffffffffffff1); { uint64_t x17, uint8_t x18 = Op (Syntax.AddWithGetCarry 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x6, Return x15); { uint64_t x19 = (x14 & 0x1fffffffffffff); { uint64_t x21, uint8_t x22 = Op (Syntax.AddWithGetCarry 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x9, Return x19); diff --git a/src/Specific/solinas64_2e158m15_3limbs/freezeDisplay.log b/src/Specific/solinas64_2e158m15_3limbs/freezeDisplay.log index 96c79d283..4345bf25c 100644 --- a/src/Specific/solinas64_2e158m15_3limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e158m15_3limbs/freezeDisplay.log @@ -2,11 +2,11 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x3, x4, x2)%core, - uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 9007199254740977); + uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x1ffffffffffff1); uint64_t x9, uint8_t x10 = Op (Syntax.SubWithGetBorrow 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x7, Return x4, 0x1fffffffffffff); uint64_t x12, uint8_t x13 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x10, Return x3, 0xfffffffffffff); uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL); - uint64_t x15 = (x14 & Const 9007199254740977); + uint64_t x15 = (x14 & 0x1ffffffffffff1); uint64_t x17, uint8_t x18 = Op (Syntax.AddWithGetCarry 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x6, Return x15); uint64_t x19 = (x14 & 0x1fffffffffffff); uint64_t x21, uint8_t x22 = Op (Syntax.AddWithGetCarry 53 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x9, Return x19); |