aboutsummaryrefslogtreecommitdiff
path: root/p484_64.c
diff options
context:
space:
mode:
Diffstat (limited to 'p484_64.c')
-rw-r--r--p484_64.c266
1 files changed, 127 insertions, 139 deletions
diff --git a/p484_64.c b/p484_64.c
index 399ada567..4a86b216a 100644
--- a/p484_64.c
+++ b/p484_64.c
@@ -2960,25 +2960,25 @@ static void fiat_p484_to_bytes(uint8_t out1[56], const uint64_t arg1[7]) {
uint8_t x20 = (uint8_t)(x18 >> 8);
uint8_t x21 = (uint8_t)(x18 & UINT8_C(0xff));
uint8_t x22 = (uint8_t)(x20 & UINT8_C(0xff));
- uint64_t x23 = (0x0 + x6);
- uint64_t x24 = (x23 >> 8);
- uint8_t x25 = (uint8_t)(x23 & UINT8_C(0xff));
- uint64_t x26 = (x24 >> 8);
- uint8_t x27 = (uint8_t)(x24 & UINT8_C(0xff));
- uint64_t x28 = (x26 >> 8);
- uint8_t x29 = (uint8_t)(x26 & UINT8_C(0xff));
- uint64_t x30 = (x28 >> 8);
- uint8_t x31 = (uint8_t)(x28 & UINT8_C(0xff));
- uint64_t x32 = (x30 >> 8);
- uint8_t x33 = (uint8_t)(x30 & UINT8_C(0xff));
- uint64_t x34 = (x32 >> 8);
- uint8_t x35 = (uint8_t)(x32 & UINT8_C(0xff));
- uint8_t x36 = (uint8_t)(x34 >> 8);
- uint8_t x37 = (uint8_t)(x34 & UINT8_C(0xff));
- uint8_t x38 = (uint8_t)(x36 & UINT8_C(0xff));
- uint64_t x39 = (0x0 + x5);
- uint64_t x40 = (x39 >> 8);
- uint8_t x41 = (uint8_t)(x39 & UINT8_C(0xff));
+ uint64_t x23 = (x6 >> 8);
+ uint8_t x24 = (uint8_t)(x6 & UINT8_C(0xff));
+ uint64_t x25 = (x23 >> 8);
+ uint8_t x26 = (uint8_t)(x23 & UINT8_C(0xff));
+ uint64_t x27 = (x25 >> 8);
+ uint8_t x28 = (uint8_t)(x25 & UINT8_C(0xff));
+ uint64_t x29 = (x27 >> 8);
+ uint8_t x30 = (uint8_t)(x27 & UINT8_C(0xff));
+ uint64_t x31 = (x29 >> 8);
+ uint8_t x32 = (uint8_t)(x29 & UINT8_C(0xff));
+ uint64_t x33 = (x31 >> 8);
+ uint8_t x34 = (uint8_t)(x31 & UINT8_C(0xff));
+ uint8_t x35 = (uint8_t)(x33 >> 8);
+ uint8_t x36 = (uint8_t)(x33 & UINT8_C(0xff));
+ uint8_t x37 = (uint8_t)(x35 & UINT8_C(0xff));
+ uint64_t x38 = (x5 >> 8);
+ uint8_t x39 = (uint8_t)(x5 & UINT8_C(0xff));
+ uint64_t x40 = (x38 >> 8);
+ uint8_t x41 = (uint8_t)(x38 & UINT8_C(0xff));
uint64_t x42 = (x40 >> 8);
uint8_t x43 = (uint8_t)(x40 & UINT8_C(0xff));
uint64_t x44 = (x42 >> 8);
@@ -2987,73 +2987,67 @@ static void fiat_p484_to_bytes(uint8_t out1[56], const uint64_t arg1[7]) {
uint8_t x47 = (uint8_t)(x44 & UINT8_C(0xff));
uint64_t x48 = (x46 >> 8);
uint8_t x49 = (uint8_t)(x46 & UINT8_C(0xff));
- uint64_t x50 = (x48 >> 8);
+ uint8_t x50 = (uint8_t)(x48 >> 8);
uint8_t x51 = (uint8_t)(x48 & UINT8_C(0xff));
- uint8_t x52 = (uint8_t)(x50 >> 8);
- uint8_t x53 = (uint8_t)(x50 & UINT8_C(0xff));
- uint8_t x54 = (uint8_t)(x52 & UINT8_C(0xff));
- uint64_t x55 = (0x0 + x4);
- uint64_t x56 = (x55 >> 8);
- uint8_t x57 = (uint8_t)(x55 & UINT8_C(0xff));
- uint64_t x58 = (x56 >> 8);
- uint8_t x59 = (uint8_t)(x56 & UINT8_C(0xff));
- uint64_t x60 = (x58 >> 8);
- uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff));
- uint64_t x62 = (x60 >> 8);
- uint8_t x63 = (uint8_t)(x60 & UINT8_C(0xff));
- uint64_t x64 = (x62 >> 8);
- uint8_t x65 = (uint8_t)(x62 & UINT8_C(0xff));
- uint64_t x66 = (x64 >> 8);
- uint8_t x67 = (uint8_t)(x64 & UINT8_C(0xff));
- uint8_t x68 = (uint8_t)(x66 >> 8);
- uint8_t x69 = (uint8_t)(x66 & UINT8_C(0xff));
- uint8_t x70 = (uint8_t)(x68 & UINT8_C(0xff));
- uint64_t x71 = (0x0 + x3);
- uint64_t x72 = (x71 >> 8);
- uint8_t x73 = (uint8_t)(x71 & UINT8_C(0xff));
+ uint8_t x52 = (uint8_t)(x50 & UINT8_C(0xff));
+ uint64_t x53 = (x4 >> 8);
+ uint8_t x54 = (uint8_t)(x4 & UINT8_C(0xff));
+ uint64_t x55 = (x53 >> 8);
+ uint8_t x56 = (uint8_t)(x53 & UINT8_C(0xff));
+ uint64_t x57 = (x55 >> 8);
+ uint8_t x58 = (uint8_t)(x55 & UINT8_C(0xff));
+ uint64_t x59 = (x57 >> 8);
+ uint8_t x60 = (uint8_t)(x57 & UINT8_C(0xff));
+ uint64_t x61 = (x59 >> 8);
+ uint8_t x62 = (uint8_t)(x59 & UINT8_C(0xff));
+ uint64_t x63 = (x61 >> 8);
+ uint8_t x64 = (uint8_t)(x61 & UINT8_C(0xff));
+ uint8_t x65 = (uint8_t)(x63 >> 8);
+ uint8_t x66 = (uint8_t)(x63 & UINT8_C(0xff));
+ uint8_t x67 = (uint8_t)(x65 & UINT8_C(0xff));
+ uint64_t x68 = (x3 >> 8);
+ uint8_t x69 = (uint8_t)(x3 & UINT8_C(0xff));
+ uint64_t x70 = (x68 >> 8);
+ uint8_t x71 = (uint8_t)(x68 & UINT8_C(0xff));
+ uint64_t x72 = (x70 >> 8);
+ uint8_t x73 = (uint8_t)(x70 & UINT8_C(0xff));
uint64_t x74 = (x72 >> 8);
uint8_t x75 = (uint8_t)(x72 & UINT8_C(0xff));
uint64_t x76 = (x74 >> 8);
uint8_t x77 = (uint8_t)(x74 & UINT8_C(0xff));
uint64_t x78 = (x76 >> 8);
uint8_t x79 = (uint8_t)(x76 & UINT8_C(0xff));
- uint64_t x80 = (x78 >> 8);
+ uint8_t x80 = (uint8_t)(x78 >> 8);
uint8_t x81 = (uint8_t)(x78 & UINT8_C(0xff));
- uint64_t x82 = (x80 >> 8);
- uint8_t x83 = (uint8_t)(x80 & UINT8_C(0xff));
- uint8_t x84 = (uint8_t)(x82 >> 8);
- uint8_t x85 = (uint8_t)(x82 & UINT8_C(0xff));
- uint8_t x86 = (uint8_t)(x84 & UINT8_C(0xff));
- uint64_t x87 = (0x0 + x2);
- uint64_t x88 = (x87 >> 8);
- uint8_t x89 = (uint8_t)(x87 & UINT8_C(0xff));
- uint64_t x90 = (x88 >> 8);
- uint8_t x91 = (uint8_t)(x88 & UINT8_C(0xff));
- uint64_t x92 = (x90 >> 8);
- uint8_t x93 = (uint8_t)(x90 & UINT8_C(0xff));
- uint64_t x94 = (x92 >> 8);
- uint8_t x95 = (uint8_t)(x92 & UINT8_C(0xff));
- uint64_t x96 = (x94 >> 8);
- uint8_t x97 = (uint8_t)(x94 & UINT8_C(0xff));
- uint64_t x98 = (x96 >> 8);
- uint8_t x99 = (uint8_t)(x96 & UINT8_C(0xff));
- uint8_t x100 = (uint8_t)(x98 >> 8);
+ uint8_t x82 = (uint8_t)(x80 & UINT8_C(0xff));
+ uint64_t x83 = (x2 >> 8);
+ uint8_t x84 = (uint8_t)(x2 & UINT8_C(0xff));
+ uint64_t x85 = (x83 >> 8);
+ uint8_t x86 = (uint8_t)(x83 & UINT8_C(0xff));
+ uint64_t x87 = (x85 >> 8);
+ uint8_t x88 = (uint8_t)(x85 & UINT8_C(0xff));
+ uint64_t x89 = (x87 >> 8);
+ uint8_t x90 = (uint8_t)(x87 & UINT8_C(0xff));
+ uint64_t x91 = (x89 >> 8);
+ uint8_t x92 = (uint8_t)(x89 & UINT8_C(0xff));
+ uint64_t x93 = (x91 >> 8);
+ uint8_t x94 = (uint8_t)(x91 & UINT8_C(0xff));
+ uint8_t x95 = (uint8_t)(x93 >> 8);
+ uint8_t x96 = (uint8_t)(x93 & UINT8_C(0xff));
+ uint8_t x97 = (uint8_t)(x95 & UINT8_C(0xff));
+ uint64_t x98 = (x1 >> 8);
+ uint8_t x99 = (uint8_t)(x1 & UINT8_C(0xff));
+ uint64_t x100 = (x98 >> 8);
uint8_t x101 = (uint8_t)(x98 & UINT8_C(0xff));
- uint8_t x102 = (uint8_t)(x100 & UINT8_C(0xff));
- uint64_t x103 = (0x0 + x1);
- uint64_t x104 = (x103 >> 8);
- uint8_t x105 = (uint8_t)(x103 & UINT8_C(0xff));
+ uint64_t x102 = (x100 >> 8);
+ uint8_t x103 = (uint8_t)(x100 & UINT8_C(0xff));
+ uint64_t x104 = (x102 >> 8);
+ uint8_t x105 = (uint8_t)(x102 & UINT8_C(0xff));
uint64_t x106 = (x104 >> 8);
uint8_t x107 = (uint8_t)(x104 & UINT8_C(0xff));
- uint64_t x108 = (x106 >> 8);
+ uint8_t x108 = (uint8_t)(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));
- uint8_t x114 = (uint8_t)(x112 >> 8);
- uint8_t x115 = (uint8_t)(x112 & UINT8_C(0xff));
- uint8_t x116 = (uint8_t)(x114 & UINT8_C(0xff));
+ uint8_t x110 = (uint8_t)(x108 & UINT8_C(0xff));
out1[0] = x9;
out1[1] = x11;
out1[2] = x13;
@@ -3062,53 +3056,53 @@ static void fiat_p484_to_bytes(uint8_t out1[56], const uint64_t arg1[7]) {
out1[5] = x19;
out1[6] = x21;
out1[7] = x22;
- out1[8] = x25;
- out1[9] = x27;
- out1[10] = x29;
- out1[11] = x31;
- out1[12] = x33;
- out1[13] = x35;
- out1[14] = x37;
- out1[15] = x38;
- out1[16] = x41;
- out1[17] = x43;
- out1[18] = x45;
- out1[19] = x47;
- out1[20] = x49;
- out1[21] = x51;
- out1[22] = x53;
- out1[23] = x54;
- out1[24] = x57;
- out1[25] = x59;
- out1[26] = x61;
- out1[27] = x63;
- out1[28] = x65;
- out1[29] = x67;
- out1[30] = x69;
- out1[31] = x70;
- out1[32] = x73;
- out1[33] = x75;
- out1[34] = x77;
- out1[35] = x79;
- out1[36] = x81;
- out1[37] = x83;
- out1[38] = x85;
- out1[39] = x86;
- out1[40] = x89;
- out1[41] = x91;
- out1[42] = x93;
- out1[43] = x95;
- out1[44] = x97;
- out1[45] = x99;
- out1[46] = x101;
- out1[47] = x102;
- out1[48] = x105;
- out1[49] = x107;
- out1[50] = x109;
- out1[51] = x111;
- out1[52] = x113;
- out1[53] = x115;
- out1[54] = x116;
+ out1[8] = x24;
+ out1[9] = x26;
+ out1[10] = x28;
+ out1[11] = x30;
+ out1[12] = x32;
+ out1[13] = x34;
+ out1[14] = x36;
+ out1[15] = x37;
+ out1[16] = x39;
+ out1[17] = x41;
+ out1[18] = x43;
+ out1[19] = x45;
+ out1[20] = x47;
+ out1[21] = x49;
+ out1[22] = x51;
+ out1[23] = x52;
+ out1[24] = x54;
+ out1[25] = x56;
+ out1[26] = x58;
+ out1[27] = x60;
+ out1[28] = x62;
+ out1[29] = x64;
+ out1[30] = x66;
+ out1[31] = x67;
+ out1[32] = x69;
+ out1[33] = x71;
+ out1[34] = x73;
+ out1[35] = x75;
+ out1[36] = x77;
+ out1[37] = x79;
+ out1[38] = x81;
+ out1[39] = x82;
+ out1[40] = x84;
+ out1[41] = x86;
+ out1[42] = x88;
+ out1[43] = x90;
+ out1[44] = x92;
+ out1[45] = x94;
+ out1[46] = x96;
+ out1[47] = x97;
+ out1[48] = x99;
+ out1[49] = x101;
+ out1[50] = x103;
+ out1[51] = x105;
+ out1[52] = x107;
+ out1[53] = x109;
+ out1[54] = x110;
out1[55] = 0x0;
}
@@ -3176,29 +3170,23 @@ static void fiat_p484_from_bytes(uint64_t out1[7], const uint8_t arg1[56]) {
uint8_t x55 = (arg1[0]);
uint64_t x56 = (x55 + (x54 + (x53 + (x52 + (x51 + (x50 + (x49 + x48)))))));
uint64_t x57 = (x56 & UINT64_C(0xffffffffffffffff));
- uint64_t x58 = (x7 + (x6 + (x5 + (x4 + (x3 + (x2 + (x1 + (uint64_t)0x0)))))));
+ uint64_t x58 = (x7 + (x6 + (x5 + (x4 + (x3 + (x2 + x1))))));
uint64_t x59 = (x15 + (x14 + (x13 + (x12 + (x11 + (x10 + (x9 + x8)))))));
uint64_t x60 = (x23 + (x22 + (x21 + (x20 + (x19 + (x18 + (x17 + x16)))))));
uint64_t x61 = (x31 + (x30 + (x29 + (x28 + (x27 + (x26 + (x25 + x24)))))));
uint64_t x62 = (x39 + (x38 + (x37 + (x36 + (x35 + (x34 + (x33 + x32)))))));
uint64_t x63 = (x47 + (x46 + (x45 + (x44 + (x43 + (x42 + (x41 + x40)))))));
- uint64_t x64 = (0x0 + x63);
- uint64_t x65 = (x64 & UINT64_C(0xffffffffffffffff));
- uint64_t x66 = (0x0 + x62);
- uint64_t x67 = (x66 & UINT64_C(0xffffffffffffffff));
- uint64_t x68 = (0x0 + x61);
- uint64_t x69 = (x68 & UINT64_C(0xffffffffffffffff));
- uint64_t x70 = (0x0 + x60);
- uint64_t x71 = (x70 & UINT64_C(0xffffffffffffffff));
- uint64_t x72 = (0x0 + x59);
- uint64_t x73 = (x72 & UINT64_C(0xffffffffffffffff));
- uint64_t x74 = (0x0 + x58);
+ uint64_t x64 = (x63 & UINT64_C(0xffffffffffffffff));
+ uint64_t x65 = (x62 & UINT64_C(0xffffffffffffffff));
+ uint64_t x66 = (x61 & UINT64_C(0xffffffffffffffff));
+ uint64_t x67 = (x60 & UINT64_C(0xffffffffffffffff));
+ uint64_t x68 = (x59 & UINT64_C(0xffffffffffffffff));
out1[0] = x57;
- out1[1] = x65;
- out1[2] = x67;
- out1[3] = x69;
- out1[4] = x71;
- out1[5] = x73;
- out1[6] = x74;
+ out1[1] = x64;
+ out1[2] = x65;
+ out1[3] = x66;
+ out1[4] = x67;
+ out1[5] = x68;
+ out1[6] = x58;
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 17:40:57 +0000