diff options
Diffstat (limited to 'src/Specific/solinas64_2e480m2e240m1/femulDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e480m2e240m1/femulDisplay.log | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/Specific/solinas64_2e480m2e240m1/femulDisplay.log b/src/Specific/solinas64_2e480m2e240m1/femulDisplay.log index 53996de7f..3b4d06e2c 100644 --- a/src/Specific/solinas64_2e480m2e240m1/femulDisplay.log +++ b/src/Specific/solinas64_2e480m2e240m1/femulDisplay.log @@ -16,37 +16,37 @@ Interp-η uint128_t x43 = (((((uint128_t)x5 * x23) + (((uint128_t)x7 * x21) + ((uint128_t)x9 * x19))) + (((uint128_t)x13 * x31) + (((uint128_t)x15 * x29) + ((uint128_t)x17 * x27)))) + x32); uint128_t x44 = (((((uint128_t)x5 * x21) + ((uint128_t)x7 * x19)) + (((uint128_t)x13 * x29) + ((uint128_t)x15 * x27))) + x33); uint128_t x45 = ((((uint128_t)x5 * x19) + ((uint128_t)x13 * x27)) + x34); - uint64_t x46 = (uint64_t) (x42 >> 0x3c); + uint128_t x46 = (x42 >> 0x3c); uint64_t x47 = ((uint64_t)x42 & 0xfffffffffffffff); - uint64_t x48 = (uint64_t) (x35 >> 0x3c); + uint128_t x48 = (x35 >> 0x3c); uint64_t x49 = ((uint64_t)x35 & 0xfffffffffffffff); - uint128_t x50 = (((uint128_t)0x1000000000000000 * x48) + x49); - uint64_t x51 = (uint64_t) (x50 >> 0x3c); + uint128_t x50 = ((0x1000000000000000 * x48) + x49); + uint128_t x51 = (x50 >> 0x3c); uint64_t x52 = ((uint64_t)x50 & 0xfffffffffffffff); uint128_t x53 = ((x46 + x41) + x51); uint128_t x54 = (x53 >> 0x3c); uint64_t x55 = ((uint64_t)x53 & 0xfffffffffffffff); uint128_t x56 = (x45 + x51); - uint64_t x57 = (uint64_t) (x56 >> 0x3c); + uint128_t x57 = (x56 >> 0x3c); uint64_t x58 = ((uint64_t)x56 & 0xfffffffffffffff); uint128_t x59 = (x54 + x40); uint128_t x60 = (x59 >> 0x3c); uint64_t x61 = ((uint64_t)x59 & 0xfffffffffffffff); uint128_t x62 = (x57 + x44); - uint64_t x63 = (uint64_t) (x62 >> 0x3c); + uint128_t x63 = (x62 >> 0x3c); uint64_t x64 = ((uint64_t)x62 & 0xfffffffffffffff); uint128_t x65 = (x60 + x39); uint128_t x66 = (x65 >> 0x3c); uint64_t x67 = ((uint64_t)x65 & 0xfffffffffffffff); uint128_t x68 = (x63 + x43); - uint64_t x69 = (uint64_t) (x68 >> 0x3c); + uint128_t x69 = (x68 >> 0x3c); uint64_t x70 = ((uint64_t)x68 & 0xfffffffffffffff); uint128_t x71 = (x66 + x52); uint64_t x72 = (uint64_t) (x71 >> 0x3c); uint64_t x73 = ((uint64_t)x71 & 0xfffffffffffffff); - uint64_t x74 = (x69 + x47); - uint64_t x75 = (x74 >> 0x3c); - uint64_t x76 = (x74 & 0xfffffffffffffff); + uint128_t x74 = (x69 + x47); + uint64_t x75 = (uint64_t) (x74 >> 0x3c); + uint64_t x76 = ((uint64_t)x74 & 0xfffffffffffffff); uint128_t x77 = (((uint128_t)0x1000000000000000 * x72) + x73); uint64_t x78 = (uint64_t) (x77 >> 0x3c); uint64_t x79 = ((uint64_t)x77 & 0xfffffffffffffff); |