diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-03 03:56:01 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-03 03:56:01 -0400 |
| commit | bc3d738aa9c66bf09fc5eb9196c2ac103977c164 (patch) | |
| tree | a002cfb03494a2544c337c145152c6022eaa3a05 /src/Specific/solinas32_2e256m88x2e240m1 | |
| parent | 6a9e218f46d0e038695a5610ce2be28800a847aa (diff) | |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas32_2e256m88x2e240m1')
| -rw-r--r-- | src/Specific/solinas32_2e256m88x2e240m1/fesub.c | 2 | ||||
| -rw-r--r-- | src/Specific/solinas32_2e256m88x2e240m1/fesubDisplay.log | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas32_2e256m88x2e240m1/fesub.c b/src/Specific/solinas32_2e256m88x2e240m1/fesub.c index f8919aeb3..d558e4f5f 100644 --- a/src/Specific/solinas32_2e256m88x2e240m1/fesub.c +++ b/src/Specific/solinas32_2e256m88x2e240m1/fesub.c @@ -34,6 +34,6 @@ static void fesub(uint32_t out[12], const uint32_t in1[12], const uint32_t in2[1 out[8] = ((0x3ffffe + x21) - x43); out[9] = ((0x7ffffe + x23) - x45); out[10] = ((0x3ffffe + x25) - x47); - out[11] = ((Const 4188670 + x24) - x46); + out[11] = ((0x3fe9fe + x24) - x46); }}}}}}}}}}}}}}}}}}}}}}}} } diff --git a/src/Specific/solinas32_2e256m88x2e240m1/fesubDisplay.log b/src/Specific/solinas32_2e256m88x2e240m1/fesubDisplay.log index 9390a43a9..ee2d3691b 100644 --- a/src/Specific/solinas32_2e256m88x2e240m1/fesubDisplay.log +++ b/src/Specific/solinas32_2e256m88x2e240m1/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x24, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x46, x47, x45, x43, x41, x39, x37, x35, x33, x31, x29, x27))%core, - (((Const 4188670 + x24) - x46), ((0x3ffffe + x25) - x47), ((0x7ffffe + x23) - x45), ((0x3ffffe + x21) - x43), ((0x3ffffe + x19) - x41), ((0x7ffffe + x17) - x39), ((0x3ffffe + x15) - x37), ((0x3ffffe + x13) - x35), ((0x7ffffe + x11) - x33), ((0x3ffffe + x9) - x31), ((0x3ffffe + x7) - x29), ((0x7ffffe + x5) - x27))) + (((0x3fe9fe + x24) - x46), ((0x3ffffe + x25) - x47), ((0x7ffffe + x23) - x45), ((0x3ffffe + x21) - x43), ((0x3ffffe + x19) - x41), ((0x7ffffe + x17) - x39), ((0x3ffffe + x15) - x37), ((0x3ffffe + x13) - x35), ((0x7ffffe + x11) - x33), ((0x3ffffe + x9) - x31), ((0x3ffffe + x7) - x29), ((0x7ffffe + x5) - x27))) (x, x0)%core : word32 * word32 * word32 * word32 * 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 * uint32_t * uint32_t) |