diff options
Diffstat (limited to 'src/Specific/solinas64_2e450m2e225m1/femulDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e450m2e225m1/femulDisplay.log | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/Specific/solinas64_2e450m2e225m1/femulDisplay.log b/src/Specific/solinas64_2e450m2e225m1/femulDisplay.log index 70250e4ef..6b97da104 100644 --- a/src/Specific/solinas64_2e450m2e225m1/femulDisplay.log +++ b/src/Specific/solinas64_2e450m2e225m1/femulDisplay.log @@ -18,10 +18,10 @@ Interp-η uint128_t x45 = ((((uint128_t)x5 * x19) + ((uint128_t)x13 * x27)) + x34); uint64_t x46 = (uint64_t) (x42 >> 0x38); uint64_t x47 = ((uint64_t)x42 & 0xffffffffffffff); - uint64_t x48 = (uint64_t) (x35 >> 0x38); + uint128_t x48 = (x35 >> 0x38); uint64_t x49 = ((uint64_t)x35 & 0xffffffffffffff); - uint128_t x50 = (((uint128_t)0x100000000000000 * x48) + x49); - uint64_t x51 = (uint64_t) (x50 >> 0x38); + uint128_t x50 = ((0x100000000000000 * x48) + x49); + uint128_t x51 = (x50 >> 0x38); uint64_t x52 = ((uint64_t)x50 & 0xffffffffffffff); uint128_t x53 = ((x46 + x41) + x51); uint64_t x54 = (uint64_t) (x53 >> 0x39); @@ -36,20 +36,20 @@ Interp-η uint64_t x63 = (uint64_t) (x62 >> 0x38); uint64_t x64 = ((uint64_t)x62 & 0xffffffffffffff); uint128_t x65 = (x60 + x39); - uint64_t x66 = (uint64_t) (x65 >> 0x38); + uint128_t x66 = (x65 >> 0x38); uint64_t x67 = ((uint64_t)x65 & 0xffffffffffffff); uint128_t x68 = (x63 + x43); uint64_t x69 = (uint64_t) (x68 >> 0x38); uint64_t x70 = ((uint64_t)x68 & 0xffffffffffffff); - uint64_t x71 = (x66 + x52); - uint64_t x72 = (x71 >> 0x38); - uint64_t x73 = (x71 & 0xffffffffffffff); + uint128_t x71 = (x66 + x52); + uint64_t x72 = (uint64_t) (x71 >> 0x38); + uint64_t x73 = ((uint64_t)x71 & 0xffffffffffffff); uint64_t x74 = (x69 + x47); uint64_t x75 = (x74 >> 0x38); uint64_t x76 = (x74 & 0xffffffffffffff); - uint64_t x77 = ((0x100000000000000 * x72) + x73); - uint64_t x78 = (x77 >> 0x38); - uint64_t x79 = (x77 & 0xffffffffffffff); + uint128_t x77 = (((uint128_t)0x100000000000000 * x72) + x73); + uint64_t x78 = (uint64_t) (x77 >> 0x38); + uint64_t x79 = ((uint64_t)x77 & 0xffffffffffffff); uint64_t x80 = ((x75 + x55) + x78); uint64_t x81 = (x80 >> 0x39); uint64_t x82 = (x80 & 0x1ffffffffffffff); |