diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-06 06:29:50 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-10-06 06:29:50 -0400 |
commit | e9c62c5187350066ef80d993805d9b8c19d53a9c (patch) | |
tree | 2d6a6c302adc870e2e79d254b9a2758b7cfffd1e /src/Specific/IntegrationTestKaratsubaMulDisplay.log | |
parent | d0eebcdaac9e9b48fa3c94c3595fc3fd41257d63 (diff) |
Fix display log
Diffstat (limited to 'src/Specific/IntegrationTestKaratsubaMulDisplay.log')
-rw-r--r-- | src/Specific/IntegrationTestKaratsubaMulDisplay.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/IntegrationTestKaratsubaMulDisplay.log b/src/Specific/IntegrationTestKaratsubaMulDisplay.log index e57c7dbc5..17db6102d 100644 --- a/src/Specific/IntegrationTestKaratsubaMulDisplay.log +++ b/src/Specific/IntegrationTestKaratsubaMulDisplay.log @@ -20,7 +20,7 @@ Interp-η uint64_t x47 = (uint64_t) x42 & 0xffffffffffffff; uint64_t x48 = (uint64_t) (x35 >> 0x38); uint64_t x49 = (uint64_t) x35 & 0xffffffffffffff; - uint128_t x50 = (uint128_t) (Const 72057594037927936) * x48 + x49; + uint128_t x50 = (uint128_t) 0x100000000000000 * x48 + x49; uint64_t x51 = (uint64_t) (x50 >> 0x38); uint64_t x52 = (uint64_t) x50 & 0xffffffffffffff; uint128_t x53 = x45 + x51; @@ -47,7 +47,7 @@ Interp-η uint64_t x74 = x69 + x52; uint64_t x75 = x74 >> 0x38; uint64_t x76 = x74 & 0xffffffffffffff; - uint64_t x77 = Const 72057594037927936 * x75 + x76; + uint64_t x77 = 0x100000000000000 * x75 + x76; uint64_t x78 = x77 >> 0x38; uint64_t x79 = x77 & 0xffffffffffffff; uint64_t x80 = x72 + x58 + x78; |