aboutsummaryrefslogtreecommitdiff
path: root/p521_64.c
diff options
context:
space:
mode:
Diffstat (limited to 'p521_64.c')
-rw-r--r--p521_64.c238
1 files changed, 117 insertions, 121 deletions
diff --git a/p521_64.c b/p521_64.c
index 08ba9e1b7..503368e0d 100644
--- a/p521_64.c
+++ b/p521_64.c
@@ -647,70 +647,70 @@ static void fiat_p521_to_bytes(uint8_t out1[66], const uint64_t arg1[9]) {
uint8_t x101 = (uint8_t)(x99 >> 8);
uint8_t x102 = (uint8_t)(x99 & UINT8_C(0xff));
uint8_t x103 = (uint8_t)(x101 & UINT8_C(0xff));
- uint64_t x104 = (0x0 + x28);
- uint64_t x105 = (x104 >> 8);
- uint8_t x106 = (uint8_t)(x104 & UINT8_C(0xff));
- uint64_t x107 = (x105 >> 8);
- uint8_t x108 = (uint8_t)(x105 & UINT8_C(0xff));
- uint64_t x109 = (x107 >> 8);
- uint8_t x110 = (uint8_t)(x107 & UINT8_C(0xff));
- uint64_t x111 = (x109 >> 8);
- uint8_t x112 = (uint8_t)(x109 & UINT8_C(0xff));
- uint64_t x113 = (x111 >> 8);
- uint8_t x114 = (uint8_t)(x111 & UINT8_C(0xff));
- uint64_t x115 = (x113 >> 8);
- uint8_t x116 = (uint8_t)(x113 & UINT8_C(0xff));
- uint8_t x117 = (uint8_t)(x115 >> 8);
- uint8_t x118 = (uint8_t)(x115 & UINT8_C(0xff));
- uint64_t x119 = (x117 + x40);
- uint64_t x120 = (x119 >> 8);
- uint8_t x121 = (uint8_t)(x119 & UINT8_C(0xff));
- uint64_t x122 = (x120 >> 8);
- uint8_t x123 = (uint8_t)(x120 & UINT8_C(0xff));
- uint64_t x124 = (x122 >> 8);
- uint8_t x125 = (uint8_t)(x122 & UINT8_C(0xff));
- uint64_t x126 = (x124 >> 8);
- uint8_t x127 = (uint8_t)(x124 & UINT8_C(0xff));
- uint64_t x128 = (x126 >> 8);
- uint8_t x129 = (uint8_t)(x126 & UINT8_C(0xff));
- uint64_t x130 = (x128 >> 8);
- uint8_t x131 = (uint8_t)(x128 & UINT8_C(0xff));
- uint8_t x132 = (uint8_t)(x130 >> 8);
- uint8_t x133 = (uint8_t)(x130 & UINT8_C(0xff));
- uint64_t x134 = (x132 + x39);
- uint64_t x135 = (x134 >> 8);
- uint8_t x136 = (uint8_t)(x134 & UINT8_C(0xff));
- uint64_t x137 = (x135 >> 8);
- uint8_t x138 = (uint8_t)(x135 & UINT8_C(0xff));
- uint64_t x139 = (x137 >> 8);
- uint8_t x140 = (uint8_t)(x137 & UINT8_C(0xff));
- uint64_t x141 = (x139 >> 8);
- uint8_t x142 = (uint8_t)(x139 & UINT8_C(0xff));
- uint64_t x143 = (x141 >> 8);
- uint8_t x144 = (uint8_t)(x141 & UINT8_C(0xff));
- uint64_t x145 = (x143 >> 8);
- uint8_t x146 = (uint8_t)(x143 & UINT8_C(0xff));
- uint8_t x147 = (uint8_t)(x145 >> 8);
- uint8_t x148 = (uint8_t)(x145 & UINT8_C(0xff));
- uint64_t x149 = (x147 + x38);
- uint64_t x150 = (x149 >> 8);
- uint8_t x151 = (uint8_t)(x149 & UINT8_C(0xff));
- uint64_t x152 = (x150 >> 8);
- uint8_t x153 = (uint8_t)(x150 & UINT8_C(0xff));
- uint64_t x154 = (x152 >> 8);
- uint8_t x155 = (uint8_t)(x152 & UINT8_C(0xff));
- uint64_t x156 = (x154 >> 8);
- uint8_t x157 = (uint8_t)(x154 & UINT8_C(0xff));
- uint64_t x158 = (x156 >> 8);
- uint8_t x159 = (uint8_t)(x156 & UINT8_C(0xff));
- uint64_t x160 = (x158 >> 8);
- uint8_t x161 = (uint8_t)(x158 & UINT8_C(0xff));
- uint8_t x162 = (uint8_t)(x160 >> 8);
- uint8_t x163 = (uint8_t)(x160 & UINT8_C(0xff));
- uint8_t x164 = (uint8_t)(x162 & UINT8_C(0xff));
- uint64_t x165 = (0x0 + x36);
- uint64_t x166 = (x165 >> 8);
- uint8_t x167 = (uint8_t)(x165 & UINT8_C(0xff));
+ uint64_t x104 = (x28 >> 8);
+ uint8_t x105 = (uint8_t)(x28 & UINT8_C(0xff));
+ uint64_t x106 = (x104 >> 8);
+ uint8_t x107 = (uint8_t)(x104 & UINT8_C(0xff));
+ uint64_t x108 = (x106 >> 8);
+ uint8_t x109 = (uint8_t)(x106 & UINT8_C(0xff));
+ uint64_t x110 = (x108 >> 8);
+ uint8_t x111 = (uint8_t)(x108 & UINT8_C(0xff));
+ uint64_t x112 = (x110 >> 8);
+ uint8_t x113 = (uint8_t)(x110 & UINT8_C(0xff));
+ uint64_t x114 = (x112 >> 8);
+ uint8_t x115 = (uint8_t)(x112 & UINT8_C(0xff));
+ uint8_t x116 = (uint8_t)(x114 >> 8);
+ uint8_t x117 = (uint8_t)(x114 & UINT8_C(0xff));
+ uint64_t x118 = (x116 + x40);
+ uint64_t x119 = (x118 >> 8);
+ uint8_t x120 = (uint8_t)(x118 & UINT8_C(0xff));
+ uint64_t x121 = (x119 >> 8);
+ uint8_t x122 = (uint8_t)(x119 & UINT8_C(0xff));
+ uint64_t x123 = (x121 >> 8);
+ uint8_t x124 = (uint8_t)(x121 & UINT8_C(0xff));
+ uint64_t x125 = (x123 >> 8);
+ uint8_t x126 = (uint8_t)(x123 & UINT8_C(0xff));
+ uint64_t x127 = (x125 >> 8);
+ uint8_t x128 = (uint8_t)(x125 & UINT8_C(0xff));
+ uint64_t x129 = (x127 >> 8);
+ 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));
+ uint64_t x133 = (x131 + x39);
+ uint64_t x134 = (x133 >> 8);
+ uint8_t x135 = (uint8_t)(x133 & UINT8_C(0xff));
+ uint64_t x136 = (x134 >> 8);
+ uint8_t x137 = (uint8_t)(x134 & UINT8_C(0xff));
+ uint64_t x138 = (x136 >> 8);
+ uint8_t x139 = (uint8_t)(x136 & UINT8_C(0xff));
+ uint64_t x140 = (x138 >> 8);
+ uint8_t x141 = (uint8_t)(x138 & UINT8_C(0xff));
+ uint64_t x142 = (x140 >> 8);
+ uint8_t x143 = (uint8_t)(x140 & UINT8_C(0xff));
+ uint64_t x144 = (x142 >> 8);
+ uint8_t x145 = (uint8_t)(x142 & UINT8_C(0xff));
+ uint8_t x146 = (uint8_t)(x144 >> 8);
+ uint8_t x147 = (uint8_t)(x144 & UINT8_C(0xff));
+ uint64_t x148 = (x146 + x38);
+ uint64_t x149 = (x148 >> 8);
+ uint8_t x150 = (uint8_t)(x148 & UINT8_C(0xff));
+ uint64_t x151 = (x149 >> 8);
+ uint8_t x152 = (uint8_t)(x149 & UINT8_C(0xff));
+ uint64_t x153 = (x151 >> 8);
+ uint8_t x154 = (uint8_t)(x151 & UINT8_C(0xff));
+ uint64_t x155 = (x153 >> 8);
+ uint8_t x156 = (uint8_t)(x153 & UINT8_C(0xff));
+ uint64_t x157 = (x155 >> 8);
+ uint8_t x158 = (uint8_t)(x155 & UINT8_C(0xff));
+ uint64_t x159 = (x157 >> 8);
+ uint8_t x160 = (uint8_t)(x157 & UINT8_C(0xff));
+ uint8_t x161 = (uint8_t)(x159 >> 8);
+ uint8_t x162 = (uint8_t)(x159 & UINT8_C(0xff));
+ uint8_t x163 = (uint8_t)(x161 & UINT8_C(0xff));
+ uint64_t x164 = (x36 >> 8);
+ uint8_t x165 = (uint8_t)(x36 & UINT8_C(0xff));
+ uint64_t x166 = (x164 >> 8);
+ uint8_t x167 = (uint8_t)(x164 & UINT8_C(0xff));
uint64_t x168 = (x166 >> 8);
uint8_t x169 = (uint8_t)(x166 & UINT8_C(0xff));
uint64_t x170 = (x168 >> 8);
@@ -719,10 +719,8 @@ static void fiat_p521_to_bytes(uint8_t out1[66], const uint64_t arg1[9]) {
uint8_t x173 = (uint8_t)(x170 & UINT8_C(0xff));
uint64_t x174 = (x172 >> 8);
uint8_t x175 = (uint8_t)(x172 & UINT8_C(0xff));
- uint64_t x176 = (x174 >> 8);
+ fiat_p521_uint1 x176 = (fiat_p521_uint1)(x174 >> 8);
uint8_t x177 = (uint8_t)(x174 & UINT8_C(0xff));
- fiat_p521_uint1 x178 = (fiat_p521_uint1)(x176 >> 8);
- uint8_t x179 = (uint8_t)(x176 & UINT8_C(0xff));
out1[0] = x45;
out1[1] = x47;
out1[2] = x49;
@@ -752,43 +750,43 @@ static void fiat_p521_to_bytes(uint8_t out1[66], const uint64_t arg1[9]) {
out1[26] = x100;
out1[27] = x102;
out1[28] = x103;
- out1[29] = x106;
- out1[30] = x108;
- out1[31] = x110;
- out1[32] = x112;
- out1[33] = x114;
- out1[34] = x116;
- out1[35] = x118;
- out1[36] = x121;
- out1[37] = x123;
- out1[38] = x125;
- out1[39] = x127;
- out1[40] = x129;
- out1[41] = x131;
- out1[42] = x133;
- out1[43] = x136;
- out1[44] = x138;
- out1[45] = x140;
- out1[46] = x142;
- out1[47] = x144;
- out1[48] = x146;
- out1[49] = x148;
- out1[50] = x151;
- out1[51] = x153;
- out1[52] = x155;
- out1[53] = x157;
- out1[54] = x159;
- out1[55] = x161;
- out1[56] = x163;
- out1[57] = x164;
- out1[58] = x167;
- out1[59] = x169;
- out1[60] = x171;
- out1[61] = x173;
- out1[62] = x175;
- out1[63] = x177;
- out1[64] = x179;
- out1[65] = x178;
+ out1[29] = x105;
+ out1[30] = x107;
+ out1[31] = x109;
+ out1[32] = x111;
+ out1[33] = x113;
+ out1[34] = x115;
+ out1[35] = x117;
+ out1[36] = x120;
+ out1[37] = x122;
+ out1[38] = x124;
+ out1[39] = x126;
+ out1[40] = x128;
+ out1[41] = x130;
+ out1[42] = x132;
+ out1[43] = x135;
+ out1[44] = x137;
+ out1[45] = x139;
+ out1[46] = x141;
+ out1[47] = x143;
+ out1[48] = x145;
+ out1[49] = x147;
+ out1[50] = x150;
+ out1[51] = x152;
+ out1[52] = x154;
+ out1[53] = x156;
+ out1[54] = x158;
+ out1[55] = x160;
+ out1[56] = x162;
+ out1[57] = x163;
+ out1[58] = x165;
+ out1[59] = x167;
+ out1[60] = x169;
+ out1[61] = x171;
+ out1[62] = x173;
+ out1[63] = x175;
+ out1[64] = x177;
+ out1[65] = x176;
}
/*
@@ -883,26 +881,24 @@ static void fiat_p521_from_bytes(uint64_t out1[9], const uint8_t arg1[66]) {
uint64_t x83 = (x81 & UINT64_C(0x3ffffffffffffff));
uint64_t x84 = (x82 + x75);
uint64_t x85 = (x84 & UINT64_C(0x3ffffffffffffff));
- uint64_t x86 = (0x0 + x74);
- uint8_t x87 = (uint8_t)(x86 >> 58);
- uint64_t x88 = (x86 & UINT64_C(0x3ffffffffffffff));
- uint64_t x89 = (x87 + x73);
- uint8_t x90 = (uint8_t)(x89 >> 58);
- uint64_t x91 = (x89 & UINT64_C(0x3ffffffffffffff));
- uint64_t x92 = (x90 + x72);
- uint8_t x93 = (uint8_t)(x92 >> 58);
- uint64_t x94 = (x92 & UINT64_C(0x3ffffffffffffff));
- uint64_t x95 = (x93 + x71);
- uint64_t x96 = (x95 & UINT64_C(0x3ffffffffffffff));
- uint64_t x97 = (0x0 + x70);
+ uint8_t x86 = (uint8_t)(x74 >> 58);
+ uint64_t x87 = (x74 & UINT64_C(0x3ffffffffffffff));
+ uint64_t x88 = (x86 + x73);
+ uint8_t x89 = (uint8_t)(x88 >> 58);
+ uint64_t x90 = (x88 & UINT64_C(0x3ffffffffffffff));
+ uint64_t x91 = (x89 + x72);
+ uint8_t x92 = (uint8_t)(x91 >> 58);
+ uint64_t x93 = (x91 & UINT64_C(0x3ffffffffffffff));
+ uint64_t x94 = (x92 + x71);
+ uint64_t x95 = (x94 & UINT64_C(0x3ffffffffffffff));
out1[0] = x69;
out1[1] = x80;
out1[2] = x83;
out1[3] = x85;
- out1[4] = x88;
- out1[5] = x91;
- out1[6] = x94;
- out1[7] = x96;
- out1[8] = x97;
+ out1[4] = x87;
+ out1[5] = x90;
+ out1[6] = x93;
+ out1[7] = x95;
+ out1[8] = x70;
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 11:35:51 +0000