1*f5c631daSSadaf Ebrahimi // Copyright 2016, VIXL authors
2*f5c631daSSadaf Ebrahimi // All rights reserved.
3*f5c631daSSadaf Ebrahimi //
4*f5c631daSSadaf Ebrahimi // Redistribution and use in source and binary forms, with or without
5*f5c631daSSadaf Ebrahimi // modification, are permitted provided that the following conditions are met:
6*f5c631daSSadaf Ebrahimi //
7*f5c631daSSadaf Ebrahimi // * Redistributions of source code must retain the above copyright notice,
8*f5c631daSSadaf Ebrahimi // this list of conditions and the following disclaimer.
9*f5c631daSSadaf Ebrahimi // * Redistributions in binary form must reproduce the above copyright notice,
10*f5c631daSSadaf Ebrahimi // this list of conditions and the following disclaimer in the documentation
11*f5c631daSSadaf Ebrahimi // and/or other materials provided with the distribution.
12*f5c631daSSadaf Ebrahimi // * Neither the name of ARM Limited nor the names of its contributors may be
13*f5c631daSSadaf Ebrahimi // used to endorse or promote products derived from this software without
14*f5c631daSSadaf Ebrahimi // specific prior written permission.
15*f5c631daSSadaf Ebrahimi //
16*f5c631daSSadaf Ebrahimi // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17*f5c631daSSadaf Ebrahimi // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18*f5c631daSSadaf Ebrahimi // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19*f5c631daSSadaf Ebrahimi // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20*f5c631daSSadaf Ebrahimi // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21*f5c631daSSadaf Ebrahimi // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22*f5c631daSSadaf Ebrahimi // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23*f5c631daSSadaf Ebrahimi // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24*f5c631daSSadaf Ebrahimi // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25*f5c631daSSadaf Ebrahimi // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26*f5c631daSSadaf Ebrahimi
27*f5c631daSSadaf Ebrahimi
28*f5c631daSSadaf Ebrahimi // -----------------------------------------------------------------------------
29*f5c631daSSadaf Ebrahimi // This file is auto generated from the
30*f5c631daSSadaf Ebrahimi // test/aarch32/config/template-assembler-aarch32.cc.in template file using
31*f5c631daSSadaf Ebrahimi // tools/generate_tests.py.
32*f5c631daSSadaf Ebrahimi //
33*f5c631daSSadaf Ebrahimi // PLEASE DO NOT EDIT.
34*f5c631daSSadaf Ebrahimi // -----------------------------------------------------------------------------
35*f5c631daSSadaf Ebrahimi
36*f5c631daSSadaf Ebrahimi
37*f5c631daSSadaf Ebrahimi #include "test-runner.h"
38*f5c631daSSadaf Ebrahimi
39*f5c631daSSadaf Ebrahimi #include "test-utils.h"
40*f5c631daSSadaf Ebrahimi #include "test-utils-aarch32.h"
41*f5c631daSSadaf Ebrahimi
42*f5c631daSSadaf Ebrahimi #include "aarch32/assembler-aarch32.h"
43*f5c631daSSadaf Ebrahimi #include "aarch32/macro-assembler-aarch32.h"
44*f5c631daSSadaf Ebrahimi
45*f5c631daSSadaf Ebrahimi #define BUF_SIZE (4096)
46*f5c631daSSadaf Ebrahimi
47*f5c631daSSadaf Ebrahimi namespace vixl {
48*f5c631daSSadaf Ebrahimi namespace aarch32 {
49*f5c631daSSadaf Ebrahimi
50*f5c631daSSadaf Ebrahimi // List of instruction mnemonics.
51*f5c631daSSadaf Ebrahimi #define FOREACH_INSTRUCTION(M) M(rsb)
52*f5c631daSSadaf Ebrahimi
53*f5c631daSSadaf Ebrahimi
54*f5c631daSSadaf Ebrahimi // The following definitions are defined again in each generated test, therefore
55*f5c631daSSadaf Ebrahimi // we need to place them in an anomymous namespace. It expresses that they are
56*f5c631daSSadaf Ebrahimi // local to this file only, and the compiler is not allowed to share these types
57*f5c631daSSadaf Ebrahimi // across test files during template instantiation. Specifically, `Operands` has
58*f5c631daSSadaf Ebrahimi // various layouts across generated tests so it absolutely cannot be shared.
59*f5c631daSSadaf Ebrahimi
60*f5c631daSSadaf Ebrahimi #ifdef VIXL_INCLUDE_TARGET_T32
61*f5c631daSSadaf Ebrahimi namespace {
62*f5c631daSSadaf Ebrahimi
63*f5c631daSSadaf Ebrahimi // Values to be passed to the assembler to produce the instruction under test.
64*f5c631daSSadaf Ebrahimi struct Operands {
65*f5c631daSSadaf Ebrahimi Condition cond;
66*f5c631daSSadaf Ebrahimi Register rd;
67*f5c631daSSadaf Ebrahimi Register rn;
68*f5c631daSSadaf Ebrahimi int32_t immediate;
69*f5c631daSSadaf Ebrahimi };
70*f5c631daSSadaf Ebrahimi
71*f5c631daSSadaf Ebrahimi // This structure contains all data needed to test one specific
72*f5c631daSSadaf Ebrahimi // instruction.
73*f5c631daSSadaf Ebrahimi struct TestData {
74*f5c631daSSadaf Ebrahimi // The `operands` field represents what to pass to the assembler to
75*f5c631daSSadaf Ebrahimi // produce the instruction.
76*f5c631daSSadaf Ebrahimi Operands operands;
77*f5c631daSSadaf Ebrahimi // True if we need to generate an IT instruction for this test to be valid.
78*f5c631daSSadaf Ebrahimi bool in_it_block;
79*f5c631daSSadaf Ebrahimi // The condition to give the IT instruction, this will be set to "al" by
80*f5c631daSSadaf Ebrahimi // default.
81*f5c631daSSadaf Ebrahimi Condition it_condition;
82*f5c631daSSadaf Ebrahimi // Description of the operands, used for error reporting.
83*f5c631daSSadaf Ebrahimi const char* operands_description;
84*f5c631daSSadaf Ebrahimi // Unique identifier, used for generating traces.
85*f5c631daSSadaf Ebrahimi const char* identifier;
86*f5c631daSSadaf Ebrahimi };
87*f5c631daSSadaf Ebrahimi
88*f5c631daSSadaf Ebrahimi struct TestResult {
89*f5c631daSSadaf Ebrahimi size_t size;
90*f5c631daSSadaf Ebrahimi const byte* encoding;
91*f5c631daSSadaf Ebrahimi };
92*f5c631daSSadaf Ebrahimi
93*f5c631daSSadaf Ebrahimi // Each element of this array produce one instruction encoding.
94*f5c631daSSadaf Ebrahimi const TestData kTests[] =
95*f5c631daSSadaf Ebrahimi {{{eq, r0, r0, 0}, true, eq, "eq r0 r0 0", "eq_r0_r0_0"},
96*f5c631daSSadaf Ebrahimi {{eq, r0, r1, 0}, true, eq, "eq r0 r1 0", "eq_r0_r1_0"},
97*f5c631daSSadaf Ebrahimi {{eq, r0, r2, 0}, true, eq, "eq r0 r2 0", "eq_r0_r2_0"},
98*f5c631daSSadaf Ebrahimi {{eq, r0, r3, 0}, true, eq, "eq r0 r3 0", "eq_r0_r3_0"},
99*f5c631daSSadaf Ebrahimi {{eq, r0, r4, 0}, true, eq, "eq r0 r4 0", "eq_r0_r4_0"},
100*f5c631daSSadaf Ebrahimi {{eq, r0, r5, 0}, true, eq, "eq r0 r5 0", "eq_r0_r5_0"},
101*f5c631daSSadaf Ebrahimi {{eq, r0, r6, 0}, true, eq, "eq r0 r6 0", "eq_r0_r6_0"},
102*f5c631daSSadaf Ebrahimi {{eq, r0, r7, 0}, true, eq, "eq r0 r7 0", "eq_r0_r7_0"},
103*f5c631daSSadaf Ebrahimi {{eq, r1, r0, 0}, true, eq, "eq r1 r0 0", "eq_r1_r0_0"},
104*f5c631daSSadaf Ebrahimi {{eq, r1, r1, 0}, true, eq, "eq r1 r1 0", "eq_r1_r1_0"},
105*f5c631daSSadaf Ebrahimi {{eq, r1, r2, 0}, true, eq, "eq r1 r2 0", "eq_r1_r2_0"},
106*f5c631daSSadaf Ebrahimi {{eq, r1, r3, 0}, true, eq, "eq r1 r3 0", "eq_r1_r3_0"},
107*f5c631daSSadaf Ebrahimi {{eq, r1, r4, 0}, true, eq, "eq r1 r4 0", "eq_r1_r4_0"},
108*f5c631daSSadaf Ebrahimi {{eq, r1, r5, 0}, true, eq, "eq r1 r5 0", "eq_r1_r5_0"},
109*f5c631daSSadaf Ebrahimi {{eq, r1, r6, 0}, true, eq, "eq r1 r6 0", "eq_r1_r6_0"},
110*f5c631daSSadaf Ebrahimi {{eq, r1, r7, 0}, true, eq, "eq r1 r7 0", "eq_r1_r7_0"},
111*f5c631daSSadaf Ebrahimi {{eq, r2, r0, 0}, true, eq, "eq r2 r0 0", "eq_r2_r0_0"},
112*f5c631daSSadaf Ebrahimi {{eq, r2, r1, 0}, true, eq, "eq r2 r1 0", "eq_r2_r1_0"},
113*f5c631daSSadaf Ebrahimi {{eq, r2, r2, 0}, true, eq, "eq r2 r2 0", "eq_r2_r2_0"},
114*f5c631daSSadaf Ebrahimi {{eq, r2, r3, 0}, true, eq, "eq r2 r3 0", "eq_r2_r3_0"},
115*f5c631daSSadaf Ebrahimi {{eq, r2, r4, 0}, true, eq, "eq r2 r4 0", "eq_r2_r4_0"},
116*f5c631daSSadaf Ebrahimi {{eq, r2, r5, 0}, true, eq, "eq r2 r5 0", "eq_r2_r5_0"},
117*f5c631daSSadaf Ebrahimi {{eq, r2, r6, 0}, true, eq, "eq r2 r6 0", "eq_r2_r6_0"},
118*f5c631daSSadaf Ebrahimi {{eq, r2, r7, 0}, true, eq, "eq r2 r7 0", "eq_r2_r7_0"},
119*f5c631daSSadaf Ebrahimi {{eq, r3, r0, 0}, true, eq, "eq r3 r0 0", "eq_r3_r0_0"},
120*f5c631daSSadaf Ebrahimi {{eq, r3, r1, 0}, true, eq, "eq r3 r1 0", "eq_r3_r1_0"},
121*f5c631daSSadaf Ebrahimi {{eq, r3, r2, 0}, true, eq, "eq r3 r2 0", "eq_r3_r2_0"},
122*f5c631daSSadaf Ebrahimi {{eq, r3, r3, 0}, true, eq, "eq r3 r3 0", "eq_r3_r3_0"},
123*f5c631daSSadaf Ebrahimi {{eq, r3, r4, 0}, true, eq, "eq r3 r4 0", "eq_r3_r4_0"},
124*f5c631daSSadaf Ebrahimi {{eq, r3, r5, 0}, true, eq, "eq r3 r5 0", "eq_r3_r5_0"},
125*f5c631daSSadaf Ebrahimi {{eq, r3, r6, 0}, true, eq, "eq r3 r6 0", "eq_r3_r6_0"},
126*f5c631daSSadaf Ebrahimi {{eq, r3, r7, 0}, true, eq, "eq r3 r7 0", "eq_r3_r7_0"},
127*f5c631daSSadaf Ebrahimi {{eq, r4, r0, 0}, true, eq, "eq r4 r0 0", "eq_r4_r0_0"},
128*f5c631daSSadaf Ebrahimi {{eq, r4, r1, 0}, true, eq, "eq r4 r1 0", "eq_r4_r1_0"},
129*f5c631daSSadaf Ebrahimi {{eq, r4, r2, 0}, true, eq, "eq r4 r2 0", "eq_r4_r2_0"},
130*f5c631daSSadaf Ebrahimi {{eq, r4, r3, 0}, true, eq, "eq r4 r3 0", "eq_r4_r3_0"},
131*f5c631daSSadaf Ebrahimi {{eq, r4, r4, 0}, true, eq, "eq r4 r4 0", "eq_r4_r4_0"},
132*f5c631daSSadaf Ebrahimi {{eq, r4, r5, 0}, true, eq, "eq r4 r5 0", "eq_r4_r5_0"},
133*f5c631daSSadaf Ebrahimi {{eq, r4, r6, 0}, true, eq, "eq r4 r6 0", "eq_r4_r6_0"},
134*f5c631daSSadaf Ebrahimi {{eq, r4, r7, 0}, true, eq, "eq r4 r7 0", "eq_r4_r7_0"},
135*f5c631daSSadaf Ebrahimi {{eq, r5, r0, 0}, true, eq, "eq r5 r0 0", "eq_r5_r0_0"},
136*f5c631daSSadaf Ebrahimi {{eq, r5, r1, 0}, true, eq, "eq r5 r1 0", "eq_r5_r1_0"},
137*f5c631daSSadaf Ebrahimi {{eq, r5, r2, 0}, true, eq, "eq r5 r2 0", "eq_r5_r2_0"},
138*f5c631daSSadaf Ebrahimi {{eq, r5, r3, 0}, true, eq, "eq r5 r3 0", "eq_r5_r3_0"},
139*f5c631daSSadaf Ebrahimi {{eq, r5, r4, 0}, true, eq, "eq r5 r4 0", "eq_r5_r4_0"},
140*f5c631daSSadaf Ebrahimi {{eq, r5, r5, 0}, true, eq, "eq r5 r5 0", "eq_r5_r5_0"},
141*f5c631daSSadaf Ebrahimi {{eq, r5, r6, 0}, true, eq, "eq r5 r6 0", "eq_r5_r6_0"},
142*f5c631daSSadaf Ebrahimi {{eq, r5, r7, 0}, true, eq, "eq r5 r7 0", "eq_r5_r7_0"},
143*f5c631daSSadaf Ebrahimi {{eq, r6, r0, 0}, true, eq, "eq r6 r0 0", "eq_r6_r0_0"},
144*f5c631daSSadaf Ebrahimi {{eq, r6, r1, 0}, true, eq, "eq r6 r1 0", "eq_r6_r1_0"},
145*f5c631daSSadaf Ebrahimi {{eq, r6, r2, 0}, true, eq, "eq r6 r2 0", "eq_r6_r2_0"},
146*f5c631daSSadaf Ebrahimi {{eq, r6, r3, 0}, true, eq, "eq r6 r3 0", "eq_r6_r3_0"},
147*f5c631daSSadaf Ebrahimi {{eq, r6, r4, 0}, true, eq, "eq r6 r4 0", "eq_r6_r4_0"},
148*f5c631daSSadaf Ebrahimi {{eq, r6, r5, 0}, true, eq, "eq r6 r5 0", "eq_r6_r5_0"},
149*f5c631daSSadaf Ebrahimi {{eq, r6, r6, 0}, true, eq, "eq r6 r6 0", "eq_r6_r6_0"},
150*f5c631daSSadaf Ebrahimi {{eq, r6, r7, 0}, true, eq, "eq r6 r7 0", "eq_r6_r7_0"},
151*f5c631daSSadaf Ebrahimi {{eq, r7, r0, 0}, true, eq, "eq r7 r0 0", "eq_r7_r0_0"},
152*f5c631daSSadaf Ebrahimi {{eq, r7, r1, 0}, true, eq, "eq r7 r1 0", "eq_r7_r1_0"},
153*f5c631daSSadaf Ebrahimi {{eq, r7, r2, 0}, true, eq, "eq r7 r2 0", "eq_r7_r2_0"},
154*f5c631daSSadaf Ebrahimi {{eq, r7, r3, 0}, true, eq, "eq r7 r3 0", "eq_r7_r3_0"},
155*f5c631daSSadaf Ebrahimi {{eq, r7, r4, 0}, true, eq, "eq r7 r4 0", "eq_r7_r4_0"},
156*f5c631daSSadaf Ebrahimi {{eq, r7, r5, 0}, true, eq, "eq r7 r5 0", "eq_r7_r5_0"},
157*f5c631daSSadaf Ebrahimi {{eq, r7, r6, 0}, true, eq, "eq r7 r6 0", "eq_r7_r6_0"},
158*f5c631daSSadaf Ebrahimi {{eq, r7, r7, 0}, true, eq, "eq r7 r7 0", "eq_r7_r7_0"},
159*f5c631daSSadaf Ebrahimi {{ne, r0, r0, 0}, true, ne, "ne r0 r0 0", "ne_r0_r0_0"},
160*f5c631daSSadaf Ebrahimi {{ne, r0, r1, 0}, true, ne, "ne r0 r1 0", "ne_r0_r1_0"},
161*f5c631daSSadaf Ebrahimi {{ne, r0, r2, 0}, true, ne, "ne r0 r2 0", "ne_r0_r2_0"},
162*f5c631daSSadaf Ebrahimi {{ne, r0, r3, 0}, true, ne, "ne r0 r3 0", "ne_r0_r3_0"},
163*f5c631daSSadaf Ebrahimi {{ne, r0, r4, 0}, true, ne, "ne r0 r4 0", "ne_r0_r4_0"},
164*f5c631daSSadaf Ebrahimi {{ne, r0, r5, 0}, true, ne, "ne r0 r5 0", "ne_r0_r5_0"},
165*f5c631daSSadaf Ebrahimi {{ne, r0, r6, 0}, true, ne, "ne r0 r6 0", "ne_r0_r6_0"},
166*f5c631daSSadaf Ebrahimi {{ne, r0, r7, 0}, true, ne, "ne r0 r7 0", "ne_r0_r7_0"},
167*f5c631daSSadaf Ebrahimi {{ne, r1, r0, 0}, true, ne, "ne r1 r0 0", "ne_r1_r0_0"},
168*f5c631daSSadaf Ebrahimi {{ne, r1, r1, 0}, true, ne, "ne r1 r1 0", "ne_r1_r1_0"},
169*f5c631daSSadaf Ebrahimi {{ne, r1, r2, 0}, true, ne, "ne r1 r2 0", "ne_r1_r2_0"},
170*f5c631daSSadaf Ebrahimi {{ne, r1, r3, 0}, true, ne, "ne r1 r3 0", "ne_r1_r3_0"},
171*f5c631daSSadaf Ebrahimi {{ne, r1, r4, 0}, true, ne, "ne r1 r4 0", "ne_r1_r4_0"},
172*f5c631daSSadaf Ebrahimi {{ne, r1, r5, 0}, true, ne, "ne r1 r5 0", "ne_r1_r5_0"},
173*f5c631daSSadaf Ebrahimi {{ne, r1, r6, 0}, true, ne, "ne r1 r6 0", "ne_r1_r6_0"},
174*f5c631daSSadaf Ebrahimi {{ne, r1, r7, 0}, true, ne, "ne r1 r7 0", "ne_r1_r7_0"},
175*f5c631daSSadaf Ebrahimi {{ne, r2, r0, 0}, true, ne, "ne r2 r0 0", "ne_r2_r0_0"},
176*f5c631daSSadaf Ebrahimi {{ne, r2, r1, 0}, true, ne, "ne r2 r1 0", "ne_r2_r1_0"},
177*f5c631daSSadaf Ebrahimi {{ne, r2, r2, 0}, true, ne, "ne r2 r2 0", "ne_r2_r2_0"},
178*f5c631daSSadaf Ebrahimi {{ne, r2, r3, 0}, true, ne, "ne r2 r3 0", "ne_r2_r3_0"},
179*f5c631daSSadaf Ebrahimi {{ne, r2, r4, 0}, true, ne, "ne r2 r4 0", "ne_r2_r4_0"},
180*f5c631daSSadaf Ebrahimi {{ne, r2, r5, 0}, true, ne, "ne r2 r5 0", "ne_r2_r5_0"},
181*f5c631daSSadaf Ebrahimi {{ne, r2, r6, 0}, true, ne, "ne r2 r6 0", "ne_r2_r6_0"},
182*f5c631daSSadaf Ebrahimi {{ne, r2, r7, 0}, true, ne, "ne r2 r7 0", "ne_r2_r7_0"},
183*f5c631daSSadaf Ebrahimi {{ne, r3, r0, 0}, true, ne, "ne r3 r0 0", "ne_r3_r0_0"},
184*f5c631daSSadaf Ebrahimi {{ne, r3, r1, 0}, true, ne, "ne r3 r1 0", "ne_r3_r1_0"},
185*f5c631daSSadaf Ebrahimi {{ne, r3, r2, 0}, true, ne, "ne r3 r2 0", "ne_r3_r2_0"},
186*f5c631daSSadaf Ebrahimi {{ne, r3, r3, 0}, true, ne, "ne r3 r3 0", "ne_r3_r3_0"},
187*f5c631daSSadaf Ebrahimi {{ne, r3, r4, 0}, true, ne, "ne r3 r4 0", "ne_r3_r4_0"},
188*f5c631daSSadaf Ebrahimi {{ne, r3, r5, 0}, true, ne, "ne r3 r5 0", "ne_r3_r5_0"},
189*f5c631daSSadaf Ebrahimi {{ne, r3, r6, 0}, true, ne, "ne r3 r6 0", "ne_r3_r6_0"},
190*f5c631daSSadaf Ebrahimi {{ne, r3, r7, 0}, true, ne, "ne r3 r7 0", "ne_r3_r7_0"},
191*f5c631daSSadaf Ebrahimi {{ne, r4, r0, 0}, true, ne, "ne r4 r0 0", "ne_r4_r0_0"},
192*f5c631daSSadaf Ebrahimi {{ne, r4, r1, 0}, true, ne, "ne r4 r1 0", "ne_r4_r1_0"},
193*f5c631daSSadaf Ebrahimi {{ne, r4, r2, 0}, true, ne, "ne r4 r2 0", "ne_r4_r2_0"},
194*f5c631daSSadaf Ebrahimi {{ne, r4, r3, 0}, true, ne, "ne r4 r3 0", "ne_r4_r3_0"},
195*f5c631daSSadaf Ebrahimi {{ne, r4, r4, 0}, true, ne, "ne r4 r4 0", "ne_r4_r4_0"},
196*f5c631daSSadaf Ebrahimi {{ne, r4, r5, 0}, true, ne, "ne r4 r5 0", "ne_r4_r5_0"},
197*f5c631daSSadaf Ebrahimi {{ne, r4, r6, 0}, true, ne, "ne r4 r6 0", "ne_r4_r6_0"},
198*f5c631daSSadaf Ebrahimi {{ne, r4, r7, 0}, true, ne, "ne r4 r7 0", "ne_r4_r7_0"},
199*f5c631daSSadaf Ebrahimi {{ne, r5, r0, 0}, true, ne, "ne r5 r0 0", "ne_r5_r0_0"},
200*f5c631daSSadaf Ebrahimi {{ne, r5, r1, 0}, true, ne, "ne r5 r1 0", "ne_r5_r1_0"},
201*f5c631daSSadaf Ebrahimi {{ne, r5, r2, 0}, true, ne, "ne r5 r2 0", "ne_r5_r2_0"},
202*f5c631daSSadaf Ebrahimi {{ne, r5, r3, 0}, true, ne, "ne r5 r3 0", "ne_r5_r3_0"},
203*f5c631daSSadaf Ebrahimi {{ne, r5, r4, 0}, true, ne, "ne r5 r4 0", "ne_r5_r4_0"},
204*f5c631daSSadaf Ebrahimi {{ne, r5, r5, 0}, true, ne, "ne r5 r5 0", "ne_r5_r5_0"},
205*f5c631daSSadaf Ebrahimi {{ne, r5, r6, 0}, true, ne, "ne r5 r6 0", "ne_r5_r6_0"},
206*f5c631daSSadaf Ebrahimi {{ne, r5, r7, 0}, true, ne, "ne r5 r7 0", "ne_r5_r7_0"},
207*f5c631daSSadaf Ebrahimi {{ne, r6, r0, 0}, true, ne, "ne r6 r0 0", "ne_r6_r0_0"},
208*f5c631daSSadaf Ebrahimi {{ne, r6, r1, 0}, true, ne, "ne r6 r1 0", "ne_r6_r1_0"},
209*f5c631daSSadaf Ebrahimi {{ne, r6, r2, 0}, true, ne, "ne r6 r2 0", "ne_r6_r2_0"},
210*f5c631daSSadaf Ebrahimi {{ne, r6, r3, 0}, true, ne, "ne r6 r3 0", "ne_r6_r3_0"},
211*f5c631daSSadaf Ebrahimi {{ne, r6, r4, 0}, true, ne, "ne r6 r4 0", "ne_r6_r4_0"},
212*f5c631daSSadaf Ebrahimi {{ne, r6, r5, 0}, true, ne, "ne r6 r5 0", "ne_r6_r5_0"},
213*f5c631daSSadaf Ebrahimi {{ne, r6, r6, 0}, true, ne, "ne r6 r6 0", "ne_r6_r6_0"},
214*f5c631daSSadaf Ebrahimi {{ne, r6, r7, 0}, true, ne, "ne r6 r7 0", "ne_r6_r7_0"},
215*f5c631daSSadaf Ebrahimi {{ne, r7, r0, 0}, true, ne, "ne r7 r0 0", "ne_r7_r0_0"},
216*f5c631daSSadaf Ebrahimi {{ne, r7, r1, 0}, true, ne, "ne r7 r1 0", "ne_r7_r1_0"},
217*f5c631daSSadaf Ebrahimi {{ne, r7, r2, 0}, true, ne, "ne r7 r2 0", "ne_r7_r2_0"},
218*f5c631daSSadaf Ebrahimi {{ne, r7, r3, 0}, true, ne, "ne r7 r3 0", "ne_r7_r3_0"},
219*f5c631daSSadaf Ebrahimi {{ne, r7, r4, 0}, true, ne, "ne r7 r4 0", "ne_r7_r4_0"},
220*f5c631daSSadaf Ebrahimi {{ne, r7, r5, 0}, true, ne, "ne r7 r5 0", "ne_r7_r5_0"},
221*f5c631daSSadaf Ebrahimi {{ne, r7, r6, 0}, true, ne, "ne r7 r6 0", "ne_r7_r6_0"},
222*f5c631daSSadaf Ebrahimi {{ne, r7, r7, 0}, true, ne, "ne r7 r7 0", "ne_r7_r7_0"},
223*f5c631daSSadaf Ebrahimi {{cs, r0, r0, 0}, true, cs, "cs r0 r0 0", "cs_r0_r0_0"},
224*f5c631daSSadaf Ebrahimi {{cs, r0, r1, 0}, true, cs, "cs r0 r1 0", "cs_r0_r1_0"},
225*f5c631daSSadaf Ebrahimi {{cs, r0, r2, 0}, true, cs, "cs r0 r2 0", "cs_r0_r2_0"},
226*f5c631daSSadaf Ebrahimi {{cs, r0, r3, 0}, true, cs, "cs r0 r3 0", "cs_r0_r3_0"},
227*f5c631daSSadaf Ebrahimi {{cs, r0, r4, 0}, true, cs, "cs r0 r4 0", "cs_r0_r4_0"},
228*f5c631daSSadaf Ebrahimi {{cs, r0, r5, 0}, true, cs, "cs r0 r5 0", "cs_r0_r5_0"},
229*f5c631daSSadaf Ebrahimi {{cs, r0, r6, 0}, true, cs, "cs r0 r6 0", "cs_r0_r6_0"},
230*f5c631daSSadaf Ebrahimi {{cs, r0, r7, 0}, true, cs, "cs r0 r7 0", "cs_r0_r7_0"},
231*f5c631daSSadaf Ebrahimi {{cs, r1, r0, 0}, true, cs, "cs r1 r0 0", "cs_r1_r0_0"},
232*f5c631daSSadaf Ebrahimi {{cs, r1, r1, 0}, true, cs, "cs r1 r1 0", "cs_r1_r1_0"},
233*f5c631daSSadaf Ebrahimi {{cs, r1, r2, 0}, true, cs, "cs r1 r2 0", "cs_r1_r2_0"},
234*f5c631daSSadaf Ebrahimi {{cs, r1, r3, 0}, true, cs, "cs r1 r3 0", "cs_r1_r3_0"},
235*f5c631daSSadaf Ebrahimi {{cs, r1, r4, 0}, true, cs, "cs r1 r4 0", "cs_r1_r4_0"},
236*f5c631daSSadaf Ebrahimi {{cs, r1, r5, 0}, true, cs, "cs r1 r5 0", "cs_r1_r5_0"},
237*f5c631daSSadaf Ebrahimi {{cs, r1, r6, 0}, true, cs, "cs r1 r6 0", "cs_r1_r6_0"},
238*f5c631daSSadaf Ebrahimi {{cs, r1, r7, 0}, true, cs, "cs r1 r7 0", "cs_r1_r7_0"},
239*f5c631daSSadaf Ebrahimi {{cs, r2, r0, 0}, true, cs, "cs r2 r0 0", "cs_r2_r0_0"},
240*f5c631daSSadaf Ebrahimi {{cs, r2, r1, 0}, true, cs, "cs r2 r1 0", "cs_r2_r1_0"},
241*f5c631daSSadaf Ebrahimi {{cs, r2, r2, 0}, true, cs, "cs r2 r2 0", "cs_r2_r2_0"},
242*f5c631daSSadaf Ebrahimi {{cs, r2, r3, 0}, true, cs, "cs r2 r3 0", "cs_r2_r3_0"},
243*f5c631daSSadaf Ebrahimi {{cs, r2, r4, 0}, true, cs, "cs r2 r4 0", "cs_r2_r4_0"},
244*f5c631daSSadaf Ebrahimi {{cs, r2, r5, 0}, true, cs, "cs r2 r5 0", "cs_r2_r5_0"},
245*f5c631daSSadaf Ebrahimi {{cs, r2, r6, 0}, true, cs, "cs r2 r6 0", "cs_r2_r6_0"},
246*f5c631daSSadaf Ebrahimi {{cs, r2, r7, 0}, true, cs, "cs r2 r7 0", "cs_r2_r7_0"},
247*f5c631daSSadaf Ebrahimi {{cs, r3, r0, 0}, true, cs, "cs r3 r0 0", "cs_r3_r0_0"},
248*f5c631daSSadaf Ebrahimi {{cs, r3, r1, 0}, true, cs, "cs r3 r1 0", "cs_r3_r1_0"},
249*f5c631daSSadaf Ebrahimi {{cs, r3, r2, 0}, true, cs, "cs r3 r2 0", "cs_r3_r2_0"},
250*f5c631daSSadaf Ebrahimi {{cs, r3, r3, 0}, true, cs, "cs r3 r3 0", "cs_r3_r3_0"},
251*f5c631daSSadaf Ebrahimi {{cs, r3, r4, 0}, true, cs, "cs r3 r4 0", "cs_r3_r4_0"},
252*f5c631daSSadaf Ebrahimi {{cs, r3, r5, 0}, true, cs, "cs r3 r5 0", "cs_r3_r5_0"},
253*f5c631daSSadaf Ebrahimi {{cs, r3, r6, 0}, true, cs, "cs r3 r6 0", "cs_r3_r6_0"},
254*f5c631daSSadaf Ebrahimi {{cs, r3, r7, 0}, true, cs, "cs r3 r7 0", "cs_r3_r7_0"},
255*f5c631daSSadaf Ebrahimi {{cs, r4, r0, 0}, true, cs, "cs r4 r0 0", "cs_r4_r0_0"},
256*f5c631daSSadaf Ebrahimi {{cs, r4, r1, 0}, true, cs, "cs r4 r1 0", "cs_r4_r1_0"},
257*f5c631daSSadaf Ebrahimi {{cs, r4, r2, 0}, true, cs, "cs r4 r2 0", "cs_r4_r2_0"},
258*f5c631daSSadaf Ebrahimi {{cs, r4, r3, 0}, true, cs, "cs r4 r3 0", "cs_r4_r3_0"},
259*f5c631daSSadaf Ebrahimi {{cs, r4, r4, 0}, true, cs, "cs r4 r4 0", "cs_r4_r4_0"},
260*f5c631daSSadaf Ebrahimi {{cs, r4, r5, 0}, true, cs, "cs r4 r5 0", "cs_r4_r5_0"},
261*f5c631daSSadaf Ebrahimi {{cs, r4, r6, 0}, true, cs, "cs r4 r6 0", "cs_r4_r6_0"},
262*f5c631daSSadaf Ebrahimi {{cs, r4, r7, 0}, true, cs, "cs r4 r7 0", "cs_r4_r7_0"},
263*f5c631daSSadaf Ebrahimi {{cs, r5, r0, 0}, true, cs, "cs r5 r0 0", "cs_r5_r0_0"},
264*f5c631daSSadaf Ebrahimi {{cs, r5, r1, 0}, true, cs, "cs r5 r1 0", "cs_r5_r1_0"},
265*f5c631daSSadaf Ebrahimi {{cs, r5, r2, 0}, true, cs, "cs r5 r2 0", "cs_r5_r2_0"},
266*f5c631daSSadaf Ebrahimi {{cs, r5, r3, 0}, true, cs, "cs r5 r3 0", "cs_r5_r3_0"},
267*f5c631daSSadaf Ebrahimi {{cs, r5, r4, 0}, true, cs, "cs r5 r4 0", "cs_r5_r4_0"},
268*f5c631daSSadaf Ebrahimi {{cs, r5, r5, 0}, true, cs, "cs r5 r5 0", "cs_r5_r5_0"},
269*f5c631daSSadaf Ebrahimi {{cs, r5, r6, 0}, true, cs, "cs r5 r6 0", "cs_r5_r6_0"},
270*f5c631daSSadaf Ebrahimi {{cs, r5, r7, 0}, true, cs, "cs r5 r7 0", "cs_r5_r7_0"},
271*f5c631daSSadaf Ebrahimi {{cs, r6, r0, 0}, true, cs, "cs r6 r0 0", "cs_r6_r0_0"},
272*f5c631daSSadaf Ebrahimi {{cs, r6, r1, 0}, true, cs, "cs r6 r1 0", "cs_r6_r1_0"},
273*f5c631daSSadaf Ebrahimi {{cs, r6, r2, 0}, true, cs, "cs r6 r2 0", "cs_r6_r2_0"},
274*f5c631daSSadaf Ebrahimi {{cs, r6, r3, 0}, true, cs, "cs r6 r3 0", "cs_r6_r3_0"},
275*f5c631daSSadaf Ebrahimi {{cs, r6, r4, 0}, true, cs, "cs r6 r4 0", "cs_r6_r4_0"},
276*f5c631daSSadaf Ebrahimi {{cs, r6, r5, 0}, true, cs, "cs r6 r5 0", "cs_r6_r5_0"},
277*f5c631daSSadaf Ebrahimi {{cs, r6, r6, 0}, true, cs, "cs r6 r6 0", "cs_r6_r6_0"},
278*f5c631daSSadaf Ebrahimi {{cs, r6, r7, 0}, true, cs, "cs r6 r7 0", "cs_r6_r7_0"},
279*f5c631daSSadaf Ebrahimi {{cs, r7, r0, 0}, true, cs, "cs r7 r0 0", "cs_r7_r0_0"},
280*f5c631daSSadaf Ebrahimi {{cs, r7, r1, 0}, true, cs, "cs r7 r1 0", "cs_r7_r1_0"},
281*f5c631daSSadaf Ebrahimi {{cs, r7, r2, 0}, true, cs, "cs r7 r2 0", "cs_r7_r2_0"},
282*f5c631daSSadaf Ebrahimi {{cs, r7, r3, 0}, true, cs, "cs r7 r3 0", "cs_r7_r3_0"},
283*f5c631daSSadaf Ebrahimi {{cs, r7, r4, 0}, true, cs, "cs r7 r4 0", "cs_r7_r4_0"},
284*f5c631daSSadaf Ebrahimi {{cs, r7, r5, 0}, true, cs, "cs r7 r5 0", "cs_r7_r5_0"},
285*f5c631daSSadaf Ebrahimi {{cs, r7, r6, 0}, true, cs, "cs r7 r6 0", "cs_r7_r6_0"},
286*f5c631daSSadaf Ebrahimi {{cs, r7, r7, 0}, true, cs, "cs r7 r7 0", "cs_r7_r7_0"},
287*f5c631daSSadaf Ebrahimi {{cc, r0, r0, 0}, true, cc, "cc r0 r0 0", "cc_r0_r0_0"},
288*f5c631daSSadaf Ebrahimi {{cc, r0, r1, 0}, true, cc, "cc r0 r1 0", "cc_r0_r1_0"},
289*f5c631daSSadaf Ebrahimi {{cc, r0, r2, 0}, true, cc, "cc r0 r2 0", "cc_r0_r2_0"},
290*f5c631daSSadaf Ebrahimi {{cc, r0, r3, 0}, true, cc, "cc r0 r3 0", "cc_r0_r3_0"},
291*f5c631daSSadaf Ebrahimi {{cc, r0, r4, 0}, true, cc, "cc r0 r4 0", "cc_r0_r4_0"},
292*f5c631daSSadaf Ebrahimi {{cc, r0, r5, 0}, true, cc, "cc r0 r5 0", "cc_r0_r5_0"},
293*f5c631daSSadaf Ebrahimi {{cc, r0, r6, 0}, true, cc, "cc r0 r6 0", "cc_r0_r6_0"},
294*f5c631daSSadaf Ebrahimi {{cc, r0, r7, 0}, true, cc, "cc r0 r7 0", "cc_r0_r7_0"},
295*f5c631daSSadaf Ebrahimi {{cc, r1, r0, 0}, true, cc, "cc r1 r0 0", "cc_r1_r0_0"},
296*f5c631daSSadaf Ebrahimi {{cc, r1, r1, 0}, true, cc, "cc r1 r1 0", "cc_r1_r1_0"},
297*f5c631daSSadaf Ebrahimi {{cc, r1, r2, 0}, true, cc, "cc r1 r2 0", "cc_r1_r2_0"},
298*f5c631daSSadaf Ebrahimi {{cc, r1, r3, 0}, true, cc, "cc r1 r3 0", "cc_r1_r3_0"},
299*f5c631daSSadaf Ebrahimi {{cc, r1, r4, 0}, true, cc, "cc r1 r4 0", "cc_r1_r4_0"},
300*f5c631daSSadaf Ebrahimi {{cc, r1, r5, 0}, true, cc, "cc r1 r5 0", "cc_r1_r5_0"},
301*f5c631daSSadaf Ebrahimi {{cc, r1, r6, 0}, true, cc, "cc r1 r6 0", "cc_r1_r6_0"},
302*f5c631daSSadaf Ebrahimi {{cc, r1, r7, 0}, true, cc, "cc r1 r7 0", "cc_r1_r7_0"},
303*f5c631daSSadaf Ebrahimi {{cc, r2, r0, 0}, true, cc, "cc r2 r0 0", "cc_r2_r0_0"},
304*f5c631daSSadaf Ebrahimi {{cc, r2, r1, 0}, true, cc, "cc r2 r1 0", "cc_r2_r1_0"},
305*f5c631daSSadaf Ebrahimi {{cc, r2, r2, 0}, true, cc, "cc r2 r2 0", "cc_r2_r2_0"},
306*f5c631daSSadaf Ebrahimi {{cc, r2, r3, 0}, true, cc, "cc r2 r3 0", "cc_r2_r3_0"},
307*f5c631daSSadaf Ebrahimi {{cc, r2, r4, 0}, true, cc, "cc r2 r4 0", "cc_r2_r4_0"},
308*f5c631daSSadaf Ebrahimi {{cc, r2, r5, 0}, true, cc, "cc r2 r5 0", "cc_r2_r5_0"},
309*f5c631daSSadaf Ebrahimi {{cc, r2, r6, 0}, true, cc, "cc r2 r6 0", "cc_r2_r6_0"},
310*f5c631daSSadaf Ebrahimi {{cc, r2, r7, 0}, true, cc, "cc r2 r7 0", "cc_r2_r7_0"},
311*f5c631daSSadaf Ebrahimi {{cc, r3, r0, 0}, true, cc, "cc r3 r0 0", "cc_r3_r0_0"},
312*f5c631daSSadaf Ebrahimi {{cc, r3, r1, 0}, true, cc, "cc r3 r1 0", "cc_r3_r1_0"},
313*f5c631daSSadaf Ebrahimi {{cc, r3, r2, 0}, true, cc, "cc r3 r2 0", "cc_r3_r2_0"},
314*f5c631daSSadaf Ebrahimi {{cc, r3, r3, 0}, true, cc, "cc r3 r3 0", "cc_r3_r3_0"},
315*f5c631daSSadaf Ebrahimi {{cc, r3, r4, 0}, true, cc, "cc r3 r4 0", "cc_r3_r4_0"},
316*f5c631daSSadaf Ebrahimi {{cc, r3, r5, 0}, true, cc, "cc r3 r5 0", "cc_r3_r5_0"},
317*f5c631daSSadaf Ebrahimi {{cc, r3, r6, 0}, true, cc, "cc r3 r6 0", "cc_r3_r6_0"},
318*f5c631daSSadaf Ebrahimi {{cc, r3, r7, 0}, true, cc, "cc r3 r7 0", "cc_r3_r7_0"},
319*f5c631daSSadaf Ebrahimi {{cc, r4, r0, 0}, true, cc, "cc r4 r0 0", "cc_r4_r0_0"},
320*f5c631daSSadaf Ebrahimi {{cc, r4, r1, 0}, true, cc, "cc r4 r1 0", "cc_r4_r1_0"},
321*f5c631daSSadaf Ebrahimi {{cc, r4, r2, 0}, true, cc, "cc r4 r2 0", "cc_r4_r2_0"},
322*f5c631daSSadaf Ebrahimi {{cc, r4, r3, 0}, true, cc, "cc r4 r3 0", "cc_r4_r3_0"},
323*f5c631daSSadaf Ebrahimi {{cc, r4, r4, 0}, true, cc, "cc r4 r4 0", "cc_r4_r4_0"},
324*f5c631daSSadaf Ebrahimi {{cc, r4, r5, 0}, true, cc, "cc r4 r5 0", "cc_r4_r5_0"},
325*f5c631daSSadaf Ebrahimi {{cc, r4, r6, 0}, true, cc, "cc r4 r6 0", "cc_r4_r6_0"},
326*f5c631daSSadaf Ebrahimi {{cc, r4, r7, 0}, true, cc, "cc r4 r7 0", "cc_r4_r7_0"},
327*f5c631daSSadaf Ebrahimi {{cc, r5, r0, 0}, true, cc, "cc r5 r0 0", "cc_r5_r0_0"},
328*f5c631daSSadaf Ebrahimi {{cc, r5, r1, 0}, true, cc, "cc r5 r1 0", "cc_r5_r1_0"},
329*f5c631daSSadaf Ebrahimi {{cc, r5, r2, 0}, true, cc, "cc r5 r2 0", "cc_r5_r2_0"},
330*f5c631daSSadaf Ebrahimi {{cc, r5, r3, 0}, true, cc, "cc r5 r3 0", "cc_r5_r3_0"},
331*f5c631daSSadaf Ebrahimi {{cc, r5, r4, 0}, true, cc, "cc r5 r4 0", "cc_r5_r4_0"},
332*f5c631daSSadaf Ebrahimi {{cc, r5, r5, 0}, true, cc, "cc r5 r5 0", "cc_r5_r5_0"},
333*f5c631daSSadaf Ebrahimi {{cc, r5, r6, 0}, true, cc, "cc r5 r6 0", "cc_r5_r6_0"},
334*f5c631daSSadaf Ebrahimi {{cc, r5, r7, 0}, true, cc, "cc r5 r7 0", "cc_r5_r7_0"},
335*f5c631daSSadaf Ebrahimi {{cc, r6, r0, 0}, true, cc, "cc r6 r0 0", "cc_r6_r0_0"},
336*f5c631daSSadaf Ebrahimi {{cc, r6, r1, 0}, true, cc, "cc r6 r1 0", "cc_r6_r1_0"},
337*f5c631daSSadaf Ebrahimi {{cc, r6, r2, 0}, true, cc, "cc r6 r2 0", "cc_r6_r2_0"},
338*f5c631daSSadaf Ebrahimi {{cc, r6, r3, 0}, true, cc, "cc r6 r3 0", "cc_r6_r3_0"},
339*f5c631daSSadaf Ebrahimi {{cc, r6, r4, 0}, true, cc, "cc r6 r4 0", "cc_r6_r4_0"},
340*f5c631daSSadaf Ebrahimi {{cc, r6, r5, 0}, true, cc, "cc r6 r5 0", "cc_r6_r5_0"},
341*f5c631daSSadaf Ebrahimi {{cc, r6, r6, 0}, true, cc, "cc r6 r6 0", "cc_r6_r6_0"},
342*f5c631daSSadaf Ebrahimi {{cc, r6, r7, 0}, true, cc, "cc r6 r7 0", "cc_r6_r7_0"},
343*f5c631daSSadaf Ebrahimi {{cc, r7, r0, 0}, true, cc, "cc r7 r0 0", "cc_r7_r0_0"},
344*f5c631daSSadaf Ebrahimi {{cc, r7, r1, 0}, true, cc, "cc r7 r1 0", "cc_r7_r1_0"},
345*f5c631daSSadaf Ebrahimi {{cc, r7, r2, 0}, true, cc, "cc r7 r2 0", "cc_r7_r2_0"},
346*f5c631daSSadaf Ebrahimi {{cc, r7, r3, 0}, true, cc, "cc r7 r3 0", "cc_r7_r3_0"},
347*f5c631daSSadaf Ebrahimi {{cc, r7, r4, 0}, true, cc, "cc r7 r4 0", "cc_r7_r4_0"},
348*f5c631daSSadaf Ebrahimi {{cc, r7, r5, 0}, true, cc, "cc r7 r5 0", "cc_r7_r5_0"},
349*f5c631daSSadaf Ebrahimi {{cc, r7, r6, 0}, true, cc, "cc r7 r6 0", "cc_r7_r6_0"},
350*f5c631daSSadaf Ebrahimi {{cc, r7, r7, 0}, true, cc, "cc r7 r7 0", "cc_r7_r7_0"},
351*f5c631daSSadaf Ebrahimi {{mi, r0, r0, 0}, true, mi, "mi r0 r0 0", "mi_r0_r0_0"},
352*f5c631daSSadaf Ebrahimi {{mi, r0, r1, 0}, true, mi, "mi r0 r1 0", "mi_r0_r1_0"},
353*f5c631daSSadaf Ebrahimi {{mi, r0, r2, 0}, true, mi, "mi r0 r2 0", "mi_r0_r2_0"},
354*f5c631daSSadaf Ebrahimi {{mi, r0, r3, 0}, true, mi, "mi r0 r3 0", "mi_r0_r3_0"},
355*f5c631daSSadaf Ebrahimi {{mi, r0, r4, 0}, true, mi, "mi r0 r4 0", "mi_r0_r4_0"},
356*f5c631daSSadaf Ebrahimi {{mi, r0, r5, 0}, true, mi, "mi r0 r5 0", "mi_r0_r5_0"},
357*f5c631daSSadaf Ebrahimi {{mi, r0, r6, 0}, true, mi, "mi r0 r6 0", "mi_r0_r6_0"},
358*f5c631daSSadaf Ebrahimi {{mi, r0, r7, 0}, true, mi, "mi r0 r7 0", "mi_r0_r7_0"},
359*f5c631daSSadaf Ebrahimi {{mi, r1, r0, 0}, true, mi, "mi r1 r0 0", "mi_r1_r0_0"},
360*f5c631daSSadaf Ebrahimi {{mi, r1, r1, 0}, true, mi, "mi r1 r1 0", "mi_r1_r1_0"},
361*f5c631daSSadaf Ebrahimi {{mi, r1, r2, 0}, true, mi, "mi r1 r2 0", "mi_r1_r2_0"},
362*f5c631daSSadaf Ebrahimi {{mi, r1, r3, 0}, true, mi, "mi r1 r3 0", "mi_r1_r3_0"},
363*f5c631daSSadaf Ebrahimi {{mi, r1, r4, 0}, true, mi, "mi r1 r4 0", "mi_r1_r4_0"},
364*f5c631daSSadaf Ebrahimi {{mi, r1, r5, 0}, true, mi, "mi r1 r5 0", "mi_r1_r5_0"},
365*f5c631daSSadaf Ebrahimi {{mi, r1, r6, 0}, true, mi, "mi r1 r6 0", "mi_r1_r6_0"},
366*f5c631daSSadaf Ebrahimi {{mi, r1, r7, 0}, true, mi, "mi r1 r7 0", "mi_r1_r7_0"},
367*f5c631daSSadaf Ebrahimi {{mi, r2, r0, 0}, true, mi, "mi r2 r0 0", "mi_r2_r0_0"},
368*f5c631daSSadaf Ebrahimi {{mi, r2, r1, 0}, true, mi, "mi r2 r1 0", "mi_r2_r1_0"},
369*f5c631daSSadaf Ebrahimi {{mi, r2, r2, 0}, true, mi, "mi r2 r2 0", "mi_r2_r2_0"},
370*f5c631daSSadaf Ebrahimi {{mi, r2, r3, 0}, true, mi, "mi r2 r3 0", "mi_r2_r3_0"},
371*f5c631daSSadaf Ebrahimi {{mi, r2, r4, 0}, true, mi, "mi r2 r4 0", "mi_r2_r4_0"},
372*f5c631daSSadaf Ebrahimi {{mi, r2, r5, 0}, true, mi, "mi r2 r5 0", "mi_r2_r5_0"},
373*f5c631daSSadaf Ebrahimi {{mi, r2, r6, 0}, true, mi, "mi r2 r6 0", "mi_r2_r6_0"},
374*f5c631daSSadaf Ebrahimi {{mi, r2, r7, 0}, true, mi, "mi r2 r7 0", "mi_r2_r7_0"},
375*f5c631daSSadaf Ebrahimi {{mi, r3, r0, 0}, true, mi, "mi r3 r0 0", "mi_r3_r0_0"},
376*f5c631daSSadaf Ebrahimi {{mi, r3, r1, 0}, true, mi, "mi r3 r1 0", "mi_r3_r1_0"},
377*f5c631daSSadaf Ebrahimi {{mi, r3, r2, 0}, true, mi, "mi r3 r2 0", "mi_r3_r2_0"},
378*f5c631daSSadaf Ebrahimi {{mi, r3, r3, 0}, true, mi, "mi r3 r3 0", "mi_r3_r3_0"},
379*f5c631daSSadaf Ebrahimi {{mi, r3, r4, 0}, true, mi, "mi r3 r4 0", "mi_r3_r4_0"},
380*f5c631daSSadaf Ebrahimi {{mi, r3, r5, 0}, true, mi, "mi r3 r5 0", "mi_r3_r5_0"},
381*f5c631daSSadaf Ebrahimi {{mi, r3, r6, 0}, true, mi, "mi r3 r6 0", "mi_r3_r6_0"},
382*f5c631daSSadaf Ebrahimi {{mi, r3, r7, 0}, true, mi, "mi r3 r7 0", "mi_r3_r7_0"},
383*f5c631daSSadaf Ebrahimi {{mi, r4, r0, 0}, true, mi, "mi r4 r0 0", "mi_r4_r0_0"},
384*f5c631daSSadaf Ebrahimi {{mi, r4, r1, 0}, true, mi, "mi r4 r1 0", "mi_r4_r1_0"},
385*f5c631daSSadaf Ebrahimi {{mi, r4, r2, 0}, true, mi, "mi r4 r2 0", "mi_r4_r2_0"},
386*f5c631daSSadaf Ebrahimi {{mi, r4, r3, 0}, true, mi, "mi r4 r3 0", "mi_r4_r3_0"},
387*f5c631daSSadaf Ebrahimi {{mi, r4, r4, 0}, true, mi, "mi r4 r4 0", "mi_r4_r4_0"},
388*f5c631daSSadaf Ebrahimi {{mi, r4, r5, 0}, true, mi, "mi r4 r5 0", "mi_r4_r5_0"},
389*f5c631daSSadaf Ebrahimi {{mi, r4, r6, 0}, true, mi, "mi r4 r6 0", "mi_r4_r6_0"},
390*f5c631daSSadaf Ebrahimi {{mi, r4, r7, 0}, true, mi, "mi r4 r7 0", "mi_r4_r7_0"},
391*f5c631daSSadaf Ebrahimi {{mi, r5, r0, 0}, true, mi, "mi r5 r0 0", "mi_r5_r0_0"},
392*f5c631daSSadaf Ebrahimi {{mi, r5, r1, 0}, true, mi, "mi r5 r1 0", "mi_r5_r1_0"},
393*f5c631daSSadaf Ebrahimi {{mi, r5, r2, 0}, true, mi, "mi r5 r2 0", "mi_r5_r2_0"},
394*f5c631daSSadaf Ebrahimi {{mi, r5, r3, 0}, true, mi, "mi r5 r3 0", "mi_r5_r3_0"},
395*f5c631daSSadaf Ebrahimi {{mi, r5, r4, 0}, true, mi, "mi r5 r4 0", "mi_r5_r4_0"},
396*f5c631daSSadaf Ebrahimi {{mi, r5, r5, 0}, true, mi, "mi r5 r5 0", "mi_r5_r5_0"},
397*f5c631daSSadaf Ebrahimi {{mi, r5, r6, 0}, true, mi, "mi r5 r6 0", "mi_r5_r6_0"},
398*f5c631daSSadaf Ebrahimi {{mi, r5, r7, 0}, true, mi, "mi r5 r7 0", "mi_r5_r7_0"},
399*f5c631daSSadaf Ebrahimi {{mi, r6, r0, 0}, true, mi, "mi r6 r0 0", "mi_r6_r0_0"},
400*f5c631daSSadaf Ebrahimi {{mi, r6, r1, 0}, true, mi, "mi r6 r1 0", "mi_r6_r1_0"},
401*f5c631daSSadaf Ebrahimi {{mi, r6, r2, 0}, true, mi, "mi r6 r2 0", "mi_r6_r2_0"},
402*f5c631daSSadaf Ebrahimi {{mi, r6, r3, 0}, true, mi, "mi r6 r3 0", "mi_r6_r3_0"},
403*f5c631daSSadaf Ebrahimi {{mi, r6, r4, 0}, true, mi, "mi r6 r4 0", "mi_r6_r4_0"},
404*f5c631daSSadaf Ebrahimi {{mi, r6, r5, 0}, true, mi, "mi r6 r5 0", "mi_r6_r5_0"},
405*f5c631daSSadaf Ebrahimi {{mi, r6, r6, 0}, true, mi, "mi r6 r6 0", "mi_r6_r6_0"},
406*f5c631daSSadaf Ebrahimi {{mi, r6, r7, 0}, true, mi, "mi r6 r7 0", "mi_r6_r7_0"},
407*f5c631daSSadaf Ebrahimi {{mi, r7, r0, 0}, true, mi, "mi r7 r0 0", "mi_r7_r0_0"},
408*f5c631daSSadaf Ebrahimi {{mi, r7, r1, 0}, true, mi, "mi r7 r1 0", "mi_r7_r1_0"},
409*f5c631daSSadaf Ebrahimi {{mi, r7, r2, 0}, true, mi, "mi r7 r2 0", "mi_r7_r2_0"},
410*f5c631daSSadaf Ebrahimi {{mi, r7, r3, 0}, true, mi, "mi r7 r3 0", "mi_r7_r3_0"},
411*f5c631daSSadaf Ebrahimi {{mi, r7, r4, 0}, true, mi, "mi r7 r4 0", "mi_r7_r4_0"},
412*f5c631daSSadaf Ebrahimi {{mi, r7, r5, 0}, true, mi, "mi r7 r5 0", "mi_r7_r5_0"},
413*f5c631daSSadaf Ebrahimi {{mi, r7, r6, 0}, true, mi, "mi r7 r6 0", "mi_r7_r6_0"},
414*f5c631daSSadaf Ebrahimi {{mi, r7, r7, 0}, true, mi, "mi r7 r7 0", "mi_r7_r7_0"},
415*f5c631daSSadaf Ebrahimi {{pl, r0, r0, 0}, true, pl, "pl r0 r0 0", "pl_r0_r0_0"},
416*f5c631daSSadaf Ebrahimi {{pl, r0, r1, 0}, true, pl, "pl r0 r1 0", "pl_r0_r1_0"},
417*f5c631daSSadaf Ebrahimi {{pl, r0, r2, 0}, true, pl, "pl r0 r2 0", "pl_r0_r2_0"},
418*f5c631daSSadaf Ebrahimi {{pl, r0, r3, 0}, true, pl, "pl r0 r3 0", "pl_r0_r3_0"},
419*f5c631daSSadaf Ebrahimi {{pl, r0, r4, 0}, true, pl, "pl r0 r4 0", "pl_r0_r4_0"},
420*f5c631daSSadaf Ebrahimi {{pl, r0, r5, 0}, true, pl, "pl r0 r5 0", "pl_r0_r5_0"},
421*f5c631daSSadaf Ebrahimi {{pl, r0, r6, 0}, true, pl, "pl r0 r6 0", "pl_r0_r6_0"},
422*f5c631daSSadaf Ebrahimi {{pl, r0, r7, 0}, true, pl, "pl r0 r7 0", "pl_r0_r7_0"},
423*f5c631daSSadaf Ebrahimi {{pl, r1, r0, 0}, true, pl, "pl r1 r0 0", "pl_r1_r0_0"},
424*f5c631daSSadaf Ebrahimi {{pl, r1, r1, 0}, true, pl, "pl r1 r1 0", "pl_r1_r1_0"},
425*f5c631daSSadaf Ebrahimi {{pl, r1, r2, 0}, true, pl, "pl r1 r2 0", "pl_r1_r2_0"},
426*f5c631daSSadaf Ebrahimi {{pl, r1, r3, 0}, true, pl, "pl r1 r3 0", "pl_r1_r3_0"},
427*f5c631daSSadaf Ebrahimi {{pl, r1, r4, 0}, true, pl, "pl r1 r4 0", "pl_r1_r4_0"},
428*f5c631daSSadaf Ebrahimi {{pl, r1, r5, 0}, true, pl, "pl r1 r5 0", "pl_r1_r5_0"},
429*f5c631daSSadaf Ebrahimi {{pl, r1, r6, 0}, true, pl, "pl r1 r6 0", "pl_r1_r6_0"},
430*f5c631daSSadaf Ebrahimi {{pl, r1, r7, 0}, true, pl, "pl r1 r7 0", "pl_r1_r7_0"},
431*f5c631daSSadaf Ebrahimi {{pl, r2, r0, 0}, true, pl, "pl r2 r0 0", "pl_r2_r0_0"},
432*f5c631daSSadaf Ebrahimi {{pl, r2, r1, 0}, true, pl, "pl r2 r1 0", "pl_r2_r1_0"},
433*f5c631daSSadaf Ebrahimi {{pl, r2, r2, 0}, true, pl, "pl r2 r2 0", "pl_r2_r2_0"},
434*f5c631daSSadaf Ebrahimi {{pl, r2, r3, 0}, true, pl, "pl r2 r3 0", "pl_r2_r3_0"},
435*f5c631daSSadaf Ebrahimi {{pl, r2, r4, 0}, true, pl, "pl r2 r4 0", "pl_r2_r4_0"},
436*f5c631daSSadaf Ebrahimi {{pl, r2, r5, 0}, true, pl, "pl r2 r5 0", "pl_r2_r5_0"},
437*f5c631daSSadaf Ebrahimi {{pl, r2, r6, 0}, true, pl, "pl r2 r6 0", "pl_r2_r6_0"},
438*f5c631daSSadaf Ebrahimi {{pl, r2, r7, 0}, true, pl, "pl r2 r7 0", "pl_r2_r7_0"},
439*f5c631daSSadaf Ebrahimi {{pl, r3, r0, 0}, true, pl, "pl r3 r0 0", "pl_r3_r0_0"},
440*f5c631daSSadaf Ebrahimi {{pl, r3, r1, 0}, true, pl, "pl r3 r1 0", "pl_r3_r1_0"},
441*f5c631daSSadaf Ebrahimi {{pl, r3, r2, 0}, true, pl, "pl r3 r2 0", "pl_r3_r2_0"},
442*f5c631daSSadaf Ebrahimi {{pl, r3, r3, 0}, true, pl, "pl r3 r3 0", "pl_r3_r3_0"},
443*f5c631daSSadaf Ebrahimi {{pl, r3, r4, 0}, true, pl, "pl r3 r4 0", "pl_r3_r4_0"},
444*f5c631daSSadaf Ebrahimi {{pl, r3, r5, 0}, true, pl, "pl r3 r5 0", "pl_r3_r5_0"},
445*f5c631daSSadaf Ebrahimi {{pl, r3, r6, 0}, true, pl, "pl r3 r6 0", "pl_r3_r6_0"},
446*f5c631daSSadaf Ebrahimi {{pl, r3, r7, 0}, true, pl, "pl r3 r7 0", "pl_r3_r7_0"},
447*f5c631daSSadaf Ebrahimi {{pl, r4, r0, 0}, true, pl, "pl r4 r0 0", "pl_r4_r0_0"},
448*f5c631daSSadaf Ebrahimi {{pl, r4, r1, 0}, true, pl, "pl r4 r1 0", "pl_r4_r1_0"},
449*f5c631daSSadaf Ebrahimi {{pl, r4, r2, 0}, true, pl, "pl r4 r2 0", "pl_r4_r2_0"},
450*f5c631daSSadaf Ebrahimi {{pl, r4, r3, 0}, true, pl, "pl r4 r3 0", "pl_r4_r3_0"},
451*f5c631daSSadaf Ebrahimi {{pl, r4, r4, 0}, true, pl, "pl r4 r4 0", "pl_r4_r4_0"},
452*f5c631daSSadaf Ebrahimi {{pl, r4, r5, 0}, true, pl, "pl r4 r5 0", "pl_r4_r5_0"},
453*f5c631daSSadaf Ebrahimi {{pl, r4, r6, 0}, true, pl, "pl r4 r6 0", "pl_r4_r6_0"},
454*f5c631daSSadaf Ebrahimi {{pl, r4, r7, 0}, true, pl, "pl r4 r7 0", "pl_r4_r7_0"},
455*f5c631daSSadaf Ebrahimi {{pl, r5, r0, 0}, true, pl, "pl r5 r0 0", "pl_r5_r0_0"},
456*f5c631daSSadaf Ebrahimi {{pl, r5, r1, 0}, true, pl, "pl r5 r1 0", "pl_r5_r1_0"},
457*f5c631daSSadaf Ebrahimi {{pl, r5, r2, 0}, true, pl, "pl r5 r2 0", "pl_r5_r2_0"},
458*f5c631daSSadaf Ebrahimi {{pl, r5, r3, 0}, true, pl, "pl r5 r3 0", "pl_r5_r3_0"},
459*f5c631daSSadaf Ebrahimi {{pl, r5, r4, 0}, true, pl, "pl r5 r4 0", "pl_r5_r4_0"},
460*f5c631daSSadaf Ebrahimi {{pl, r5, r5, 0}, true, pl, "pl r5 r5 0", "pl_r5_r5_0"},
461*f5c631daSSadaf Ebrahimi {{pl, r5, r6, 0}, true, pl, "pl r5 r6 0", "pl_r5_r6_0"},
462*f5c631daSSadaf Ebrahimi {{pl, r5, r7, 0}, true, pl, "pl r5 r7 0", "pl_r5_r7_0"},
463*f5c631daSSadaf Ebrahimi {{pl, r6, r0, 0}, true, pl, "pl r6 r0 0", "pl_r6_r0_0"},
464*f5c631daSSadaf Ebrahimi {{pl, r6, r1, 0}, true, pl, "pl r6 r1 0", "pl_r6_r1_0"},
465*f5c631daSSadaf Ebrahimi {{pl, r6, r2, 0}, true, pl, "pl r6 r2 0", "pl_r6_r2_0"},
466*f5c631daSSadaf Ebrahimi {{pl, r6, r3, 0}, true, pl, "pl r6 r3 0", "pl_r6_r3_0"},
467*f5c631daSSadaf Ebrahimi {{pl, r6, r4, 0}, true, pl, "pl r6 r4 0", "pl_r6_r4_0"},
468*f5c631daSSadaf Ebrahimi {{pl, r6, r5, 0}, true, pl, "pl r6 r5 0", "pl_r6_r5_0"},
469*f5c631daSSadaf Ebrahimi {{pl, r6, r6, 0}, true, pl, "pl r6 r6 0", "pl_r6_r6_0"},
470*f5c631daSSadaf Ebrahimi {{pl, r6, r7, 0}, true, pl, "pl r6 r7 0", "pl_r6_r7_0"},
471*f5c631daSSadaf Ebrahimi {{pl, r7, r0, 0}, true, pl, "pl r7 r0 0", "pl_r7_r0_0"},
472*f5c631daSSadaf Ebrahimi {{pl, r7, r1, 0}, true, pl, "pl r7 r1 0", "pl_r7_r1_0"},
473*f5c631daSSadaf Ebrahimi {{pl, r7, r2, 0}, true, pl, "pl r7 r2 0", "pl_r7_r2_0"},
474*f5c631daSSadaf Ebrahimi {{pl, r7, r3, 0}, true, pl, "pl r7 r3 0", "pl_r7_r3_0"},
475*f5c631daSSadaf Ebrahimi {{pl, r7, r4, 0}, true, pl, "pl r7 r4 0", "pl_r7_r4_0"},
476*f5c631daSSadaf Ebrahimi {{pl, r7, r5, 0}, true, pl, "pl r7 r5 0", "pl_r7_r5_0"},
477*f5c631daSSadaf Ebrahimi {{pl, r7, r6, 0}, true, pl, "pl r7 r6 0", "pl_r7_r6_0"},
478*f5c631daSSadaf Ebrahimi {{pl, r7, r7, 0}, true, pl, "pl r7 r7 0", "pl_r7_r7_0"},
479*f5c631daSSadaf Ebrahimi {{vs, r0, r0, 0}, true, vs, "vs r0 r0 0", "vs_r0_r0_0"},
480*f5c631daSSadaf Ebrahimi {{vs, r0, r1, 0}, true, vs, "vs r0 r1 0", "vs_r0_r1_0"},
481*f5c631daSSadaf Ebrahimi {{vs, r0, r2, 0}, true, vs, "vs r0 r2 0", "vs_r0_r2_0"},
482*f5c631daSSadaf Ebrahimi {{vs, r0, r3, 0}, true, vs, "vs r0 r3 0", "vs_r0_r3_0"},
483*f5c631daSSadaf Ebrahimi {{vs, r0, r4, 0}, true, vs, "vs r0 r4 0", "vs_r0_r4_0"},
484*f5c631daSSadaf Ebrahimi {{vs, r0, r5, 0}, true, vs, "vs r0 r5 0", "vs_r0_r5_0"},
485*f5c631daSSadaf Ebrahimi {{vs, r0, r6, 0}, true, vs, "vs r0 r6 0", "vs_r0_r6_0"},
486*f5c631daSSadaf Ebrahimi {{vs, r0, r7, 0}, true, vs, "vs r0 r7 0", "vs_r0_r7_0"},
487*f5c631daSSadaf Ebrahimi {{vs, r1, r0, 0}, true, vs, "vs r1 r0 0", "vs_r1_r0_0"},
488*f5c631daSSadaf Ebrahimi {{vs, r1, r1, 0}, true, vs, "vs r1 r1 0", "vs_r1_r1_0"},
489*f5c631daSSadaf Ebrahimi {{vs, r1, r2, 0}, true, vs, "vs r1 r2 0", "vs_r1_r2_0"},
490*f5c631daSSadaf Ebrahimi {{vs, r1, r3, 0}, true, vs, "vs r1 r3 0", "vs_r1_r3_0"},
491*f5c631daSSadaf Ebrahimi {{vs, r1, r4, 0}, true, vs, "vs r1 r4 0", "vs_r1_r4_0"},
492*f5c631daSSadaf Ebrahimi {{vs, r1, r5, 0}, true, vs, "vs r1 r5 0", "vs_r1_r5_0"},
493*f5c631daSSadaf Ebrahimi {{vs, r1, r6, 0}, true, vs, "vs r1 r6 0", "vs_r1_r6_0"},
494*f5c631daSSadaf Ebrahimi {{vs, r1, r7, 0}, true, vs, "vs r1 r7 0", "vs_r1_r7_0"},
495*f5c631daSSadaf Ebrahimi {{vs, r2, r0, 0}, true, vs, "vs r2 r0 0", "vs_r2_r0_0"},
496*f5c631daSSadaf Ebrahimi {{vs, r2, r1, 0}, true, vs, "vs r2 r1 0", "vs_r2_r1_0"},
497*f5c631daSSadaf Ebrahimi {{vs, r2, r2, 0}, true, vs, "vs r2 r2 0", "vs_r2_r2_0"},
498*f5c631daSSadaf Ebrahimi {{vs, r2, r3, 0}, true, vs, "vs r2 r3 0", "vs_r2_r3_0"},
499*f5c631daSSadaf Ebrahimi {{vs, r2, r4, 0}, true, vs, "vs r2 r4 0", "vs_r2_r4_0"},
500*f5c631daSSadaf Ebrahimi {{vs, r2, r5, 0}, true, vs, "vs r2 r5 0", "vs_r2_r5_0"},
501*f5c631daSSadaf Ebrahimi {{vs, r2, r6, 0}, true, vs, "vs r2 r6 0", "vs_r2_r6_0"},
502*f5c631daSSadaf Ebrahimi {{vs, r2, r7, 0}, true, vs, "vs r2 r7 0", "vs_r2_r7_0"},
503*f5c631daSSadaf Ebrahimi {{vs, r3, r0, 0}, true, vs, "vs r3 r0 0", "vs_r3_r0_0"},
504*f5c631daSSadaf Ebrahimi {{vs, r3, r1, 0}, true, vs, "vs r3 r1 0", "vs_r3_r1_0"},
505*f5c631daSSadaf Ebrahimi {{vs, r3, r2, 0}, true, vs, "vs r3 r2 0", "vs_r3_r2_0"},
506*f5c631daSSadaf Ebrahimi {{vs, r3, r3, 0}, true, vs, "vs r3 r3 0", "vs_r3_r3_0"},
507*f5c631daSSadaf Ebrahimi {{vs, r3, r4, 0}, true, vs, "vs r3 r4 0", "vs_r3_r4_0"},
508*f5c631daSSadaf Ebrahimi {{vs, r3, r5, 0}, true, vs, "vs r3 r5 0", "vs_r3_r5_0"},
509*f5c631daSSadaf Ebrahimi {{vs, r3, r6, 0}, true, vs, "vs r3 r6 0", "vs_r3_r6_0"},
510*f5c631daSSadaf Ebrahimi {{vs, r3, r7, 0}, true, vs, "vs r3 r7 0", "vs_r3_r7_0"},
511*f5c631daSSadaf Ebrahimi {{vs, r4, r0, 0}, true, vs, "vs r4 r0 0", "vs_r4_r0_0"},
512*f5c631daSSadaf Ebrahimi {{vs, r4, r1, 0}, true, vs, "vs r4 r1 0", "vs_r4_r1_0"},
513*f5c631daSSadaf Ebrahimi {{vs, r4, r2, 0}, true, vs, "vs r4 r2 0", "vs_r4_r2_0"},
514*f5c631daSSadaf Ebrahimi {{vs, r4, r3, 0}, true, vs, "vs r4 r3 0", "vs_r4_r3_0"},
515*f5c631daSSadaf Ebrahimi {{vs, r4, r4, 0}, true, vs, "vs r4 r4 0", "vs_r4_r4_0"},
516*f5c631daSSadaf Ebrahimi {{vs, r4, r5, 0}, true, vs, "vs r4 r5 0", "vs_r4_r5_0"},
517*f5c631daSSadaf Ebrahimi {{vs, r4, r6, 0}, true, vs, "vs r4 r6 0", "vs_r4_r6_0"},
518*f5c631daSSadaf Ebrahimi {{vs, r4, r7, 0}, true, vs, "vs r4 r7 0", "vs_r4_r7_0"},
519*f5c631daSSadaf Ebrahimi {{vs, r5, r0, 0}, true, vs, "vs r5 r0 0", "vs_r5_r0_0"},
520*f5c631daSSadaf Ebrahimi {{vs, r5, r1, 0}, true, vs, "vs r5 r1 0", "vs_r5_r1_0"},
521*f5c631daSSadaf Ebrahimi {{vs, r5, r2, 0}, true, vs, "vs r5 r2 0", "vs_r5_r2_0"},
522*f5c631daSSadaf Ebrahimi {{vs, r5, r3, 0}, true, vs, "vs r5 r3 0", "vs_r5_r3_0"},
523*f5c631daSSadaf Ebrahimi {{vs, r5, r4, 0}, true, vs, "vs r5 r4 0", "vs_r5_r4_0"},
524*f5c631daSSadaf Ebrahimi {{vs, r5, r5, 0}, true, vs, "vs r5 r5 0", "vs_r5_r5_0"},
525*f5c631daSSadaf Ebrahimi {{vs, r5, r6, 0}, true, vs, "vs r5 r6 0", "vs_r5_r6_0"},
526*f5c631daSSadaf Ebrahimi {{vs, r5, r7, 0}, true, vs, "vs r5 r7 0", "vs_r5_r7_0"},
527*f5c631daSSadaf Ebrahimi {{vs, r6, r0, 0}, true, vs, "vs r6 r0 0", "vs_r6_r0_0"},
528*f5c631daSSadaf Ebrahimi {{vs, r6, r1, 0}, true, vs, "vs r6 r1 0", "vs_r6_r1_0"},
529*f5c631daSSadaf Ebrahimi {{vs, r6, r2, 0}, true, vs, "vs r6 r2 0", "vs_r6_r2_0"},
530*f5c631daSSadaf Ebrahimi {{vs, r6, r3, 0}, true, vs, "vs r6 r3 0", "vs_r6_r3_0"},
531*f5c631daSSadaf Ebrahimi {{vs, r6, r4, 0}, true, vs, "vs r6 r4 0", "vs_r6_r4_0"},
532*f5c631daSSadaf Ebrahimi {{vs, r6, r5, 0}, true, vs, "vs r6 r5 0", "vs_r6_r5_0"},
533*f5c631daSSadaf Ebrahimi {{vs, r6, r6, 0}, true, vs, "vs r6 r6 0", "vs_r6_r6_0"},
534*f5c631daSSadaf Ebrahimi {{vs, r6, r7, 0}, true, vs, "vs r6 r7 0", "vs_r6_r7_0"},
535*f5c631daSSadaf Ebrahimi {{vs, r7, r0, 0}, true, vs, "vs r7 r0 0", "vs_r7_r0_0"},
536*f5c631daSSadaf Ebrahimi {{vs, r7, r1, 0}, true, vs, "vs r7 r1 0", "vs_r7_r1_0"},
537*f5c631daSSadaf Ebrahimi {{vs, r7, r2, 0}, true, vs, "vs r7 r2 0", "vs_r7_r2_0"},
538*f5c631daSSadaf Ebrahimi {{vs, r7, r3, 0}, true, vs, "vs r7 r3 0", "vs_r7_r3_0"},
539*f5c631daSSadaf Ebrahimi {{vs, r7, r4, 0}, true, vs, "vs r7 r4 0", "vs_r7_r4_0"},
540*f5c631daSSadaf Ebrahimi {{vs, r7, r5, 0}, true, vs, "vs r7 r5 0", "vs_r7_r5_0"},
541*f5c631daSSadaf Ebrahimi {{vs, r7, r6, 0}, true, vs, "vs r7 r6 0", "vs_r7_r6_0"},
542*f5c631daSSadaf Ebrahimi {{vs, r7, r7, 0}, true, vs, "vs r7 r7 0", "vs_r7_r7_0"},
543*f5c631daSSadaf Ebrahimi {{vc, r0, r0, 0}, true, vc, "vc r0 r0 0", "vc_r0_r0_0"},
544*f5c631daSSadaf Ebrahimi {{vc, r0, r1, 0}, true, vc, "vc r0 r1 0", "vc_r0_r1_0"},
545*f5c631daSSadaf Ebrahimi {{vc, r0, r2, 0}, true, vc, "vc r0 r2 0", "vc_r0_r2_0"},
546*f5c631daSSadaf Ebrahimi {{vc, r0, r3, 0}, true, vc, "vc r0 r3 0", "vc_r0_r3_0"},
547*f5c631daSSadaf Ebrahimi {{vc, r0, r4, 0}, true, vc, "vc r0 r4 0", "vc_r0_r4_0"},
548*f5c631daSSadaf Ebrahimi {{vc, r0, r5, 0}, true, vc, "vc r0 r5 0", "vc_r0_r5_0"},
549*f5c631daSSadaf Ebrahimi {{vc, r0, r6, 0}, true, vc, "vc r0 r6 0", "vc_r0_r6_0"},
550*f5c631daSSadaf Ebrahimi {{vc, r0, r7, 0}, true, vc, "vc r0 r7 0", "vc_r0_r7_0"},
551*f5c631daSSadaf Ebrahimi {{vc, r1, r0, 0}, true, vc, "vc r1 r0 0", "vc_r1_r0_0"},
552*f5c631daSSadaf Ebrahimi {{vc, r1, r1, 0}, true, vc, "vc r1 r1 0", "vc_r1_r1_0"},
553*f5c631daSSadaf Ebrahimi {{vc, r1, r2, 0}, true, vc, "vc r1 r2 0", "vc_r1_r2_0"},
554*f5c631daSSadaf Ebrahimi {{vc, r1, r3, 0}, true, vc, "vc r1 r3 0", "vc_r1_r3_0"},
555*f5c631daSSadaf Ebrahimi {{vc, r1, r4, 0}, true, vc, "vc r1 r4 0", "vc_r1_r4_0"},
556*f5c631daSSadaf Ebrahimi {{vc, r1, r5, 0}, true, vc, "vc r1 r5 0", "vc_r1_r5_0"},
557*f5c631daSSadaf Ebrahimi {{vc, r1, r6, 0}, true, vc, "vc r1 r6 0", "vc_r1_r6_0"},
558*f5c631daSSadaf Ebrahimi {{vc, r1, r7, 0}, true, vc, "vc r1 r7 0", "vc_r1_r7_0"},
559*f5c631daSSadaf Ebrahimi {{vc, r2, r0, 0}, true, vc, "vc r2 r0 0", "vc_r2_r0_0"},
560*f5c631daSSadaf Ebrahimi {{vc, r2, r1, 0}, true, vc, "vc r2 r1 0", "vc_r2_r1_0"},
561*f5c631daSSadaf Ebrahimi {{vc, r2, r2, 0}, true, vc, "vc r2 r2 0", "vc_r2_r2_0"},
562*f5c631daSSadaf Ebrahimi {{vc, r2, r3, 0}, true, vc, "vc r2 r3 0", "vc_r2_r3_0"},
563*f5c631daSSadaf Ebrahimi {{vc, r2, r4, 0}, true, vc, "vc r2 r4 0", "vc_r2_r4_0"},
564*f5c631daSSadaf Ebrahimi {{vc, r2, r5, 0}, true, vc, "vc r2 r5 0", "vc_r2_r5_0"},
565*f5c631daSSadaf Ebrahimi {{vc, r2, r6, 0}, true, vc, "vc r2 r6 0", "vc_r2_r6_0"},
566*f5c631daSSadaf Ebrahimi {{vc, r2, r7, 0}, true, vc, "vc r2 r7 0", "vc_r2_r7_0"},
567*f5c631daSSadaf Ebrahimi {{vc, r3, r0, 0}, true, vc, "vc r3 r0 0", "vc_r3_r0_0"},
568*f5c631daSSadaf Ebrahimi {{vc, r3, r1, 0}, true, vc, "vc r3 r1 0", "vc_r3_r1_0"},
569*f5c631daSSadaf Ebrahimi {{vc, r3, r2, 0}, true, vc, "vc r3 r2 0", "vc_r3_r2_0"},
570*f5c631daSSadaf Ebrahimi {{vc, r3, r3, 0}, true, vc, "vc r3 r3 0", "vc_r3_r3_0"},
571*f5c631daSSadaf Ebrahimi {{vc, r3, r4, 0}, true, vc, "vc r3 r4 0", "vc_r3_r4_0"},
572*f5c631daSSadaf Ebrahimi {{vc, r3, r5, 0}, true, vc, "vc r3 r5 0", "vc_r3_r5_0"},
573*f5c631daSSadaf Ebrahimi {{vc, r3, r6, 0}, true, vc, "vc r3 r6 0", "vc_r3_r6_0"},
574*f5c631daSSadaf Ebrahimi {{vc, r3, r7, 0}, true, vc, "vc r3 r7 0", "vc_r3_r7_0"},
575*f5c631daSSadaf Ebrahimi {{vc, r4, r0, 0}, true, vc, "vc r4 r0 0", "vc_r4_r0_0"},
576*f5c631daSSadaf Ebrahimi {{vc, r4, r1, 0}, true, vc, "vc r4 r1 0", "vc_r4_r1_0"},
577*f5c631daSSadaf Ebrahimi {{vc, r4, r2, 0}, true, vc, "vc r4 r2 0", "vc_r4_r2_0"},
578*f5c631daSSadaf Ebrahimi {{vc, r4, r3, 0}, true, vc, "vc r4 r3 0", "vc_r4_r3_0"},
579*f5c631daSSadaf Ebrahimi {{vc, r4, r4, 0}, true, vc, "vc r4 r4 0", "vc_r4_r4_0"},
580*f5c631daSSadaf Ebrahimi {{vc, r4, r5, 0}, true, vc, "vc r4 r5 0", "vc_r4_r5_0"},
581*f5c631daSSadaf Ebrahimi {{vc, r4, r6, 0}, true, vc, "vc r4 r6 0", "vc_r4_r6_0"},
582*f5c631daSSadaf Ebrahimi {{vc, r4, r7, 0}, true, vc, "vc r4 r7 0", "vc_r4_r7_0"},
583*f5c631daSSadaf Ebrahimi {{vc, r5, r0, 0}, true, vc, "vc r5 r0 0", "vc_r5_r0_0"},
584*f5c631daSSadaf Ebrahimi {{vc, r5, r1, 0}, true, vc, "vc r5 r1 0", "vc_r5_r1_0"},
585*f5c631daSSadaf Ebrahimi {{vc, r5, r2, 0}, true, vc, "vc r5 r2 0", "vc_r5_r2_0"},
586*f5c631daSSadaf Ebrahimi {{vc, r5, r3, 0}, true, vc, "vc r5 r3 0", "vc_r5_r3_0"},
587*f5c631daSSadaf Ebrahimi {{vc, r5, r4, 0}, true, vc, "vc r5 r4 0", "vc_r5_r4_0"},
588*f5c631daSSadaf Ebrahimi {{vc, r5, r5, 0}, true, vc, "vc r5 r5 0", "vc_r5_r5_0"},
589*f5c631daSSadaf Ebrahimi {{vc, r5, r6, 0}, true, vc, "vc r5 r6 0", "vc_r5_r6_0"},
590*f5c631daSSadaf Ebrahimi {{vc, r5, r7, 0}, true, vc, "vc r5 r7 0", "vc_r5_r7_0"},
591*f5c631daSSadaf Ebrahimi {{vc, r6, r0, 0}, true, vc, "vc r6 r0 0", "vc_r6_r0_0"},
592*f5c631daSSadaf Ebrahimi {{vc, r6, r1, 0}, true, vc, "vc r6 r1 0", "vc_r6_r1_0"},
593*f5c631daSSadaf Ebrahimi {{vc, r6, r2, 0}, true, vc, "vc r6 r2 0", "vc_r6_r2_0"},
594*f5c631daSSadaf Ebrahimi {{vc, r6, r3, 0}, true, vc, "vc r6 r3 0", "vc_r6_r3_0"},
595*f5c631daSSadaf Ebrahimi {{vc, r6, r4, 0}, true, vc, "vc r6 r4 0", "vc_r6_r4_0"},
596*f5c631daSSadaf Ebrahimi {{vc, r6, r5, 0}, true, vc, "vc r6 r5 0", "vc_r6_r5_0"},
597*f5c631daSSadaf Ebrahimi {{vc, r6, r6, 0}, true, vc, "vc r6 r6 0", "vc_r6_r6_0"},
598*f5c631daSSadaf Ebrahimi {{vc, r6, r7, 0}, true, vc, "vc r6 r7 0", "vc_r6_r7_0"},
599*f5c631daSSadaf Ebrahimi {{vc, r7, r0, 0}, true, vc, "vc r7 r0 0", "vc_r7_r0_0"},
600*f5c631daSSadaf Ebrahimi {{vc, r7, r1, 0}, true, vc, "vc r7 r1 0", "vc_r7_r1_0"},
601*f5c631daSSadaf Ebrahimi {{vc, r7, r2, 0}, true, vc, "vc r7 r2 0", "vc_r7_r2_0"},
602*f5c631daSSadaf Ebrahimi {{vc, r7, r3, 0}, true, vc, "vc r7 r3 0", "vc_r7_r3_0"},
603*f5c631daSSadaf Ebrahimi {{vc, r7, r4, 0}, true, vc, "vc r7 r4 0", "vc_r7_r4_0"},
604*f5c631daSSadaf Ebrahimi {{vc, r7, r5, 0}, true, vc, "vc r7 r5 0", "vc_r7_r5_0"},
605*f5c631daSSadaf Ebrahimi {{vc, r7, r6, 0}, true, vc, "vc r7 r6 0", "vc_r7_r6_0"},
606*f5c631daSSadaf Ebrahimi {{vc, r7, r7, 0}, true, vc, "vc r7 r7 0", "vc_r7_r7_0"},
607*f5c631daSSadaf Ebrahimi {{hi, r0, r0, 0}, true, hi, "hi r0 r0 0", "hi_r0_r0_0"},
608*f5c631daSSadaf Ebrahimi {{hi, r0, r1, 0}, true, hi, "hi r0 r1 0", "hi_r0_r1_0"},
609*f5c631daSSadaf Ebrahimi {{hi, r0, r2, 0}, true, hi, "hi r0 r2 0", "hi_r0_r2_0"},
610*f5c631daSSadaf Ebrahimi {{hi, r0, r3, 0}, true, hi, "hi r0 r3 0", "hi_r0_r3_0"},
611*f5c631daSSadaf Ebrahimi {{hi, r0, r4, 0}, true, hi, "hi r0 r4 0", "hi_r0_r4_0"},
612*f5c631daSSadaf Ebrahimi {{hi, r0, r5, 0}, true, hi, "hi r0 r5 0", "hi_r0_r5_0"},
613*f5c631daSSadaf Ebrahimi {{hi, r0, r6, 0}, true, hi, "hi r0 r6 0", "hi_r0_r6_0"},
614*f5c631daSSadaf Ebrahimi {{hi, r0, r7, 0}, true, hi, "hi r0 r7 0", "hi_r0_r7_0"},
615*f5c631daSSadaf Ebrahimi {{hi, r1, r0, 0}, true, hi, "hi r1 r0 0", "hi_r1_r0_0"},
616*f5c631daSSadaf Ebrahimi {{hi, r1, r1, 0}, true, hi, "hi r1 r1 0", "hi_r1_r1_0"},
617*f5c631daSSadaf Ebrahimi {{hi, r1, r2, 0}, true, hi, "hi r1 r2 0", "hi_r1_r2_0"},
618*f5c631daSSadaf Ebrahimi {{hi, r1, r3, 0}, true, hi, "hi r1 r3 0", "hi_r1_r3_0"},
619*f5c631daSSadaf Ebrahimi {{hi, r1, r4, 0}, true, hi, "hi r1 r4 0", "hi_r1_r4_0"},
620*f5c631daSSadaf Ebrahimi {{hi, r1, r5, 0}, true, hi, "hi r1 r5 0", "hi_r1_r5_0"},
621*f5c631daSSadaf Ebrahimi {{hi, r1, r6, 0}, true, hi, "hi r1 r6 0", "hi_r1_r6_0"},
622*f5c631daSSadaf Ebrahimi {{hi, r1, r7, 0}, true, hi, "hi r1 r7 0", "hi_r1_r7_0"},
623*f5c631daSSadaf Ebrahimi {{hi, r2, r0, 0}, true, hi, "hi r2 r0 0", "hi_r2_r0_0"},
624*f5c631daSSadaf Ebrahimi {{hi, r2, r1, 0}, true, hi, "hi r2 r1 0", "hi_r2_r1_0"},
625*f5c631daSSadaf Ebrahimi {{hi, r2, r2, 0}, true, hi, "hi r2 r2 0", "hi_r2_r2_0"},
626*f5c631daSSadaf Ebrahimi {{hi, r2, r3, 0}, true, hi, "hi r2 r3 0", "hi_r2_r3_0"},
627*f5c631daSSadaf Ebrahimi {{hi, r2, r4, 0}, true, hi, "hi r2 r4 0", "hi_r2_r4_0"},
628*f5c631daSSadaf Ebrahimi {{hi, r2, r5, 0}, true, hi, "hi r2 r5 0", "hi_r2_r5_0"},
629*f5c631daSSadaf Ebrahimi {{hi, r2, r6, 0}, true, hi, "hi r2 r6 0", "hi_r2_r6_0"},
630*f5c631daSSadaf Ebrahimi {{hi, r2, r7, 0}, true, hi, "hi r2 r7 0", "hi_r2_r7_0"},
631*f5c631daSSadaf Ebrahimi {{hi, r3, r0, 0}, true, hi, "hi r3 r0 0", "hi_r3_r0_0"},
632*f5c631daSSadaf Ebrahimi {{hi, r3, r1, 0}, true, hi, "hi r3 r1 0", "hi_r3_r1_0"},
633*f5c631daSSadaf Ebrahimi {{hi, r3, r2, 0}, true, hi, "hi r3 r2 0", "hi_r3_r2_0"},
634*f5c631daSSadaf Ebrahimi {{hi, r3, r3, 0}, true, hi, "hi r3 r3 0", "hi_r3_r3_0"},
635*f5c631daSSadaf Ebrahimi {{hi, r3, r4, 0}, true, hi, "hi r3 r4 0", "hi_r3_r4_0"},
636*f5c631daSSadaf Ebrahimi {{hi, r3, r5, 0}, true, hi, "hi r3 r5 0", "hi_r3_r5_0"},
637*f5c631daSSadaf Ebrahimi {{hi, r3, r6, 0}, true, hi, "hi r3 r6 0", "hi_r3_r6_0"},
638*f5c631daSSadaf Ebrahimi {{hi, r3, r7, 0}, true, hi, "hi r3 r7 0", "hi_r3_r7_0"},
639*f5c631daSSadaf Ebrahimi {{hi, r4, r0, 0}, true, hi, "hi r4 r0 0", "hi_r4_r0_0"},
640*f5c631daSSadaf Ebrahimi {{hi, r4, r1, 0}, true, hi, "hi r4 r1 0", "hi_r4_r1_0"},
641*f5c631daSSadaf Ebrahimi {{hi, r4, r2, 0}, true, hi, "hi r4 r2 0", "hi_r4_r2_0"},
642*f5c631daSSadaf Ebrahimi {{hi, r4, r3, 0}, true, hi, "hi r4 r3 0", "hi_r4_r3_0"},
643*f5c631daSSadaf Ebrahimi {{hi, r4, r4, 0}, true, hi, "hi r4 r4 0", "hi_r4_r4_0"},
644*f5c631daSSadaf Ebrahimi {{hi, r4, r5, 0}, true, hi, "hi r4 r5 0", "hi_r4_r5_0"},
645*f5c631daSSadaf Ebrahimi {{hi, r4, r6, 0}, true, hi, "hi r4 r6 0", "hi_r4_r6_0"},
646*f5c631daSSadaf Ebrahimi {{hi, r4, r7, 0}, true, hi, "hi r4 r7 0", "hi_r4_r7_0"},
647*f5c631daSSadaf Ebrahimi {{hi, r5, r0, 0}, true, hi, "hi r5 r0 0", "hi_r5_r0_0"},
648*f5c631daSSadaf Ebrahimi {{hi, r5, r1, 0}, true, hi, "hi r5 r1 0", "hi_r5_r1_0"},
649*f5c631daSSadaf Ebrahimi {{hi, r5, r2, 0}, true, hi, "hi r5 r2 0", "hi_r5_r2_0"},
650*f5c631daSSadaf Ebrahimi {{hi, r5, r3, 0}, true, hi, "hi r5 r3 0", "hi_r5_r3_0"},
651*f5c631daSSadaf Ebrahimi {{hi, r5, r4, 0}, true, hi, "hi r5 r4 0", "hi_r5_r4_0"},
652*f5c631daSSadaf Ebrahimi {{hi, r5, r5, 0}, true, hi, "hi r5 r5 0", "hi_r5_r5_0"},
653*f5c631daSSadaf Ebrahimi {{hi, r5, r6, 0}, true, hi, "hi r5 r6 0", "hi_r5_r6_0"},
654*f5c631daSSadaf Ebrahimi {{hi, r5, r7, 0}, true, hi, "hi r5 r7 0", "hi_r5_r7_0"},
655*f5c631daSSadaf Ebrahimi {{hi, r6, r0, 0}, true, hi, "hi r6 r0 0", "hi_r6_r0_0"},
656*f5c631daSSadaf Ebrahimi {{hi, r6, r1, 0}, true, hi, "hi r6 r1 0", "hi_r6_r1_0"},
657*f5c631daSSadaf Ebrahimi {{hi, r6, r2, 0}, true, hi, "hi r6 r2 0", "hi_r6_r2_0"},
658*f5c631daSSadaf Ebrahimi {{hi, r6, r3, 0}, true, hi, "hi r6 r3 0", "hi_r6_r3_0"},
659*f5c631daSSadaf Ebrahimi {{hi, r6, r4, 0}, true, hi, "hi r6 r4 0", "hi_r6_r4_0"},
660*f5c631daSSadaf Ebrahimi {{hi, r6, r5, 0}, true, hi, "hi r6 r5 0", "hi_r6_r5_0"},
661*f5c631daSSadaf Ebrahimi {{hi, r6, r6, 0}, true, hi, "hi r6 r6 0", "hi_r6_r6_0"},
662*f5c631daSSadaf Ebrahimi {{hi, r6, r7, 0}, true, hi, "hi r6 r7 0", "hi_r6_r7_0"},
663*f5c631daSSadaf Ebrahimi {{hi, r7, r0, 0}, true, hi, "hi r7 r0 0", "hi_r7_r0_0"},
664*f5c631daSSadaf Ebrahimi {{hi, r7, r1, 0}, true, hi, "hi r7 r1 0", "hi_r7_r1_0"},
665*f5c631daSSadaf Ebrahimi {{hi, r7, r2, 0}, true, hi, "hi r7 r2 0", "hi_r7_r2_0"},
666*f5c631daSSadaf Ebrahimi {{hi, r7, r3, 0}, true, hi, "hi r7 r3 0", "hi_r7_r3_0"},
667*f5c631daSSadaf Ebrahimi {{hi, r7, r4, 0}, true, hi, "hi r7 r4 0", "hi_r7_r4_0"},
668*f5c631daSSadaf Ebrahimi {{hi, r7, r5, 0}, true, hi, "hi r7 r5 0", "hi_r7_r5_0"},
669*f5c631daSSadaf Ebrahimi {{hi, r7, r6, 0}, true, hi, "hi r7 r6 0", "hi_r7_r6_0"},
670*f5c631daSSadaf Ebrahimi {{hi, r7, r7, 0}, true, hi, "hi r7 r7 0", "hi_r7_r7_0"},
671*f5c631daSSadaf Ebrahimi {{ls, r0, r0, 0}, true, ls, "ls r0 r0 0", "ls_r0_r0_0"},
672*f5c631daSSadaf Ebrahimi {{ls, r0, r1, 0}, true, ls, "ls r0 r1 0", "ls_r0_r1_0"},
673*f5c631daSSadaf Ebrahimi {{ls, r0, r2, 0}, true, ls, "ls r0 r2 0", "ls_r0_r2_0"},
674*f5c631daSSadaf Ebrahimi {{ls, r0, r3, 0}, true, ls, "ls r0 r3 0", "ls_r0_r3_0"},
675*f5c631daSSadaf Ebrahimi {{ls, r0, r4, 0}, true, ls, "ls r0 r4 0", "ls_r0_r4_0"},
676*f5c631daSSadaf Ebrahimi {{ls, r0, r5, 0}, true, ls, "ls r0 r5 0", "ls_r0_r5_0"},
677*f5c631daSSadaf Ebrahimi {{ls, r0, r6, 0}, true, ls, "ls r0 r6 0", "ls_r0_r6_0"},
678*f5c631daSSadaf Ebrahimi {{ls, r0, r7, 0}, true, ls, "ls r0 r7 0", "ls_r0_r7_0"},
679*f5c631daSSadaf Ebrahimi {{ls, r1, r0, 0}, true, ls, "ls r1 r0 0", "ls_r1_r0_0"},
680*f5c631daSSadaf Ebrahimi {{ls, r1, r1, 0}, true, ls, "ls r1 r1 0", "ls_r1_r1_0"},
681*f5c631daSSadaf Ebrahimi {{ls, r1, r2, 0}, true, ls, "ls r1 r2 0", "ls_r1_r2_0"},
682*f5c631daSSadaf Ebrahimi {{ls, r1, r3, 0}, true, ls, "ls r1 r3 0", "ls_r1_r3_0"},
683*f5c631daSSadaf Ebrahimi {{ls, r1, r4, 0}, true, ls, "ls r1 r4 0", "ls_r1_r4_0"},
684*f5c631daSSadaf Ebrahimi {{ls, r1, r5, 0}, true, ls, "ls r1 r5 0", "ls_r1_r5_0"},
685*f5c631daSSadaf Ebrahimi {{ls, r1, r6, 0}, true, ls, "ls r1 r6 0", "ls_r1_r6_0"},
686*f5c631daSSadaf Ebrahimi {{ls, r1, r7, 0}, true, ls, "ls r1 r7 0", "ls_r1_r7_0"},
687*f5c631daSSadaf Ebrahimi {{ls, r2, r0, 0}, true, ls, "ls r2 r0 0", "ls_r2_r0_0"},
688*f5c631daSSadaf Ebrahimi {{ls, r2, r1, 0}, true, ls, "ls r2 r1 0", "ls_r2_r1_0"},
689*f5c631daSSadaf Ebrahimi {{ls, r2, r2, 0}, true, ls, "ls r2 r2 0", "ls_r2_r2_0"},
690*f5c631daSSadaf Ebrahimi {{ls, r2, r3, 0}, true, ls, "ls r2 r3 0", "ls_r2_r3_0"},
691*f5c631daSSadaf Ebrahimi {{ls, r2, r4, 0}, true, ls, "ls r2 r4 0", "ls_r2_r4_0"},
692*f5c631daSSadaf Ebrahimi {{ls, r2, r5, 0}, true, ls, "ls r2 r5 0", "ls_r2_r5_0"},
693*f5c631daSSadaf Ebrahimi {{ls, r2, r6, 0}, true, ls, "ls r2 r6 0", "ls_r2_r6_0"},
694*f5c631daSSadaf Ebrahimi {{ls, r2, r7, 0}, true, ls, "ls r2 r7 0", "ls_r2_r7_0"},
695*f5c631daSSadaf Ebrahimi {{ls, r3, r0, 0}, true, ls, "ls r3 r0 0", "ls_r3_r0_0"},
696*f5c631daSSadaf Ebrahimi {{ls, r3, r1, 0}, true, ls, "ls r3 r1 0", "ls_r3_r1_0"},
697*f5c631daSSadaf Ebrahimi {{ls, r3, r2, 0}, true, ls, "ls r3 r2 0", "ls_r3_r2_0"},
698*f5c631daSSadaf Ebrahimi {{ls, r3, r3, 0}, true, ls, "ls r3 r3 0", "ls_r3_r3_0"},
699*f5c631daSSadaf Ebrahimi {{ls, r3, r4, 0}, true, ls, "ls r3 r4 0", "ls_r3_r4_0"},
700*f5c631daSSadaf Ebrahimi {{ls, r3, r5, 0}, true, ls, "ls r3 r5 0", "ls_r3_r5_0"},
701*f5c631daSSadaf Ebrahimi {{ls, r3, r6, 0}, true, ls, "ls r3 r6 0", "ls_r3_r6_0"},
702*f5c631daSSadaf Ebrahimi {{ls, r3, r7, 0}, true, ls, "ls r3 r7 0", "ls_r3_r7_0"},
703*f5c631daSSadaf Ebrahimi {{ls, r4, r0, 0}, true, ls, "ls r4 r0 0", "ls_r4_r0_0"},
704*f5c631daSSadaf Ebrahimi {{ls, r4, r1, 0}, true, ls, "ls r4 r1 0", "ls_r4_r1_0"},
705*f5c631daSSadaf Ebrahimi {{ls, r4, r2, 0}, true, ls, "ls r4 r2 0", "ls_r4_r2_0"},
706*f5c631daSSadaf Ebrahimi {{ls, r4, r3, 0}, true, ls, "ls r4 r3 0", "ls_r4_r3_0"},
707*f5c631daSSadaf Ebrahimi {{ls, r4, r4, 0}, true, ls, "ls r4 r4 0", "ls_r4_r4_0"},
708*f5c631daSSadaf Ebrahimi {{ls, r4, r5, 0}, true, ls, "ls r4 r5 0", "ls_r4_r5_0"},
709*f5c631daSSadaf Ebrahimi {{ls, r4, r6, 0}, true, ls, "ls r4 r6 0", "ls_r4_r6_0"},
710*f5c631daSSadaf Ebrahimi {{ls, r4, r7, 0}, true, ls, "ls r4 r7 0", "ls_r4_r7_0"},
711*f5c631daSSadaf Ebrahimi {{ls, r5, r0, 0}, true, ls, "ls r5 r0 0", "ls_r5_r0_0"},
712*f5c631daSSadaf Ebrahimi {{ls, r5, r1, 0}, true, ls, "ls r5 r1 0", "ls_r5_r1_0"},
713*f5c631daSSadaf Ebrahimi {{ls, r5, r2, 0}, true, ls, "ls r5 r2 0", "ls_r5_r2_0"},
714*f5c631daSSadaf Ebrahimi {{ls, r5, r3, 0}, true, ls, "ls r5 r3 0", "ls_r5_r3_0"},
715*f5c631daSSadaf Ebrahimi {{ls, r5, r4, 0}, true, ls, "ls r5 r4 0", "ls_r5_r4_0"},
716*f5c631daSSadaf Ebrahimi {{ls, r5, r5, 0}, true, ls, "ls r5 r5 0", "ls_r5_r5_0"},
717*f5c631daSSadaf Ebrahimi {{ls, r5, r6, 0}, true, ls, "ls r5 r6 0", "ls_r5_r6_0"},
718*f5c631daSSadaf Ebrahimi {{ls, r5, r7, 0}, true, ls, "ls r5 r7 0", "ls_r5_r7_0"},
719*f5c631daSSadaf Ebrahimi {{ls, r6, r0, 0}, true, ls, "ls r6 r0 0", "ls_r6_r0_0"},
720*f5c631daSSadaf Ebrahimi {{ls, r6, r1, 0}, true, ls, "ls r6 r1 0", "ls_r6_r1_0"},
721*f5c631daSSadaf Ebrahimi {{ls, r6, r2, 0}, true, ls, "ls r6 r2 0", "ls_r6_r2_0"},
722*f5c631daSSadaf Ebrahimi {{ls, r6, r3, 0}, true, ls, "ls r6 r3 0", "ls_r6_r3_0"},
723*f5c631daSSadaf Ebrahimi {{ls, r6, r4, 0}, true, ls, "ls r6 r4 0", "ls_r6_r4_0"},
724*f5c631daSSadaf Ebrahimi {{ls, r6, r5, 0}, true, ls, "ls r6 r5 0", "ls_r6_r5_0"},
725*f5c631daSSadaf Ebrahimi {{ls, r6, r6, 0}, true, ls, "ls r6 r6 0", "ls_r6_r6_0"},
726*f5c631daSSadaf Ebrahimi {{ls, r6, r7, 0}, true, ls, "ls r6 r7 0", "ls_r6_r7_0"},
727*f5c631daSSadaf Ebrahimi {{ls, r7, r0, 0}, true, ls, "ls r7 r0 0", "ls_r7_r0_0"},
728*f5c631daSSadaf Ebrahimi {{ls, r7, r1, 0}, true, ls, "ls r7 r1 0", "ls_r7_r1_0"},
729*f5c631daSSadaf Ebrahimi {{ls, r7, r2, 0}, true, ls, "ls r7 r2 0", "ls_r7_r2_0"},
730*f5c631daSSadaf Ebrahimi {{ls, r7, r3, 0}, true, ls, "ls r7 r3 0", "ls_r7_r3_0"},
731*f5c631daSSadaf Ebrahimi {{ls, r7, r4, 0}, true, ls, "ls r7 r4 0", "ls_r7_r4_0"},
732*f5c631daSSadaf Ebrahimi {{ls, r7, r5, 0}, true, ls, "ls r7 r5 0", "ls_r7_r5_0"},
733*f5c631daSSadaf Ebrahimi {{ls, r7, r6, 0}, true, ls, "ls r7 r6 0", "ls_r7_r6_0"},
734*f5c631daSSadaf Ebrahimi {{ls, r7, r7, 0}, true, ls, "ls r7 r7 0", "ls_r7_r7_0"},
735*f5c631daSSadaf Ebrahimi {{ge, r0, r0, 0}, true, ge, "ge r0 r0 0", "ge_r0_r0_0"},
736*f5c631daSSadaf Ebrahimi {{ge, r0, r1, 0}, true, ge, "ge r0 r1 0", "ge_r0_r1_0"},
737*f5c631daSSadaf Ebrahimi {{ge, r0, r2, 0}, true, ge, "ge r0 r2 0", "ge_r0_r2_0"},
738*f5c631daSSadaf Ebrahimi {{ge, r0, r3, 0}, true, ge, "ge r0 r3 0", "ge_r0_r3_0"},
739*f5c631daSSadaf Ebrahimi {{ge, r0, r4, 0}, true, ge, "ge r0 r4 0", "ge_r0_r4_0"},
740*f5c631daSSadaf Ebrahimi {{ge, r0, r5, 0}, true, ge, "ge r0 r5 0", "ge_r0_r5_0"},
741*f5c631daSSadaf Ebrahimi {{ge, r0, r6, 0}, true, ge, "ge r0 r6 0", "ge_r0_r6_0"},
742*f5c631daSSadaf Ebrahimi {{ge, r0, r7, 0}, true, ge, "ge r0 r7 0", "ge_r0_r7_0"},
743*f5c631daSSadaf Ebrahimi {{ge, r1, r0, 0}, true, ge, "ge r1 r0 0", "ge_r1_r0_0"},
744*f5c631daSSadaf Ebrahimi {{ge, r1, r1, 0}, true, ge, "ge r1 r1 0", "ge_r1_r1_0"},
745*f5c631daSSadaf Ebrahimi {{ge, r1, r2, 0}, true, ge, "ge r1 r2 0", "ge_r1_r2_0"},
746*f5c631daSSadaf Ebrahimi {{ge, r1, r3, 0}, true, ge, "ge r1 r3 0", "ge_r1_r3_0"},
747*f5c631daSSadaf Ebrahimi {{ge, r1, r4, 0}, true, ge, "ge r1 r4 0", "ge_r1_r4_0"},
748*f5c631daSSadaf Ebrahimi {{ge, r1, r5, 0}, true, ge, "ge r1 r5 0", "ge_r1_r5_0"},
749*f5c631daSSadaf Ebrahimi {{ge, r1, r6, 0}, true, ge, "ge r1 r6 0", "ge_r1_r6_0"},
750*f5c631daSSadaf Ebrahimi {{ge, r1, r7, 0}, true, ge, "ge r1 r7 0", "ge_r1_r7_0"},
751*f5c631daSSadaf Ebrahimi {{ge, r2, r0, 0}, true, ge, "ge r2 r0 0", "ge_r2_r0_0"},
752*f5c631daSSadaf Ebrahimi {{ge, r2, r1, 0}, true, ge, "ge r2 r1 0", "ge_r2_r1_0"},
753*f5c631daSSadaf Ebrahimi {{ge, r2, r2, 0}, true, ge, "ge r2 r2 0", "ge_r2_r2_0"},
754*f5c631daSSadaf Ebrahimi {{ge, r2, r3, 0}, true, ge, "ge r2 r3 0", "ge_r2_r3_0"},
755*f5c631daSSadaf Ebrahimi {{ge, r2, r4, 0}, true, ge, "ge r2 r4 0", "ge_r2_r4_0"},
756*f5c631daSSadaf Ebrahimi {{ge, r2, r5, 0}, true, ge, "ge r2 r5 0", "ge_r2_r5_0"},
757*f5c631daSSadaf Ebrahimi {{ge, r2, r6, 0}, true, ge, "ge r2 r6 0", "ge_r2_r6_0"},
758*f5c631daSSadaf Ebrahimi {{ge, r2, r7, 0}, true, ge, "ge r2 r7 0", "ge_r2_r7_0"},
759*f5c631daSSadaf Ebrahimi {{ge, r3, r0, 0}, true, ge, "ge r3 r0 0", "ge_r3_r0_0"},
760*f5c631daSSadaf Ebrahimi {{ge, r3, r1, 0}, true, ge, "ge r3 r1 0", "ge_r3_r1_0"},
761*f5c631daSSadaf Ebrahimi {{ge, r3, r2, 0}, true, ge, "ge r3 r2 0", "ge_r3_r2_0"},
762*f5c631daSSadaf Ebrahimi {{ge, r3, r3, 0}, true, ge, "ge r3 r3 0", "ge_r3_r3_0"},
763*f5c631daSSadaf Ebrahimi {{ge, r3, r4, 0}, true, ge, "ge r3 r4 0", "ge_r3_r4_0"},
764*f5c631daSSadaf Ebrahimi {{ge, r3, r5, 0}, true, ge, "ge r3 r5 0", "ge_r3_r5_0"},
765*f5c631daSSadaf Ebrahimi {{ge, r3, r6, 0}, true, ge, "ge r3 r6 0", "ge_r3_r6_0"},
766*f5c631daSSadaf Ebrahimi {{ge, r3, r7, 0}, true, ge, "ge r3 r7 0", "ge_r3_r7_0"},
767*f5c631daSSadaf Ebrahimi {{ge, r4, r0, 0}, true, ge, "ge r4 r0 0", "ge_r4_r0_0"},
768*f5c631daSSadaf Ebrahimi {{ge, r4, r1, 0}, true, ge, "ge r4 r1 0", "ge_r4_r1_0"},
769*f5c631daSSadaf Ebrahimi {{ge, r4, r2, 0}, true, ge, "ge r4 r2 0", "ge_r4_r2_0"},
770*f5c631daSSadaf Ebrahimi {{ge, r4, r3, 0}, true, ge, "ge r4 r3 0", "ge_r4_r3_0"},
771*f5c631daSSadaf Ebrahimi {{ge, r4, r4, 0}, true, ge, "ge r4 r4 0", "ge_r4_r4_0"},
772*f5c631daSSadaf Ebrahimi {{ge, r4, r5, 0}, true, ge, "ge r4 r5 0", "ge_r4_r5_0"},
773*f5c631daSSadaf Ebrahimi {{ge, r4, r6, 0}, true, ge, "ge r4 r6 0", "ge_r4_r6_0"},
774*f5c631daSSadaf Ebrahimi {{ge, r4, r7, 0}, true, ge, "ge r4 r7 0", "ge_r4_r7_0"},
775*f5c631daSSadaf Ebrahimi {{ge, r5, r0, 0}, true, ge, "ge r5 r0 0", "ge_r5_r0_0"},
776*f5c631daSSadaf Ebrahimi {{ge, r5, r1, 0}, true, ge, "ge r5 r1 0", "ge_r5_r1_0"},
777*f5c631daSSadaf Ebrahimi {{ge, r5, r2, 0}, true, ge, "ge r5 r2 0", "ge_r5_r2_0"},
778*f5c631daSSadaf Ebrahimi {{ge, r5, r3, 0}, true, ge, "ge r5 r3 0", "ge_r5_r3_0"},
779*f5c631daSSadaf Ebrahimi {{ge, r5, r4, 0}, true, ge, "ge r5 r4 0", "ge_r5_r4_0"},
780*f5c631daSSadaf Ebrahimi {{ge, r5, r5, 0}, true, ge, "ge r5 r5 0", "ge_r5_r5_0"},
781*f5c631daSSadaf Ebrahimi {{ge, r5, r6, 0}, true, ge, "ge r5 r6 0", "ge_r5_r6_0"},
782*f5c631daSSadaf Ebrahimi {{ge, r5, r7, 0}, true, ge, "ge r5 r7 0", "ge_r5_r7_0"},
783*f5c631daSSadaf Ebrahimi {{ge, r6, r0, 0}, true, ge, "ge r6 r0 0", "ge_r6_r0_0"},
784*f5c631daSSadaf Ebrahimi {{ge, r6, r1, 0}, true, ge, "ge r6 r1 0", "ge_r6_r1_0"},
785*f5c631daSSadaf Ebrahimi {{ge, r6, r2, 0}, true, ge, "ge r6 r2 0", "ge_r6_r2_0"},
786*f5c631daSSadaf Ebrahimi {{ge, r6, r3, 0}, true, ge, "ge r6 r3 0", "ge_r6_r3_0"},
787*f5c631daSSadaf Ebrahimi {{ge, r6, r4, 0}, true, ge, "ge r6 r4 0", "ge_r6_r4_0"},
788*f5c631daSSadaf Ebrahimi {{ge, r6, r5, 0}, true, ge, "ge r6 r5 0", "ge_r6_r5_0"},
789*f5c631daSSadaf Ebrahimi {{ge, r6, r6, 0}, true, ge, "ge r6 r6 0", "ge_r6_r6_0"},
790*f5c631daSSadaf Ebrahimi {{ge, r6, r7, 0}, true, ge, "ge r6 r7 0", "ge_r6_r7_0"},
791*f5c631daSSadaf Ebrahimi {{ge, r7, r0, 0}, true, ge, "ge r7 r0 0", "ge_r7_r0_0"},
792*f5c631daSSadaf Ebrahimi {{ge, r7, r1, 0}, true, ge, "ge r7 r1 0", "ge_r7_r1_0"},
793*f5c631daSSadaf Ebrahimi {{ge, r7, r2, 0}, true, ge, "ge r7 r2 0", "ge_r7_r2_0"},
794*f5c631daSSadaf Ebrahimi {{ge, r7, r3, 0}, true, ge, "ge r7 r3 0", "ge_r7_r3_0"},
795*f5c631daSSadaf Ebrahimi {{ge, r7, r4, 0}, true, ge, "ge r7 r4 0", "ge_r7_r4_0"},
796*f5c631daSSadaf Ebrahimi {{ge, r7, r5, 0}, true, ge, "ge r7 r5 0", "ge_r7_r5_0"},
797*f5c631daSSadaf Ebrahimi {{ge, r7, r6, 0}, true, ge, "ge r7 r6 0", "ge_r7_r6_0"},
798*f5c631daSSadaf Ebrahimi {{ge, r7, r7, 0}, true, ge, "ge r7 r7 0", "ge_r7_r7_0"},
799*f5c631daSSadaf Ebrahimi {{lt, r0, r0, 0}, true, lt, "lt r0 r0 0", "lt_r0_r0_0"},
800*f5c631daSSadaf Ebrahimi {{lt, r0, r1, 0}, true, lt, "lt r0 r1 0", "lt_r0_r1_0"},
801*f5c631daSSadaf Ebrahimi {{lt, r0, r2, 0}, true, lt, "lt r0 r2 0", "lt_r0_r2_0"},
802*f5c631daSSadaf Ebrahimi {{lt, r0, r3, 0}, true, lt, "lt r0 r3 0", "lt_r0_r3_0"},
803*f5c631daSSadaf Ebrahimi {{lt, r0, r4, 0}, true, lt, "lt r0 r4 0", "lt_r0_r4_0"},
804*f5c631daSSadaf Ebrahimi {{lt, r0, r5, 0}, true, lt, "lt r0 r5 0", "lt_r0_r5_0"},
805*f5c631daSSadaf Ebrahimi {{lt, r0, r6, 0}, true, lt, "lt r0 r6 0", "lt_r0_r6_0"},
806*f5c631daSSadaf Ebrahimi {{lt, r0, r7, 0}, true, lt, "lt r0 r7 0", "lt_r0_r7_0"},
807*f5c631daSSadaf Ebrahimi {{lt, r1, r0, 0}, true, lt, "lt r1 r0 0", "lt_r1_r0_0"},
808*f5c631daSSadaf Ebrahimi {{lt, r1, r1, 0}, true, lt, "lt r1 r1 0", "lt_r1_r1_0"},
809*f5c631daSSadaf Ebrahimi {{lt, r1, r2, 0}, true, lt, "lt r1 r2 0", "lt_r1_r2_0"},
810*f5c631daSSadaf Ebrahimi {{lt, r1, r3, 0}, true, lt, "lt r1 r3 0", "lt_r1_r3_0"},
811*f5c631daSSadaf Ebrahimi {{lt, r1, r4, 0}, true, lt, "lt r1 r4 0", "lt_r1_r4_0"},
812*f5c631daSSadaf Ebrahimi {{lt, r1, r5, 0}, true, lt, "lt r1 r5 0", "lt_r1_r5_0"},
813*f5c631daSSadaf Ebrahimi {{lt, r1, r6, 0}, true, lt, "lt r1 r6 0", "lt_r1_r6_0"},
814*f5c631daSSadaf Ebrahimi {{lt, r1, r7, 0}, true, lt, "lt r1 r7 0", "lt_r1_r7_0"},
815*f5c631daSSadaf Ebrahimi {{lt, r2, r0, 0}, true, lt, "lt r2 r0 0", "lt_r2_r0_0"},
816*f5c631daSSadaf Ebrahimi {{lt, r2, r1, 0}, true, lt, "lt r2 r1 0", "lt_r2_r1_0"},
817*f5c631daSSadaf Ebrahimi {{lt, r2, r2, 0}, true, lt, "lt r2 r2 0", "lt_r2_r2_0"},
818*f5c631daSSadaf Ebrahimi {{lt, r2, r3, 0}, true, lt, "lt r2 r3 0", "lt_r2_r3_0"},
819*f5c631daSSadaf Ebrahimi {{lt, r2, r4, 0}, true, lt, "lt r2 r4 0", "lt_r2_r4_0"},
820*f5c631daSSadaf Ebrahimi {{lt, r2, r5, 0}, true, lt, "lt r2 r5 0", "lt_r2_r5_0"},
821*f5c631daSSadaf Ebrahimi {{lt, r2, r6, 0}, true, lt, "lt r2 r6 0", "lt_r2_r6_0"},
822*f5c631daSSadaf Ebrahimi {{lt, r2, r7, 0}, true, lt, "lt r2 r7 0", "lt_r2_r7_0"},
823*f5c631daSSadaf Ebrahimi {{lt, r3, r0, 0}, true, lt, "lt r3 r0 0", "lt_r3_r0_0"},
824*f5c631daSSadaf Ebrahimi {{lt, r3, r1, 0}, true, lt, "lt r3 r1 0", "lt_r3_r1_0"},
825*f5c631daSSadaf Ebrahimi {{lt, r3, r2, 0}, true, lt, "lt r3 r2 0", "lt_r3_r2_0"},
826*f5c631daSSadaf Ebrahimi {{lt, r3, r3, 0}, true, lt, "lt r3 r3 0", "lt_r3_r3_0"},
827*f5c631daSSadaf Ebrahimi {{lt, r3, r4, 0}, true, lt, "lt r3 r4 0", "lt_r3_r4_0"},
828*f5c631daSSadaf Ebrahimi {{lt, r3, r5, 0}, true, lt, "lt r3 r5 0", "lt_r3_r5_0"},
829*f5c631daSSadaf Ebrahimi {{lt, r3, r6, 0}, true, lt, "lt r3 r6 0", "lt_r3_r6_0"},
830*f5c631daSSadaf Ebrahimi {{lt, r3, r7, 0}, true, lt, "lt r3 r7 0", "lt_r3_r7_0"},
831*f5c631daSSadaf Ebrahimi {{lt, r4, r0, 0}, true, lt, "lt r4 r0 0", "lt_r4_r0_0"},
832*f5c631daSSadaf Ebrahimi {{lt, r4, r1, 0}, true, lt, "lt r4 r1 0", "lt_r4_r1_0"},
833*f5c631daSSadaf Ebrahimi {{lt, r4, r2, 0}, true, lt, "lt r4 r2 0", "lt_r4_r2_0"},
834*f5c631daSSadaf Ebrahimi {{lt, r4, r3, 0}, true, lt, "lt r4 r3 0", "lt_r4_r3_0"},
835*f5c631daSSadaf Ebrahimi {{lt, r4, r4, 0}, true, lt, "lt r4 r4 0", "lt_r4_r4_0"},
836*f5c631daSSadaf Ebrahimi {{lt, r4, r5, 0}, true, lt, "lt r4 r5 0", "lt_r4_r5_0"},
837*f5c631daSSadaf Ebrahimi {{lt, r4, r6, 0}, true, lt, "lt r4 r6 0", "lt_r4_r6_0"},
838*f5c631daSSadaf Ebrahimi {{lt, r4, r7, 0}, true, lt, "lt r4 r7 0", "lt_r4_r7_0"},
839*f5c631daSSadaf Ebrahimi {{lt, r5, r0, 0}, true, lt, "lt r5 r0 0", "lt_r5_r0_0"},
840*f5c631daSSadaf Ebrahimi {{lt, r5, r1, 0}, true, lt, "lt r5 r1 0", "lt_r5_r1_0"},
841*f5c631daSSadaf Ebrahimi {{lt, r5, r2, 0}, true, lt, "lt r5 r2 0", "lt_r5_r2_0"},
842*f5c631daSSadaf Ebrahimi {{lt, r5, r3, 0}, true, lt, "lt r5 r3 0", "lt_r5_r3_0"},
843*f5c631daSSadaf Ebrahimi {{lt, r5, r4, 0}, true, lt, "lt r5 r4 0", "lt_r5_r4_0"},
844*f5c631daSSadaf Ebrahimi {{lt, r5, r5, 0}, true, lt, "lt r5 r5 0", "lt_r5_r5_0"},
845*f5c631daSSadaf Ebrahimi {{lt, r5, r6, 0}, true, lt, "lt r5 r6 0", "lt_r5_r6_0"},
846*f5c631daSSadaf Ebrahimi {{lt, r5, r7, 0}, true, lt, "lt r5 r7 0", "lt_r5_r7_0"},
847*f5c631daSSadaf Ebrahimi {{lt, r6, r0, 0}, true, lt, "lt r6 r0 0", "lt_r6_r0_0"},
848*f5c631daSSadaf Ebrahimi {{lt, r6, r1, 0}, true, lt, "lt r6 r1 0", "lt_r6_r1_0"},
849*f5c631daSSadaf Ebrahimi {{lt, r6, r2, 0}, true, lt, "lt r6 r2 0", "lt_r6_r2_0"},
850*f5c631daSSadaf Ebrahimi {{lt, r6, r3, 0}, true, lt, "lt r6 r3 0", "lt_r6_r3_0"},
851*f5c631daSSadaf Ebrahimi {{lt, r6, r4, 0}, true, lt, "lt r6 r4 0", "lt_r6_r4_0"},
852*f5c631daSSadaf Ebrahimi {{lt, r6, r5, 0}, true, lt, "lt r6 r5 0", "lt_r6_r5_0"},
853*f5c631daSSadaf Ebrahimi {{lt, r6, r6, 0}, true, lt, "lt r6 r6 0", "lt_r6_r6_0"},
854*f5c631daSSadaf Ebrahimi {{lt, r6, r7, 0}, true, lt, "lt r6 r7 0", "lt_r6_r7_0"},
855*f5c631daSSadaf Ebrahimi {{lt, r7, r0, 0}, true, lt, "lt r7 r0 0", "lt_r7_r0_0"},
856*f5c631daSSadaf Ebrahimi {{lt, r7, r1, 0}, true, lt, "lt r7 r1 0", "lt_r7_r1_0"},
857*f5c631daSSadaf Ebrahimi {{lt, r7, r2, 0}, true, lt, "lt r7 r2 0", "lt_r7_r2_0"},
858*f5c631daSSadaf Ebrahimi {{lt, r7, r3, 0}, true, lt, "lt r7 r3 0", "lt_r7_r3_0"},
859*f5c631daSSadaf Ebrahimi {{lt, r7, r4, 0}, true, lt, "lt r7 r4 0", "lt_r7_r4_0"},
860*f5c631daSSadaf Ebrahimi {{lt, r7, r5, 0}, true, lt, "lt r7 r5 0", "lt_r7_r5_0"},
861*f5c631daSSadaf Ebrahimi {{lt, r7, r6, 0}, true, lt, "lt r7 r6 0", "lt_r7_r6_0"},
862*f5c631daSSadaf Ebrahimi {{lt, r7, r7, 0}, true, lt, "lt r7 r7 0", "lt_r7_r7_0"},
863*f5c631daSSadaf Ebrahimi {{gt, r0, r0, 0}, true, gt, "gt r0 r0 0", "gt_r0_r0_0"},
864*f5c631daSSadaf Ebrahimi {{gt, r0, r1, 0}, true, gt, "gt r0 r1 0", "gt_r0_r1_0"},
865*f5c631daSSadaf Ebrahimi {{gt, r0, r2, 0}, true, gt, "gt r0 r2 0", "gt_r0_r2_0"},
866*f5c631daSSadaf Ebrahimi {{gt, r0, r3, 0}, true, gt, "gt r0 r3 0", "gt_r0_r3_0"},
867*f5c631daSSadaf Ebrahimi {{gt, r0, r4, 0}, true, gt, "gt r0 r4 0", "gt_r0_r4_0"},
868*f5c631daSSadaf Ebrahimi {{gt, r0, r5, 0}, true, gt, "gt r0 r5 0", "gt_r0_r5_0"},
869*f5c631daSSadaf Ebrahimi {{gt, r0, r6, 0}, true, gt, "gt r0 r6 0", "gt_r0_r6_0"},
870*f5c631daSSadaf Ebrahimi {{gt, r0, r7, 0}, true, gt, "gt r0 r7 0", "gt_r0_r7_0"},
871*f5c631daSSadaf Ebrahimi {{gt, r1, r0, 0}, true, gt, "gt r1 r0 0", "gt_r1_r0_0"},
872*f5c631daSSadaf Ebrahimi {{gt, r1, r1, 0}, true, gt, "gt r1 r1 0", "gt_r1_r1_0"},
873*f5c631daSSadaf Ebrahimi {{gt, r1, r2, 0}, true, gt, "gt r1 r2 0", "gt_r1_r2_0"},
874*f5c631daSSadaf Ebrahimi {{gt, r1, r3, 0}, true, gt, "gt r1 r3 0", "gt_r1_r3_0"},
875*f5c631daSSadaf Ebrahimi {{gt, r1, r4, 0}, true, gt, "gt r1 r4 0", "gt_r1_r4_0"},
876*f5c631daSSadaf Ebrahimi {{gt, r1, r5, 0}, true, gt, "gt r1 r5 0", "gt_r1_r5_0"},
877*f5c631daSSadaf Ebrahimi {{gt, r1, r6, 0}, true, gt, "gt r1 r6 0", "gt_r1_r6_0"},
878*f5c631daSSadaf Ebrahimi {{gt, r1, r7, 0}, true, gt, "gt r1 r7 0", "gt_r1_r7_0"},
879*f5c631daSSadaf Ebrahimi {{gt, r2, r0, 0}, true, gt, "gt r2 r0 0", "gt_r2_r0_0"},
880*f5c631daSSadaf Ebrahimi {{gt, r2, r1, 0}, true, gt, "gt r2 r1 0", "gt_r2_r1_0"},
881*f5c631daSSadaf Ebrahimi {{gt, r2, r2, 0}, true, gt, "gt r2 r2 0", "gt_r2_r2_0"},
882*f5c631daSSadaf Ebrahimi {{gt, r2, r3, 0}, true, gt, "gt r2 r3 0", "gt_r2_r3_0"},
883*f5c631daSSadaf Ebrahimi {{gt, r2, r4, 0}, true, gt, "gt r2 r4 0", "gt_r2_r4_0"},
884*f5c631daSSadaf Ebrahimi {{gt, r2, r5, 0}, true, gt, "gt r2 r5 0", "gt_r2_r5_0"},
885*f5c631daSSadaf Ebrahimi {{gt, r2, r6, 0}, true, gt, "gt r2 r6 0", "gt_r2_r6_0"},
886*f5c631daSSadaf Ebrahimi {{gt, r2, r7, 0}, true, gt, "gt r2 r7 0", "gt_r2_r7_0"},
887*f5c631daSSadaf Ebrahimi {{gt, r3, r0, 0}, true, gt, "gt r3 r0 0", "gt_r3_r0_0"},
888*f5c631daSSadaf Ebrahimi {{gt, r3, r1, 0}, true, gt, "gt r3 r1 0", "gt_r3_r1_0"},
889*f5c631daSSadaf Ebrahimi {{gt, r3, r2, 0}, true, gt, "gt r3 r2 0", "gt_r3_r2_0"},
890*f5c631daSSadaf Ebrahimi {{gt, r3, r3, 0}, true, gt, "gt r3 r3 0", "gt_r3_r3_0"},
891*f5c631daSSadaf Ebrahimi {{gt, r3, r4, 0}, true, gt, "gt r3 r4 0", "gt_r3_r4_0"},
892*f5c631daSSadaf Ebrahimi {{gt, r3, r5, 0}, true, gt, "gt r3 r5 0", "gt_r3_r5_0"},
893*f5c631daSSadaf Ebrahimi {{gt, r3, r6, 0}, true, gt, "gt r3 r6 0", "gt_r3_r6_0"},
894*f5c631daSSadaf Ebrahimi {{gt, r3, r7, 0}, true, gt, "gt r3 r7 0", "gt_r3_r7_0"},
895*f5c631daSSadaf Ebrahimi {{gt, r4, r0, 0}, true, gt, "gt r4 r0 0", "gt_r4_r0_0"},
896*f5c631daSSadaf Ebrahimi {{gt, r4, r1, 0}, true, gt, "gt r4 r1 0", "gt_r4_r1_0"},
897*f5c631daSSadaf Ebrahimi {{gt, r4, r2, 0}, true, gt, "gt r4 r2 0", "gt_r4_r2_0"},
898*f5c631daSSadaf Ebrahimi {{gt, r4, r3, 0}, true, gt, "gt r4 r3 0", "gt_r4_r3_0"},
899*f5c631daSSadaf Ebrahimi {{gt, r4, r4, 0}, true, gt, "gt r4 r4 0", "gt_r4_r4_0"},
900*f5c631daSSadaf Ebrahimi {{gt, r4, r5, 0}, true, gt, "gt r4 r5 0", "gt_r4_r5_0"},
901*f5c631daSSadaf Ebrahimi {{gt, r4, r6, 0}, true, gt, "gt r4 r6 0", "gt_r4_r6_0"},
902*f5c631daSSadaf Ebrahimi {{gt, r4, r7, 0}, true, gt, "gt r4 r7 0", "gt_r4_r7_0"},
903*f5c631daSSadaf Ebrahimi {{gt, r5, r0, 0}, true, gt, "gt r5 r0 0", "gt_r5_r0_0"},
904*f5c631daSSadaf Ebrahimi {{gt, r5, r1, 0}, true, gt, "gt r5 r1 0", "gt_r5_r1_0"},
905*f5c631daSSadaf Ebrahimi {{gt, r5, r2, 0}, true, gt, "gt r5 r2 0", "gt_r5_r2_0"},
906*f5c631daSSadaf Ebrahimi {{gt, r5, r3, 0}, true, gt, "gt r5 r3 0", "gt_r5_r3_0"},
907*f5c631daSSadaf Ebrahimi {{gt, r5, r4, 0}, true, gt, "gt r5 r4 0", "gt_r5_r4_0"},
908*f5c631daSSadaf Ebrahimi {{gt, r5, r5, 0}, true, gt, "gt r5 r5 0", "gt_r5_r5_0"},
909*f5c631daSSadaf Ebrahimi {{gt, r5, r6, 0}, true, gt, "gt r5 r6 0", "gt_r5_r6_0"},
910*f5c631daSSadaf Ebrahimi {{gt, r5, r7, 0}, true, gt, "gt r5 r7 0", "gt_r5_r7_0"},
911*f5c631daSSadaf Ebrahimi {{gt, r6, r0, 0}, true, gt, "gt r6 r0 0", "gt_r6_r0_0"},
912*f5c631daSSadaf Ebrahimi {{gt, r6, r1, 0}, true, gt, "gt r6 r1 0", "gt_r6_r1_0"},
913*f5c631daSSadaf Ebrahimi {{gt, r6, r2, 0}, true, gt, "gt r6 r2 0", "gt_r6_r2_0"},
914*f5c631daSSadaf Ebrahimi {{gt, r6, r3, 0}, true, gt, "gt r6 r3 0", "gt_r6_r3_0"},
915*f5c631daSSadaf Ebrahimi {{gt, r6, r4, 0}, true, gt, "gt r6 r4 0", "gt_r6_r4_0"},
916*f5c631daSSadaf Ebrahimi {{gt, r6, r5, 0}, true, gt, "gt r6 r5 0", "gt_r6_r5_0"},
917*f5c631daSSadaf Ebrahimi {{gt, r6, r6, 0}, true, gt, "gt r6 r6 0", "gt_r6_r6_0"},
918*f5c631daSSadaf Ebrahimi {{gt, r6, r7, 0}, true, gt, "gt r6 r7 0", "gt_r6_r7_0"},
919*f5c631daSSadaf Ebrahimi {{gt, r7, r0, 0}, true, gt, "gt r7 r0 0", "gt_r7_r0_0"},
920*f5c631daSSadaf Ebrahimi {{gt, r7, r1, 0}, true, gt, "gt r7 r1 0", "gt_r7_r1_0"},
921*f5c631daSSadaf Ebrahimi {{gt, r7, r2, 0}, true, gt, "gt r7 r2 0", "gt_r7_r2_0"},
922*f5c631daSSadaf Ebrahimi {{gt, r7, r3, 0}, true, gt, "gt r7 r3 0", "gt_r7_r3_0"},
923*f5c631daSSadaf Ebrahimi {{gt, r7, r4, 0}, true, gt, "gt r7 r4 0", "gt_r7_r4_0"},
924*f5c631daSSadaf Ebrahimi {{gt, r7, r5, 0}, true, gt, "gt r7 r5 0", "gt_r7_r5_0"},
925*f5c631daSSadaf Ebrahimi {{gt, r7, r6, 0}, true, gt, "gt r7 r6 0", "gt_r7_r6_0"},
926*f5c631daSSadaf Ebrahimi {{gt, r7, r7, 0}, true, gt, "gt r7 r7 0", "gt_r7_r7_0"},
927*f5c631daSSadaf Ebrahimi {{le, r0, r0, 0}, true, le, "le r0 r0 0", "le_r0_r0_0"},
928*f5c631daSSadaf Ebrahimi {{le, r0, r1, 0}, true, le, "le r0 r1 0", "le_r0_r1_0"},
929*f5c631daSSadaf Ebrahimi {{le, r0, r2, 0}, true, le, "le r0 r2 0", "le_r0_r2_0"},
930*f5c631daSSadaf Ebrahimi {{le, r0, r3, 0}, true, le, "le r0 r3 0", "le_r0_r3_0"},
931*f5c631daSSadaf Ebrahimi {{le, r0, r4, 0}, true, le, "le r0 r4 0", "le_r0_r4_0"},
932*f5c631daSSadaf Ebrahimi {{le, r0, r5, 0}, true, le, "le r0 r5 0", "le_r0_r5_0"},
933*f5c631daSSadaf Ebrahimi {{le, r0, r6, 0}, true, le, "le r0 r6 0", "le_r0_r6_0"},
934*f5c631daSSadaf Ebrahimi {{le, r0, r7, 0}, true, le, "le r0 r7 0", "le_r0_r7_0"},
935*f5c631daSSadaf Ebrahimi {{le, r1, r0, 0}, true, le, "le r1 r0 0", "le_r1_r0_0"},
936*f5c631daSSadaf Ebrahimi {{le, r1, r1, 0}, true, le, "le r1 r1 0", "le_r1_r1_0"},
937*f5c631daSSadaf Ebrahimi {{le, r1, r2, 0}, true, le, "le r1 r2 0", "le_r1_r2_0"},
938*f5c631daSSadaf Ebrahimi {{le, r1, r3, 0}, true, le, "le r1 r3 0", "le_r1_r3_0"},
939*f5c631daSSadaf Ebrahimi {{le, r1, r4, 0}, true, le, "le r1 r4 0", "le_r1_r4_0"},
940*f5c631daSSadaf Ebrahimi {{le, r1, r5, 0}, true, le, "le r1 r5 0", "le_r1_r5_0"},
941*f5c631daSSadaf Ebrahimi {{le, r1, r6, 0}, true, le, "le r1 r6 0", "le_r1_r6_0"},
942*f5c631daSSadaf Ebrahimi {{le, r1, r7, 0}, true, le, "le r1 r7 0", "le_r1_r7_0"},
943*f5c631daSSadaf Ebrahimi {{le, r2, r0, 0}, true, le, "le r2 r0 0", "le_r2_r0_0"},
944*f5c631daSSadaf Ebrahimi {{le, r2, r1, 0}, true, le, "le r2 r1 0", "le_r2_r1_0"},
945*f5c631daSSadaf Ebrahimi {{le, r2, r2, 0}, true, le, "le r2 r2 0", "le_r2_r2_0"},
946*f5c631daSSadaf Ebrahimi {{le, r2, r3, 0}, true, le, "le r2 r3 0", "le_r2_r3_0"},
947*f5c631daSSadaf Ebrahimi {{le, r2, r4, 0}, true, le, "le r2 r4 0", "le_r2_r4_0"},
948*f5c631daSSadaf Ebrahimi {{le, r2, r5, 0}, true, le, "le r2 r5 0", "le_r2_r5_0"},
949*f5c631daSSadaf Ebrahimi {{le, r2, r6, 0}, true, le, "le r2 r6 0", "le_r2_r6_0"},
950*f5c631daSSadaf Ebrahimi {{le, r2, r7, 0}, true, le, "le r2 r7 0", "le_r2_r7_0"},
951*f5c631daSSadaf Ebrahimi {{le, r3, r0, 0}, true, le, "le r3 r0 0", "le_r3_r0_0"},
952*f5c631daSSadaf Ebrahimi {{le, r3, r1, 0}, true, le, "le r3 r1 0", "le_r3_r1_0"},
953*f5c631daSSadaf Ebrahimi {{le, r3, r2, 0}, true, le, "le r3 r2 0", "le_r3_r2_0"},
954*f5c631daSSadaf Ebrahimi {{le, r3, r3, 0}, true, le, "le r3 r3 0", "le_r3_r3_0"},
955*f5c631daSSadaf Ebrahimi {{le, r3, r4, 0}, true, le, "le r3 r4 0", "le_r3_r4_0"},
956*f5c631daSSadaf Ebrahimi {{le, r3, r5, 0}, true, le, "le r3 r5 0", "le_r3_r5_0"},
957*f5c631daSSadaf Ebrahimi {{le, r3, r6, 0}, true, le, "le r3 r6 0", "le_r3_r6_0"},
958*f5c631daSSadaf Ebrahimi {{le, r3, r7, 0}, true, le, "le r3 r7 0", "le_r3_r7_0"},
959*f5c631daSSadaf Ebrahimi {{le, r4, r0, 0}, true, le, "le r4 r0 0", "le_r4_r0_0"},
960*f5c631daSSadaf Ebrahimi {{le, r4, r1, 0}, true, le, "le r4 r1 0", "le_r4_r1_0"},
961*f5c631daSSadaf Ebrahimi {{le, r4, r2, 0}, true, le, "le r4 r2 0", "le_r4_r2_0"},
962*f5c631daSSadaf Ebrahimi {{le, r4, r3, 0}, true, le, "le r4 r3 0", "le_r4_r3_0"},
963*f5c631daSSadaf Ebrahimi {{le, r4, r4, 0}, true, le, "le r4 r4 0", "le_r4_r4_0"},
964*f5c631daSSadaf Ebrahimi {{le, r4, r5, 0}, true, le, "le r4 r5 0", "le_r4_r5_0"},
965*f5c631daSSadaf Ebrahimi {{le, r4, r6, 0}, true, le, "le r4 r6 0", "le_r4_r6_0"},
966*f5c631daSSadaf Ebrahimi {{le, r4, r7, 0}, true, le, "le r4 r7 0", "le_r4_r7_0"},
967*f5c631daSSadaf Ebrahimi {{le, r5, r0, 0}, true, le, "le r5 r0 0", "le_r5_r0_0"},
968*f5c631daSSadaf Ebrahimi {{le, r5, r1, 0}, true, le, "le r5 r1 0", "le_r5_r1_0"},
969*f5c631daSSadaf Ebrahimi {{le, r5, r2, 0}, true, le, "le r5 r2 0", "le_r5_r2_0"},
970*f5c631daSSadaf Ebrahimi {{le, r5, r3, 0}, true, le, "le r5 r3 0", "le_r5_r3_0"},
971*f5c631daSSadaf Ebrahimi {{le, r5, r4, 0}, true, le, "le r5 r4 0", "le_r5_r4_0"},
972*f5c631daSSadaf Ebrahimi {{le, r5, r5, 0}, true, le, "le r5 r5 0", "le_r5_r5_0"},
973*f5c631daSSadaf Ebrahimi {{le, r5, r6, 0}, true, le, "le r5 r6 0", "le_r5_r6_0"},
974*f5c631daSSadaf Ebrahimi {{le, r5, r7, 0}, true, le, "le r5 r7 0", "le_r5_r7_0"},
975*f5c631daSSadaf Ebrahimi {{le, r6, r0, 0}, true, le, "le r6 r0 0", "le_r6_r0_0"},
976*f5c631daSSadaf Ebrahimi {{le, r6, r1, 0}, true, le, "le r6 r1 0", "le_r6_r1_0"},
977*f5c631daSSadaf Ebrahimi {{le, r6, r2, 0}, true, le, "le r6 r2 0", "le_r6_r2_0"},
978*f5c631daSSadaf Ebrahimi {{le, r6, r3, 0}, true, le, "le r6 r3 0", "le_r6_r3_0"},
979*f5c631daSSadaf Ebrahimi {{le, r6, r4, 0}, true, le, "le r6 r4 0", "le_r6_r4_0"},
980*f5c631daSSadaf Ebrahimi {{le, r6, r5, 0}, true, le, "le r6 r5 0", "le_r6_r5_0"},
981*f5c631daSSadaf Ebrahimi {{le, r6, r6, 0}, true, le, "le r6 r6 0", "le_r6_r6_0"},
982*f5c631daSSadaf Ebrahimi {{le, r6, r7, 0}, true, le, "le r6 r7 0", "le_r6_r7_0"},
983*f5c631daSSadaf Ebrahimi {{le, r7, r0, 0}, true, le, "le r7 r0 0", "le_r7_r0_0"},
984*f5c631daSSadaf Ebrahimi {{le, r7, r1, 0}, true, le, "le r7 r1 0", "le_r7_r1_0"},
985*f5c631daSSadaf Ebrahimi {{le, r7, r2, 0}, true, le, "le r7 r2 0", "le_r7_r2_0"},
986*f5c631daSSadaf Ebrahimi {{le, r7, r3, 0}, true, le, "le r7 r3 0", "le_r7_r3_0"},
987*f5c631daSSadaf Ebrahimi {{le, r7, r4, 0}, true, le, "le r7 r4 0", "le_r7_r4_0"},
988*f5c631daSSadaf Ebrahimi {{le, r7, r5, 0}, true, le, "le r7 r5 0", "le_r7_r5_0"},
989*f5c631daSSadaf Ebrahimi {{le, r7, r6, 0}, true, le, "le r7 r6 0", "le_r7_r6_0"},
990*f5c631daSSadaf Ebrahimi {{le, r7, r7, 0}, true, le, "le r7 r7 0", "le_r7_r7_0"}};
991*f5c631daSSadaf Ebrahimi
992*f5c631daSSadaf Ebrahimi // These headers each contain an array of `TestResult` with the reference output
993*f5c631daSSadaf Ebrahimi // values. The reference arrays are names `kReference{mnemonic}`.
994*f5c631daSSadaf Ebrahimi #include "aarch32/traces/assembler-cond-rdlow-rnlow-operand-immediate-zero-in-it-block-rsb-t32.h"
995*f5c631daSSadaf Ebrahimi
996*f5c631daSSadaf Ebrahimi
997*f5c631daSSadaf Ebrahimi // The maximum number of errors to report in detail for each test.
998*f5c631daSSadaf Ebrahimi const unsigned kErrorReportLimit = 8;
999*f5c631daSSadaf Ebrahimi
1000*f5c631daSSadaf Ebrahimi typedef void (MacroAssembler::*Fn)(Condition cond,
1001*f5c631daSSadaf Ebrahimi Register rd,
1002*f5c631daSSadaf Ebrahimi Register rn,
1003*f5c631daSSadaf Ebrahimi const Operand& op);
1004*f5c631daSSadaf Ebrahimi
TestHelper(Fn instruction,const char * mnemonic,const TestResult reference[])1005*f5c631daSSadaf Ebrahimi void TestHelper(Fn instruction,
1006*f5c631daSSadaf Ebrahimi const char* mnemonic,
1007*f5c631daSSadaf Ebrahimi const TestResult reference[]) {
1008*f5c631daSSadaf Ebrahimi unsigned total_error_count = 0;
1009*f5c631daSSadaf Ebrahimi MacroAssembler masm(BUF_SIZE);
1010*f5c631daSSadaf Ebrahimi
1011*f5c631daSSadaf Ebrahimi masm.UseT32();
1012*f5c631daSSadaf Ebrahimi
1013*f5c631daSSadaf Ebrahimi for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
1014*f5c631daSSadaf Ebrahimi // Values to pass to the macro-assembler.
1015*f5c631daSSadaf Ebrahimi Condition cond = kTests[i].operands.cond;
1016*f5c631daSSadaf Ebrahimi Register rd = kTests[i].operands.rd;
1017*f5c631daSSadaf Ebrahimi Register rn = kTests[i].operands.rn;
1018*f5c631daSSadaf Ebrahimi int32_t immediate = kTests[i].operands.immediate;
1019*f5c631daSSadaf Ebrahimi Operand op(immediate);
1020*f5c631daSSadaf Ebrahimi
1021*f5c631daSSadaf Ebrahimi int32_t start = masm.GetCursorOffset();
1022*f5c631daSSadaf Ebrahimi {
1023*f5c631daSSadaf Ebrahimi // We never generate more that 4 bytes, as IT instructions are only
1024*f5c631daSSadaf Ebrahimi // allowed for narrow encodings.
1025*f5c631daSSadaf Ebrahimi ExactAssemblyScope scope(&masm, 4, ExactAssemblyScope::kMaximumSize);
1026*f5c631daSSadaf Ebrahimi if (kTests[i].in_it_block) {
1027*f5c631daSSadaf Ebrahimi masm.it(kTests[i].it_condition);
1028*f5c631daSSadaf Ebrahimi }
1029*f5c631daSSadaf Ebrahimi (masm.*instruction)(cond, rd, rn, op);
1030*f5c631daSSadaf Ebrahimi }
1031*f5c631daSSadaf Ebrahimi int32_t end = masm.GetCursorOffset();
1032*f5c631daSSadaf Ebrahimi
1033*f5c631daSSadaf Ebrahimi const byte* result_ptr =
1034*f5c631daSSadaf Ebrahimi masm.GetBuffer()->GetOffsetAddress<const byte*>(start);
1035*f5c631daSSadaf Ebrahimi VIXL_ASSERT(start < end);
1036*f5c631daSSadaf Ebrahimi uint32_t result_size = end - start;
1037*f5c631daSSadaf Ebrahimi
1038*f5c631daSSadaf Ebrahimi if (Test::generate_test_trace()) {
1039*f5c631daSSadaf Ebrahimi // Print the result bytes.
1040*f5c631daSSadaf Ebrahimi printf("const byte kInstruction_%s_%s[] = {\n",
1041*f5c631daSSadaf Ebrahimi mnemonic,
1042*f5c631daSSadaf Ebrahimi kTests[i].identifier);
1043*f5c631daSSadaf Ebrahimi for (uint32_t j = 0; j < result_size; j++) {
1044*f5c631daSSadaf Ebrahimi if (j == 0) {
1045*f5c631daSSadaf Ebrahimi printf(" 0x%02" PRIx8, result_ptr[j]);
1046*f5c631daSSadaf Ebrahimi } else {
1047*f5c631daSSadaf Ebrahimi printf(", 0x%02" PRIx8, result_ptr[j]);
1048*f5c631daSSadaf Ebrahimi }
1049*f5c631daSSadaf Ebrahimi }
1050*f5c631daSSadaf Ebrahimi // This comment is meant to be used by external tools to validate
1051*f5c631daSSadaf Ebrahimi // the encoding. We can parse the comment to figure out what
1052*f5c631daSSadaf Ebrahimi // instruction this corresponds to.
1053*f5c631daSSadaf Ebrahimi if (kTests[i].in_it_block) {
1054*f5c631daSSadaf Ebrahimi printf(" // It %s; %s %s\n};\n",
1055*f5c631daSSadaf Ebrahimi kTests[i].it_condition.GetName(),
1056*f5c631daSSadaf Ebrahimi mnemonic,
1057*f5c631daSSadaf Ebrahimi kTests[i].operands_description);
1058*f5c631daSSadaf Ebrahimi } else {
1059*f5c631daSSadaf Ebrahimi printf(" // %s %s\n};\n", mnemonic, kTests[i].operands_description);
1060*f5c631daSSadaf Ebrahimi }
1061*f5c631daSSadaf Ebrahimi } else {
1062*f5c631daSSadaf Ebrahimi // Check we've emitted the exact same encoding as present in the
1063*f5c631daSSadaf Ebrahimi // trace file. Only print up to `kErrorReportLimit` errors.
1064*f5c631daSSadaf Ebrahimi if (((result_size != reference[i].size) ||
1065*f5c631daSSadaf Ebrahimi (memcmp(result_ptr, reference[i].encoding, reference[i].size) !=
1066*f5c631daSSadaf Ebrahimi 0)) &&
1067*f5c631daSSadaf Ebrahimi (++total_error_count <= kErrorReportLimit)) {
1068*f5c631daSSadaf Ebrahimi printf("Error when testing \"%s\" with operands \"%s\":\n",
1069*f5c631daSSadaf Ebrahimi mnemonic,
1070*f5c631daSSadaf Ebrahimi kTests[i].operands_description);
1071*f5c631daSSadaf Ebrahimi printf(" Expected: ");
1072*f5c631daSSadaf Ebrahimi for (uint32_t j = 0; j < reference[i].size; j++) {
1073*f5c631daSSadaf Ebrahimi if (j == 0) {
1074*f5c631daSSadaf Ebrahimi printf("0x%02" PRIx8, reference[i].encoding[j]);
1075*f5c631daSSadaf Ebrahimi } else {
1076*f5c631daSSadaf Ebrahimi printf(", 0x%02" PRIx8, reference[i].encoding[j]);
1077*f5c631daSSadaf Ebrahimi }
1078*f5c631daSSadaf Ebrahimi }
1079*f5c631daSSadaf Ebrahimi printf("\n");
1080*f5c631daSSadaf Ebrahimi printf(" Found: ");
1081*f5c631daSSadaf Ebrahimi for (uint32_t j = 0; j < result_size; j++) {
1082*f5c631daSSadaf Ebrahimi if (j == 0) {
1083*f5c631daSSadaf Ebrahimi printf("0x%02" PRIx8, result_ptr[j]);
1084*f5c631daSSadaf Ebrahimi } else {
1085*f5c631daSSadaf Ebrahimi printf(", 0x%02" PRIx8, result_ptr[j]);
1086*f5c631daSSadaf Ebrahimi }
1087*f5c631daSSadaf Ebrahimi }
1088*f5c631daSSadaf Ebrahimi printf("\n");
1089*f5c631daSSadaf Ebrahimi }
1090*f5c631daSSadaf Ebrahimi }
1091*f5c631daSSadaf Ebrahimi }
1092*f5c631daSSadaf Ebrahimi
1093*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
1094*f5c631daSSadaf Ebrahimi
1095*f5c631daSSadaf Ebrahimi if (Test::generate_test_trace()) {
1096*f5c631daSSadaf Ebrahimi // Finalize the trace file by writing the final `TestResult` array
1097*f5c631daSSadaf Ebrahimi // which links all generated instruction encodings.
1098*f5c631daSSadaf Ebrahimi printf("const TestResult kReference%s[] = {\n", mnemonic);
1099*f5c631daSSadaf Ebrahimi for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
1100*f5c631daSSadaf Ebrahimi printf(" {\n");
1101*f5c631daSSadaf Ebrahimi printf(" ARRAY_SIZE(kInstruction_%s_%s),\n",
1102*f5c631daSSadaf Ebrahimi mnemonic,
1103*f5c631daSSadaf Ebrahimi kTests[i].identifier);
1104*f5c631daSSadaf Ebrahimi printf(" kInstruction_%s_%s,\n", mnemonic, kTests[i].identifier);
1105*f5c631daSSadaf Ebrahimi printf(" },\n");
1106*f5c631daSSadaf Ebrahimi }
1107*f5c631daSSadaf Ebrahimi printf("};\n");
1108*f5c631daSSadaf Ebrahimi } else {
1109*f5c631daSSadaf Ebrahimi if (total_error_count > kErrorReportLimit) {
1110*f5c631daSSadaf Ebrahimi printf("%u other errors follow.\n",
1111*f5c631daSSadaf Ebrahimi total_error_count - kErrorReportLimit);
1112*f5c631daSSadaf Ebrahimi }
1113*f5c631daSSadaf Ebrahimi // Crash if the test failed.
1114*f5c631daSSadaf Ebrahimi VIXL_CHECK(total_error_count == 0);
1115*f5c631daSSadaf Ebrahimi }
1116*f5c631daSSadaf Ebrahimi }
1117*f5c631daSSadaf Ebrahimi
1118*f5c631daSSadaf Ebrahimi // Instantiate tests for each instruction in the list.
1119*f5c631daSSadaf Ebrahimi #define TEST(mnemonic) \
1120*f5c631daSSadaf Ebrahimi void Test_##mnemonic() { \
1121*f5c631daSSadaf Ebrahimi TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \
1122*f5c631daSSadaf Ebrahimi } \
1123*f5c631daSSadaf Ebrahimi Test test_##mnemonic( \
1124*f5c631daSSadaf Ebrahimi "AARCH32_ASSEMBLER_COND_RDLOW_RNLOW_OPERAND_IMMEDIATE_ZERO_IN_IT_" \
1125*f5c631daSSadaf Ebrahimi "BLOCK_" #mnemonic "_T32", \
1126*f5c631daSSadaf Ebrahimi &Test_##mnemonic);
1127*f5c631daSSadaf Ebrahimi FOREACH_INSTRUCTION(TEST)
1128*f5c631daSSadaf Ebrahimi #undef TEST
1129*f5c631daSSadaf Ebrahimi
1130*f5c631daSSadaf Ebrahimi } // namespace
1131*f5c631daSSadaf Ebrahimi #endif
1132*f5c631daSSadaf Ebrahimi
1133*f5c631daSSadaf Ebrahimi } // namespace aarch32
1134*f5c631daSSadaf Ebrahimi } // namespace vixl
1135