From bf2559ee7b93652914b98f4fd4707c89a4ec4236 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 31 Oct 2017 00:33:59 -0400 Subject: Update display logs --- src/Specific/solinas64_2e468m17/femulDisplay.log | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Specific/solinas64_2e468m17/femulDisplay.log') 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); -- cgit v1.2.3