diff options
Diffstat (limited to 'src/Specific/solinas64_2e468m17/femulDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e468m17/femulDisplay.log | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Specific/solinas64_2e468m17/femulDisplay.log b/src/Specific/solinas64_2e468m17/femulDisplay.log index 2c0aac97c..0b24105fb 100644 --- a/src/Specific/solinas64_2e468m17/femulDisplay.log +++ b/src/Specific/solinas64_2e468m17/femulDisplay.log @@ -28,12 +28,12 @@ Interp-η uint128_t x55 = (x54 >> 0x3a); uint64_t x56 = ((uint64_t)x54 & 0x3ffffffffffffff); uint128_t x57 = (x55 + x33); - uint64_t x58 = (uint64_t) (x57 >> 0x3b); + uint128_t x58 = (x57 >> 0x3b); uint64_t x59 = ((uint64_t)x57 & 0x7ffffffffffffff); uint128_t x60 = (x58 + x32); - uint64_t x61 = (uint64_t) (x60 >> 0x3a); + uint128_t x61 = (x60 >> 0x3a); uint64_t x62 = ((uint64_t)x60 & 0x3ffffffffffffff); - uint128_t x63 = (x41 + ((uint128_t)0x11 * x61)); + uint128_t x63 = (x41 + (0x11 * x61)); uint64_t x64 = (uint64_t) (x63 >> 0x3b); uint64_t x65 = ((uint64_t)x63 & 0x7ffffffffffffff); uint64_t x66 = (x64 + x44); |