diff options
Diffstat (limited to 'src/Specific/solinas32_2e379m19_15limbs/fesub.c')
-rw-r--r-- | src/Specific/solinas32_2e379m19_15limbs/fesub.c | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/src/Specific/solinas32_2e379m19_15limbs/fesub.c b/src/Specific/solinas32_2e379m19_15limbs/fesub.c new file mode 100644 index 000000000..67e2bb2ba --- /dev/null +++ b/src/Specific/solinas32_2e379m19_15limbs/fesub.c @@ -0,0 +1,48 @@ +static void fesub(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[15]) { + { const uint32_t x30 = in1[14]; + { const uint32_t x31 = in1[13]; + { const uint32_t x29 = in1[12]; + { const uint32_t x27 = in1[11]; + { const uint32_t x25 = in1[10]; + { const uint32_t x23 = in1[9]; + { const uint32_t x21 = in1[8]; + { const uint32_t x19 = in1[7]; + { const uint32_t x17 = in1[6]; + { const uint32_t x15 = in1[5]; + { const uint32_t x13 = in1[4]; + { const uint32_t x11 = in1[3]; + { const uint32_t x9 = in1[2]; + { const uint32_t x7 = in1[1]; + { const uint32_t x5 = in1[0]; + { const uint32_t x58 = in2[14]; + { const uint32_t x59 = in2[13]; + { const uint32_t x57 = in2[12]; + { const uint32_t x55 = in2[11]; + { const uint32_t x53 = in2[10]; + { const uint32_t x51 = in2[9]; + { const uint32_t x49 = in2[8]; + { const uint32_t x47 = in2[7]; + { const uint32_t x45 = in2[6]; + { const uint32_t x43 = in2[5]; + { const uint32_t x41 = in2[4]; + { const uint32_t x39 = in2[3]; + { const uint32_t x37 = in2[2]; + { const uint32_t x35 = in2[1]; + { const uint32_t x33 = in2[0]; + out[0] = ((0x7ffffda + x5) - x33); + out[1] = ((0x3fffffe + x7) - x35); + out[2] = ((0x3fffffe + x9) - x37); + out[3] = ((0x7fffffe + x11) - x39); + out[4] = ((0x3fffffe + x13) - x41); + out[5] = ((0x3fffffe + x15) - x43); + out[6] = ((0x3fffffe + x17) - x45); + out[7] = ((0x7fffffe + x19) - x47); + out[8] = ((0x3fffffe + x21) - x49); + out[9] = ((0x3fffffe + x23) - x51); + out[10] = ((0x3fffffe + x25) - x53); + out[11] = ((0x7fffffe + x27) - x55); + out[12] = ((0x3fffffe + x29) - x57); + out[13] = ((0x3fffffe + x31) - x59); + out[14] = ((0x3fffffe + x30) - x58); + }}}}}}}}}}}}}}}}}}}}}}}}}}}}}} +} |