Skip to content

Commit cf865dd

Browse files
christopherngutierrezchristopherngutierrez
authored
Tests: Adds Regression Test for Relin Kernels
1 parent dee868d commit cf865dd

File tree

5 files changed

+720
-0
lines changed

5 files changed

+720
-0
lines changed

‎p-isa_tools/kerngen/tests/kernel_examples/relin_kernel/input.bgv.16k_l2_m3.relin‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
CONTEXT BGV 16384 3 2
2+
DATA input0 3
3+
DATA output0 2
4+
RELIN output0 input0

‎p-isa_tools/kerngen/tests/kernel_examples/relin_kernel/input.bgv.16k_l2_m4.relin‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
CONTEXT BGV 16384 4 2
2+
DATA input0 3
3+
DATA output0 2
4+
RELIN output0 input0

‎p-isa_tools/kerngen/tests/kernel_examples/relin_kernel/output.bgv.16k_l2_m3.relin‎

Lines changed: 320 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,320 @@
1+
0, intt, outtmp_2_0_0, outtmp_2_0_1, input0_2_0_0, input0_2_0_1, 0, 0, 0
2+
0, intt, outtmp_2_1_0, outtmp_2_1_1, input0_2_1_0, input0_2_1_1, 0, 0, 1
3+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
4+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
5+
0, intt, outtmp_2_0_0, outtmp_2_0_1, ct_2_0_0, ct_2_0_1, 2, 0, 0
6+
0, intt, outtmp_2_1_0, outtmp_2_1_1, ct_2_1_0, ct_2_1_1, 2, 0, 1
7+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
8+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
9+
0, intt, outtmp_2_0_0, outtmp_2_0_1, ct_2_0_0, ct_2_0_1, 4, 0, 0
10+
0, intt, outtmp_2_1_0, outtmp_2_1_1, ct_2_1_0, ct_2_1_1, 4, 0, 1
11+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
12+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
13+
0, intt, outtmp_2_0_0, outtmp_2_0_1, ct_2_0_0, ct_2_0_1, 6, 0, 0
14+
0, intt, outtmp_2_1_0, outtmp_2_1_1, ct_2_1_0, ct_2_1_1, 6, 0, 1
15+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
16+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
17+
0, intt, outtmp_2_0_0, outtmp_2_0_1, ct_2_0_0, ct_2_0_1, 8, 0, 0
18+
0, intt, outtmp_2_1_0, outtmp_2_1_1, ct_2_1_0, ct_2_1_1, 8, 0, 1
19+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
20+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
21+
0, intt, outtmp_2_0_0, outtmp_2_0_1, ct_2_0_0, ct_2_0_1, 10, 0, 0
22+
0, intt, outtmp_2_1_0, outtmp_2_1_1, ct_2_1_0, ct_2_1_1, 10, 0, 1
23+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
24+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
25+
0, intt, outtmp_2_0_0, outtmp_2_0_1, ct_2_0_0, ct_2_0_1, 12, 0, 0
26+
0, intt, outtmp_2_1_0, outtmp_2_1_1, ct_2_1_0, ct_2_1_1, 12, 0, 1
27+
0, intt, ct_2_0_0, ct_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
28+
0, intt, ct_2_1_0, ct_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
29+
0, mul, ct_2_0_0, ct_2_0_0, ipsi_0_0_0, 0
30+
0, mul, ct_2_1_0, ct_2_1_0, ipsi_0_1_0, 1
31+
0, mul, ct_2_0_1, ct_2_0_1, ipsi_0_0_1, 0
32+
0, mul, ct_2_1_1, ct_2_1_1, ipsi_0_1_1, 1
33+
0, muli, ct_2_0_0, ct_2_0_0, iN, 0
34+
0, muli, ct_2_1_0, ct_2_1_0, iN, 1
35+
0, muli, ct_2_0_1, ct_2_0_1, iN, 0
36+
0, muli, ct_2_1_1, ct_2_1_1, iN, 1
37+
0, muli, ct_2_0_0, ct_2_0_0, one, 0
38+
0, muli, ct_2_1_0, ct_2_1_0, one, 1
39+
0, muli, ct_2_0_1, ct_2_0_1, one, 0
40+
0, muli, ct_2_1_1, ct_2_1_1, one, 1
41+
0, muli, coeffs_2_0_0, ct_2_0_0, R2_0, 0
42+
0, muli, coeffs_2_0_1, ct_2_0_1, R2_0, 0
43+
0, muli, coeffs_2_1_0, ct_2_0_0, R2_1, 1
44+
0, muli, coeffs_2_1_1, ct_2_0_1, R2_1, 1
45+
0, muli, coeffs_2_2_0, ct_2_0_0, R2_2, 2
46+
0, muli, coeffs_2_2_1, ct_2_0_1, R2_2, 2
47+
0, mul, coeffs_a_2_0_0, coeffs_2_0_0, psi_0_0_0, 0
48+
0, mul, coeffs_a_2_1_0, coeffs_2_1_0, psi_0_1_0, 1
49+
0, mul, coeffs_a_2_0_1, coeffs_2_0_1, psi_0_0_1, 0
50+
0, mul, coeffs_a_2_1_1, coeffs_2_1_1, psi_0_1_1, 1
51+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 0, 0, 0
52+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 0, 0, 1
53+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
54+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
55+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 2, 0, 0
56+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 2, 0, 1
57+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
58+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
59+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 4, 0, 0
60+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 4, 0, 1
61+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
62+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
63+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 6, 0, 0
64+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 6, 0, 1
65+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
66+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
67+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 8, 0, 0
68+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 8, 0, 1
69+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
70+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
71+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 10, 0, 0
72+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 10, 0, 1
73+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
74+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
75+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_a_2_0_0, coeffs_a_2_0_1, 12, 0, 0
76+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_a_2_1_0, coeffs_a_2_1_1, 12, 0, 1
77+
0, ntt, coeffs_a_2_0_0, coeffs_a_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
78+
0, ntt, coeffs_a_2_1_0, coeffs_a_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
79+
0, mul, coeffs_a_2_2_0, coeffs_2_2_0, psi_0_2_0, 2
80+
0, mul, coeffs_a_2_2_1, coeffs_2_2_1, psi_0_2_1, 2
81+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 0, 0, 2
82+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 1, 0, 2
83+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 2, 0, 2
84+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 3, 0, 2
85+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 4, 0, 2
86+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 5, 0, 2
87+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 6, 0, 2
88+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 7, 0, 2
89+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 8, 0, 2
90+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 9, 0, 2
91+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 10, 0, 2
92+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 11, 0, 2
93+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_a_2_2_0, coeffs_a_2_2_1, 12, 0, 2
94+
0, ntt, coeffs_a_2_2_0, coeffs_a_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 13, 0, 2
95+
0, muli, coeffs_2_0_0, ct_2_1_0, R2_0, 0
96+
0, muli, coeffs_2_0_1, ct_2_1_1, R2_0, 0
97+
0, muli, coeffs_2_1_0, ct_2_1_0, R2_1, 1
98+
0, muli, coeffs_2_1_1, ct_2_1_1, R2_1, 1
99+
0, muli, coeffs_2_2_0, ct_2_1_0, R2_2, 2
100+
0, muli, coeffs_2_2_1, ct_2_1_1, R2_2, 2
101+
0, mul, coeffs_b_2_0_0, coeffs_2_0_0, psi_0_0_0, 0
102+
0, mul, coeffs_b_2_1_0, coeffs_2_1_0, psi_0_1_0, 1
103+
0, mul, coeffs_b_2_0_1, coeffs_2_0_1, psi_0_0_1, 0
104+
0, mul, coeffs_b_2_1_1, coeffs_2_1_1, psi_0_1_1, 1
105+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 0, 0, 0
106+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 0, 0, 1
107+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 1, 0, 0
108+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 1, 0, 1
109+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 2, 0, 0
110+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 2, 0, 1
111+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 3, 0, 0
112+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 3, 0, 1
113+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 4, 0, 0
114+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 4, 0, 1
115+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 5, 0, 0
116+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 5, 0, 1
117+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 6, 0, 0
118+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 6, 0, 1
119+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 7, 0, 0
120+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 7, 0, 1
121+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 8, 0, 0
122+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 8, 0, 1
123+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 9, 0, 0
124+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 9, 0, 1
125+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 10, 0, 0
126+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 10, 0, 1
127+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 11, 0, 0
128+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 11, 0, 1
129+
0, ntt, outtmp_2_0_0, outtmp_2_0_1, coeffs_b_2_0_0, coeffs_b_2_0_1, 12, 0, 0
130+
0, ntt, outtmp_2_1_0, outtmp_2_1_1, coeffs_b_2_1_0, coeffs_b_2_1_1, 12, 0, 1
131+
0, ntt, coeffs_b_2_0_0, coeffs_b_2_0_1, outtmp_2_0_0, outtmp_2_0_1, 13, 0, 0
132+
0, ntt, coeffs_b_2_1_0, coeffs_b_2_1_1, outtmp_2_1_0, outtmp_2_1_1, 13, 0, 1
133+
0, mul, coeffs_b_2_2_0, coeffs_2_2_0, psi_0_2_0, 2
134+
0, mul, coeffs_b_2_2_1, coeffs_2_2_1, psi_0_2_1, 2
135+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 0, 0, 2
136+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 1, 0, 2
137+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 2, 0, 2
138+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 3, 0, 2
139+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 4, 0, 2
140+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 5, 0, 2
141+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 6, 0, 2
142+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 7, 0, 2
143+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 8, 0, 2
144+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 9, 0, 2
145+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 10, 0, 2
146+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 11, 0, 2
147+
0, ntt, outtmp_2_2_0, outtmp_2_2_1, coeffs_b_2_2_0, coeffs_b_2_2_1, 12, 0, 2
148+
0, ntt, coeffs_b_2_2_0, coeffs_b_2_2_1, outtmp_2_2_0, outtmp_2_2_1, 13, 0, 2
149+
0, mul, c2_rlk_0_0_0, coeffs_a_2_0_0, rlk_0_0_0_0, 0
150+
0, mul, c2_rlk_0_0_1, coeffs_a_2_0_1, rlk_0_0_0_1, 0
151+
0, mul, c2_rlk_0_1_0, coeffs_a_2_1_0, rlk_0_0_1_0, 1
152+
0, mul, c2_rlk_0_1_1, coeffs_a_2_1_1, rlk_0_0_1_1, 1
153+
0, mul, c2_rlk_1_0_0, coeffs_a_2_0_0, rlk_1_0_0_0, 0
154+
0, mul, c2_rlk_1_0_1, coeffs_a_2_0_1, rlk_1_0_0_1, 0
155+
0, mul, c2_rlk_1_1_0, coeffs_a_2_1_0, rlk_1_0_1_0, 1
156+
0, mul, c2_rlk_1_1_1, coeffs_a_2_1_1, rlk_1_0_1_1, 1
157+
0, mul, c2_rlk_0_2_0, coeffs_a_2_2_0, rlk_0_0_2_0, 2
158+
0, mul, c2_rlk_0_2_1, coeffs_a_2_2_1, rlk_0_0_2_1, 2
159+
0, mul, c2_rlk_1_2_0, coeffs_a_2_2_0, rlk_1_0_2_0, 2
160+
0, mul, c2_rlk_1_2_1, coeffs_a_2_2_1, rlk_1_0_2_1, 2
161+
0, mac, c2_rlk_0_0_0, coeffs_b_2_0_0, rlk_0_1_0_0, 0
162+
0, mac, c2_rlk_0_0_1, coeffs_b_2_0_1, rlk_0_1_0_1, 0
163+
0, mac, c2_rlk_0_1_0, coeffs_b_2_1_0, rlk_0_1_1_0, 1
164+
0, mac, c2_rlk_0_1_1, coeffs_b_2_1_1, rlk_0_1_1_1, 1
165+
0, mac, c2_rlk_1_0_0, coeffs_b_2_0_0, rlk_1_1_0_0, 0
166+
0, mac, c2_rlk_1_0_1, coeffs_b_2_0_1, rlk_1_1_0_1, 0
167+
0, mac, c2_rlk_1_1_0, coeffs_b_2_1_0, rlk_1_1_1_0, 1
168+
0, mac, c2_rlk_1_1_1, coeffs_b_2_1_1, rlk_1_1_1_1, 1
169+
0, mac, c2_rlk_0_2_0, coeffs_b_2_2_0, rlk_0_1_2_0, 2
170+
0, mac, c2_rlk_0_2_1, coeffs_b_2_2_1, rlk_0_1_2_1, 2
171+
0, mac, c2_rlk_1_2_0, coeffs_b_2_2_0, rlk_1_1_2_0, 2
172+
0, mac, c2_rlk_1_2_1, coeffs_b_2_2_1, rlk_1_1_2_1, 2
173+
0, intt, outtmp_0_2_0, outtmp_0_2_1, c2_rlk_0_2_0, c2_rlk_0_2_1, 0, 0, 2
174+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 1, 0, 2
175+
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 2, 0, 2
176+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 3, 0, 2
177+
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 4, 0, 2
178+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 5, 0, 2
179+
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 6, 0, 2
180+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 7, 0, 2
181+
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 8, 0, 2
182+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 9, 0, 2
183+
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 10, 0, 2
184+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 11, 0, 2
185+
0, intt, outtmp_0_2_0, outtmp_0_2_1, y_0_2_0, y_0_2_1, 12, 0, 2
186+
0, intt, y_0_2_0, y_0_2_1, outtmp_0_2_0, outtmp_0_2_1, 13, 0, 2
187+
0, intt, outtmp_1_2_0, outtmp_1_2_1, c2_rlk_1_2_0, c2_rlk_1_2_1, 0, 0, 2
188+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 1, 0, 2
189+
0, intt, outtmp_1_2_0, outtmp_1_2_1, y_1_2_0, y_1_2_1, 2, 0, 2
190+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 3, 0, 2
191+
0, intt, outtmp_1_2_0, outtmp_1_2_1, y_1_2_0, y_1_2_1, 4, 0, 2
192+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 5, 0, 2
193+
0, intt, outtmp_1_2_0, outtmp_1_2_1, y_1_2_0, y_1_2_1, 6, 0, 2
194+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 7, 0, 2
195+
0, intt, outtmp_1_2_0, outtmp_1_2_1, y_1_2_0, y_1_2_1, 8, 0, 2
196+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 9, 0, 2
197+
0, intt, outtmp_1_2_0, outtmp_1_2_1, y_1_2_0, y_1_2_1, 10, 0, 2
198+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 11, 0, 2
199+
0, intt, outtmp_1_2_0, outtmp_1_2_1, y_1_2_0, y_1_2_1, 12, 0, 2
200+
0, intt, y_1_2_0, y_1_2_1, outtmp_1_2_0, outtmp_1_2_1, 13, 0, 2
201+
0, mul, y_0_2_0, y_0_2_0, ipsi_0_2_0, 2
202+
0, mul, y_1_2_0, y_1_2_0, ipsi_0_2_0, 2
203+
0, mul, y_0_2_1, y_0_2_1, ipsi_0_2_1, 2
204+
0, mul, y_1_2_1, y_1_2_1, ipsi_0_2_1, 2
205+
0, muli, y_0_2_0, y_0_2_0, iN, 2
206+
0, muli, y_1_2_0, y_1_2_0, iN, 2
207+
0, muli, y_0_2_1, y_0_2_1, iN, 2
208+
0, muli, y_1_2_1, y_1_2_1, iN, 2
209+
0, muli, y_0_2_0, y_0_2_0, it_mod_p_2, 2
210+
0, muli, y_1_2_0, y_1_2_0, it_mod_p_2, 2
211+
0, muli, y_0_2_1, y_0_2_1, it_mod_p_2, 2
212+
0, muli, y_1_2_1, y_1_2_1, it_mod_p_2, 2
213+
0, muli, y_0_2_0, y_0_2_0, one, 2
214+
0, muli, y_1_2_0, y_1_2_0, one, 2
215+
0, muli, y_0_2_1, y_0_2_1, one, 2
216+
0, muli, y_1_2_1, y_1_2_1, one, 2
217+
0, muli, x_0_0_0, y_0_2_0, R2_0, 0
218+
0, muli, x_0_0_1, y_0_2_1, R2_0, 0
219+
0, muli, x_0_1_0, y_0_2_0, R2_1, 1
220+
0, muli, x_0_1_1, y_0_2_1, R2_1, 1
221+
0, muli, x_1_0_0, y_1_2_0, R2_0, 0
222+
0, muli, x_1_0_1, y_1_2_1, R2_0, 0
223+
0, muli, x_1_1_0, y_1_2_0, R2_1, 1
224+
0, muli, x_1_1_1, y_1_2_1, R2_1, 1
225+
0, mul, x_0_0_0, x_0_0_0, psi_0_0_0, 0
226+
0, mul, x_1_0_0, x_1_0_0, psi_0_0_0, 0
227+
0, mul, x_0_1_0, x_0_1_0, psi_0_1_0, 1
228+
0, mul, x_1_1_0, x_1_1_0, psi_0_1_0, 1
229+
0, mul, x_0_0_1, x_0_0_1, psi_0_0_1, 0
230+
0, mul, x_1_0_1, x_1_0_1, psi_0_0_1, 0
231+
0, mul, x_0_1_1, x_0_1_1, psi_0_1_1, 1
232+
0, mul, x_1_1_1, x_1_1_1, psi_0_1_1, 1
233+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 0, 0, 0
234+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 0, 0, 1
235+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 1, 0, 0
236+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 1, 0, 1
237+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 2, 0, 0
238+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 2, 0, 1
239+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 3, 0, 0
240+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 3, 0, 1
241+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 4, 0, 0
242+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 4, 0, 1
243+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 5, 0, 0
244+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 5, 0, 1
245+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 6, 0, 0
246+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 6, 0, 1
247+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 7, 0, 0
248+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 7, 0, 1
249+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 8, 0, 0
250+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 8, 0, 1
251+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 9, 0, 0
252+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 9, 0, 1
253+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 10, 0, 0
254+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 10, 0, 1
255+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 11, 0, 0
256+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 11, 0, 1
257+
0, ntt, outtmp_0_0_0, outtmp_0_0_1, x_0_0_0, x_0_0_1, 12, 0, 0
258+
0, ntt, outtmp_0_1_0, outtmp_0_1_1, x_0_1_0, x_0_1_1, 12, 0, 1
259+
0, ntt, x_0_0_0, x_0_0_1, outtmp_0_0_0, outtmp_0_0_1, 13, 0, 0
260+
0, ntt, x_0_1_0, x_0_1_1, outtmp_0_1_0, outtmp_0_1_1, 13, 0, 1
261+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 0, 0, 0
262+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 0, 0, 1
263+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 1, 0, 0
264+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 1, 0, 1
265+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 2, 0, 0
266+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 2, 0, 1
267+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 3, 0, 0
268+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 3, 0, 1
269+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 4, 0, 0
270+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 4, 0, 1
271+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 5, 0, 0
272+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 5, 0, 1
273+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 6, 0, 0
274+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 6, 0, 1
275+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 7, 0, 0
276+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 7, 0, 1
277+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 8, 0, 0
278+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 8, 0, 1
279+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 9, 0, 0
280+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 9, 0, 1
281+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 10, 0, 0
282+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 10, 0, 1
283+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 11, 0, 0
284+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 11, 0, 1
285+
0, ntt, outtmp_1_0_0, outtmp_1_0_1, x_1_0_0, x_1_0_1, 12, 0, 0
286+
0, ntt, outtmp_1_1_0, outtmp_1_1_1, x_1_1_0, x_1_1_1, 12, 0, 1
287+
0, ntt, x_1_0_0, x_1_0_1, outtmp_1_0_0, outtmp_1_0_1, 13, 0, 0
288+
0, ntt, x_1_1_0, x_1_1_1, outtmp_1_1_0, outtmp_1_1_1, 13, 0, 1
289+
0, muli, x_0_0_0, x_0_0_0, t_0, 0
290+
0, muli, x_1_0_0, x_1_0_0, t_0, 0
291+
0, muli, x_0_1_0, x_0_1_0, t_1, 1
292+
0, muli, x_1_1_0, x_1_1_0, t_1, 1
293+
0, muli, x_0_0_1, x_0_0_1, t_0, 0
294+
0, muli, x_1_0_1, x_1_0_1, t_0, 0
295+
0, muli, x_0_1_1, x_0_1_1, t_1, 1
296+
0, muli, x_1_1_1, x_1_1_1, t_1, 1
297+
0, add, x_0_0_0, x_0_0_0, c2_rlk_0_0_0, 0
298+
0, add, x_0_0_1, x_0_0_1, c2_rlk_0_0_1, 0
299+
0, add, x_1_0_0, x_1_0_0, c2_rlk_1_0_0, 0
300+
0, add, x_1_0_1, x_1_0_1, c2_rlk_1_0_1, 0
301+
0, add, x_0_1_0, x_0_1_0, c2_rlk_0_1_0, 1
302+
0, add, x_0_1_1, x_0_1_1, c2_rlk_0_1_1, 1
303+
0, add, x_1_1_0, x_1_1_0, c2_rlk_1_1_0, 1
304+
0, add, x_1_1_1, x_1_1_1, c2_rlk_1_1_1, 1
305+
0, muli, c2_rlk_0_0_0, x_0_0_0, iq_mod_p_2_0, 0
306+
0, muli, c2_rlk_1_0_0, x_1_0_0, iq_mod_p_2_0, 0
307+
0, muli, c2_rlk_0_1_0, x_0_1_0, iq_mod_p_2_1, 1
308+
0, muli, c2_rlk_1_1_0, x_1_1_0, iq_mod_p_2_1, 1
309+
0, muli, c2_rlk_0_0_1, x_0_0_1, iq_mod_p_2_0, 0
310+
0, muli, c2_rlk_1_0_1, x_1_0_1, iq_mod_p_2_0, 0
311+
0, muli, c2_rlk_0_1_1, x_0_1_1, iq_mod_p_2_1, 1
312+
0, muli, c2_rlk_1_1_1, x_1_1_1, iq_mod_p_2_1, 1
313+
0, add, output0_0_0_0, c2_rlk_0_0_0, input0_0_0_0, 0
314+
0, add, output0_0_0_1, c2_rlk_0_0_1, input0_0_0_1, 0
315+
0, add, output0_1_0_0, c2_rlk_1_0_0, input0_1_0_0, 0
316+
0, add, output0_1_0_1, c2_rlk_1_0_1, input0_1_0_1, 0
317+
0, add, output0_0_1_0, c2_rlk_0_1_0, input0_0_1_0, 1
318+
0, add, output0_0_1_1, c2_rlk_0_1_1, input0_0_1_1, 1
319+
0, add, output0_1_1_0, c2_rlk_1_1_0, input0_1_1_0, 1
320+
0, add, output0_1_1_1, c2_rlk_1_1_1, input0_1_1_1, 1

0 commit comments

Comments
 (0)