Update display logs and c files

3 files changed, 230 insertions, 0 deletions

diff --git a/src/Specific/solinas32_2e488m17_20limbs/feadd.c b/src/Specific/solinas32_2e488m17_20limbs/feadd.c
new file mode 100644
index 000000000..28ee6f665
--- /dev/null
+++ b/src/Specific/solinas32_2e488m17_20limbs/feadd.c
@@ -0,0 +1,63 @@
+static void feadd(uint32_t out[20], const uint32_t in1[20], const uint32_t in2[20]) {
+  { const uint32_t x40 = 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 x78 = in2[19];
+  { const uint32_t x79 = in2[18];
+  { const uint32_t x77 = in2[17];
+  { const uint32_t x75 = in2[16];
+  { const uint32_t x73 = in2[15];
+  { const uint32_t x71 = in2[14];
+  { const uint32_t x69 = in2[13];
+  { const uint32_t x67 = in2[12];
+  { const uint32_t x65 = in2[11];
+  { const uint32_t x63 = in2[10];
+  { const uint32_t x61 = in2[9];
+  { const uint32_t x59 = in2[8];
+  { const uint32_t x57 = in2[7];
+  { const uint32_t x55 = in2[6];
+  { const uint32_t x53 = in2[5];
+  { const uint32_t x51 = in2[4];
+  { const uint32_t x49 = in2[3];
+  { const uint32_t x47 = in2[2];
+  { const uint32_t x45 = in2[1];
+  { const uint32_t x43 = in2[0];
+  out[0] = (x5 + x43);
+  out[1] = (x7 + x45);
+  out[2] = (x9 + x47);
+  out[3] = (x11 + x49);
+  out[4] = (x13 + x51);
+  out[5] = (x15 + x53);
+  out[6] = (x17 + x55);
+  out[7] = (x19 + x57);
+  out[8] = (x21 + x59);
+  out[9] = (x23 + x61);
+  out[10] = (x25 + x63);
+  out[11] = (x27 + x65);
+  out[12] = (x29 + x67);
+  out[13] = (x31 + x69);
+  out[14] = (x33 + x71);
+  out[15] = (x35 + x73);
+  out[16] = (x37 + x75);
+  out[17] = (x39 + x77);
+  out[18] = (x41 + x79);
+  out[19] = (x40 + x78);
+  }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}
diff --git a/src/Specific/solinas32_2e488m17_20limbs/fesub.c b/src/Specific/solinas32_2e488m17_20limbs/fesub.c
new file mode 100644
index 000000000..206417acd
--- /dev/null
+++ b/src/Specific/solinas32_2e488m17_20limbs/fesub.c
@@ -0,0 +1,63 @@
+static void fesub(uint32_t out[20], const uint32_t in1[20], const uint32_t in2[20]) {
+  { const uint32_t x40 = 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 x78 = in2[19];
+  { const uint32_t x79 = in2[18];
+  { const uint32_t x77 = in2[17];
+  { const uint32_t x75 = in2[16];
+  { const uint32_t x73 = in2[15];
+  { const uint32_t x71 = in2[14];
+  { const uint32_t x69 = in2[13];
+  { const uint32_t x67 = in2[12];
+  { const uint32_t x65 = in2[11];
+  { const uint32_t x63 = in2[10];
+  { const uint32_t x61 = in2[9];
+  { const uint32_t x59 = in2[8];
+  { const uint32_t x57 = in2[7];
+  { const uint32_t x55 = in2[6];
+  { const uint32_t x53 = in2[5];
+  { const uint32_t x51 = in2[4];
+  { const uint32_t x49 = in2[3];
+  { const uint32_t x47 = in2[2];
+  { const uint32_t x45 = in2[1];
+  { const uint32_t x43 = in2[0];
+  out[0] = ((0x3ffffde + x5) - x43);
+  out[1] = ((0x1fffffe + x7) - x45);
+  out[2] = ((0x3fffffe + x9) - x47);
+  out[3] = ((0x1fffffe + x11) - x49);
+  out[4] = ((0x1fffffe + x13) - x51);
+  out[5] = ((0x3fffffe + x15) - x53);
+  out[6] = ((0x1fffffe + x17) - x55);
+  out[7] = ((0x3fffffe + x19) - x57);
+  out[8] = ((0x1fffffe + x21) - x59);
+  out[9] = ((0x1fffffe + x23) - x61);
+  out[10] = ((0x3fffffe + x25) - x63);
+  out[11] = ((0x1fffffe + x27) - x65);
+  out[12] = ((0x3fffffe + x29) - x67);
+  out[13] = ((0x1fffffe + x31) - x69);
+  out[14] = ((0x1fffffe + x33) - x71);
+  out[15] = ((0x3fffffe + x35) - x73);
+  out[16] = ((0x1fffffe + x37) - x75);
+  out[17] = ((0x3fffffe + x39) - x77);
+  out[18] = ((0x1fffffe + x41) - x79);
+  out[19] = ((0x1fffffe + x40) - x78);
+  }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}
diff --git a/src/Specific/solinas32_2e488m17_20limbs/freeze.c b/src/Specific/solinas32_2e488m17_20limbs/freeze.c
new file mode 100644
index 000000000..79ed98278
--- /dev/null
+++ b/src/Specific/solinas32_2e488m17_20limbs/freeze.c
@@ -0,0 +1,104 @@
+static void freeze(uint32_t out[20], const uint32_t in1[20]) {
+  { const uint32_t x37 = in1[19];
+  { const uint32_t x38 = in1[18];
+  { const uint32_t x36 = in1[17];
+  { const uint32_t x34 = in1[16];
+  { const uint32_t x32 = in1[15];
+  { const uint32_t x30 = in1[14];
+  { const uint32_t x28 = in1[13];
+  { const uint32_t x26 = in1[12];
+  { const uint32_t x24 = in1[11];
+  { const uint32_t x22 = in1[10];
+  { const uint32_t x20 = in1[9];
+  { const uint32_t x18 = in1[8];
+  { const uint32_t x16 = in1[7];
+  { const uint32_t x14 = in1[6];
+  { const uint32_t x12 = in1[5];
+  { const uint32_t x10 = in1[4];
+  { const uint32_t x8 = in1[3];
+  { const uint32_t x6 = in1[2];
+  { const uint32_t x4 = in1[1];
+  { const uint32_t x2 = in1[0];
+  { uint32_t x40, uint8_t x41 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x1ffffef);
+  { uint32_t x43, uint8_t x44 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x41, Return x4, 0xffffff);
+  { uint32_t x46, uint8_t x47 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x44, Return x6, 0x1ffffff);
+  { uint32_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x47, Return x8, 0xffffff);
+  { uint32_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x50, Return x10, 0xffffff);
+  { uint32_t x55, uint8_t x56 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x12, 0x1ffffff);
+  { uint32_t x58, uint8_t x59 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x56, Return x14, 0xffffff);
+  { uint32_t x61, uint8_t x62 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x59, Return x16, 0x1ffffff);
+  { uint32_t x64, uint8_t x65 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x62, Return x18, 0xffffff);
+  { uint32_t x67, uint8_t x68 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x65, Return x20, 0xffffff);
+  { uint32_t x70, uint8_t x71 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x68, Return x22, 0x1ffffff);
+  { uint32_t x73, uint8_t x74 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x71, Return x24, 0xffffff);
+  { uint32_t x76, uint8_t x77 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x74, Return x26, 0x1ffffff);
+  { uint32_t x79, uint8_t x80 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x77, Return x28, 0xffffff);
+  { uint32_t x82, uint8_t x83 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x80, Return x30, 0xffffff);
+  { uint32_t x85, uint8_t x86 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x83, Return x32, 0x1ffffff);
+  { uint32_t x88, uint8_t x89 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x86, Return x34, 0xffffff);
+  { uint32_t x91, uint8_t x92 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x89, Return x36, 0x1ffffff);
+  { uint32_t x94, uint8_t x95 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x92, Return x38, 0xffffff);
+  { uint32_t x97, uint8_t x98 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x95, Return x37, 0xffffff);
+  { uint32_t x99 = cmovznz32(x98, 0x0, 0xffffffff);
+  { uint32_t x100 = (x99 & 0x1ffffef);
+  { uint32_t x102, uint8_t x103 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x40, Return x100);
+  { uint32_t x104 = (x99 & 0xffffff);
+  { uint32_t x106, uint8_t x107 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x103, Return x43, Return x104);
+  { uint32_t x108 = (x99 & 0x1ffffff);
+  { uint32_t x110, uint8_t x111 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x107, Return x46, Return x108);
+  { uint32_t x112 = (x99 & 0xffffff);
+  { uint32_t x114, uint8_t x115 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x111, Return x49, Return x112);
+  { uint32_t x116 = (x99 & 0xffffff);
+  { uint32_t x118, uint8_t x119 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x115, Return x52, Return x116);
+  { uint32_t x120 = (x99 & 0x1ffffff);
+  { uint32_t x122, uint8_t x123 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x119, Return x55, Return x120);
+  { uint32_t x124 = (x99 & 0xffffff);
+  { uint32_t x126, uint8_t x127 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x123, Return x58, Return x124);
+  { uint32_t x128 = (x99 & 0x1ffffff);
+  { uint32_t x130, uint8_t x131 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x127, Return x61, Return x128);
+  { uint32_t x132 = (x99 & 0xffffff);
+  { uint32_t x134, uint8_t x135 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x131, Return x64, Return x132);
+  { uint32_t x136 = (x99 & 0xffffff);
+  { uint32_t x138, uint8_t x139 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x135, Return x67, Return x136);
+  { uint32_t x140 = (x99 & 0x1ffffff);
+  { uint32_t x142, uint8_t x143 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x139, Return x70, Return x140);
+  { uint32_t x144 = (x99 & 0xffffff);
+  { uint32_t x146, uint8_t x147 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x143, Return x73, Return x144);
+  { uint32_t x148 = (x99 & 0x1ffffff);
+  { uint32_t x150, uint8_t x151 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x147, Return x76, Return x148);
+  { uint32_t x152 = (x99 & 0xffffff);
+  { uint32_t x154, uint8_t x155 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x151, Return x79, Return x152);
+  { uint32_t x156 = (x99 & 0xffffff);
+  { uint32_t x158, uint8_t x159 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x155, Return x82, Return x156);
+  { uint32_t x160 = (x99 & 0x1ffffff);
+  { uint32_t x162, uint8_t x163 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x159, Return x85, Return x160);
+  { uint32_t x164 = (x99 & 0xffffff);
+  { uint32_t x166, uint8_t x167 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x163, Return x88, Return x164);
+  { uint32_t x168 = (x99 & 0x1ffffff);
+  { uint32_t x170, uint8_t x171 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x167, Return x91, Return x168);
+  { uint32_t x172 = (x99 & 0xffffff);
+  { uint32_t x174, uint8_t x175 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x171, Return x94, Return x172);
+  { uint32_t x176 = (x99 & 0xffffff);
+  { uint32_t x178, uint8_t _ = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x175, Return x97, Return x176);
+  out[0] = x102;
+  out[1] = x106;
+  out[2] = x110;
+  out[3] = x114;
+  out[4] = x118;
+  out[5] = x122;
+  out[6] = x126;
+  out[7] = x130;
+  out[8] = x134;
+  out[9] = x138;
+  out[10] = x142;
+  out[11] = x146;
+  out[12] = x150;
+  out[13] = x154;
+  out[14] = x158;
+  out[15] = x162;
+  out[16] = x166;
+  out[17] = x170;
+  out[18] = x174;
+  out[19] = x178;
+  }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}