aboutsummaryrefslogtreecommitdiff
path: root/p521_32.c
diff options
context:
space:
mode:
Diffstat (limited to 'p521_32.c')
-rw-r--r--p521_32.c342
1 files changed, 169 insertions, 173 deletions
diff --git a/p521_32.c b/p521_32.c
index d1ae368c9..b044dc804 100644
--- a/p521_32.c
+++ b/p521_32.c
@@ -1200,103 +1200,101 @@ static void fiat_p521_to_bytes(uint8_t out1[66], const uint32_t arg1[17]) {
uint8_t x130 = (uint8_t)(x127 & UINT8_C(0xff));
uint8_t x131 = (uint8_t)(x129 >> 8);
uint8_t x132 = (uint8_t)(x129 & UINT8_C(0xff));
- fiat_p521_uint1 x133 = (fiat_p521_uint1)(x131 >> 8);
- uint8_t x134 = (uint8_t)(x131 & UINT8_C(0xff));
- uint32_t x135 = (x133 + x48);
- uint32_t x136 = (x135 >> 8);
- uint8_t x137 = (uint8_t)(x135 & UINT8_C(0xff));
- uint32_t x138 = (x136 >> 8);
- uint8_t x139 = (uint8_t)(x136 & UINT8_C(0xff));
- uint8_t x140 = (uint8_t)(x138 >> 8);
- uint8_t x141 = (uint8_t)(x138 & UINT8_C(0xff));
- uint64_t x142 = (x140 + x78);
- uint32_t x143 = (uint32_t)(x142 >> 8);
- uint8_t x144 = (uint8_t)(x142 & UINT8_C(0xff));
- uint32_t x145 = (x143 >> 8);
- uint8_t x146 = (uint8_t)(x143 & UINT8_C(0xff));
- uint32_t x147 = (x145 >> 8);
- uint8_t x148 = (uint8_t)(x145 & UINT8_C(0xff));
- uint8_t x149 = (uint8_t)(x147 >> 8);
- uint8_t x150 = (uint8_t)(x147 & UINT8_C(0xff));
- uint64_t x151 = (x149 + x77);
- uint32_t x152 = (uint32_t)(x151 >> 8);
- uint8_t x153 = (uint8_t)(x151 & UINT8_C(0xff));
- uint32_t x154 = (x152 >> 8);
- uint8_t x155 = (uint8_t)(x152 & UINT8_C(0xff));
- uint32_t x156 = (x154 >> 8);
- uint8_t x157 = (uint8_t)(x154 & UINT8_C(0xff));
- uint8_t x158 = (uint8_t)(x156 >> 8);
- uint8_t x159 = (uint8_t)(x156 & UINT8_C(0xff));
- uint64_t x160 = (x158 + x76);
- uint32_t x161 = (uint32_t)(x160 >> 8);
- uint8_t x162 = (uint8_t)(x160 & UINT8_C(0xff));
- uint32_t x163 = (x161 >> 8);
- uint8_t x164 = (uint8_t)(x161 & UINT8_C(0xff));
- uint32_t x165 = (x163 >> 8);
- uint8_t x166 = (uint8_t)(x163 & UINT8_C(0xff));
- uint8_t x167 = (uint8_t)(x165 >> 8);
- uint8_t x168 = (uint8_t)(x165 & UINT8_C(0xff));
- uint64_t x169 = (x167 + x75);
- uint32_t x170 = (uint32_t)(x169 >> 8);
- uint8_t x171 = (uint8_t)(x169 & UINT8_C(0xff));
- uint32_t x172 = (x170 >> 8);
- uint8_t x173 = (uint8_t)(x170 & UINT8_C(0xff));
- uint32_t x174 = (x172 >> 8);
- uint8_t x175 = (uint8_t)(x172 & UINT8_C(0xff));
- uint8_t x176 = (uint8_t)(x174 >> 8);
- uint8_t x177 = (uint8_t)(x174 & UINT8_C(0xff));
- uint32_t x178 = (x176 + x74);
- uint32_t x179 = (x178 >> 8);
- uint8_t x180 = (uint8_t)(x178 & UINT8_C(0xff));
- uint32_t x181 = (x179 >> 8);
- uint8_t x182 = (uint8_t)(x179 & UINT8_C(0xff));
- uint8_t x183 = (uint8_t)(x181 >> 8);
- uint8_t x184 = (uint8_t)(x181 & UINT8_C(0xff));
- fiat_p521_uint1 x185 = (fiat_p521_uint1)(x183 >> 8);
- uint8_t x186 = (uint8_t)(x183 & UINT8_C(0xff));
- uint32_t x187 = (x185 + x60);
- uint32_t x188 = (x187 >> 8);
- uint8_t x189 = (uint8_t)(x187 & UINT8_C(0xff));
- uint32_t x190 = (x188 >> 8);
+ uint8_t x133 = (uint8_t)(x131 & UINT8_C(0xff));
+ uint32_t x134 = (0x0 + x48);
+ uint32_t x135 = (x134 >> 8);
+ uint8_t x136 = (uint8_t)(x134 & UINT8_C(0xff));
+ uint32_t x137 = (x135 >> 8);
+ uint8_t x138 = (uint8_t)(x135 & UINT8_C(0xff));
+ uint8_t x139 = (uint8_t)(x137 >> 8);
+ uint8_t x140 = (uint8_t)(x137 & UINT8_C(0xff));
+ uint64_t x141 = (x139 + x78);
+ uint32_t x142 = (uint32_t)(x141 >> 8);
+ uint8_t x143 = (uint8_t)(x141 & UINT8_C(0xff));
+ uint32_t x144 = (x142 >> 8);
+ uint8_t x145 = (uint8_t)(x142 & UINT8_C(0xff));
+ uint32_t x146 = (x144 >> 8);
+ uint8_t x147 = (uint8_t)(x144 & UINT8_C(0xff));
+ uint8_t x148 = (uint8_t)(x146 >> 8);
+ uint8_t x149 = (uint8_t)(x146 & UINT8_C(0xff));
+ uint64_t x150 = (x148 + x77);
+ uint32_t x151 = (uint32_t)(x150 >> 8);
+ uint8_t x152 = (uint8_t)(x150 & UINT8_C(0xff));
+ uint32_t x153 = (x151 >> 8);
+ uint8_t x154 = (uint8_t)(x151 & UINT8_C(0xff));
+ uint32_t x155 = (x153 >> 8);
+ uint8_t x156 = (uint8_t)(x153 & UINT8_C(0xff));
+ uint8_t x157 = (uint8_t)(x155 >> 8);
+ uint8_t x158 = (uint8_t)(x155 & UINT8_C(0xff));
+ uint64_t x159 = (x157 + x76);
+ uint32_t x160 = (uint32_t)(x159 >> 8);
+ uint8_t x161 = (uint8_t)(x159 & UINT8_C(0xff));
+ uint32_t x162 = (x160 >> 8);
+ uint8_t x163 = (uint8_t)(x160 & UINT8_C(0xff));
+ uint32_t x164 = (x162 >> 8);
+ uint8_t x165 = (uint8_t)(x162 & UINT8_C(0xff));
+ uint8_t x166 = (uint8_t)(x164 >> 8);
+ uint8_t x167 = (uint8_t)(x164 & UINT8_C(0xff));
+ uint64_t x168 = (x166 + x75);
+ uint32_t x169 = (uint32_t)(x168 >> 8);
+ uint8_t x170 = (uint8_t)(x168 & UINT8_C(0xff));
+ uint32_t x171 = (x169 >> 8);
+ uint8_t x172 = (uint8_t)(x169 & UINT8_C(0xff));
+ uint32_t x173 = (x171 >> 8);
+ uint8_t x174 = (uint8_t)(x171 & UINT8_C(0xff));
+ uint8_t x175 = (uint8_t)(x173 >> 8);
+ uint8_t x176 = (uint8_t)(x173 & UINT8_C(0xff));
+ uint32_t x177 = (x175 + x74);
+ uint32_t x178 = (x177 >> 8);
+ uint8_t x179 = (uint8_t)(x177 & UINT8_C(0xff));
+ uint32_t x180 = (x178 >> 8);
+ uint8_t x181 = (uint8_t)(x178 & UINT8_C(0xff));
+ uint8_t x182 = (uint8_t)(x180 >> 8);
+ uint8_t x183 = (uint8_t)(x180 & UINT8_C(0xff));
+ uint8_t x184 = (uint8_t)(x182 & UINT8_C(0xff));
+ uint32_t x185 = (0x0 + x60);
+ uint32_t x186 = (x185 >> 8);
+ uint8_t x187 = (uint8_t)(x185 & UINT8_C(0xff));
+ uint32_t x188 = (x186 >> 8);
+ uint8_t x189 = (uint8_t)(x186 & UINT8_C(0xff));
+ uint8_t x190 = (uint8_t)(x188 >> 8);
uint8_t x191 = (uint8_t)(x188 & UINT8_C(0xff));
- uint8_t x192 = (uint8_t)(x190 >> 8);
- uint8_t x193 = (uint8_t)(x190 & UINT8_C(0xff));
- uint64_t x194 = (x192 + x73);
- uint32_t x195 = (uint32_t)(x194 >> 8);
- uint8_t x196 = (uint8_t)(x194 & UINT8_C(0xff));
+ uint64_t x192 = (x190 + x73);
+ uint32_t x193 = (uint32_t)(x192 >> 8);
+ uint8_t x194 = (uint8_t)(x192 & UINT8_C(0xff));
+ uint32_t x195 = (x193 >> 8);
+ uint8_t x196 = (uint8_t)(x193 & UINT8_C(0xff));
uint32_t x197 = (x195 >> 8);
uint8_t x198 = (uint8_t)(x195 & UINT8_C(0xff));
- uint32_t x199 = (x197 >> 8);
+ uint8_t x199 = (uint8_t)(x197 >> 8);
uint8_t x200 = (uint8_t)(x197 & UINT8_C(0xff));
- uint8_t x201 = (uint8_t)(x199 >> 8);
- uint8_t x202 = (uint8_t)(x199 & UINT8_C(0xff));
- uint64_t x203 = (x201 + x72);
- uint32_t x204 = (uint32_t)(x203 >> 8);
- uint8_t x205 = (uint8_t)(x203 & UINT8_C(0xff));
+ uint64_t x201 = (x199 + x72);
+ uint32_t x202 = (uint32_t)(x201 >> 8);
+ uint8_t x203 = (uint8_t)(x201 & UINT8_C(0xff));
+ uint32_t x204 = (x202 >> 8);
+ uint8_t x205 = (uint8_t)(x202 & UINT8_C(0xff));
uint32_t x206 = (x204 >> 8);
uint8_t x207 = (uint8_t)(x204 & UINT8_C(0xff));
- uint32_t x208 = (x206 >> 8);
+ uint8_t x208 = (uint8_t)(x206 >> 8);
uint8_t x209 = (uint8_t)(x206 & UINT8_C(0xff));
- uint8_t x210 = (uint8_t)(x208 >> 8);
- uint8_t x211 = (uint8_t)(x208 & UINT8_C(0xff));
- uint64_t x212 = (x210 + x71);
- uint32_t x213 = (uint32_t)(x212 >> 8);
- uint8_t x214 = (uint8_t)(x212 & UINT8_C(0xff));
+ uint64_t x210 = (x208 + x71);
+ uint32_t x211 = (uint32_t)(x210 >> 8);
+ uint8_t x212 = (uint8_t)(x210 & UINT8_C(0xff));
+ uint32_t x213 = (x211 >> 8);
+ uint8_t x214 = (uint8_t)(x211 & UINT8_C(0xff));
uint32_t x215 = (x213 >> 8);
uint8_t x216 = (uint8_t)(x213 & UINT8_C(0xff));
- uint32_t x217 = (x215 >> 8);
+ uint8_t x217 = (uint8_t)(x215 >> 8);
uint8_t x218 = (uint8_t)(x215 & UINT8_C(0xff));
- uint8_t x219 = (uint8_t)(x217 >> 8);
- uint8_t x220 = (uint8_t)(x217 & UINT8_C(0xff));
- uint64_t x221 = (x219 + x70);
- uint32_t x222 = (uint32_t)(x221 >> 8);
- uint8_t x223 = (uint8_t)(x221 & UINT8_C(0xff));
+ uint64_t x219 = (x217 + x70);
+ uint32_t x220 = (uint32_t)(x219 >> 8);
+ uint8_t x221 = (uint8_t)(x219 & UINT8_C(0xff));
+ uint32_t x222 = (x220 >> 8);
+ uint8_t x223 = (uint8_t)(x220 & UINT8_C(0xff));
uint32_t x224 = (x222 >> 8);
uint8_t x225 = (uint8_t)(x222 & UINT8_C(0xff));
- uint32_t x226 = (x224 >> 8);
+ fiat_p521_uint1 x226 = (fiat_p521_uint1)(x224 >> 8);
uint8_t x227 = (uint8_t)(x224 & UINT8_C(0xff));
- fiat_p521_uint1 x228 = (fiat_p521_uint1)(x226 >> 8);
- uint8_t x229 = (uint8_t)(x226 & UINT8_C(0xff));
out1[0] = x85;
out1[1] = x87;
out1[2] = x89;
@@ -1319,50 +1317,50 @@ static void fiat_p521_to_bytes(uint8_t out1[66], const uint32_t arg1[17]) {
out1[19] = x128;
out1[20] = x130;
out1[21] = x132;
- out1[22] = x134;
- out1[23] = x137;
- out1[24] = x139;
- out1[25] = x141;
- out1[26] = x144;
- out1[27] = x146;
- out1[28] = x148;
- out1[29] = x150;
- out1[30] = x153;
- out1[31] = x155;
- out1[32] = x157;
- out1[33] = x159;
- out1[34] = x162;
- out1[35] = x164;
- out1[36] = x166;
- out1[37] = x168;
- out1[38] = x171;
- out1[39] = x173;
- out1[40] = x175;
- out1[41] = x177;
- out1[42] = x180;
- out1[43] = x182;
- out1[44] = x184;
- out1[45] = x186;
- out1[46] = x189;
- out1[47] = x191;
- out1[48] = x193;
- out1[49] = x196;
- out1[50] = x198;
- out1[51] = x200;
- out1[52] = x202;
- out1[53] = x205;
- out1[54] = x207;
- out1[55] = x209;
- out1[56] = x211;
- out1[57] = x214;
- out1[58] = x216;
- out1[59] = x218;
- out1[60] = x220;
- out1[61] = x223;
- out1[62] = x225;
- out1[63] = x227;
- out1[64] = x229;
- out1[65] = x228;
+ out1[22] = x133;
+ out1[23] = x136;
+ out1[24] = x138;
+ out1[25] = x140;
+ out1[26] = x143;
+ out1[27] = x145;
+ out1[28] = x147;
+ out1[29] = x149;
+ out1[30] = x152;
+ out1[31] = x154;
+ out1[32] = x156;
+ out1[33] = x158;
+ out1[34] = x161;
+ out1[35] = x163;
+ out1[36] = x165;
+ out1[37] = x167;
+ out1[38] = x170;
+ out1[39] = x172;
+ out1[40] = x174;
+ out1[41] = x176;
+ out1[42] = x179;
+ out1[43] = x181;
+ out1[44] = x183;
+ out1[45] = x184;
+ out1[46] = x187;
+ out1[47] = x189;
+ out1[48] = x191;
+ out1[49] = x194;
+ out1[50] = x196;
+ out1[51] = x198;
+ out1[52] = x200;
+ out1[53] = x203;
+ out1[54] = x205;
+ out1[55] = x207;
+ out1[56] = x209;
+ out1[57] = x212;
+ out1[58] = x214;
+ out1[59] = x216;
+ out1[60] = x218;
+ out1[61] = x221;
+ out1[62] = x223;
+ out1[63] = x225;
+ out1[64] = x227;
+ out1[65] = x226;
}
/*
@@ -1470,55 +1468,53 @@ static void fiat_p521_from_bytes(uint32_t out1[17], const uint8_t arg1[66]) {
uint8_t x96 = (uint8_t)(x95 >> 31);
uint32_t x97 = (uint32_t)(x95 & UINT32_C(0x7fffffff));
uint32_t x98 = (x96 + x81);
- fiat_p521_uint1 x99 = (fiat_p521_uint1)(x98 >> 30);
- uint32_t x100 = (x98 & UINT32_C(0x3fffffff));
- uint32_t x101 = (x99 + x80);
- fiat_p521_uint1 x102 = (fiat_p521_uint1)(x101 >> 31);
- uint32_t x103 = (x101 & UINT32_C(0x7fffffff));
- uint64_t x104 = (x102 + x79);
- uint8_t x105 = (uint8_t)(x104 >> 31);
- uint32_t x106 = (uint32_t)(x104 & UINT32_C(0x7fffffff));
- uint64_t x107 = (x105 + x78);
- uint8_t x108 = (uint8_t)(x107 >> 30);
- uint32_t x109 = (uint32_t)(x107 & UINT32_C(0x3fffffff));
- uint64_t x110 = (x108 + x77);
- uint8_t x111 = (uint8_t)(x110 >> 31);
- uint32_t x112 = (uint32_t)(x110 & UINT32_C(0x7fffffff));
- uint64_t x113 = (x111 + x76);
- uint8_t x114 = (uint8_t)(x113 >> 31);
- uint32_t x115 = (uint32_t)(x113 & UINT32_C(0x7fffffff));
- uint32_t x116 = (x114 + x75);
- fiat_p521_uint1 x117 = (fiat_p521_uint1)(x116 >> 30);
- uint32_t x118 = (x116 & UINT32_C(0x3fffffff));
- uint32_t x119 = (x117 + x74);
- fiat_p521_uint1 x120 = (fiat_p521_uint1)(x119 >> 31);
- uint32_t x121 = (x119 & UINT32_C(0x7fffffff));
- uint64_t x122 = (x120 + x73);
- uint8_t x123 = (uint8_t)(x122 >> 31);
- uint32_t x124 = (uint32_t)(x122 & UINT32_C(0x7fffffff));
- uint64_t x125 = (x123 + x72);
- uint8_t x126 = (uint8_t)(x125 >> 30);
- uint32_t x127 = (uint32_t)(x125 & UINT32_C(0x3fffffff));
- uint64_t x128 = (x126 + x71);
- uint8_t x129 = (uint8_t)(x128 >> 31);
- uint32_t x130 = (uint32_t)(x128 & UINT32_C(0x7fffffff));
- uint32_t x131 = (x129 + x70);
+ uint32_t x99 = (x98 & UINT32_C(0x3fffffff));
+ uint32_t x100 = (0x0 + x80);
+ fiat_p521_uint1 x101 = (fiat_p521_uint1)(x100 >> 31);
+ uint32_t x102 = (x100 & UINT32_C(0x7fffffff));
+ uint64_t x103 = (x101 + x79);
+ uint8_t x104 = (uint8_t)(x103 >> 31);
+ uint32_t x105 = (uint32_t)(x103 & UINT32_C(0x7fffffff));
+ uint64_t x106 = (x104 + x78);
+ uint8_t x107 = (uint8_t)(x106 >> 30);
+ uint32_t x108 = (uint32_t)(x106 & UINT32_C(0x3fffffff));
+ uint64_t x109 = (x107 + x77);
+ uint8_t x110 = (uint8_t)(x109 >> 31);
+ uint32_t x111 = (uint32_t)(x109 & UINT32_C(0x7fffffff));
+ uint64_t x112 = (x110 + x76);
+ uint8_t x113 = (uint8_t)(x112 >> 31);
+ uint32_t x114 = (uint32_t)(x112 & UINT32_C(0x7fffffff));
+ uint32_t x115 = (x113 + x75);
+ uint32_t x116 = (x115 & UINT32_C(0x3fffffff));
+ uint32_t x117 = (0x0 + x74);
+ fiat_p521_uint1 x118 = (fiat_p521_uint1)(x117 >> 31);
+ uint32_t x119 = (x117 & UINT32_C(0x7fffffff));
+ uint64_t x120 = (x118 + x73);
+ uint8_t x121 = (uint8_t)(x120 >> 31);
+ uint32_t x122 = (uint32_t)(x120 & UINT32_C(0x7fffffff));
+ uint64_t x123 = (x121 + x72);
+ uint8_t x124 = (uint8_t)(x123 >> 30);
+ uint32_t x125 = (uint32_t)(x123 & UINT32_C(0x3fffffff));
+ uint64_t x126 = (x124 + x71);
+ uint8_t x127 = (uint8_t)(x126 >> 31);
+ uint32_t x128 = (uint32_t)(x126 & UINT32_C(0x7fffffff));
+ uint32_t x129 = (x127 + x70);
out1[0] = x69;
out1[1] = x88;
out1[2] = x91;
out1[3] = x94;
out1[4] = x97;
- out1[5] = x100;
- out1[6] = x103;
- out1[7] = x106;
- out1[8] = x109;
- out1[9] = x112;
- out1[10] = x115;
- out1[11] = x118;
- out1[12] = x121;
- out1[13] = x124;
- out1[14] = x127;
- out1[15] = x130;
- out1[16] = x131;
+ out1[5] = x99;
+ out1[6] = x102;
+ out1[7] = x105;
+ out1[8] = x108;
+ out1[9] = x111;
+ out1[10] = x114;
+ out1[11] = x116;
+ out1[12] = x119;
+ out1[13] = x122;
+ out1[14] = x125;
+ out1[15] = x128;
+ out1[16] = x129;
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 11:15:33 +0000