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
#![allow(unused_parens)]
#![allow(non_camel_case_types)]
#[inline]
pub fn fiat_secp256k1_dettman_mul(out1: &mut [u64; 5], arg1: &[u64; 5], arg2: &[u64; 5]) -> () {
let x1: u128 = (((arg1[4]) as u128) * ((arg2[4]) as u128));
let x2: u64 = ((x1 >> 52) as u64);
let x3: u64 = ((x1 & (0xfffffffffffff as u128)) as u64);
let x4: u128 = (((((arg1[0]) as u128) * ((arg2[3]) as u128)) + ((((arg1[1]) as u128) * ((arg2[2]) as u128)) + ((((arg1[2]) as u128) * ((arg2[1]) as u128)) + (((arg1[3]) as u128) * ((arg2[0]) as u128))))) + ((x3 as u128) * (0x1000003d10 as u128)));
let x5: u64 = ((x4 >> 52) as u64);
let x6: u64 = ((x4 & (0xfffffffffffff as u128)) as u64);
let x7: u128 = ((((((arg1[0]) as u128) * ((arg2[4]) as u128)) + ((((arg1[1]) as u128) * ((arg2[3]) as u128)) + ((((arg1[2]) as u128) * ((arg2[2]) as u128)) + ((((arg1[3]) as u128) * ((arg2[1]) as u128)) + (((arg1[4]) as u128) * ((arg2[0]) as u128)))))) + (x5 as u128)) + ((x2 as u128) * (0x1000003d10 as u128)));
let x8: u64 = ((x7 >> 52) as u64);
let x9: u64 = ((x7 & (0xfffffffffffff as u128)) as u64);
let x10: u64 = (x9 >> 48);
let x11: u64 = (x9 & 0xffffffffffff);
let x12: u128 = (((((arg1[1]) as u128) * ((arg2[4]) as u128)) + ((((arg1[2]) as u128) * ((arg2[3]) as u128)) + ((((arg1[3]) as u128) * ((arg2[2]) as u128)) + (((arg1[4]) as u128) * ((arg2[1]) as u128))))) + (x8 as u128));
let x13: u64 = ((x12 >> 52) as u64);
let x14: u64 = ((x12 & (0xfffffffffffff as u128)) as u64);
let x15: u128 = ((((arg1[0]) as u128) * ((arg2[0]) as u128)) + ((((x14 << 4) + x10) as u128) * (0x1000003d1 as u128)));
let x16: u64 = ((x15 >> 52) as u64);
let x17: u64 = ((x15 & (0xfffffffffffff as u128)) as u64);
let x18: u128 = (((((arg1[2]) as u128) * ((arg2[4]) as u128)) + ((((arg1[3]) as u128) * ((arg2[3]) as u128)) + (((arg1[4]) as u128) * ((arg2[2]) as u128)))) + (x13 as u128));
let x19: u64 = ((x18 >> 52) as u64);
let x20: u64 = ((x18 & (0xfffffffffffff as u128)) as u64);
let x21: u128 = ((((((arg1[0]) as u128) * ((arg2[1]) as u128)) + (((arg1[1]) as u128) * ((arg2[0]) as u128))) + (x16 as u128)) + ((x20 as u128) * (0x1000003d10 as u128)));
let x22: u64 = ((x21 >> 52) as u64);
let x23: u64 = ((x21 & (0xfffffffffffff as u128)) as u64);
let x24: u128 = (((((arg1[3]) as u128) * ((arg2[4]) as u128)) + (((arg1[4]) as u128) * ((arg2[3]) as u128))) + (x19 as u128));
let x25: u64 = ((x24 >> 52) as u64);
let x26: u64 = ((x24 & (0xfffffffffffff as u128)) as u64);
let x27: u128 = ((((((arg1[0]) as u128) * ((arg2[2]) as u128)) + ((((arg1[1]) as u128) * ((arg2[1]) as u128)) + (((arg1[2]) as u128) * ((arg2[0]) as u128)))) + (x22 as u128)) + ((x26 as u128) * (0x1000003d10 as u128)));
let x28: u64 = ((x27 >> 52) as u64);
let x29: u64 = ((x27 & (0xfffffffffffff as u128)) as u64);
let x30: u128 = (((x6 + x28) as u128) + ((x25 as u128) * (0x1000003d10 as u128)));
let x31: u64 = ((x30 >> 52) as u64);
let x32: u64 = ((x30 & (0xfffffffffffff as u128)) as u64);
let x33: u64 = (x11 + x31);
out1[0] = x17;
out1[1] = x23;
out1[2] = x29;
out1[3] = x32;
out1[4] = x33;
}
#[inline]
pub fn fiat_secp256k1_dettman_square(out1: &mut [u64; 5], arg1: &[u64; 5]) -> () {
let x1: u64 = ((arg1[3]) * 0x2);
let x2: u64 = ((arg1[2]) * 0x2);
let x3: u64 = ((arg1[1]) * 0x2);
let x4: u64 = ((arg1[0]) * 0x2);
let x5: u128 = (((arg1[4]) as u128) * ((arg1[4]) as u128));
let x6: u64 = ((x5 >> 52) as u64);
let x7: u64 = ((x5 & (0xfffffffffffff as u128)) as u64);
let x8: u128 = ((((x4 as u128) * ((arg1[3]) as u128)) + ((x3 as u128) * ((arg1[2]) as u128))) + ((x7 as u128) * (0x1000003d10 as u128)));
let x9: u64 = ((x8 >> 52) as u64);
let x10: u64 = ((x8 & (0xfffffffffffff as u128)) as u64);
let x11: u128 = (((((x4 as u128) * ((arg1[4]) as u128)) + (((x3 as u128) * ((arg1[3]) as u128)) + (((arg1[2]) as u128) * ((arg1[2]) as u128)))) + (x9 as u128)) + ((x6 as u128) * (0x1000003d10 as u128)));
let x12: u64 = ((x11 >> 52) as u64);
let x13: u64 = ((x11 & (0xfffffffffffff as u128)) as u64);
let x14: u64 = (x13 >> 48);
let x15: u64 = (x13 & 0xffffffffffff);
let x16: u128 = ((((x3 as u128) * ((arg1[4]) as u128)) + ((x2 as u128) * ((arg1[3]) as u128))) + (x12 as u128));
let x17: u64 = ((x16 >> 52) as u64);
let x18: u64 = ((x16 & (0xfffffffffffff as u128)) as u64);
let x19: u128 = ((((arg1[0]) as u128) * ((arg1[0]) as u128)) + ((((x18 << 4) + x14) as u128) * (0x1000003d1 as u128)));
let x20: u64 = ((x19 >> 52) as u64);
let x21: u64 = ((x19 & (0xfffffffffffff as u128)) as u64);
let x22: u128 = ((((x2 as u128) * ((arg1[4]) as u128)) + (((arg1[3]) as u128) * ((arg1[3]) as u128))) + (x17 as u128));
let x23: u64 = ((x22 >> 52) as u64);
let x24: u64 = ((x22 & (0xfffffffffffff as u128)) as u64);
let x25: u128 = ((((x4 as u128) * ((arg1[1]) as u128)) + (x20 as u128)) + ((x24 as u128) * (0x1000003d10 as u128)));
let x26: u64 = ((x25 >> 52) as u64);
let x27: u64 = ((x25 & (0xfffffffffffff as u128)) as u64);
let x28: u128 = (((x1 as u128) * ((arg1[4]) as u128)) + (x23 as u128));
let x29: u64 = ((x28 >> 52) as u64);
let x30: u64 = ((x28 & (0xfffffffffffff as u128)) as u64);
let x31: u128 = (((((x4 as u128) * ((arg1[2]) as u128)) + (((arg1[1]) as u128) * ((arg1[1]) as u128))) + (x26 as u128)) + ((x30 as u128) * (0x1000003d10 as u128)));
let x32: u64 = ((x31 >> 52) as u64);
let x33: u64 = ((x31 & (0xfffffffffffff as u128)) as u64);
let x34: u128 = (((x10 + x32) as u128) + ((x29 as u128) * (0x1000003d10 as u128)));
let x35: u64 = ((x34 >> 52) as u64);
let x36: u64 = ((x34 & (0xfffffffffffff as u128)) as u64);
let x37: u64 = (x15 + x35);
out1[0] = x21;
out1[1] = x27;
out1[2] = x33;
out1[3] = x36;
out1[4] = x37;
}