diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/Specific/solinas32_2e213m3/fesub.c | 26 | ||||
-rw-r--r-- | src/Specific/solinas32_2e213m3/fesubDisplay.log | 2 | ||||
-rw-r--r-- | src/Specific/solinas32_2e285m9/fesub.c | 2 | ||||
-rw-r--r-- | src/Specific/solinas32_2e285m9/fesubDisplay.log | 2 | ||||
-rw-r--r-- | src/Specific/solinas32_2e322m2e161m1/fesub.c | 2 | ||||
-rw-r--r-- | src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log | 2 | ||||
-rw-r--r-- | src/Specific/solinas32_2e450m2e225m1/fesub.c | 2 | ||||
-rw-r--r-- | src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log | 2 |
8 files changed, 20 insertions, 20 deletions
diff --git a/src/Specific/solinas32_2e213m3/fesub.c b/src/Specific/solinas32_2e213m3/fesub.c index a00038678..48cf0fac4 100644 --- a/src/Specific/solinas32_2e213m3/fesub.c +++ b/src/Specific/solinas32_2e213m3/fesub.c @@ -29,20 +29,20 @@ static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1 { const uint32_t x37 = in2[2]; { const uint32_t x35 = in2[1]; { const uint32_t x33 = in2[0]; - out[0] = ((Const 65530 + x5) - x33); - out[1] = ((Const 32766 + x7) - x35); - out[2] = ((Const 32766 + x9) - x37); - out[3] = ((Const 32766 + x11) - x39); - out[4] = ((Const 32766 + x13) - x41); + out[0] = ((0xfffa + x5) - x33); + out[1] = ((0x7ffe + x7) - x35); + out[2] = ((0x7ffe + x9) - x37); + out[3] = ((0x7ffe + x11) - x39); + out[4] = ((0x7ffe + x13) - x41); out[5] = ((0xfffe + x15) - x43); - out[6] = ((Const 32766 + x17) - x45); - out[7] = ((Const 32766 + x19) - x47); - out[8] = ((Const 32766 + x21) - x49); - out[9] = ((Const 32766 + x23) - x51); + out[6] = ((0x7ffe + x17) - x45); + out[7] = ((0x7ffe + x19) - x47); + out[8] = ((0x7ffe + x21) - x49); + out[9] = ((0x7ffe + x23) - x51); out[10] = ((0xfffe + x25) - x53); - out[11] = ((Const 32766 + x27) - x55); - out[12] = ((Const 32766 + x29) - x57); - out[13] = ((Const 32766 + x31) - x59); - out[14] = ((Const 32766 + x30) - x58); + out[11] = ((0x7ffe + x27) - x55); + out[12] = ((0x7ffe + x29) - x57); + out[13] = ((0x7ffe + x31) - x59); + out[14] = ((0x7ffe + x30) - x58); }}}}}}}}}}}}}}}}}}}}}}}}}}}}}} } diff --git a/src/Specific/solinas32_2e213m3/fesubDisplay.log b/src/Specific/solinas32_2e213m3/fesubDisplay.log index eb2a2924a..e52f93f6b 100644 --- a/src/Specific/solinas32_2e213m3/fesubDisplay.log +++ b/src/Specific/solinas32_2e213m3/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x30, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x58, x59, x57, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33))%core, - (((Const 32766 + x30) - x58), ((Const 32766 + x31) - x59), ((Const 32766 + x29) - x57), ((Const 32766 + x27) - x55), ((0xfffe + x25) - x53), ((Const 32766 + x23) - x51), ((Const 32766 + x21) - x49), ((Const 32766 + x19) - x47), ((Const 32766 + x17) - x45), ((0xfffe + x15) - x43), ((Const 32766 + x13) - x41), ((Const 32766 + x11) - x39), ((Const 32766 + x9) - x37), ((Const 32766 + x7) - x35), ((Const 65530 + x5) - x33))) + (((0x7ffe + x30) - x58), ((0x7ffe + x31) - x59), ((0x7ffe + x29) - x57), ((0x7ffe + x27) - x55), ((0xfffe + x25) - x53), ((0x7ffe + x23) - x51), ((0x7ffe + x21) - x49), ((0x7ffe + x19) - x47), ((0x7ffe + x17) - x45), ((0xfffe + x15) - x43), ((0x7ffe + x13) - x41), ((0x7ffe + x11) - x39), ((0x7ffe + x9) - x37), ((0x7ffe + x7) - x35), ((0xfffa + x5) - x33))) (x, x0)%core : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) diff --git a/src/Specific/solinas32_2e285m9/fesub.c b/src/Specific/solinas32_2e285m9/fesub.c index 1e3a38844..abd7d1b77 100644 --- a/src/Specific/solinas32_2e285m9/fesub.c +++ b/src/Specific/solinas32_2e285m9/fesub.c @@ -29,7 +29,7 @@ static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1 { const uint32_t x37 = in2[2]; { const uint32_t x35 = in2[1]; { const uint32_t x33 = in2[0]; - out[0] = ((Const 1048558 + x5) - x33); + out[0] = ((0xfffee + x5) - x33); out[1] = ((0xffffe + x7) - x35); out[2] = ((0xffffe + x9) - x37); out[3] = ((0xffffe + x11) - x39); diff --git a/src/Specific/solinas32_2e285m9/fesubDisplay.log b/src/Specific/solinas32_2e285m9/fesubDisplay.log index c2d6d8dec..30bf1c627 100644 --- a/src/Specific/solinas32_2e285m9/fesubDisplay.log +++ b/src/Specific/solinas32_2e285m9/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x30, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x58, x59, x57, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33))%core, - (((0xffffe + x30) - x58), ((0xffffe + x31) - x59), ((0xffffe + x29) - x57), ((0xffffe + x27) - x55), ((0xffffe + x25) - x53), ((0xffffe + x23) - x51), ((0xffffe + x21) - x49), ((0xffffe + x19) - x47), ((0xffffe + x17) - x45), ((0xffffe + x15) - x43), ((0xffffe + x13) - x41), ((0xffffe + x11) - x39), ((0xffffe + x9) - x37), ((0xffffe + x7) - x35), ((Const 1048558 + x5) - x33))) + (((0xffffe + x30) - x58), ((0xffffe + x31) - x59), ((0xffffe + x29) - x57), ((0xffffe + x27) - x55), ((0xffffe + x25) - x53), ((0xffffe + x23) - x51), ((0xffffe + x21) - x49), ((0xffffe + x19) - x47), ((0xffffe + x17) - x45), ((0xffffe + x15) - x43), ((0xffffe + x13) - x41), ((0xffffe + x11) - x39), ((0xffffe + x9) - x37), ((0xffffe + x7) - x35), ((0xfffee + x5) - x33))) (x, x0)%core : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) diff --git a/src/Specific/solinas32_2e322m2e161m1/fesub.c b/src/Specific/solinas32_2e322m2e161m1/fesub.c index c7c3c546b..4f2a40c68 100644 --- a/src/Specific/solinas32_2e322m2e161m1/fesub.c +++ b/src/Specific/solinas32_2e322m2e161m1/fesub.c @@ -34,7 +34,7 @@ static void fesub(uint32_t out[14], const uint32_t in1[14], const uint32_t in2[1 out[4] = ((0xfffffe + x13) - x39); out[5] = ((0xfffffe + x15) - x41); out[6] = ((0xfffffe + x17) - x43); - out[7] = ((Const 16777212 + x19) - x45); + out[7] = ((0xfffffc + x19) - x45); out[8] = ((0xfffffe + x21) - x47); out[9] = ((0xfffffe + x23) - x49); out[10] = ((0xfffffe + x25) - x51); diff --git a/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log b/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log index 5bd8df2c4..f2233a5a9 100644 --- a/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log +++ b/src/Specific/solinas32_2e322m2e161m1/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x28, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x54, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33, x31))%core, - (((0xfffffe + x28) - x54), ((0xfffffe + x29) - x55), ((0xfffffe + x27) - x53), ((0xfffffe + x25) - x51), ((0xfffffe + x23) - x49), ((0xfffffe + x21) - x47), ((Const 16777212 + x19) - x45), ((0xfffffe + x17) - x43), ((0xfffffe + x15) - x41), ((0xfffffe + x13) - x39), ((0xfffffe + x11) - x37), ((0xfffffe + x9) - x35), ((0xfffffe + x7) - x33), ((0xfffffe + x5) - x31))) + (((0xfffffe + x28) - x54), ((0xfffffe + x29) - x55), ((0xfffffe + x27) - x53), ((0xfffffe + x25) - x51), ((0xfffffe + x23) - x49), ((0xfffffe + x21) - x47), ((0xfffffc + x19) - x45), ((0xfffffe + x17) - x43), ((0xfffffe + x15) - x41), ((0xfffffe + x13) - x39), ((0xfffffe + x11) - x37), ((0xfffffe + x9) - x35), ((0xfffffe + x7) - x33), ((0xfffffe + x5) - x31))) (x, x0)%core : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) diff --git a/src/Specific/solinas32_2e450m2e225m1/fesub.c b/src/Specific/solinas32_2e450m2e225m1/fesub.c index e78f91309..8e3a1a1bd 100644 --- a/src/Specific/solinas32_2e450m2e225m1/fesub.c +++ b/src/Specific/solinas32_2e450m2e225m1/fesub.c @@ -36,7 +36,7 @@ static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1 out[4] = ((0x7ffffffe + x13) - x41); out[5] = ((0x7ffffffe + x15) - x43); out[6] = ((0x7ffffffe + x17) - x45); - out[7] = ((Const 2147418110 + x19) - x47); + out[7] = ((0x7ffefffe + x19) - x47); out[8] = ((0x7ffffffe + x21) - x49); out[9] = ((0x7ffffffe + x23) - x51); out[10] = ((0x7ffffffe + x25) - x53); diff --git a/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log b/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log index ea1e198fa..3c008ef9a 100644 --- a/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log +++ b/src/Specific/solinas32_2e450m2e225m1/fesubDisplay.log @@ -2,6 +2,6 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x30, x31, x29, x27, x25, x23, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x58, x59, x57, x55, x53, x51, x49, x47, x45, x43, x41, x39, x37, x35, x33))%core, - (((0x7ffffffe + x30) - x58), ((0x7ffffffe + x31) - x59), ((0x7ffffffe + x29) - x57), ((0x7ffffffe + x27) - x55), ((0x7ffffffe + x25) - x53), ((0x7ffffffe + x23) - x51), ((0x7ffffffe + x21) - x49), ((Const 2147418110 + x19) - x47), ((0x7ffffffe + x17) - x45), ((0x7ffffffe + x15) - x43), ((0x7ffffffe + x13) - x41), ((0x7ffffffe + x11) - x39), ((0x7ffffffe + x9) - x37), ((0x7ffffffe + x7) - x35), ((0x7ffffffe + x5) - x33))) + (((0x7ffffffe + x30) - x58), ((0x7ffffffe + x31) - x59), ((0x7ffffffe + x29) - x57), ((0x7ffffffe + x27) - x55), ((0x7ffffffe + x25) - x53), ((0x7ffffffe + x23) - x51), ((0x7ffffffe + x21) - x49), ((0x7ffefffe + x19) - x47), ((0x7ffffffe + x17) - x45), ((0x7ffffffe + x15) - x43), ((0x7ffffffe + x13) - x41), ((0x7ffffffe + x11) - x39), ((0x7ffffffe + x9) - x37), ((0x7ffffffe + x7) - x35), ((0x7ffffffe + x5) - x33))) (x, x0)%core : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) |