diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-14 15:54:15 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-14 15:54:15 -0500 |
commit | 4d98d4bcd43c026ee7a74208dfc68e582bdfa122 (patch) | |
tree | 405e541018308cb7c1fd8594987f20696aaad301 /src/Specific/solinas32_2e511m481_23limbs/freeze.c | |
parent | c21d39f35ed774dc7f2405d79acbc21086ee2ef1 (diff) |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas32_2e511m481_23limbs/freeze.c')
-rw-r--r-- | src/Specific/solinas32_2e511m481_23limbs/freeze.c | 119 |
1 files changed, 119 insertions, 0 deletions
diff --git a/src/Specific/solinas32_2e511m481_23limbs/freeze.c b/src/Specific/solinas32_2e511m481_23limbs/freeze.c new file mode 100644 index 000000000..2dee4ae82 --- /dev/null +++ b/src/Specific/solinas32_2e511m481_23limbs/freeze.c @@ -0,0 +1,119 @@ +static void freeze(uint32_t out[23], const uint32_t in1[23]) { + { const uint32_t x43 = in1[22]; + { const uint32_t x44 = in1[21]; + { const uint32_t x42 = in1[20]; + { const uint32_t x40 = 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 x46, uint8_t x47 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 8388127); + { uint32_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x47, Return x4, 0x3fffff); + { uint32_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x50, Return x6, 0x3fffff); + { uint32_t x55, uint8_t x56 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x8, 0x3fffff); + { uint32_t x58, uint8_t x59 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x56, Return x10, 0x7fffff); + { uint32_t x61, uint8_t x62 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x59, Return x12, 0x3fffff); + { uint32_t x64, uint8_t x65 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x62, Return x14, 0x3fffff); + { uint32_t x67, uint8_t x68 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x65, Return x16, 0x3fffff); + { uint32_t x70, uint8_t x71 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x68, Return x18, 0x3fffff); + { uint32_t x73, uint8_t x74 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x71, Return x20, 0x7fffff); + { uint32_t x76, uint8_t x77 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x74, Return x22, 0x3fffff); + { uint32_t x79, uint8_t x80 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x77, Return x24, 0x3fffff); + { uint32_t x82, uint8_t x83 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x80, Return x26, 0x3fffff); + { uint32_t x85, uint8_t x86 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x83, Return x28, 0x7fffff); + { uint32_t x88, uint8_t x89 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x86, Return x30, 0x3fffff); + { uint32_t x91, uint8_t x92 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x89, Return x32, 0x3fffff); + { uint32_t x94, uint8_t x95 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x92, Return x34, 0x3fffff); + { uint32_t x97, uint8_t x98 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x95, Return x36, 0x3fffff); + { uint32_t x100, uint8_t x101 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x98, Return x38, 0x7fffff); + { uint32_t x103, uint8_t x104 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x101, Return x40, 0x3fffff); + { uint32_t x106, uint8_t x107 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x104, Return x42, 0x3fffff); + { uint32_t x109, uint8_t x110 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x107, Return x44, 0x3fffff); + { uint32_t x112, uint8_t x113 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x110, Return x43, 0x3fffff); + { uint32_t x114 = cmovznz32(x113, 0x0, 0xffffffff); + { uint32_t x115 = (x114 & Const 8388127); + { uint32_t x117, uint8_t x118 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x46, Return x115); + { uint32_t x119 = (x114 & 0x3fffff); + { uint32_t x121, uint8_t x122 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x118, Return x49, Return x119); + { uint32_t x123 = (x114 & 0x3fffff); + { uint32_t x125, uint8_t x126 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x122, Return x52, Return x123); + { uint32_t x127 = (x114 & 0x3fffff); + { uint32_t x129, uint8_t x130 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x126, Return x55, Return x127); + { uint32_t x131 = (x114 & 0x7fffff); + { uint32_t x133, uint8_t x134 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x130, Return x58, Return x131); + { uint32_t x135 = (x114 & 0x3fffff); + { uint32_t x137, uint8_t x138 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x134, Return x61, Return x135); + { uint32_t x139 = (x114 & 0x3fffff); + { uint32_t x141, uint8_t x142 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x138, Return x64, Return x139); + { uint32_t x143 = (x114 & 0x3fffff); + { uint32_t x145, uint8_t x146 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x142, Return x67, Return x143); + { uint32_t x147 = (x114 & 0x3fffff); + { uint32_t x149, uint8_t x150 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x146, Return x70, Return x147); + { uint32_t x151 = (x114 & 0x7fffff); + { uint32_t x153, uint8_t x154 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x150, Return x73, Return x151); + { uint32_t x155 = (x114 & 0x3fffff); + { uint32_t x157, uint8_t x158 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x154, Return x76, Return x155); + { uint32_t x159 = (x114 & 0x3fffff); + { uint32_t x161, uint8_t x162 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x158, Return x79, Return x159); + { uint32_t x163 = (x114 & 0x3fffff); + { uint32_t x165, uint8_t x166 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x162, Return x82, Return x163); + { uint32_t x167 = (x114 & 0x7fffff); + { uint32_t x169, uint8_t x170 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x166, Return x85, Return x167); + { uint32_t x171 = (x114 & 0x3fffff); + { uint32_t x173, uint8_t x174 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x170, Return x88, Return x171); + { uint32_t x175 = (x114 & 0x3fffff); + { uint32_t x177, uint8_t x178 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x174, Return x91, Return x175); + { uint32_t x179 = (x114 & 0x3fffff); + { uint32_t x181, uint8_t x182 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x178, Return x94, Return x179); + { uint32_t x183 = (x114 & 0x3fffff); + { uint32_t x185, uint8_t x186 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x182, Return x97, Return x183); + { uint32_t x187 = (x114 & 0x7fffff); + { uint32_t x189, uint8_t x190 = Op (Syntax.AddWithGetCarry 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x186, Return x100, Return x187); + { uint32_t x191 = (x114 & 0x3fffff); + { uint32_t x193, uint8_t x194 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x190, Return x103, Return x191); + { uint32_t x195 = (x114 & 0x3fffff); + { uint32_t x197, uint8_t x198 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x194, Return x106, Return x195); + { uint32_t x199 = (x114 & 0x3fffff); + { uint32_t x201, uint8_t x202 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x198, Return x109, Return x199); + { uint32_t x203 = (x114 & 0x3fffff); + { uint32_t x205, uint8_t _ = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x202, Return x112, Return x203); + out[0] = x117; + out[1] = x121; + out[2] = x125; + out[3] = x129; + out[4] = x133; + out[5] = x137; + out[6] = x141; + out[7] = x145; + out[8] = x149; + out[9] = x153; + out[10] = x157; + out[11] = x161; + out[12] = x165; + out[13] = x169; + out[14] = x173; + out[15] = x177; + out[16] = x181; + out[17] = x185; + out[18] = x189; + out[19] = x193; + out[20] = x197; + out[21] = x201; + out[22] = x205; + }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} +} |