aboutsummaryrefslogtreecommitdiff
path: root/p384_64.c
diff options
context:
space:
mode:
Diffstat (limited to 'p384_64.c')
-rw-r--r--p384_64.c224
1 files changed, 107 insertions, 117 deletions
diff --git a/p384_64.c b/p384_64.c
index 906996746..e5cc08628 100644
--- a/p384_64.c
+++ b/p384_64.c
@@ -2364,25 +2364,25 @@ static void fiat_p384_to_bytes(uint8_t out1[48], const uint64_t arg1[6]) {
uint8_t x19 = (uint8_t)(x17 >> 8);
uint8_t x20 = (uint8_t)(x17 & UINT8_C(0xff));
uint8_t x21 = (uint8_t)(x19 & UINT8_C(0xff));
- uint64_t x22 = (0x0 + x5);
- uint64_t x23 = (x22 >> 8);
- uint8_t x24 = (uint8_t)(x22 & 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 = (0x0 + x4);
- uint64_t x39 = (x38 >> 8);
- uint8_t x40 = (uint8_t)(x38 & UINT8_C(0xff));
+ uint64_t x22 = (x5 >> 8);
+ uint8_t x23 = (uint8_t)(x5 & UINT8_C(0xff));
+ uint64_t x24 = (x22 >> 8);
+ uint8_t x25 = (uint8_t)(x22 & 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));
+ uint8_t x34 = (uint8_t)(x32 >> 8);
+ uint8_t x35 = (uint8_t)(x32 & UINT8_C(0xff));
+ uint8_t x36 = (uint8_t)(x34 & UINT8_C(0xff));
+ uint64_t x37 = (x4 >> 8);
+ uint8_t x38 = (uint8_t)(x4 & UINT8_C(0xff));
+ uint64_t x39 = (x37 >> 8);
+ uint8_t x40 = (uint8_t)(x37 & UINT8_C(0xff));
uint64_t x41 = (x39 >> 8);
uint8_t x42 = (uint8_t)(x39 & UINT8_C(0xff));
uint64_t x43 = (x41 >> 8);
@@ -2391,58 +2391,53 @@ static void fiat_p384_to_bytes(uint8_t out1[48], const uint64_t arg1[6]) {
uint8_t x46 = (uint8_t)(x43 & UINT8_C(0xff));
uint64_t x47 = (x45 >> 8);
uint8_t x48 = (uint8_t)(x45 & UINT8_C(0xff));
- uint64_t x49 = (x47 >> 8);
+ uint8_t x49 = (uint8_t)(x47 >> 8);
uint8_t x50 = (uint8_t)(x47 & UINT8_C(0xff));
- uint8_t x51 = (uint8_t)(x49 >> 8);
- uint8_t x52 = (uint8_t)(x49 & UINT8_C(0xff));
- uint8_t x53 = (uint8_t)(x51 & UINT8_C(0xff));
- uint64_t x54 = (0x0 + x3);
- uint64_t x55 = (x54 >> 8);
- uint8_t x56 = (uint8_t)(x54 & 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));
- uint64_t x65 = (x63 >> 8);
- uint8_t x66 = (uint8_t)(x63 & UINT8_C(0xff));
- uint8_t x67 = (uint8_t)(x65 >> 8);
- uint8_t x68 = (uint8_t)(x65 & UINT8_C(0xff));
- uint8_t x69 = (uint8_t)(x67 & UINT8_C(0xff));
- uint64_t x70 = (0x0 + x2);
- uint64_t x71 = (x70 >> 8);
- uint8_t x72 = (uint8_t)(x70 & UINT8_C(0xff));
+ uint8_t x51 = (uint8_t)(x49 & UINT8_C(0xff));
+ uint64_t x52 = (x3 >> 8);
+ uint8_t x53 = (uint8_t)(x3 & UINT8_C(0xff));
+ uint64_t x54 = (x52 >> 8);
+ uint8_t x55 = (uint8_t)(x52 & UINT8_C(0xff));
+ uint64_t x56 = (x54 >> 8);
+ uint8_t x57 = (uint8_t)(x54 & 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));
+ uint8_t x64 = (uint8_t)(x62 >> 8);
+ uint8_t x65 = (uint8_t)(x62 & UINT8_C(0xff));
+ uint8_t x66 = (uint8_t)(x64 & UINT8_C(0xff));
+ uint64_t x67 = (x2 >> 8);
+ uint8_t x68 = (uint8_t)(x2 & UINT8_C(0xff));
+ uint64_t x69 = (x67 >> 8);
+ uint8_t x70 = (uint8_t)(x67 & UINT8_C(0xff));
+ uint64_t x71 = (x69 >> 8);
+ uint8_t x72 = (uint8_t)(x69 & UINT8_C(0xff));
uint64_t x73 = (x71 >> 8);
uint8_t x74 = (uint8_t)(x71 & UINT8_C(0xff));
uint64_t x75 = (x73 >> 8);
uint8_t x76 = (uint8_t)(x73 & UINT8_C(0xff));
uint64_t x77 = (x75 >> 8);
uint8_t x78 = (uint8_t)(x75 & UINT8_C(0xff));
- uint64_t x79 = (x77 >> 8);
+ uint8_t x79 = (uint8_t)(x77 >> 8);
uint8_t x80 = (uint8_t)(x77 & UINT8_C(0xff));
- uint64_t x81 = (x79 >> 8);
- uint8_t x82 = (uint8_t)(x79 & UINT8_C(0xff));
- uint8_t x83 = (uint8_t)(x81 >> 8);
- uint8_t x84 = (uint8_t)(x81 & UINT8_C(0xff));
- uint8_t x85 = (uint8_t)(x83 & UINT8_C(0xff));
- uint64_t x86 = (0x0 + x1);
- uint64_t x87 = (x86 >> 8);
- uint8_t x88 = (uint8_t)(x86 & 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));
- uint64_t x95 = (x93 >> 8);
- uint8_t x96 = (uint8_t)(x93 & UINT8_C(0xff));
- uint64_t x97 = (x95 >> 8);
- uint8_t x98 = (uint8_t)(x95 & UINT8_C(0xff));
- uint8_t x99 = (uint8_t)(x97 >> 8);
- uint8_t x100 = (uint8_t)(x97 & UINT8_C(0xff));
+ uint8_t x81 = (uint8_t)(x79 & UINT8_C(0xff));
+ uint64_t x82 = (x1 >> 8);
+ uint8_t x83 = (uint8_t)(x1 & UINT8_C(0xff));
+ uint64_t x84 = (x82 >> 8);
+ uint8_t x85 = (uint8_t)(x82 & UINT8_C(0xff));
+ uint64_t x86 = (x84 >> 8);
+ uint8_t x87 = (uint8_t)(x84 & UINT8_C(0xff));
+ uint64_t x88 = (x86 >> 8);
+ uint8_t x89 = (uint8_t)(x86 & 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));
+ uint8_t x94 = (uint8_t)(x92 >> 8);
+ uint8_t x95 = (uint8_t)(x92 & UINT8_C(0xff));
out1[0] = x8;
out1[1] = x10;
out1[2] = x12;
@@ -2451,46 +2446,46 @@ static void fiat_p384_to_bytes(uint8_t out1[48], const uint64_t arg1[6]) {
out1[5] = x18;
out1[6] = x20;
out1[7] = x21;
- 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] = x40;
- out1[17] = x42;
- out1[18] = x44;
- out1[19] = x46;
- out1[20] = x48;
- out1[21] = x50;
- out1[22] = x52;
- out1[23] = x53;
- out1[24] = x56;
- out1[25] = x58;
- out1[26] = x60;
- out1[27] = x62;
- out1[28] = x64;
- out1[29] = x66;
- out1[30] = x68;
- out1[31] = x69;
- out1[32] = x72;
- out1[33] = x74;
- out1[34] = x76;
- out1[35] = x78;
- out1[36] = x80;
- out1[37] = x82;
- out1[38] = x84;
- out1[39] = x85;
- out1[40] = x88;
- out1[41] = x90;
- out1[42] = x92;
- out1[43] = x94;
- out1[44] = x96;
- out1[45] = x98;
- out1[46] = x100;
- out1[47] = x99;
+ out1[8] = x23;
+ out1[9] = x25;
+ out1[10] = x27;
+ out1[11] = x29;
+ out1[12] = x31;
+ out1[13] = x33;
+ out1[14] = x35;
+ out1[15] = x36;
+ out1[16] = x38;
+ out1[17] = x40;
+ out1[18] = x42;
+ out1[19] = x44;
+ out1[20] = x46;
+ out1[21] = x48;
+ out1[22] = x50;
+ out1[23] = x51;
+ out1[24] = x53;
+ out1[25] = x55;
+ out1[26] = x57;
+ out1[27] = x59;
+ out1[28] = x61;
+ out1[29] = x63;
+ out1[30] = x65;
+ out1[31] = x66;
+ out1[32] = x68;
+ out1[33] = x70;
+ out1[34] = x72;
+ out1[35] = x74;
+ out1[36] = x76;
+ out1[37] = x78;
+ out1[38] = x80;
+ out1[39] = x81;
+ out1[40] = x83;
+ out1[41] = x85;
+ out1[42] = x87;
+ out1[43] = x89;
+ out1[44] = x91;
+ out1[45] = x93;
+ out1[46] = x95;
+ out1[47] = x94;
}
/*
@@ -2555,20 +2550,15 @@ static void fiat_p384_from_bytes(uint64_t out1[6], const uint8_t arg1[48]) {
uint64_t x53 = (x24 + (x23 + (x22 + (x21 + (x20 + (x19 + (x18 + x17)))))));
uint64_t x54 = (x32 + (x31 + (x30 + (x29 + (x28 + (x27 + (x26 + x25)))))));
uint64_t x55 = (x40 + (x39 + (x38 + (x37 + (x36 + (x35 + (x34 + x33)))))));
- uint64_t x56 = (0x0 + x55);
- uint64_t x57 = (x56 & UINT64_C(0xffffffffffffffff));
- uint64_t x58 = (0x0 + x54);
- uint64_t x59 = (x58 & UINT64_C(0xffffffffffffffff));
- uint64_t x60 = (0x0 + x53);
- uint64_t x61 = (x60 & UINT64_C(0xffffffffffffffff));
- uint64_t x62 = (0x0 + x52);
- uint64_t x63 = (x62 & UINT64_C(0xffffffffffffffff));
- uint64_t x64 = (0x0 + x51);
+ uint64_t x56 = (x55 & UINT64_C(0xffffffffffffffff));
+ uint64_t x57 = (x54 & UINT64_C(0xffffffffffffffff));
+ uint64_t x58 = (x53 & UINT64_C(0xffffffffffffffff));
+ uint64_t x59 = (x52 & UINT64_C(0xffffffffffffffff));
out1[0] = x50;
- out1[1] = x57;
- out1[2] = x59;
- out1[3] = x61;
- out1[4] = x63;
- out1[5] = x64;
+ out1[1] = x56;
+ out1[2] = x57;
+ out1[3] = x58;
+ out1[4] = x59;
+ out1[5] = x51;
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-11 08:53:26 +0000