From b671976eb2364b6d41cc3e450c2570558a0161ec Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 12 Nov 2017 23:35:43 -0500 Subject: Update display logs and c files --- .../fesquareDisplay.log | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'src/Specific/solinas64_2e256m4294968273_9limbs/fesquareDisplay.log') diff --git a/src/Specific/solinas64_2e256m4294968273_9limbs/fesquareDisplay.log b/src/Specific/solinas64_2e256m4294968273_9limbs/fesquareDisplay.log index fe0537158..cbf6a50da 100644 --- a/src/Specific/solinas64_2e256m4294968273_9limbs/fesquareDisplay.log +++ b/src/Specific/solinas64_2e256m4294968273_9limbs/fesquareDisplay.log @@ -3,14 +3,14 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x15, x16, x14, x12, x10, x8, x6, x4, x2)%core, uint128_t x17 = ((uint128_t)(x2 * x15) + ((0x2 * (x4 * x16)) + ((x6 * x14) + ((0x2 * (x8 * x12)) + ((x10 * x10) + ((0x2 * (x12 * x8)) + ((x14 * x6) + ((0x2 * (x16 * x4)) + (x15 * x2))))))))); - uint128_t x18 = (((x2 * x16) + ((x4 * x14) + ((x6 * x12) + ((x8 * x10) + ((x10 * x8) + ((x12 * x6) + ((x14 * x4) + (x16 * x2)))))))) + ((uint128_t)(Const 4294968273) * (x15 * x15))); - uint128_t x19 = (((x2 * x14) + ((0x2 * (x4 * x12)) + ((x6 * x10) + ((0x2 * (x8 * x8)) + ((x10 * x6) + ((0x2 * (x12 * x4)) + (x14 * x2))))))) + ((uint128_t)(Const 4294968273) * ((0x2 * (x16 * x15)) + (0x2 * (x15 * x16))))); - uint128_t x20 = (((x2 * x12) + ((x4 * x10) + ((x6 * x8) + ((x8 * x6) + ((x10 * x4) + (x12 * x2)))))) + ((uint128_t)(Const 4294968273) * ((x14 * x15) + ((0x2 * (x16 * x16)) + (x15 * x14))))); - uint128_t x21 = (((x2 * x10) + ((0x2 * (x4 * x8)) + ((x6 * x6) + ((0x2 * (x8 * x4)) + (x10 * x2))))) + ((uint128_t)(Const 4294968273) * ((0x2 * (x12 * x15)) + ((0x2 * (x14 * x16)) + ((0x2 * (x16 * x14)) + (0x2 * (x15 * x12))))))); - uint128_t x22 = (((x2 * x8) + ((x4 * x6) + ((x6 * x4) + (x8 * x2)))) + ((uint128_t)(Const 4294968273) * ((x10 * x15) + ((0x2 * (x12 * x16)) + ((x14 * x14) + ((0x2 * (x16 * x12)) + (x15 * x10))))))); - uint128_t x23 = (((x2 * x6) + ((0x2 * (x4 * x4)) + (x6 * x2))) + ((uint128_t)(Const 4294968273) * ((0x2 * (x8 * x15)) + ((0x2 * (x10 * x16)) + ((0x2 * (x12 * x14)) + ((0x2 * (x14 * x12)) + ((0x2 * (x16 * x10)) + (0x2 * (x15 * x8))))))))); - uint128_t x24 = (((x2 * x4) + (x4 * x2)) + ((uint128_t)(Const 4294968273) * ((x6 * x15) + ((0x2 * (x8 * x16)) + ((x10 * x14) + ((0x2 * (x12 * x12)) + ((x14 * x10) + ((0x2 * (x16 * x8)) + (x15 * x6))))))))); - uint128_t x25 = ((x2 * x2) + (Const 4294968273 * ((0x2 * (x4 * x15)) + ((uint128_t)(0x2 * (x6 * x16)) + ((0x2 * (x8 * x14)) + ((0x2 * (x10 * x12)) + ((0x2 * (x12 * x10)) + ((0x2 * (x14 * x8)) + ((0x2 * (x16 * x6)) + (0x2 * (x15 * x4))))))))))); + uint128_t x18 = (((x2 * x16) + ((x4 * x14) + ((x6 * x12) + ((x8 * x10) + ((x10 * x8) + ((x12 * x6) + ((x14 * x4) + (x16 * x2)))))))) + ((uint128_t)0x1000003d1 * (x15 * x15))); + uint128_t x19 = (((x2 * x14) + ((0x2 * (x4 * x12)) + ((x6 * x10) + ((0x2 * (x8 * x8)) + ((x10 * x6) + ((0x2 * (x12 * x4)) + (x14 * x2))))))) + ((uint128_t)0x1000003d1 * ((0x2 * (x16 * x15)) + (0x2 * (x15 * x16))))); + uint128_t x20 = (((x2 * x12) + ((x4 * x10) + ((x6 * x8) + ((x8 * x6) + ((x10 * x4) + (x12 * x2)))))) + ((uint128_t)0x1000003d1 * ((x14 * x15) + ((0x2 * (x16 * x16)) + (x15 * x14))))); + uint128_t x21 = (((x2 * x10) + ((0x2 * (x4 * x8)) + ((x6 * x6) + ((0x2 * (x8 * x4)) + (x10 * x2))))) + ((uint128_t)0x1000003d1 * ((0x2 * (x12 * x15)) + ((0x2 * (x14 * x16)) + ((0x2 * (x16 * x14)) + (0x2 * (x15 * x12))))))); + uint128_t x22 = (((x2 * x8) + ((x4 * x6) + ((x6 * x4) + (x8 * x2)))) + ((uint128_t)0x1000003d1 * ((x10 * x15) + ((0x2 * (x12 * x16)) + ((x14 * x14) + ((0x2 * (x16 * x12)) + (x15 * x10))))))); + uint128_t x23 = (((x2 * x6) + ((0x2 * (x4 * x4)) + (x6 * x2))) + ((uint128_t)0x1000003d1 * ((0x2 * (x8 * x15)) + ((0x2 * (x10 * x16)) + ((0x2 * (x12 * x14)) + ((0x2 * (x14 * x12)) + ((0x2 * (x16 * x10)) + (0x2 * (x15 * x8))))))))); + uint128_t x24 = (((x2 * x4) + (x4 * x2)) + ((uint128_t)0x1000003d1 * ((x6 * x15) + ((0x2 * (x8 * x16)) + ((x10 * x14) + ((0x2 * (x12 * x12)) + ((x14 * x10) + ((0x2 * (x16 * x8)) + (x15 * x6))))))))); + uint128_t x25 = ((x2 * x2) + (0x1000003d1 * ((0x2 * (x4 * x15)) + ((uint128_t)(0x2 * (x6 * x16)) + ((0x2 * (x8 * x14)) + ((0x2 * (x10 * x12)) + ((0x2 * (x12 * x10)) + ((0x2 * (x14 * x8)) + ((0x2 * (x16 * x6)) + (0x2 * (x15 * x4))))))))))); uint128_t x26 = (x25 >> 0x1d); uint64_t x27 = ((uint64_t)x25 & 0x1fffffff); uint128_t x28 = (x26 + x24); @@ -37,7 +37,7 @@ Interp-η uint128_t x49 = (x47 + x17); uint64_t x50 = (uint64_t) (x49 >> 0x1c); uint64_t x51 = ((uint64_t)x49 & 0xfffffff); - uint128_t x52 = (x27 + ((uint128_t)(Const 4294968273) * x50)); + uint128_t x52 = (x27 + ((uint128_t)0x1000003d1 * x50)); uint64_t x53 = (uint64_t) (x52 >> 0x1d); uint64_t x54 = ((uint64_t)x52 & 0x1fffffff); uint64_t x55 = (x53 + x30); -- cgit v1.2.3