diff options
Diffstat (limited to 'src/Specific/solinas32_2e226m5/femulDisplay.log')
| -rw-r--r-- | src/Specific/solinas32_2e226m5/femulDisplay.log | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/Specific/solinas32_2e226m5/femulDisplay.log b/src/Specific/solinas32_2e226m5/femulDisplay.log index d0e7f1344..c4796c2c6 100644 --- a/src/Specific/solinas32_2e226m5/femulDisplay.log +++ b/src/Specific/solinas32_2e226m5/femulDisplay.log @@ -5,25 +5,25 @@ Interp-η uint64_t x32 = (((uint64_t)x5 * x30) + ((0x2 * ((uint64_t)x7 * x31)) + ((0x2 * ((uint64_t)x9 * x29)) + (((uint64_t)x11 * x27) + (((uint64_t)x13 * x25) + ((0x2 * ((uint64_t)x15 * x23)) + ((0x2 * ((uint64_t)x17 * x21)) + ((uint64_t)x16 * x19)))))))); uint64_t x33 = ((((uint64_t)x5 * x31) + ((0x2 * ((uint64_t)x7 * x29)) + (((uint64_t)x9 * x27) + (((uint64_t)x11 * x25) + (((uint64_t)x13 * x23) + ((0x2 * ((uint64_t)x15 * x21)) + ((uint64_t)x17 * x19))))))) + (0x5 * ((uint64_t)x16 * x30))); uint64_t x34 = ((((uint64_t)x5 * x29) + (((uint64_t)x7 * x27) + (((uint64_t)x9 * x25) + (((uint64_t)x11 * x23) + (((uint64_t)x13 * x21) + ((uint64_t)x15 * x19)))))) + (0x5 * (((uint64_t)x17 * x30) + ((uint64_t)x16 * x31)))); - uint64_t x35 = ((((uint64_t)x5 * x27) + ((0x2 * ((uint64_t)x7 * x25)) + ((0x2 * ((uint64_t)x9 * x23)) + ((0x2 * ((uint64_t)x11 * x21)) + ((uint64_t)x13 * x19))))) + (0x5 * ((0x2 * ((uint64_t)x15 * x30)) + ((0x2 * ((uint64_t)x17 * x31)) + (0x2 * ((uint64_t)x16 * x29)))))); - uint64_t x36 = ((((uint64_t)x5 * x25) + ((0x2 * ((uint64_t)x7 * x23)) + ((0x2 * ((uint64_t)x9 * x21)) + ((uint64_t)x11 * x19)))) + (0x5 * (((uint64_t)x13 * x30) + ((0x2 * ((uint64_t)x15 * x31)) + ((0x2 * ((uint64_t)x17 * x29)) + ((uint64_t)x16 * x27)))))); - uint64_t x37 = ((((uint64_t)x5 * x23) + ((0x2 * ((uint64_t)x7 * x21)) + ((uint64_t)x9 * x19))) + (0x5 * (((uint64_t)x11 * x30) + (((uint64_t)x13 * x31) + ((0x2 * ((uint64_t)x15 * x29)) + (((uint64_t)x17 * x27) + ((uint64_t)x16 * x25))))))); - uint64_t x38 = ((((uint64_t)x5 * x21) + ((uint64_t)x7 * x19)) + (0x5 * (((uint64_t)x9 * x30) + (((uint64_t)x11 * x31) + (((uint64_t)x13 * x29) + (((uint64_t)x15 * x27) + (((uint64_t)x17 * x25) + ((uint64_t)x16 * x23)))))))); - uint64_t x39 = (((uint64_t)x5 * x19) + (0x5 * ((0x2 * ((uint64_t)x7 * x30)) + ((0x2 * ((uint64_t)x9 * x31)) + ((0x2 * ((uint64_t)x11 * x29)) + (((uint64_t)x13 * x27) + ((0x2 * ((uint64_t)x15 * x25)) + ((0x2 * ((uint64_t)x17 * x23)) + (0x2 * ((uint64_t)x16 * x21)))))))))); + ℤ x35 = ((((uint64_t)x5 * x27) + ((0x2 * ((uint64_t)x7 * x25)) + ((0x2 * ((uint64_t)x9 * x23)) + ((0x2 * ((uint64_t)x11 * x21)) + ((uint64_t)x13 * x19))))) +ℤ (0x5 *ℤ ((0x2 * ((uint64_t)x15 * x30)) + ((0x2 * ((uint64_t)x17 * x31)) + (0x2 * ((uint64_t)x16 * x29)))))); + ℤ x36 = ((((uint64_t)x5 * x25) + ((0x2 * ((uint64_t)x7 * x23)) + ((0x2 * ((uint64_t)x9 * x21)) + ((uint64_t)x11 * x19)))) +ℤ (0x5 *ℤ (((uint64_t)x13 * x30) + ((0x2 * ((uint64_t)x15 * x31)) + ((0x2 * ((uint64_t)x17 * x29)) + ((uint64_t)x16 * x27)))))); + ℤ x37 = ((((uint64_t)x5 * x23) + ((0x2 * ((uint64_t)x7 * x21)) + ((uint64_t)x9 * x19))) +ℤ (0x5 *ℤ (((uint64_t)x11 * x30) + (((uint64_t)x13 * x31) + ((0x2 * ((uint64_t)x15 * x29)) + (((uint64_t)x17 * x27) + ((uint64_t)x16 * x25))))))); + ℤ x38 = ((((uint64_t)x5 * x21) + ((uint64_t)x7 * x19)) +ℤ (0x5 *ℤ (((uint64_t)x9 * x30) + (((uint64_t)x11 * x31) + (((uint64_t)x13 * x29) + (((uint64_t)x15 * x27) + (((uint64_t)x17 * x25) + ((uint64_t)x16 * x23)))))))); + ℤ x39 = (((uint64_t)x5 * x19) +ℤ (0x5 *ℤ ((0x2 * ((uint64_t)x7 * x30)) + ((0x2 * ((uint64_t)x9 * x31)) + ((0x2 * ((uint64_t)x11 * x29)) + (((uint64_t)x13 * x27) + ((0x2 * ((uint64_t)x15 * x25)) + ((0x2 * ((uint64_t)x17 * x23)) + (0x2 * ((uint64_t)x16 * x21)))))))))); uint64_t x40 = (x39 >> 0x1d); - uint32_t x41 = ((uint32_t)x39 & 0x1fffffff); - uint64_t x42 = (x40 + x38); + uint32_t x41 = (x39 & 0x1fffffff); + ℤ x42 = (x40 +ℤ x38); uint64_t x43 = (x42 >> 0x1c); - uint32_t x44 = ((uint32_t)x42 & 0xfffffff); - uint64_t x45 = (x43 + x37); + uint32_t x44 = (x42 & 0xfffffff); + ℤ x45 = (x43 +ℤ x37); uint64_t x46 = (x45 >> 0x1c); - uint32_t x47 = ((uint32_t)x45 & 0xfffffff); - uint64_t x48 = (x46 + x36); + uint32_t x47 = (x45 & 0xfffffff); + ℤ x48 = (x46 +ℤ x36); uint64_t x49 = (x48 >> 0x1c); - uint32_t x50 = ((uint32_t)x48 & 0xfffffff); - uint64_t x51 = (x49 + x35); + uint32_t x50 = (x48 & 0xfffffff); + ℤ x51 = (x49 +ℤ x35); uint64_t x52 = (x51 >> 0x1d); - uint32_t x53 = ((uint32_t)x51 & 0x1fffffff); + uint32_t x53 = (x51 & 0x1fffffff); uint64_t x54 = (x52 + x34); uint64_t x55 = (x54 >> 0x1c); uint32_t x56 = ((uint32_t)x54 & 0xfffffff); |