aboutsummaryrefslogtreecommitdiff
path: root/p256_32.c
diff options
context:
space:
mode:
Diffstat (limited to 'p256_32.c')
-rw-r--r--p256_32.c186
1 files changed, 86 insertions, 100 deletions
diff --git a/p256_32.c b/p256_32.c
index fe0bf4cbc..faaa0b04e 100644
--- a/p256_32.c
+++ b/p256_32.c
@@ -3072,93 +3072,86 @@ static void fiat_p256_to_bytes(uint8_t out1[32], const uint32_t arg1[8]) {
uint8_t x13 = (uint8_t)(x11 >> 8);
uint8_t x14 = (uint8_t)(x11 & UINT8_C(0xff));
uint8_t x15 = (uint8_t)(x13 & UINT8_C(0xff));
- uint32_t x16 = (0x0 + x7);
- uint32_t x17 = (x16 >> 8);
- uint8_t x18 = (uint8_t)(x16 & UINT8_C(0xff));
- uint32_t x19 = (x17 >> 8);
- uint8_t x20 = (uint8_t)(x17 & UINT8_C(0xff));
- uint8_t x21 = (uint8_t)(x19 >> 8);
- uint8_t x22 = (uint8_t)(x19 & UINT8_C(0xff));
- uint8_t x23 = (uint8_t)(x21 & UINT8_C(0xff));
- uint32_t x24 = (0x0 + x6);
- uint32_t x25 = (x24 >> 8);
- uint8_t x26 = (uint8_t)(x24 & UINT8_C(0xff));
- uint32_t x27 = (x25 >> 8);
+ uint32_t x16 = (x7 >> 8);
+ uint8_t x17 = (uint8_t)(x7 & UINT8_C(0xff));
+ uint32_t x18 = (x16 >> 8);
+ uint8_t x19 = (uint8_t)(x16 & UINT8_C(0xff));
+ 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));
+ uint32_t x23 = (x6 >> 8);
+ uint8_t x24 = (uint8_t)(x6 & UINT8_C(0xff));
+ uint32_t x25 = (x23 >> 8);
+ uint8_t x26 = (uint8_t)(x23 & UINT8_C(0xff));
+ uint8_t x27 = (uint8_t)(x25 >> 8);
uint8_t x28 = (uint8_t)(x25 & UINT8_C(0xff));
- uint8_t x29 = (uint8_t)(x27 >> 8);
- uint8_t x30 = (uint8_t)(x27 & UINT8_C(0xff));
- uint8_t x31 = (uint8_t)(x29 & UINT8_C(0xff));
- uint32_t x32 = (0x0 + x5);
- uint32_t x33 = (x32 >> 8);
- uint8_t x34 = (uint8_t)(x32 & UINT8_C(0xff));
- uint32_t x35 = (x33 >> 8);
- uint8_t x36 = (uint8_t)(x33 & UINT8_C(0xff));
- uint8_t x37 = (uint8_t)(x35 >> 8);
- uint8_t x38 = (uint8_t)(x35 & UINT8_C(0xff));
- uint8_t x39 = (uint8_t)(x37 & UINT8_C(0xff));
- uint32_t x40 = (0x0 + x4);
- uint32_t x41 = (x40 >> 8);
- uint8_t x42 = (uint8_t)(x40 & UINT8_C(0xff));
- uint32_t x43 = (x41 >> 8);
- uint8_t x44 = (uint8_t)(x41 & UINT8_C(0xff));
- uint8_t x45 = (uint8_t)(x43 >> 8);
- uint8_t x46 = (uint8_t)(x43 & UINT8_C(0xff));
- uint8_t x47 = (uint8_t)(x45 & UINT8_C(0xff));
- uint32_t x48 = (0x0 + x3);
- uint32_t x49 = (x48 >> 8);
+ uint8_t x29 = (uint8_t)(x27 & UINT8_C(0xff));
+ uint32_t x30 = (x5 >> 8);
+ uint8_t x31 = (uint8_t)(x5 & UINT8_C(0xff));
+ uint32_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));
+ uint32_t x37 = (x4 >> 8);
+ uint8_t x38 = (uint8_t)(x4 & UINT8_C(0xff));
+ uint32_t x39 = (x37 >> 8);
+ uint8_t x40 = (uint8_t)(x37 & UINT8_C(0xff));
+ uint8_t x41 = (uint8_t)(x39 >> 8);
+ uint8_t x42 = (uint8_t)(x39 & UINT8_C(0xff));
+ uint8_t x43 = (uint8_t)(x41 & UINT8_C(0xff));
+ uint32_t x44 = (x3 >> 8);
+ uint8_t x45 = (uint8_t)(x3 & UINT8_C(0xff));
+ uint32_t x46 = (x44 >> 8);
+ uint8_t x47 = (uint8_t)(x44 & UINT8_C(0xff));
+ uint8_t x48 = (uint8_t)(x46 >> 8);
+ uint8_t x49 = (uint8_t)(x46 & UINT8_C(0xff));
uint8_t x50 = (uint8_t)(x48 & UINT8_C(0xff));
- uint32_t x51 = (x49 >> 8);
- uint8_t x52 = (uint8_t)(x49 & UINT8_C(0xff));
- uint8_t x53 = (uint8_t)(x51 >> 8);
+ uint32_t x51 = (x2 >> 8);
+ uint8_t x52 = (uint8_t)(x2 & UINT8_C(0xff));
+ uint32_t x53 = (x51 >> 8);
uint8_t x54 = (uint8_t)(x51 & UINT8_C(0xff));
- uint8_t x55 = (uint8_t)(x53 & UINT8_C(0xff));
- uint32_t x56 = (0x0 + x2);
- uint32_t x57 = (x56 >> 8);
- uint8_t x58 = (uint8_t)(x56 & UINT8_C(0xff));
- uint32_t x59 = (x57 >> 8);
- uint8_t x60 = (uint8_t)(x57 & UINT8_C(0xff));
- uint8_t x61 = (uint8_t)(x59 >> 8);
- uint8_t x62 = (uint8_t)(x59 & UINT8_C(0xff));
- uint8_t x63 = (uint8_t)(x61 & UINT8_C(0xff));
- uint32_t x64 = (0x0 + x1);
- uint32_t x65 = (x64 >> 8);
- uint8_t x66 = (uint8_t)(x64 & UINT8_C(0xff));
- uint32_t x67 = (x65 >> 8);
- uint8_t x68 = (uint8_t)(x65 & UINT8_C(0xff));
- uint8_t x69 = (uint8_t)(x67 >> 8);
- uint8_t x70 = (uint8_t)(x67 & UINT8_C(0xff));
+ uint8_t x55 = (uint8_t)(x53 >> 8);
+ uint8_t x56 = (uint8_t)(x53 & UINT8_C(0xff));
+ uint8_t x57 = (uint8_t)(x55 & UINT8_C(0xff));
+ uint32_t x58 = (x1 >> 8);
+ uint8_t x59 = (uint8_t)(x1 & UINT8_C(0xff));
+ uint32_t x60 = (x58 >> 8);
+ uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff));
+ uint8_t x62 = (uint8_t)(x60 >> 8);
+ uint8_t x63 = (uint8_t)(x60 & UINT8_C(0xff));
out1[0] = x10;
out1[1] = x12;
out1[2] = x14;
out1[3] = x15;
- out1[4] = x18;
- out1[5] = x20;
- out1[6] = x22;
- out1[7] = x23;
- out1[8] = x26;
- out1[9] = x28;
- out1[10] = x30;
- out1[11] = x31;
- out1[12] = x34;
- out1[13] = x36;
- out1[14] = x38;
- out1[15] = x39;
- out1[16] = x42;
- out1[17] = x44;
- out1[18] = x46;
- out1[19] = x47;
- out1[20] = x50;
- out1[21] = x52;
- out1[22] = x54;
- out1[23] = x55;
- out1[24] = x58;
- out1[25] = x60;
- out1[26] = x62;
- out1[27] = x63;
- out1[28] = x66;
- out1[29] = x68;
- out1[30] = x70;
- out1[31] = x69;
+ out1[4] = x17;
+ out1[5] = x19;
+ out1[6] = x21;
+ out1[7] = x22;
+ out1[8] = x24;
+ out1[9] = x26;
+ out1[10] = x28;
+ 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] = x43;
+ out1[20] = x45;
+ out1[21] = x47;
+ out1[22] = x49;
+ out1[23] = x50;
+ out1[24] = x52;
+ out1[25] = x54;
+ out1[26] = x56;
+ out1[27] = x57;
+ out1[28] = x59;
+ out1[29] = x61;
+ out1[30] = x63;
+ out1[31] = x62;
}
/*
@@ -3209,26 +3202,19 @@ static void fiat_p256_from_bytes(uint32_t out1[8], const uint8_t arg1[32]) {
uint32_t x39 = (x20 + (x19 + (x18 + x17)));
uint32_t x40 = (x24 + (x23 + (x22 + x21)));
uint32_t x41 = (x28 + (x27 + (x26 + x25)));
- uint32_t x42 = (0x0 + x41);
- uint32_t x43 = (x42 & UINT32_C(0xffffffff));
- uint32_t x44 = (0x0 + x40);
- uint32_t x45 = (x44 & UINT32_C(0xffffffff));
- uint32_t x46 = (0x0 + x39);
- uint32_t x47 = (x46 & UINT32_C(0xffffffff));
- uint32_t x48 = (0x0 + x38);
- uint32_t x49 = (x48 & UINT32_C(0xffffffff));
- uint32_t x50 = (0x0 + x37);
- uint32_t x51 = (x50 & UINT32_C(0xffffffff));
- uint32_t x52 = (0x0 + x36);
- uint32_t x53 = (x52 & UINT32_C(0xffffffff));
- uint32_t x54 = (0x0 + x35);
+ uint32_t x42 = (x41 & UINT32_C(0xffffffff));
+ uint32_t x43 = (x40 & UINT32_C(0xffffffff));
+ uint32_t x44 = (x39 & UINT32_C(0xffffffff));
+ uint32_t x45 = (x38 & UINT32_C(0xffffffff));
+ uint32_t x46 = (x37 & UINT32_C(0xffffffff));
+ uint32_t x47 = (x36 & UINT32_C(0xffffffff));
out1[0] = x34;
- out1[1] = x43;
- out1[2] = x45;
- out1[3] = x47;
- out1[4] = x49;
- out1[5] = x51;
- out1[6] = x53;
- out1[7] = x54;
+ out1[1] = x42;
+ out1[2] = x43;
+ out1[3] = x44;
+ out1[4] = x45;
+ out1[5] = x46;
+ out1[6] = x47;
+ out1[7] = x35;
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 03:00:38 +0000