diff options
Diffstat (limited to 'src/Specific/solinas32_2e158m15/fesquareDisplay.log')
| -rw-r--r-- | src/Specific/solinas32_2e158m15/fesquareDisplay.log | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Specific/solinas32_2e158m15/fesquareDisplay.log b/src/Specific/solinas32_2e158m15/fesquareDisplay.log index cf502782c..c77e995f1 100644 --- a/src/Specific/solinas32_2e158m15/fesquareDisplay.log +++ b/src/Specific/solinas32_2e158m15/fesquareDisplay.log @@ -17,15 +17,15 @@ Interp-η uint64_t x23 = (x22 >> 0x1a); uint32_t x24 = ((uint32_t)x22 & 0x3ffffff); uint64_t x25 = (x23 + x13); - uint32_t x26 = (uint32_t) (x25 >> 0x1b); + uint64_t x26 = (x25 >> 0x1b); uint32_t x27 = ((uint32_t)x25 & 0x7ffffff); uint64_t x28 = (x26 + x12); - uint32_t x29 = (uint32_t) (x28 >> 0x1a); + uint64_t x29 = (x28 >> 0x1a); uint32_t x30 = ((uint32_t)x28 & 0x3ffffff); uint64_t x31 = (x29 + x11); - uint32_t x32 = (uint32_t) (x31 >> 0x1a); + uint64_t x32 = (x31 >> 0x1a); uint32_t x33 = ((uint32_t)x31 & 0x3ffffff); - uint64_t x34 = (x18 + ((uint64_t)0xf * x32)); + uint64_t x34 = (x18 + (0xf * x32)); uint32_t x35 = (uint32_t) (x34 >> 0x1b); uint32_t x36 = ((uint32_t)x34 & 0x7ffffff); uint32_t x37 = (x35 + x21); |