1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
λ x x0 : word64 * word64 * word64 * word64,
Interp-η
(λ var : Syntax.base_type → Type,
λ '(x8, x9, x7, x5, (x14, x15, x13, x11))%core,
uint64_t x17, uint64_t x18 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x11);
uint64_t x20, uint64_t x21 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x13);
uint64_t x23, uint64_t x24 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x15);
uint64_t x26, uint64_t x27 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x14);
uint64_t x29, bool x30 = addcarryx_u64(0x0, 0x0, x17);
uint64_t x32, bool x33 = addcarryx_u64(x30, x18, x20);
uint64_t x35, bool x36 = addcarryx_u64(x33, x21, x23);
uint64_t x38, uint64_t x39 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x26, 0x10000000000000000L * x27);
uint64_t x41, bool x42 = addcarryx_u64(0x0, x24, x38);
uint64_t x43 = x39 + x42;
uint64_t x45, bool x46 = addcarryx_u64(0x0, x36, x41);
uint128_t x47 = (uint128_t) x43 + x46;
uint64_t x49, bool x50 = addcarryx_u64(0x0, 0x0, x29);
uint64_t x52, bool x53 = addcarryx_u64(x50, 0x0, x32);
uint64_t x55, bool x56 = addcarryx_u64(x53, 0x0, x35);
uint64_t x58, bool x59 = addcarryx_u64(x56, 0x0, x45);
uint64_t x61, bool x62 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x59, 0x0, Return x47);
uint64_t x64, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x49, 0x1);
uint64_t x67, uint64_t x68 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffffffffffffL);
uint64_t x70, uint64_t x71 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffff);
bool x73, bool x74 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x64, 0x0);
uint64_t x76, uint64_t x77 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffff00000001L);
bool x79, bool x80 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x64, 0x0);
uint64_t x82, bool x83 = addcarryx_u64(0x0, 0x0, x67);
uint64_t x85, bool x86 = addcarryx_u64(x83, x68, x70);
uint64_t x88, bool x89 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x86, Return x71, Return x73);
uint64_t x91, bool x92 = addcarryx_u64(x89, x74, x76);
bool x94, bool x95 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x79, (bool) 0x10000000000000000L * x80);
uint64_t x97, bool x98 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x77, Return x94);
bool x99 = x95 + x98;
uint64_t x101, bool x102 = addcarryx_u64(0x0, x92, x97);
bool x103 = x99 + x102;
uint64_t _, bool x106 = addcarryx_u64(0x0, x49, x82);
uint64_t x108, bool x109 = addcarryx_u64(x106, x52, x85);
uint64_t x111, bool x112 = addcarryx_u64(x109, x55, x88);
uint64_t x114, bool x115 = addcarryx_u64(x112, x58, x91);
uint64_t x117, bool x118 = addcarryx_u64(x115, x61, x101);
uint64_t x120, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x118, Return x62, Return x103);
uint64_t x123, uint64_t x124 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x11);
uint64_t x126, uint64_t x127 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x13);
uint64_t x129, uint64_t x130 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x15);
uint64_t x132, uint64_t x133 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x14);
uint64_t x135, bool x136 = addcarryx_u64(0x0, 0x0, x123);
uint64_t x138, bool x139 = addcarryx_u64(x136, x124, x126);
uint64_t x141, bool x142 = addcarryx_u64(x139, x127, x129);
uint64_t x144, uint64_t x145 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x132, 0x10000000000000000L * x133);
uint64_t x147, bool x148 = addcarryx_u64(0x0, x130, x144);
uint64_t x149 = x145 + x148;
uint64_t x151, bool x152 = addcarryx_u64(0x0, x142, x147);
uint128_t x153 = (uint128_t) x149 + x152;
uint64_t x155, bool x156 = addcarryx_u64(0x0, x108, x135);
uint64_t x158, bool x159 = addcarryx_u64(x156, x111, x138);
uint64_t x161, bool x162 = addcarryx_u64(x159, x114, x141);
uint64_t x164, bool x165 = addcarryx_u64(x162, x117, x151);
uint64_t x167, bool x168 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x165, Return x120, Return x153);
uint64_t x170, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x155, 0x1);
uint64_t x173, uint64_t x174 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffffffffffffL);
uint64_t x176, uint64_t x177 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffff);
bool x179, bool x180 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x170, 0x0);
uint64_t x182, uint64_t x183 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffff00000001L);
bool x185, bool x186 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x170, 0x0);
uint64_t x188, bool x189 = addcarryx_u64(0x0, 0x0, x173);
uint64_t x191, bool x192 = addcarryx_u64(x189, x174, x176);
uint64_t x194, bool x195 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x192, Return x177, Return x179);
uint64_t x197, bool x198 = addcarryx_u64(x195, x180, x182);
bool x200, bool x201 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x185, (bool) 0x10000000000000000L * x186);
uint64_t x203, bool x204 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x183, Return x200);
bool x205 = x201 + x204;
uint64_t x207, bool x208 = addcarryx_u64(0x0, x198, x203);
bool x209 = x205 + x208;
uint64_t _, bool x212 = addcarryx_u64(0x0, x155, x188);
uint64_t x214, bool x215 = addcarryx_u64(x212, x158, x191);
uint64_t x217, bool x218 = addcarryx_u64(x215, x161, x194);
uint64_t x220, bool x221 = addcarryx_u64(x218, x164, x197);
uint64_t x223, bool x224 = addcarryx_u64(x221, x167, x207);
uint64_t x226, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x224, Return x168, Return x209);
uint64_t x229, uint64_t x230 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x11);
uint64_t x232, uint64_t x233 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x13);
uint64_t x235, uint64_t x236 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x15);
uint64_t x238, uint64_t x239 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x14);
uint64_t x241, bool x242 = addcarryx_u64(0x0, 0x0, x229);
uint64_t x244, bool x245 = addcarryx_u64(x242, x230, x232);
uint64_t x247, bool x248 = addcarryx_u64(x245, x233, x235);
uint64_t x250, uint64_t x251 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x238, 0x10000000000000000L * x239);
uint64_t x253, bool x254 = addcarryx_u64(0x0, x236, x250);
uint64_t x255 = x251 + x254;
uint64_t x257, bool x258 = addcarryx_u64(0x0, x248, x253);
uint128_t x259 = (uint128_t) x255 + x258;
uint64_t x261, bool x262 = addcarryx_u64(0x0, x214, x241);
uint64_t x264, bool x265 = addcarryx_u64(x262, x217, x244);
uint64_t x267, bool x268 = addcarryx_u64(x265, x220, x247);
uint64_t x270, bool x271 = addcarryx_u64(x268, x223, x257);
uint64_t x273, bool x274 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x271, Return x226, Return x259);
uint64_t x276, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x261, 0x1);
uint64_t x279, uint64_t x280 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffffffffffffL);
uint64_t x282, uint64_t x283 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffff);
bool x285, bool x286 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x276, 0x0);
uint64_t x288, uint64_t x289 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffff00000001L);
bool x291, bool x292 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x276, 0x0);
uint64_t x294, bool x295 = addcarryx_u64(0x0, 0x0, x279);
uint64_t x297, bool x298 = addcarryx_u64(x295, x280, x282);
uint64_t x300, bool x301 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x298, Return x283, Return x285);
uint64_t x303, bool x304 = addcarryx_u64(x301, x286, x288);
bool x306, bool x307 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x291, (bool) 0x10000000000000000L * x292);
uint64_t x309, bool x310 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x289, Return x306);
bool x311 = x307 + x310;
uint64_t x313, bool x314 = addcarryx_u64(0x0, x304, x309);
bool x315 = x311 + x314;
uint64_t _, bool x318 = addcarryx_u64(0x0, x261, x294);
uint64_t x320, bool x321 = addcarryx_u64(x318, x264, x297);
uint64_t x323, bool x324 = addcarryx_u64(x321, x267, x300);
uint64_t x326, bool x327 = addcarryx_u64(x324, x270, x303);
uint64_t x329, bool x330 = addcarryx_u64(x327, x273, x313);
uint64_t x332, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x330, Return x274, Return x315);
uint64_t x335, uint64_t x336 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x11);
uint64_t x338, uint64_t x339 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x13);
uint64_t x341, uint64_t x342 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x15);
uint64_t x344, uint64_t x345 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x14);
uint64_t x347, bool x348 = addcarryx_u64(0x0, 0x0, x335);
uint64_t x350, bool x351 = addcarryx_u64(x348, x336, x338);
uint64_t x353, bool x354 = addcarryx_u64(x351, x339, x341);
uint64_t x356, uint64_t x357 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x344, 0x10000000000000000L * x345);
uint64_t x359, bool x360 = addcarryx_u64(0x0, x342, x356);
uint64_t x361 = x357 + x360;
uint64_t x363, bool x364 = addcarryx_u64(0x0, x354, x359);
uint128_t x365 = (uint128_t) x361 + x364;
uint64_t x367, bool x368 = addcarryx_u64(0x0, x320, x347);
uint64_t x370, bool x371 = addcarryx_u64(x368, x323, x350);
uint64_t x373, bool x374 = addcarryx_u64(x371, x326, x353);
uint64_t x376, bool x377 = addcarryx_u64(x374, x329, x363);
uint64_t x379, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x377, Return x332, Return x365);
uint64_t x382, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x367, 0x1);
uint64_t x385, uint64_t x386 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffffffffffffL);
uint64_t x388, uint64_t x389 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffff);
bool x391, bool x392 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x382, 0x0);
uint64_t x394, uint64_t x395 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffff00000001L);
bool x397, bool x398 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x382, 0x0);
uint64_t x400, bool x401 = addcarryx_u64(0x0, 0x0, x385);
uint64_t x403, bool x404 = addcarryx_u64(x401, x386, x388);
uint64_t x406, bool x407 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x404, Return x389, Return x391);
uint64_t x409, bool x410 = addcarryx_u64(x407, x392, x394);
bool x412, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x397, (bool) 0x10000000000000000L * x398);
uint64_t x415, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x395, Return x412);
uint64_t x418, bool _ = addcarryx_u64(0x0, x410, x415);
uint64_t _, bool x422 = addcarryx_u64(0x0, x367, x400);
uint64_t x424, bool x425 = addcarryx_u64(x422, x370, x403);
uint64_t x427, bool x428 = addcarryx_u64(x425, x373, x406);
uint64_t x430, bool x431 = addcarryx_u64(x428, x376, x409);
uint64_t x433, bool _ = addcarryx_u64(x431, x379, x418);
(Return x433, Return x430, Return x427, Return x424))
(x, x0)%core
: word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)
|
