diff options
27 files changed, 52 insertions, 52 deletions
diff --git a/src/Specific/solinas32_2e127m1/fesub.c b/src/Specific/solinas32_2e127m1/fesub.c index 95218ddcd..ad019122b 100644 --- a/src/Specific/solinas32_2e127m1/fesub.c +++ b/src/Specific/solinas32_2e127m1/fesub.c @@ -12,10 +12,10 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; out[0] = ((0x7ffffe + x5) - x15); - out[1] = ((Const 4194302 + x7) - x17); - out[2] = ((Const 4194302 + x9) - x19); - out[3] = ((Const 4194302 + x11) - x21); - out[4] = ((Const 4194302 + x13) - x23); - out[5] = ((Const 4194302 + x12) - x22); + out[1] = ((0x3ffffe + x7) - x17); + out[2] = ((0x3ffffe + x9) - x19); + out[3] = ((0x3ffffe + x11) - x21); + out[4] = ((0x3ffffe + x13) - x23); + out[5] = ((0x3ffffe + x12) - x22); }}}}}}}}}}}} } diff --git a/src/Specific/solinas32_2e129m25/fesub.c b/src/Specific/solinas32_2e129m25/fesub.c index 4ad8f081e..d557470df 100644 --- a/src/Specific/solinas32_2e129m25/fesub.c +++ b/src/Specific/solinas32_2e129m25/fesub.c @@ -11,11 +11,11 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 8388558 + x5) - x15); - out[1] = ((Const 4194302 + x7) - x17); + out[0] = ((0x7fffce + x5) - x15); + out[1] = ((0x3ffffe + x7) - x17); out[2] = ((0x7ffffe + x9) - x19); - out[3] = ((Const 4194302 + x11) - x21); + out[3] = ((0x3ffffe + x11) - x21); out[4] = ((0x7ffffe + x13) - x23); - out[5] = ((Const 4194302 + x12) - x22); + out[5] = ((0x3ffffe + x12) - x22); }}}}}}}}}}}} } diff --git a/src/Specific/solinas32_2e140m27/fesub.c b/src/Specific/solinas32_2e140m27/fesub.c index 57ae7f656..2fafe8f41 100644 --- a/src/Specific/solinas32_2e140m27/fesub.c +++ b/src/Specific/solinas32_2e140m27/fesub.c @@ -11,11 +11,11 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 33554378 + x5) - x15); - out[1] = ((Const 16777214 + x7) - x17); - out[2] = ((Const 16777214 + x9) - x19); - out[3] = ((Const 33554430 + x11) - x21); - out[4] = ((Const 16777214 + x13) - x23); - out[5] = ((Const 16777214 + x12) - x22); + out[0] = ((0x1ffffca + x5) - x15); + out[1] = ((0xfffffe + x7) - x17); + out[2] = ((0xfffffe + x9) - x19); + out[3] = ((0x1fffffe + x11) - x21); + out[4] = ((0xfffffe + x13) - x23); + out[5] = ((0xfffffe + x12) - x22); }}}}}}}}}}}} } diff --git a/src/Specific/solinas32_2e141m9/fesub.c b/src/Specific/solinas32_2e141m9/fesub.c index 9981595a1..8c928bced 100644 --- a/src/Specific/solinas32_2e141m9/fesub.c +++ b/src/Specific/solinas32_2e141m9/fesub.c @@ -11,11 +11,11 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 33554414 + x5) - x15); - out[1] = ((Const 16777214 + x7) - x17); - out[2] = ((Const 33554430 + x9) - x19); - out[3] = ((Const 16777214 + x11) - x21); - out[4] = ((Const 33554430 + x13) - x23); - out[5] = ((Const 16777214 + x12) - x22); + out[0] = ((0x1ffffee + x5) - x15); + out[1] = ((0xfffffe + x7) - x17); + out[2] = ((0x1fffffe + x9) - x19); + out[3] = ((0xfffffe + x11) - x21); + out[4] = ((0x1fffffe + x13) - x23); + out[5] = ((0xfffffe + x12) - x22); }}}}}}}}}}}} } diff --git a/src/Specific/solinas32_2e150m5/fesub.c b/src/Specific/solinas32_2e150m5/fesub.c index f8bf5caa9..a2bae1877 100644 --- a/src/Specific/solinas32_2e150m5/fesub.c +++ b/src/Specific/solinas32_2e150m5/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 67108854 + x5) - x15); + out[0] = ((0x3fffff6 + x5) - x15); out[1] = ((0x3fffffe + x7) - x17); out[2] = ((0x3fffffe + x9) - x19); out[3] = ((0x3fffffe + x11) - x21); diff --git a/src/Specific/solinas32_2e152m17/fesub.c b/src/Specific/solinas32_2e152m17/fesub.c index 41b9b9f99..1153d1999 100644 --- a/src/Specific/solinas32_2e152m17/fesub.c +++ b/src/Specific/solinas32_2e152m17/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 134217694 + x5) - x15); + out[0] = ((0x7ffffde + x5) - x15); out[1] = ((0x3fffffe + x7) - x17); out[2] = ((0x3fffffe + x9) - x19); out[3] = ((0x7fffffe + x11) - x21); diff --git a/src/Specific/solinas32_2e158m15/fesub.c b/src/Specific/solinas32_2e158m15/fesub.c index 7d61e1dee..2da1f8617 100644 --- a/src/Specific/solinas32_2e158m15/fesub.c +++ b/src/Specific/solinas32_2e158m15/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 268435426 + x5) - x15); + out[0] = ((0xfffffe2 + x5) - x15); out[1] = ((0x7fffffe + x7) - x17); out[2] = ((0x7fffffe + x9) - x19); out[3] = ((0xffffffe + x11) - x21); diff --git a/src/Specific/solinas32_2e174m3/fesub.c b/src/Specific/solinas32_2e174m3/fesub.c index 221b1da37..15f7e6010 100644 --- a/src/Specific/solinas32_2e174m3/fesub.c +++ b/src/Specific/solinas32_2e174m3/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint32_t out[6], const uint32_t in1[6], const uint32_t in2[6]) { const uint32_t x19 = in2[2]; { const uint32_t x17 = in2[1]; { const uint32_t x15 = in2[0]; - out[0] = ((Const 1073741818 + x5) - x15); + out[0] = ((0x3ffffffa + x5) - x15); out[1] = ((0x3ffffffe + x7) - x17); out[2] = ((0x3ffffffe + x9) - x19); out[3] = ((0x3ffffffe + x11) - x21); diff --git a/src/Specific/solinas32_2e189m25/fesub.c b/src/Specific/solinas32_2e189m25/fesub.c index 841c88c7a..c8d4d9289 100644 --- a/src/Specific/solinas32_2e189m25/fesub.c +++ b/src/Specific/solinas32_2e189m25/fesub.c @@ -13,7 +13,7 @@ static void fesub(uint32_t out[7], const uint32_t in1[7], const uint32_t in2[7]) { const uint32_t x21 = in2[2]; { const uint32_t x19 = in2[1]; { const uint32_t x17 = in2[0]; - out[0] = ((Const 268435406 + x5) - x17); + out[0] = ((0xfffffce + x5) - x17); out[1] = ((0xffffffe + x7) - x19); out[2] = ((0xffffffe + x9) - x21); out[3] = ((0xffffffe + x11) - x23); diff --git a/src/Specific/solinas32_2e190m11/fesub.c b/src/Specific/solinas32_2e190m11/fesub.c index d6e9f893a..ff043a07f 100644 --- a/src/Specific/solinas32_2e190m11/fesub.c +++ b/src/Specific/solinas32_2e190m11/fesub.c @@ -13,7 +13,7 @@ static void fesub(uint32_t out[7], const uint32_t in1[7], const uint32_t in2[7]) { const uint32_t x21 = in2[2]; { const uint32_t x19 = in2[1]; { const uint32_t x17 = in2[0]; - out[0] = ((Const 536870890 + x5) - x17); + out[0] = ((0x1fffffea + x5) - x17); out[1] = ((0xffffffe + x7) - x19); out[2] = ((0xffffffe + x9) - x21); out[3] = ((0xffffffe + x11) - x23); diff --git a/src/Specific/solinas32_2e196m15/fesub.c b/src/Specific/solinas32_2e196m15/fesub.c index 46fe24be8..0e278a97e 100644 --- a/src/Specific/solinas32_2e196m15/fesub.c +++ b/src/Specific/solinas32_2e196m15/fesub.c @@ -13,7 +13,7 @@ static void fesub(uint32_t out[7], const uint32_t in1[7], const uint32_t in2[7]) { const uint32_t x21 = in2[2]; { const uint32_t x19 = in2[1]; { const uint32_t x17 = in2[0]; - out[0] = ((Const 536870882 + x5) - x17); + out[0] = ((0x1fffffe2 + x5) - x17); out[1] = ((0x1ffffffe + x7) - x19); out[2] = ((0x1ffffffe + x9) - x21); out[3] = ((0x1ffffffe + x11) - x23); diff --git a/src/Specific/solinas64_2e235m15/fesub.c b/src/Specific/solinas64_2e235m15/fesub.c index 54d06d992..e33d58fa4 100644 --- a/src/Specific/solinas64_2e235m15/fesub.c +++ b/src/Specific/solinas64_2e235m15/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 281474976710626 + x5) - x13); + out[0] = ((0xffffffffffe2 + x5) - x13); out[1] = ((0xfffffffffffe + x7) - x15); out[2] = ((0xfffffffffffe + x9) - x17); out[3] = ((0xfffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e243m9/fesub.c b/src/Specific/solinas64_2e243m9/fesub.c index 08c38f69f..50c317b29 100644 --- a/src/Specific/solinas64_2e243m9/fesub.c +++ b/src/Specific/solinas64_2e243m9/fesub.c @@ -11,11 +11,11 @@ static void fesub(uint64_t out[6], const uint64_t in1[6], const uint64_t in2[6]) { const uint64_t x19 = in2[2]; { const uint64_t x17 = in2[1]; { const uint64_t x15 = in2[0]; - out[0] = ((Const 4398046511086 + x5) - x15); + out[0] = ((0x3ffffffffee + x5) - x15); out[1] = ((0x1fffffffffe + x7) - x17); - out[2] = ((Const 4398046511102 + x9) - x19); + out[2] = ((0x3fffffffffe + x9) - x19); out[3] = ((0x1fffffffffe + x11) - x21); - out[4] = ((Const 4398046511102 + x13) - x23); + out[4] = ((0x3fffffffffe + x13) - x23); out[5] = ((0x1fffffffffe + x12) - x22); }}}}}}}}}}}} } diff --git a/src/Specific/solinas64_2e251m9/fesub.c b/src/Specific/solinas64_2e251m9/fesub.c index b32fb8ba6..e7563ceae 100644 --- a/src/Specific/solinas64_2e251m9/fesub.c +++ b/src/Specific/solinas64_2e251m9/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 4503599627370478 + x5) - x13); + out[0] = ((0xfffffffffffee + x5) - x13); out[1] = ((0x7fffffffffffe + x7) - x15); out[2] = ((0x7fffffffffffe + x9) - x17); out[3] = ((0x7fffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e254m127x2e240m1/fesub.c b/src/Specific/solinas64_2e254m127x2e240m1/fesub.c index b8947396e..890236f67 100644 --- a/src/Specific/solinas64_2e254m127x2e240m1/fesub.c +++ b/src/Specific/solinas64_2e254m127x2e240m1/fesub.c @@ -16,6 +16,6 @@ static void fesub(uint64_t out[6], const uint64_t in1[6], const uint64_t in2[6]) out[2] = ((0x7fffffffffe + x9) - x19); out[3] = ((0xffffffffffe + x11) - x21); out[4] = ((0x7fffffffffe + x13) - x23); - out[5] = ((Const 8727910416382 + x12) - x22); + out[5] = ((0x7f01ffffffe + x12) - x22); }}}}}}}}}}}} } diff --git a/src/Specific/solinas64_2e255m765/fesub.c b/src/Specific/solinas64_2e255m765/fesub.c index daf86eca4..ecafe2bad 100644 --- a/src/Specific/solinas64_2e255m765/fesub.c +++ b/src/Specific/solinas64_2e255m765/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 4503599627368966 + x5) - x13); + out[0] = ((0xffffffffffa06 + x5) - x13); out[1] = ((0xffffffffffffe + x7) - x15); out[2] = ((0xffffffffffffe + x9) - x17); out[3] = ((0xffffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e256m189/fesub.c b/src/Specific/solinas64_2e256m189/fesub.c index 4d07dcf16..9498fba5a 100644 --- a/src/Specific/solinas64_2e256m189/fesub.c +++ b/src/Specific/solinas64_2e256m189/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 9007199254740614 + x5) - x13); + out[0] = ((0x1ffffffffffe86 + x5) - x13); out[1] = ((0xffffffffffffe + x7) - x15); out[2] = ((0xffffffffffffe + x9) - x17); out[3] = ((0xffffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e256m2e32m977/fesub.c b/src/Specific/solinas64_2e256m2e32m977/fesub.c index 512d3ff23..1838b1402 100644 --- a/src/Specific/solinas64_2e256m2e32m977/fesub.c +++ b/src/Specific/solinas64_2e256m2e32m977/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 9007190664804446 + x5) - x13); + out[0] = ((0x1ffffdfffff85e + x5) - x13); out[1] = ((0xffffffffffffe + x7) - x15); out[2] = ((0xffffffffffffe + x9) - x17); out[3] = ((0xffffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e256m88x2e240m1/fesub.c b/src/Specific/solinas64_2e256m88x2e240m1/fesub.c index cab199a55..10a2e6c20 100644 --- a/src/Specific/solinas64_2e256m88x2e240m1/fesub.c +++ b/src/Specific/solinas64_2e256m88x2e240m1/fesub.c @@ -13,6 +13,6 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) out[1] = ((0xffffffffffffe + x7) - x15); out[2] = ((0xffffffffffffe + x9) - x17); out[3] = ((0xffffffffffffe + x11) - x19); - out[4] = ((Const 4497552313417726 + x10) - x18); + out[4] = ((0xffa7ffffffffe + x10) - x18); }}}}}}}}}} } diff --git a/src/Specific/solinas64_2e285m9/fesub.c b/src/Specific/solinas64_2e285m9/fesub.c index 55caf671f..5432636e7 100644 --- a/src/Specific/solinas64_2e285m9/fesub.c +++ b/src/Specific/solinas64_2e285m9/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 288230376151711726 + x5) - x13); + out[0] = ((0x3ffffffffffffee + x5) - x13); out[1] = ((0x3fffffffffffffe + x7) - x15); out[2] = ((0x3fffffffffffffe + x9) - x17); out[3] = ((0x3fffffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e291m19/fesub.c b/src/Specific/solinas64_2e291m19/fesub.c index ec61a466a..a853aec00 100644 --- a/src/Specific/solinas64_2e291m19/fesub.c +++ b/src/Specific/solinas64_2e291m19/fesub.c @@ -9,7 +9,7 @@ static void fesub(uint64_t out[5], const uint64_t in1[5], const uint64_t in2[5]) { const uint64_t x17 = in2[2]; { const uint64_t x15 = in2[1]; { const uint64_t x13 = in2[0]; - out[0] = ((Const 1152921504606846938 + x5) - x13); + out[0] = ((0xfffffffffffffda + x5) - x13); out[1] = ((0x7fffffffffffffe + x7) - x15); out[2] = ((0x7fffffffffffffe + x9) - x17); out[3] = ((0x7fffffffffffffe + x11) - x19); diff --git a/src/Specific/solinas64_2e321m9/fesub.c b/src/Specific/solinas64_2e321m9/fesub.c index fe8f51909..8e1ad691e 100644 --- a/src/Specific/solinas64_2e321m9/fesub.c +++ b/src/Specific/solinas64_2e321m9/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint64_t out[6], const uint64_t in1[6], const uint64_t in2[6]) { const uint64_t x19 = in2[2]; { const uint64_t x17 = in2[1]; { const uint64_t x15 = in2[0]; - out[0] = ((Const 36028797018963950 + x5) - x15); + out[0] = ((0x7fffffffffffee + x5) - x15); out[1] = ((0x3ffffffffffffe + x7) - x17); out[2] = ((0x7ffffffffffffe + x9) - x19); out[3] = ((0x3ffffffffffffe + x11) - x21); diff --git a/src/Specific/solinas64_2e322m2e161m1/fesub.c b/src/Specific/solinas64_2e322m2e161m1/fesub.c index b08459f0f..2c7591fdf 100644 --- a/src/Specific/solinas64_2e322m2e161m1/fesub.c +++ b/src/Specific/solinas64_2e322m2e161m1/fesub.c @@ -13,12 +13,12 @@ static void fesub(uint64_t out[7], const uint64_t in1[7], const uint64_t in2[7]) { const uint64_t x21 = in2[2]; { const uint64_t x19 = in2[1]; { const uint64_t x17 = in2[0]; - out[0] = ((Const 140737488355326 + x5) - x17); - out[1] = ((Const 140737488355326 + x7) - x19); - out[2] = ((Const 140737488355326 + x9) - x21); - out[3] = ((Const 140737471578110 + x11) - x23); - out[4] = ((Const 140737488355326 + x13) - x25); - out[5] = ((Const 140737488355326 + x15) - x27); - out[6] = ((Const 140737488355326 + x14) - x26); + out[0] = ((0x7ffffffffffe + x5) - x17); + out[1] = ((0x7ffffffffffe + x7) - x19); + out[2] = ((0x7ffffffffffe + x9) - x21); + out[3] = ((0x7ffffefffffe + x11) - x23); + out[4] = ((0x7ffffffffffe + x13) - x25); + out[5] = ((0x7ffffffffffe + x15) - x27); + out[6] = ((0x7ffffffffffe + x14) - x26); }}}}}}}}}}}}}} } diff --git a/src/Specific/solinas64_2e336m17/fesub.c b/src/Specific/solinas64_2e336m17/fesub.c index 95c506521..3728606e2 100644 --- a/src/Specific/solinas64_2e336m17/fesub.c +++ b/src/Specific/solinas64_2e336m17/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint64_t out[6], const uint64_t in1[6], const uint64_t in2[6]) { const uint64_t x19 = in2[2]; { const uint64_t x17 = in2[1]; { const uint64_t x15 = in2[0]; - out[0] = ((Const 144115188075855838 + x5) - x15); + out[0] = ((0x1ffffffffffffde + x5) - x15); out[1] = ((0x1fffffffffffffe + x7) - x17); out[2] = ((0x1fffffffffffffe + x9) - x19); out[3] = ((0x1fffffffffffffe + x11) - x21); diff --git a/src/Specific/solinas64_2e338m15/fesub.c b/src/Specific/solinas64_2e338m15/fesub.c index e3f9fe6b5..58f3e1e4b 100644 --- a/src/Specific/solinas64_2e338m15/fesub.c +++ b/src/Specific/solinas64_2e338m15/fesub.c @@ -11,7 +11,7 @@ static void fesub(uint64_t out[6], const uint64_t in1[6], const uint64_t in2[6]) { const uint64_t x19 = in2[2]; { const uint64_t x17 = in2[1]; { const uint64_t x15 = in2[0]; - out[0] = ((Const 288230376151711714 + x5) - x15); + out[0] = ((0x3ffffffffffffe2 + x5) - x15); out[1] = ((0x1fffffffffffffe + x7) - x17); out[2] = ((0x1fffffffffffffe + x9) - x19); out[3] = ((0x3fffffffffffffe + x11) - x21); diff --git a/src/Specific/solinas64_2e379m19/fesub.c b/src/Specific/solinas64_2e379m19/fesub.c index ed46a357a..e888ad3f0 100644 --- a/src/Specific/solinas64_2e379m19/fesub.c +++ b/src/Specific/solinas64_2e379m19/fesub.c @@ -13,7 +13,7 @@ static void fesub(uint64_t out[7], const uint64_t in1[7], const uint64_t in2[7]) { const uint64_t x21 = in2[2]; { const uint64_t x19 = in2[1]; { const uint64_t x17 = in2[0]; - out[0] = ((Const 72057594037927898 + x5) - x17); + out[0] = ((0xffffffffffffda + x5) - x17); out[1] = ((0x7ffffffffffffe + x7) - x19); out[2] = ((0x7ffffffffffffe + x9) - x21); out[3] = ((0x7ffffffffffffe + x11) - x23); diff --git a/src/Specific/solinas64_2e413m21/fesub.c b/src/Specific/solinas64_2e413m21/fesub.c index c99334aaf..b548e713b 100644 --- a/src/Specific/solinas64_2e413m21/fesub.c +++ b/src/Specific/solinas64_2e413m21/fesub.c @@ -13,7 +13,7 @@ static void fesub(uint64_t out[7], const uint64_t in1[7], const uint64_t in2[7]) { const uint64_t x21 = in2[2]; { const uint64_t x19 = in2[1]; { const uint64_t x17 = in2[0]; - out[0] = ((Const 1152921504606846934 + x5) - x17); + out[0] = ((0xfffffffffffffd6 + x5) - x17); out[1] = ((0xffffffffffffffe + x7) - x19); out[2] = ((0xffffffffffffffe + x9) - x21); out[3] = ((0xffffffffffffffe + x11) - x23); |