diff options
Diffstat (limited to 'src/Specific/solinas32_2e511m481_24limbs/fesub.c')
-rw-r--r-- | src/Specific/solinas32_2e511m481_24limbs/fesub.c | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/src/Specific/solinas32_2e511m481_24limbs/fesub.c b/src/Specific/solinas32_2e511m481_24limbs/fesub.c new file mode 100644 index 000000000..54a98b98f --- /dev/null +++ b/src/Specific/solinas32_2e511m481_24limbs/fesub.c @@ -0,0 +1,75 @@ +static void fesub(uint32_t out[24], const uint32_t in1[24], const uint32_t in2[24]) { + { const uint32_t x48 = in1[23]; + { const uint32_t x49 = in1[22]; + { const uint32_t x47 = in1[21]; + { const uint32_t x45 = in1[20]; + { const uint32_t x43 = in1[19]; + { const uint32_t x41 = in1[18]; + { const uint32_t x39 = in1[17]; + { const uint32_t x37 = in1[16]; + { const uint32_t x35 = in1[15]; + { const uint32_t x33 = 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 x94 = in2[23]; + { const uint32_t x95 = in2[22]; + { const uint32_t x93 = in2[21]; + { const uint32_t x91 = in2[20]; + { const uint32_t x89 = in2[19]; + { const uint32_t x87 = in2[18]; + { const uint32_t x85 = in2[17]; + { const uint32_t x83 = in2[16]; + { const uint32_t x81 = in2[15]; + { const uint32_t x79 = in2[14]; + { const uint32_t x77 = in2[13]; + { const uint32_t x75 = in2[12]; + { const uint32_t x73 = in2[11]; + { const uint32_t x71 = in2[10]; + { const uint32_t x69 = in2[9]; + { const uint32_t x67 = in2[8]; + { const uint32_t x65 = in2[7]; + { const uint32_t x63 = in2[6]; + { const uint32_t x61 = in2[5]; + { const uint32_t x59 = in2[4]; + { const uint32_t x57 = in2[3]; + { const uint32_t x55 = in2[2]; + { const uint32_t x53 = in2[1]; + { const uint32_t x51 = in2[0]; + out[0] = ((0x7ffc3e + x5) - x51); + out[1] = ((0x3ffffe + x7) - x53); + out[2] = ((0x3ffffe + x9) - x55); + out[3] = ((0x7ffffe + x11) - x57); + out[4] = ((0x3ffffe + x13) - x59); + out[5] = ((0x3ffffe + x15) - x61); + out[6] = ((0x7ffffe + x17) - x63); + out[7] = ((0x3ffffe + x19) - x65); + out[8] = ((0x3ffffe + x21) - x67); + out[9] = ((0x3ffffe + x23) - x69); + out[10] = ((0x7ffffe + x25) - x71); + out[11] = ((0x3ffffe + x27) - x73); + out[12] = ((0x3ffffe + x29) - x75); + out[13] = ((0x7ffffe + x31) - x77); + out[14] = ((0x3ffffe + x33) - x79); + out[15] = ((0x3ffffe + x35) - x81); + out[16] = ((0x3ffffe + x37) - x83); + out[17] = ((0x7ffffe + x39) - x85); + out[18] = ((0x3ffffe + x41) - x87); + out[19] = ((0x3ffffe + x43) - x89); + out[20] = ((0x7ffffe + x45) - x91); + out[21] = ((0x3ffffe + x47) - x93); + out[22] = ((0x3ffffe + x49) - x95); + out[23] = ((0x3ffffe + x48) - x94); + }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} +} |