diff options
Diffstat (limited to 'src/Specific/montgomery64_2e198m17/femulDisplay.log')
| -rw-r--r-- | src/Specific/montgomery64_2e198m17/femulDisplay.log | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Specific/montgomery64_2e198m17/femulDisplay.log b/src/Specific/montgomery64_2e198m17/femulDisplay.log index 4583d57ac..3092c8b9a 100644 --- a/src/Specific/montgomery64_2e198m17/femulDisplay.log +++ b/src/Specific/montgomery64_2e198m17/femulDisplay.log @@ -14,7 +14,7 @@ Interp-η uint64_t x44, uint64_t x45 = mulx_u64(x41, 0xffffffffffffffefL); uint64_t x47, uint64_t x48 = mulx_u64(x41, 0xffffffffffffffffL); uint64_t x50, uint64_t x51 = mulx_u64(x41, 0xffffffffffffffffL); - uint64_t x53, uint8_t x54 = (uint8_t)mulx_u64(x41, 0x3f); + uint64_t x53, uint8_t x54 = mulx_u64_out_u8(x41, 0x3f); uint64_t x56, uint8_t x57 = addcarryx_u64(0x0, x45, x47); uint64_t x59, uint8_t x60 = addcarryx_u64(x57, x48, x50); uint64_t x62, uint8_t x63 = addcarryx_u64(x60, x51, x53); @@ -41,7 +41,7 @@ Interp-η uint64_t x123, uint64_t x124 = mulx_u64(x120, 0xffffffffffffffefL); uint64_t x126, uint64_t x127 = mulx_u64(x120, 0xffffffffffffffffL); uint64_t x129, uint64_t x130 = mulx_u64(x120, 0xffffffffffffffffL); - uint64_t x132, uint8_t x133 = (uint8_t)mulx_u64(x120, 0x3f); + uint64_t x132, uint8_t x133 = mulx_u64_out_u8(x120, 0x3f); uint64_t x135, uint8_t x136 = addcarryx_u64(0x0, x124, x126); uint64_t x138, uint8_t x139 = addcarryx_u64(x136, x127, x129); uint64_t x141, uint8_t x142 = addcarryx_u64(x139, x130, x132); @@ -69,7 +69,7 @@ Interp-η uint64_t x203, uint64_t x204 = mulx_u64(x200, 0xffffffffffffffefL); uint64_t x206, uint64_t x207 = mulx_u64(x200, 0xffffffffffffffffL); uint64_t x209, uint64_t x210 = mulx_u64(x200, 0xffffffffffffffffL); - uint64_t x212, uint8_t x213 = (uint8_t)mulx_u64(x200, 0x3f); + uint64_t x212, uint8_t x213 = mulx_u64_out_u8(x200, 0x3f); uint64_t x215, uint8_t x216 = addcarryx_u64(0x0, x204, x206); uint64_t x218, uint8_t x219 = addcarryx_u64(x216, x207, x209); uint64_t x221, uint8_t x222 = addcarryx_u64(x219, x210, x212); @@ -97,7 +97,7 @@ Interp-η uint64_t x283, uint64_t x284 = mulx_u64(x280, 0xffffffffffffffefL); uint64_t x286, uint64_t x287 = mulx_u64(x280, 0xffffffffffffffffL); uint64_t x289, uint64_t x290 = mulx_u64(x280, 0xffffffffffffffffL); - uint64_t x292, uint8_t x293 = (uint8_t)mulx_u64(x280, 0x3f); + uint64_t x292, uint8_t x293 = mulx_u64_out_u8(x280, 0x3f); uint64_t x295, uint8_t x296 = addcarryx_u64(0x0, x284, x286); uint64_t x298, uint8_t x299 = addcarryx_u64(x296, x287, x289); uint64_t x301, uint8_t x302 = addcarryx_u64(x299, x290, x292); |