diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-01 22:04:36 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-01 22:04:36 -0400 |
| commit | 2b98dde130bbf2b5dc8cd45492cdb81e8f70d730 (patch) | |
| tree | edcf6441d7222e9c33958e61bc9ae1bd8250a4c6 /src/Specific/solinas32_2e198m17/fesquareDisplay.log | |
| parent | 85e8e6c92ec2d9d5f565353707711eeccecb8b8e (diff) | |
Update display logs
Diffstat (limited to 'src/Specific/solinas32_2e198m17/fesquareDisplay.log')
| -rw-r--r-- | src/Specific/solinas32_2e198m17/fesquareDisplay.log | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Specific/solinas32_2e198m17/fesquareDisplay.log b/src/Specific/solinas32_2e198m17/fesquareDisplay.log index b44db0c16..3b0ec9b78 100644 --- a/src/Specific/solinas32_2e198m17/fesquareDisplay.log +++ b/src/Specific/solinas32_2e198m17/fesquareDisplay.log @@ -11,13 +11,13 @@ Interp-η uint64_t x23 = ((((uint64_t)x2 * x6) + (((uint64_t)x4 * x4) + ((uint64_t)x6 * x2))) + (0x11 * (((uint64_t)x8 * x15) + (((uint64_t)x10 * x16) + (((uint64_t)x12 * x14) + (((uint64_t)x14 * x12) + (((uint64_t)x16 * x10) + ((uint64_t)x15 * x8)))))))); uint64_t x24 = ((((uint64_t)x2 * x4) + ((uint64_t)x4 * x2)) + (0x11 * (((uint64_t)x6 * x15) + (((uint64_t)x8 * x16) + (((uint64_t)x10 * x14) + (((uint64_t)x12 * x12) + (((uint64_t)x14 * x10) + (((uint64_t)x16 * x8) + ((uint64_t)x15 * x6))))))))); uint64_t x25 = (((uint64_t)x2 * x2) + (0x11 * (((uint64_t)x4 * x15) + (((uint64_t)x6 * x16) + (((uint64_t)x8 * x14) + (((uint64_t)x10 * x12) + (((uint64_t)x12 * x10) + (((uint64_t)x14 * x8) + (((uint64_t)x16 * x6) + ((uint64_t)x15 * x4)))))))))); - uint32_t x26 = (uint32_t) (x25 >> 0x16); + uint64_t x26 = (x25 >> 0x16); uint32_t x27 = ((uint32_t)x25 & 0x3fffff); uint64_t x28 = (x26 + x24); - uint32_t x29 = (uint32_t) (x28 >> 0x16); + uint64_t x29 = (x28 >> 0x16); uint32_t x30 = ((uint32_t)x28 & 0x3fffff); uint64_t x31 = (x29 + x23); - uint32_t x32 = (uint32_t) (x31 >> 0x16); + uint64_t x32 = (x31 >> 0x16); uint32_t x33 = ((uint32_t)x31 & 0x3fffff); uint64_t x34 = (x32 + x22); uint32_t x35 = (uint32_t) (x34 >> 0x16); @@ -37,9 +37,9 @@ Interp-η uint64_t x49 = (x47 + x17); uint32_t x50 = (uint32_t) (x49 >> 0x16); uint32_t x51 = ((uint32_t)x49 & 0x3fffff); - uint32_t x52 = (x27 + (0x11 * x50)); - uint32_t x53 = (x52 >> 0x16); - uint32_t x54 = (x52 & 0x3fffff); + uint64_t x52 = (x27 + ((uint64_t)0x11 * x50)); + uint32_t x53 = (uint32_t) (x52 >> 0x16); + uint32_t x54 = ((uint32_t)x52 & 0x3fffff); uint32_t x55 = (x53 + x30); uint32_t x56 = (x55 >> 0x16); uint32_t x57 = (x55 & 0x3fffff); |