1// Copyright 2016, VIXL authors
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are met:
6//
7//   * Redistributions of source code must retain the above copyright notice,
8//     this list of conditions and the following disclaimer.
9//   * Redistributions in binary form must reproduce the above copyright notice,
10//     this list of conditions and the following disclaimer in the documentation
11//     and/or other materials provided with the distribution.
12//   * Neither the name of ARM Limited nor the names of its contributors may be
13//     used to endorse or promote products derived from this software without
14//     specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
27
28// -----------------------------------------------------------------------------
29// This file is auto generated from the
30// test/aarch32/config/template-assembler-aarch32.cc.in template file using
31// tools/generate_tests.py.
32//
33// PLEASE DO NOT EDIT.
34// -----------------------------------------------------------------------------
35
36
37#include "test-runner.h"
38
39#include "test-utils.h"
40#include "test-utils-aarch32.h"
41
42#include "aarch32/assembler-aarch32.h"
43#include "aarch32/macro-assembler-aarch32.h"
44
45#define BUF_SIZE (4096)
46
47namespace vixl {
48namespace aarch32 {
49
50// List of instruction mnemonics.
51#define FOREACH_INSTRUCTION(M) \
52  M(adc)                       \
53  M(and_)                      \
54  M(asr)                       \
55  M(bic)                       \
56  M(eor)                       \
57  M(lsl)                       \
58  M(lsr)                       \
59  M(orr)                       \
60  M(ror)                       \
61  M(sbc)
62
63
64// The following definitions are defined again in each generated test, therefore
65// we need to place them in an anomymous namespace. It expresses that they are
66// local to this file only, and the compiler is not allowed to share these types
67// across test files during template instantiation. Specifically, `Operands` has
68// various layouts across generated tests so it absolutely cannot be shared.
69
70#ifdef VIXL_INCLUDE_TARGET_T32
71namespace {
72
73// Values to be passed to the assembler to produce the instruction under test.
74struct Operands {
75  Condition cond;
76  Register rd;
77  Register rn;
78  Register rm;
79};
80
81// This structure contains all data needed to test one specific
82// instruction.
83struct TestData {
84  // The `operands` field represents what to pass to the assembler to
85  // produce the instruction.
86  Operands operands;
87  // True if we need to generate an IT instruction for this test to be valid.
88  bool in_it_block;
89  // The condition to give the IT instruction, this will be set to "al" by
90  // default.
91  Condition it_condition;
92  // Description of the operands, used for error reporting.
93  const char* operands_description;
94  // Unique identifier, used for generating traces.
95  const char* identifier;
96};
97
98struct TestResult {
99  size_t size;
100  const byte* encoding;
101};
102
103// Each element of this array produce one instruction encoding.
104const TestData kTests[] =
105    {{{gt, r3, r3, r0}, true, gt, "gt r3 r3 r0", "gt_r3_r3_r0"},
106     {{ge, r6, r6, r1}, true, ge, "ge r6 r6 r1", "ge_r6_r6_r1"},
107     {{gt, r7, r7, r1}, true, gt, "gt r7 r7 r1", "gt_r7_r7_r1"},
108     {{gt, r2, r2, r0}, true, gt, "gt r2 r2 r0", "gt_r2_r2_r0"},
109     {{eq, r5, r5, r2}, true, eq, "eq r5 r5 r2", "eq_r5_r5_r2"},
110     {{gt, r0, r0, r0}, true, gt, "gt r0 r0 r0", "gt_r0_r0_r0"},
111     {{lt, r0, r0, r4}, true, lt, "lt r0 r0 r4", "lt_r0_r0_r4"},
112     {{hi, r6, r6, r3}, true, hi, "hi r6 r6 r3", "hi_r6_r6_r3"},
113     {{ge, r7, r7, r6}, true, ge, "ge r7 r7 r6", "ge_r7_r7_r6"},
114     {{eq, r5, r5, r5}, true, eq, "eq r5 r5 r5", "eq_r5_r5_r5"},
115     {{cc, r1, r1, r0}, true, cc, "cc r1 r1 r0", "cc_r1_r1_r0"},
116     {{cc, r1, r1, r1}, true, cc, "cc r1 r1 r1", "cc_r1_r1_r1"},
117     {{cc, r4, r4, r3}, true, cc, "cc r4 r4 r3", "cc_r4_r4_r3"},
118     {{mi, r5, r5, r3}, true, mi, "mi r5 r5 r3", "mi_r5_r5_r3"},
119     {{cs, r3, r3, r0}, true, cs, "cs r3 r3 r0", "cs_r3_r3_r0"},
120     {{pl, r0, r0, r6}, true, pl, "pl r0 r0 r6", "pl_r0_r0_r6"},
121     {{cc, r4, r4, r4}, true, cc, "cc r4 r4 r4", "cc_r4_r4_r4"},
122     {{cc, r3, r3, r6}, true, cc, "cc r3 r3 r6", "cc_r3_r3_r6"},
123     {{hi, r7, r7, r3}, true, hi, "hi r7 r7 r3", "hi_r7_r7_r3"},
124     {{vs, r7, r7, r5}, true, vs, "vs r7 r7 r5", "vs_r7_r7_r5"},
125     {{le, r2, r2, r7}, true, le, "le r2 r2 r7", "le_r2_r2_r7"},
126     {{le, r5, r5, r3}, true, le, "le r5 r5 r3", "le_r5_r5_r3"},
127     {{vs, r1, r1, r5}, true, vs, "vs r1 r1 r5", "vs_r1_r1_r5"},
128     {{vs, r7, r7, r3}, true, vs, "vs r7 r7 r3", "vs_r7_r7_r3"},
129     {{cc, r0, r0, r3}, true, cc, "cc r0 r0 r3", "cc_r0_r0_r3"},
130     {{cc, r2, r2, r5}, true, cc, "cc r2 r2 r5", "cc_r2_r2_r5"},
131     {{gt, r7, r7, r7}, true, gt, "gt r7 r7 r7", "gt_r7_r7_r7"},
132     {{ls, r7, r7, r2}, true, ls, "ls r7 r7 r2", "ls_r7_r7_r2"},
133     {{lt, r0, r0, r2}, true, lt, "lt r0 r0 r2", "lt_r0_r0_r2"},
134     {{ne, r3, r3, r4}, true, ne, "ne r3 r3 r4", "ne_r3_r3_r4"},
135     {{ge, r3, r3, r7}, true, ge, "ge r3 r3 r7", "ge_r3_r3_r7"},
136     {{hi, r5, r5, r7}, true, hi, "hi r5 r5 r7", "hi_r5_r5_r7"},
137     {{vc, r0, r0, r3}, true, vc, "vc r0 r0 r3", "vc_r0_r0_r3"},
138     {{cc, r7, r7, r3}, true, cc, "cc r7 r7 r3", "cc_r7_r7_r3"},
139     {{ls, r5, r5, r4}, true, ls, "ls r5 r5 r4", "ls_r5_r5_r4"},
140     {{vc, r0, r0, r1}, true, vc, "vc r0 r0 r1", "vc_r0_r0_r1"},
141     {{hi, r0, r0, r6}, true, hi, "hi r0 r0 r6", "hi_r0_r0_r6"},
142     {{mi, r7, r7, r3}, true, mi, "mi r7 r7 r3", "mi_r7_r7_r3"},
143     {{cc, r7, r7, r4}, true, cc, "cc r7 r7 r4", "cc_r7_r7_r4"},
144     {{pl, r0, r0, r3}, true, pl, "pl r0 r0 r3", "pl_r0_r0_r3"},
145     {{ls, r5, r5, r0}, true, ls, "ls r5 r5 r0", "ls_r5_r5_r0"},
146     {{ls, r2, r2, r5}, true, ls, "ls r2 r2 r5", "ls_r2_r2_r5"},
147     {{ls, r0, r0, r3}, true, ls, "ls r0 r0 r3", "ls_r0_r0_r3"},
148     {{pl, r5, r5, r1}, true, pl, "pl r5 r5 r1", "pl_r5_r5_r1"},
149     {{mi, r1, r1, r1}, true, mi, "mi r1 r1 r1", "mi_r1_r1_r1"},
150     {{ls, r5, r5, r3}, true, ls, "ls r5 r5 r3", "ls_r5_r5_r3"},
151     {{gt, r2, r2, r7}, true, gt, "gt r2 r2 r7", "gt_r2_r2_r7"},
152     {{ge, r2, r2, r5}, true, ge, "ge r2 r2 r5", "ge_r2_r2_r5"},
153     {{gt, r7, r7, r3}, true, gt, "gt r7 r7 r3", "gt_r7_r7_r3"},
154     {{vs, r6, r6, r3}, true, vs, "vs r6 r6 r3", "vs_r6_r6_r3"},
155     {{cc, r1, r1, r7}, true, cc, "cc r1 r1 r7", "cc_r1_r1_r7"},
156     {{ls, r0, r0, r1}, true, ls, "ls r0 r0 r1", "ls_r0_r0_r1"},
157     {{gt, r3, r3, r1}, true, gt, "gt r3 r3 r1", "gt_r3_r3_r1"},
158     {{cs, r7, r7, r3}, true, cs, "cs r7 r7 r3", "cs_r7_r7_r3"},
159     {{gt, r5, r5, r3}, true, gt, "gt r5 r5 r3", "gt_r5_r5_r3"},
160     {{le, r2, r2, r5}, true, le, "le r2 r2 r5", "le_r2_r2_r5"},
161     {{ne, r1, r1, r0}, true, ne, "ne r1 r1 r0", "ne_r1_r1_r0"},
162     {{ne, r7, r7, r7}, true, ne, "ne r7 r7 r7", "ne_r7_r7_r7"},
163     {{lt, r2, r2, r1}, true, lt, "lt r2 r2 r1", "lt_r2_r2_r1"},
164     {{vs, r3, r3, r1}, true, vs, "vs r3 r3 r1", "vs_r3_r3_r1"},
165     {{gt, r7, r7, r5}, true, gt, "gt r7 r7 r5", "gt_r7_r7_r5"},
166     {{ls, r6, r6, r1}, true, ls, "ls r6 r6 r1", "ls_r6_r6_r1"},
167     {{pl, r7, r7, r4}, true, pl, "pl r7 r7 r4", "pl_r7_r7_r4"},
168     {{ls, r6, r6, r7}, true, ls, "ls r6 r6 r7", "ls_r6_r6_r7"},
169     {{eq, r5, r5, r3}, true, eq, "eq r5 r5 r3", "eq_r5_r5_r3"},
170     {{lt, r2, r2, r7}, true, lt, "lt r2 r2 r7", "lt_r2_r2_r7"},
171     {{pl, r7, r7, r6}, true, pl, "pl r7 r7 r6", "pl_r7_r7_r6"},
172     {{cs, r1, r1, r6}, true, cs, "cs r1 r1 r6", "cs_r1_r1_r6"},
173     {{cs, r0, r0, r3}, true, cs, "cs r0 r0 r3", "cs_r0_r0_r3"},
174     {{mi, r3, r3, r2}, true, mi, "mi r3 r3 r2", "mi_r3_r3_r2"},
175     {{eq, r4, r4, r5}, true, eq, "eq r4 r4 r5", "eq_r4_r4_r5"},
176     {{cs, r3, r3, r4}, true, cs, "cs r3 r3 r4", "cs_r3_r3_r4"},
177     {{ls, r7, r7, r6}, true, ls, "ls r7 r7 r6", "ls_r7_r7_r6"},
178     {{vs, r0, r0, r7}, true, vs, "vs r0 r0 r7", "vs_r0_r0_r7"},
179     {{pl, r2, r2, r1}, true, pl, "pl r2 r2 r1", "pl_r2_r2_r1"},
180     {{vs, r0, r0, r5}, true, vs, "vs r0 r0 r5", "vs_r0_r0_r5"},
181     {{vc, r4, r4, r2}, true, vc, "vc r4 r4 r2", "vc_r4_r4_r2"},
182     {{vc, r4, r4, r7}, true, vc, "vc r4 r4 r7", "vc_r4_r4_r7"},
183     {{cs, r4, r4, r7}, true, cs, "cs r4 r4 r7", "cs_r4_r4_r7"},
184     {{ne, r5, r5, r2}, true, ne, "ne r5 r5 r2", "ne_r5_r5_r2"},
185     {{eq, r1, r1, r5}, true, eq, "eq r1 r1 r5", "eq_r1_r1_r5"},
186     {{cc, r0, r0, r7}, true, cc, "cc r0 r0 r7", "cc_r0_r0_r7"},
187     {{lt, r4, r4, r0}, true, lt, "lt r4 r4 r0", "lt_r4_r4_r0"},
188     {{eq, r2, r2, r6}, true, eq, "eq r2 r2 r6", "eq_r2_r2_r6"},
189     {{le, r2, r2, r1}, true, le, "le r2 r2 r1", "le_r2_r2_r1"},
190     {{mi, r4, r4, r4}, true, mi, "mi r4 r4 r4", "mi_r4_r4_r4"},
191     {{ne, r5, r5, r6}, true, ne, "ne r5 r5 r6", "ne_r5_r5_r6"},
192     {{gt, r0, r0, r7}, true, gt, "gt r0 r0 r7", "gt_r0_r0_r7"},
193     {{hi, r2, r2, r7}, true, hi, "hi r2 r2 r7", "hi_r2_r2_r7"},
194     {{vs, r5, r5, r6}, true, vs, "vs r5 r5 r6", "vs_r5_r5_r6"},
195     {{eq, r4, r4, r1}, true, eq, "eq r4 r4 r1", "eq_r4_r4_r1"},
196     {{eq, r7, r7, r0}, true, eq, "eq r7 r7 r0", "eq_r7_r7_r0"},
197     {{ne, r2, r2, r6}, true, ne, "ne r2 r2 r6", "ne_r2_r2_r6"},
198     {{vc, r4, r4, r1}, true, vc, "vc r4 r4 r1", "vc_r4_r4_r1"},
199     {{le, r2, r2, r0}, true, le, "le r2 r2 r0", "le_r2_r2_r0"},
200     {{lt, r5, r5, r5}, true, lt, "lt r5 r5 r5", "lt_r5_r5_r5"},
201     {{pl, r3, r3, r7}, true, pl, "pl r3 r3 r7", "pl_r3_r3_r7"},
202     {{pl, r1, r1, r5}, true, pl, "pl r1 r1 r5", "pl_r1_r1_r5"},
203     {{le, r3, r3, r1}, true, le, "le r3 r3 r1", "le_r3_r3_r1"},
204     {{vs, r3, r3, r2}, true, vs, "vs r3 r3 r2", "vs_r3_r3_r2"},
205     {{pl, r1, r1, r3}, true, pl, "pl r1 r1 r3", "pl_r1_r1_r3"},
206     {{le, r4, r4, r3}, true, le, "le r4 r4 r3", "le_r4_r4_r3"},
207     {{vs, r6, r6, r1}, true, vs, "vs r6 r6 r1", "vs_r6_r6_r1"},
208     {{cs, r1, r1, r1}, true, cs, "cs r1 r1 r1", "cs_r1_r1_r1"},
209     {{ge, r2, r2, r6}, true, ge, "ge r2 r2 r6", "ge_r2_r2_r6"},
210     {{ls, r0, r0, r0}, true, ls, "ls r0 r0 r0", "ls_r0_r0_r0"},
211     {{mi, r5, r5, r1}, true, mi, "mi r5 r5 r1", "mi_r5_r5_r1"},
212     {{hi, r4, r4, r1}, true, hi, "hi r4 r4 r1", "hi_r4_r4_r1"},
213     {{eq, r3, r3, r2}, true, eq, "eq r3 r3 r2", "eq_r3_r3_r2"},
214     {{cc, r5, r5, r1}, true, cc, "cc r5 r5 r1", "cc_r5_r5_r1"},
215     {{eq, r6, r6, r2}, true, eq, "eq r6 r6 r2", "eq_r6_r6_r2"},
216     {{hi, r4, r4, r2}, true, hi, "hi r4 r4 r2", "hi_r4_r4_r2"},
217     {{gt, r5, r5, r0}, true, gt, "gt r5 r5 r0", "gt_r5_r5_r0"},
218     {{hi, r3, r3, r2}, true, hi, "hi r3 r3 r2", "hi_r3_r3_r2"},
219     {{pl, r0, r0, r0}, true, pl, "pl r0 r0 r0", "pl_r0_r0_r0"},
220     {{lt, r3, r3, r7}, true, lt, "lt r3 r3 r7", "lt_r3_r3_r7"},
221     {{ls, r7, r7, r1}, true, ls, "ls r7 r7 r1", "ls_r7_r7_r1"},
222     {{gt, r3, r3, r3}, true, gt, "gt r3 r3 r3", "gt_r3_r3_r3"},
223     {{cs, r6, r6, r6}, true, cs, "cs r6 r6 r6", "cs_r6_r6_r6"},
224     {{cc, r3, r3, r2}, true, cc, "cc r3 r3 r2", "cc_r3_r3_r2"},
225     {{ne, r4, r4, r0}, true, ne, "ne r4 r4 r0", "ne_r4_r4_r0"},
226     {{vs, r4, r4, r5}, true, vs, "vs r4 r4 r5", "vs_r4_r4_r5"},
227     {{ge, r6, r6, r4}, true, ge, "ge r6 r6 r4", "ge_r6_r6_r4"},
228     {{ne, r5, r5, r3}, true, ne, "ne r5 r5 r3", "ne_r5_r5_r3"},
229     {{vs, r3, r3, r0}, true, vs, "vs r3 r3 r0", "vs_r3_r3_r0"},
230     {{lt, r5, r5, r2}, true, lt, "lt r5 r5 r2", "lt_r5_r5_r2"},
231     {{lt, r6, r6, r4}, true, lt, "lt r6 r6 r4", "lt_r6_r6_r4"},
232     {{hi, r2, r2, r5}, true, hi, "hi r2 r2 r5", "hi_r2_r2_r5"},
233     {{eq, r7, r7, r5}, true, eq, "eq r7 r7 r5", "eq_r7_r7_r5"},
234     {{lt, r4, r4, r5}, true, lt, "lt r4 r4 r5", "lt_r4_r4_r5"},
235     {{ls, r7, r7, r3}, true, ls, "ls r7 r7 r3", "ls_r7_r7_r3"},
236     {{lt, r3, r3, r5}, true, lt, "lt r3 r3 r5", "lt_r3_r3_r5"},
237     {{cs, r5, r5, r0}, true, cs, "cs r5 r5 r0", "cs_r5_r5_r0"},
238     {{vc, r2, r2, r3}, true, vc, "vc r2 r2 r3", "vc_r2_r2_r3"},
239     {{cs, r1, r1, r4}, true, cs, "cs r1 r1 r4", "cs_r1_r1_r4"},
240     {{pl, r5, r5, r4}, true, pl, "pl r5 r5 r4", "pl_r5_r5_r4"},
241     {{hi, r7, r7, r4}, true, hi, "hi r7 r7 r4", "hi_r7_r7_r4"},
242     {{ge, r3, r3, r6}, true, ge, "ge r3 r3 r6", "ge_r3_r3_r6"},
243     {{ls, r3, r3, r2}, true, ls, "ls r3 r3 r2", "ls_r3_r3_r2"},
244     {{mi, r3, r3, r3}, true, mi, "mi r3 r3 r3", "mi_r3_r3_r3"},
245     {{le, r6, r6, r5}, true, le, "le r6 r6 r5", "le_r6_r6_r5"},
246     {{pl, r5, r5, r7}, true, pl, "pl r5 r5 r7", "pl_r5_r5_r7"},
247     {{ne, r2, r2, r3}, true, ne, "ne r2 r2 r3", "ne_r2_r2_r3"},
248     {{ls, r2, r2, r6}, true, ls, "ls r2 r2 r6", "ls_r2_r2_r6"},
249     {{le, r1, r1, r6}, true, le, "le r1 r1 r6", "le_r1_r1_r6"},
250     {{cc, r6, r6, r7}, true, cc, "cc r6 r6 r7", "cc_r6_r6_r7"},
251     {{pl, r4, r4, r3}, true, pl, "pl r4 r4 r3", "pl_r4_r4_r3"},
252     {{ne, r0, r0, r3}, true, ne, "ne r0 r0 r3", "ne_r0_r0_r3"},
253     {{cc, r6, r6, r6}, true, cc, "cc r6 r6 r6", "cc_r6_r6_r6"},
254     {{ls, r7, r7, r5}, true, ls, "ls r7 r7 r5", "ls_r7_r7_r5"},
255     {{ls, r1, r1, r5}, true, ls, "ls r1 r1 r5", "ls_r1_r1_r5"},
256     {{le, r0, r0, r0}, true, le, "le r0 r0 r0", "le_r0_r0_r0"},
257     {{ge, r4, r4, r6}, true, ge, "ge r4 r4 r6", "ge_r4_r4_r6"},
258     {{cc, r1, r1, r6}, true, cc, "cc r1 r1 r6", "cc_r1_r1_r6"},
259     {{eq, r4, r4, r3}, true, eq, "eq r4 r4 r3", "eq_r4_r4_r3"},
260     {{ls, r7, r7, r4}, true, ls, "ls r7 r7 r4", "ls_r7_r7_r4"},
261     {{eq, r3, r3, r0}, true, eq, "eq r3 r3 r0", "eq_r3_r3_r0"},
262     {{lt, r4, r4, r3}, true, lt, "lt r4 r4 r3", "lt_r4_r4_r3"},
263     {{le, r3, r3, r4}, true, le, "le r3 r3 r4", "le_r3_r3_r4"},
264     {{le, r4, r4, r4}, true, le, "le r4 r4 r4", "le_r4_r4_r4"},
265     {{ge, r0, r0, r6}, true, ge, "ge r0 r0 r6", "ge_r0_r0_r6"},
266     {{hi, r7, r7, r2}, true, hi, "hi r7 r7 r2", "hi_r7_r7_r2"},
267     {{pl, r5, r5, r6}, true, pl, "pl r5 r5 r6", "pl_r5_r5_r6"},
268     {{pl, r4, r4, r7}, true, pl, "pl r4 r4 r7", "pl_r4_r4_r7"},
269     {{gt, r3, r3, r6}, true, gt, "gt r3 r3 r6", "gt_r3_r3_r6"},
270     {{eq, r6, r6, r6}, true, eq, "eq r6 r6 r6", "eq_r6_r6_r6"},
271     {{cc, r5, r5, r0}, true, cc, "cc r5 r5 r0", "cc_r5_r5_r0"},
272     {{hi, r5, r5, r0}, true, hi, "hi r5 r5 r0", "hi_r5_r5_r0"},
273     {{gt, r5, r5, r5}, true, gt, "gt r5 r5 r5", "gt_r5_r5_r5"},
274     {{vs, r2, r2, r4}, true, vs, "vs r2 r2 r4", "vs_r2_r2_r4"},
275     {{vs, r1, r1, r3}, true, vs, "vs r1 r1 r3", "vs_r1_r1_r3"},
276     {{lt, r7, r7, r6}, true, lt, "lt r7 r7 r6", "lt_r7_r7_r6"},
277     {{ge, r2, r2, r2}, true, ge, "ge r2 r2 r2", "ge_r2_r2_r2"},
278     {{mi, r1, r1, r5}, true, mi, "mi r1 r1 r5", "mi_r1_r1_r5"},
279     {{ge, r5, r5, r0}, true, ge, "ge r5 r5 r0", "ge_r5_r5_r0"},
280     {{le, r6, r6, r3}, true, le, "le r6 r6 r3", "le_r6_r6_r3"},
281     {{hi, r7, r7, r5}, true, hi, "hi r7 r7 r5", "hi_r7_r7_r5"},
282     {{gt, r3, r3, r4}, true, gt, "gt r3 r3 r4", "gt_r3_r3_r4"},
283     {{cc, r3, r3, r3}, true, cc, "cc r3 r3 r3", "cc_r3_r3_r3"},
284     {{hi, r2, r2, r2}, true, hi, "hi r2 r2 r2", "hi_r2_r2_r2"},
285     {{lt, r7, r7, r3}, true, lt, "lt r7 r7 r3", "lt_r7_r7_r3"},
286     {{ls, r6, r6, r6}, true, ls, "ls r6 r6 r6", "ls_r6_r6_r6"},
287     {{le, r7, r7, r7}, true, le, "le r7 r7 r7", "le_r7_r7_r7"},
288     {{cs, r4, r4, r6}, true, cs, "cs r4 r4 r6", "cs_r4_r4_r6"},
289     {{ge, r5, r5, r4}, true, ge, "ge r5 r5 r4", "ge_r5_r5_r4"},
290     {{ge, r1, r1, r2}, true, ge, "ge r1 r1 r2", "ge_r1_r1_r2"},
291     {{pl, r0, r0, r7}, true, pl, "pl r0 r0 r7", "pl_r0_r0_r7"},
292     {{vs, r1, r1, r2}, true, vs, "vs r1 r1 r2", "vs_r1_r1_r2"},
293     {{mi, r6, r6, r5}, true, mi, "mi r6 r6 r5", "mi_r6_r6_r5"},
294     {{mi, r0, r0, r1}, true, mi, "mi r0 r0 r1", "mi_r0_r0_r1"},
295     {{vc, r0, r0, r5}, true, vc, "vc r0 r0 r5", "vc_r0_r0_r5"},
296     {{cc, r5, r5, r5}, true, cc, "cc r5 r5 r5", "cc_r5_r5_r5"},
297     {{pl, r5, r5, r5}, true, pl, "pl r5 r5 r5", "pl_r5_r5_r5"},
298     {{ne, r2, r2, r0}, true, ne, "ne r2 r2 r0", "ne_r2_r2_r0"},
299     {{cc, r3, r3, r4}, true, cc, "cc r3 r3 r4", "cc_r3_r3_r4"},
300     {{ls, r3, r3, r3}, true, ls, "ls r3 r3 r3", "ls_r3_r3_r3"},
301     {{cc, r2, r2, r1}, true, cc, "cc r2 r2 r1", "cc_r2_r2_r1"},
302     {{ge, r3, r3, r4}, true, ge, "ge r3 r3 r4", "ge_r3_r3_r4"},
303     {{ne, r0, r0, r6}, true, ne, "ne r0 r0 r6", "ne_r0_r0_r6"},
304     {{vs, r2, r2, r0}, true, vs, "vs r2 r2 r0", "vs_r2_r2_r0"},
305     {{ne, r1, r1, r2}, true, ne, "ne r1 r1 r2", "ne_r1_r1_r2"},
306     {{ne, r6, r6, r5}, true, ne, "ne r6 r6 r5", "ne_r6_r6_r5"},
307     {{pl, r7, r7, r0}, true, pl, "pl r7 r7 r0", "pl_r7_r7_r0"},
308     {{pl, r6, r6, r2}, true, pl, "pl r6 r6 r2", "pl_r6_r6_r2"},
309     {{pl, r1, r1, r2}, true, pl, "pl r1 r1 r2", "pl_r1_r1_r2"},
310     {{gt, r6, r6, r3}, true, gt, "gt r6 r6 r3", "gt_r6_r6_r3"},
311     {{vc, r0, r0, r4}, true, vc, "vc r0 r0 r4", "vc_r0_r0_r4"},
312     {{vc, r4, r4, r5}, true, vc, "vc r4 r4 r5", "vc_r4_r4_r5"},
313     {{vs, r2, r2, r3}, true, vs, "vs r2 r2 r3", "vs_r2_r2_r3"},
314     {{pl, r2, r2, r3}, true, pl, "pl r2 r2 r3", "pl_r2_r2_r3"},
315     {{hi, r5, r5, r2}, true, hi, "hi r5 r5 r2", "hi_r5_r5_r2"},
316     {{le, r6, r6, r1}, true, le, "le r6 r6 r1", "le_r6_r6_r1"},
317     {{ne, r3, r3, r0}, true, ne, "ne r3 r3 r0", "ne_r3_r3_r0"},
318     {{mi, r7, r7, r1}, true, mi, "mi r7 r7 r1", "mi_r7_r7_r1"},
319     {{lt, r7, r7, r7}, true, lt, "lt r7 r7 r7", "lt_r7_r7_r7"},
320     {{gt, r5, r5, r7}, true, gt, "gt r5 r5 r7", "gt_r5_r5_r7"},
321     {{vc, r1, r1, r1}, true, vc, "vc r1 r1 r1", "vc_r1_r1_r1"},
322     {{lt, r1, r1, r2}, true, lt, "lt r1 r1 r2", "lt_r1_r1_r2"},
323     {{vs, r6, r6, r6}, true, vs, "vs r6 r6 r6", "vs_r6_r6_r6"},
324     {{le, r5, r5, r5}, true, le, "le r5 r5 r5", "le_r5_r5_r5"},
325     {{gt, r6, r6, r7}, true, gt, "gt r6 r6 r7", "gt_r6_r6_r7"},
326     {{cc, r3, r3, r1}, true, cc, "cc r3 r3 r1", "cc_r3_r3_r1"},
327     {{ls, r1, r1, r0}, true, ls, "ls r1 r1 r0", "ls_r1_r1_r0"},
328     {{vs, r6, r6, r2}, true, vs, "vs r6 r6 r2", "vs_r6_r6_r2"},
329     {{mi, r7, r7, r0}, true, mi, "mi r7 r7 r0", "mi_r7_r7_r0"},
330     {{gt, r0, r0, r1}, true, gt, "gt r0 r0 r1", "gt_r0_r0_r1"},
331     {{ne, r0, r0, r0}, true, ne, "ne r0 r0 r0", "ne_r0_r0_r0"},
332     {{lt, r6, r6, r1}, true, lt, "lt r6 r6 r1", "lt_r6_r6_r1"},
333     {{ge, r5, r5, r5}, true, ge, "ge r5 r5 r5", "ge_r5_r5_r5"},
334     {{lt, r2, r2, r4}, true, lt, "lt r2 r2 r4", "lt_r2_r2_r4"},
335     {{vs, r4, r4, r3}, true, vs, "vs r4 r4 r3", "vs_r4_r4_r3"},
336     {{cs, r5, r5, r2}, true, cs, "cs r5 r5 r2", "cs_r5_r5_r2"},
337     {{gt, r1, r1, r1}, true, gt, "gt r1 r1 r1", "gt_r1_r1_r1"},
338     {{cs, r5, r5, r6}, true, cs, "cs r5 r5 r6", "cs_r5_r5_r6"},
339     {{gt, r6, r6, r2}, true, gt, "gt r6 r6 r2", "gt_r6_r6_r2"},
340     {{cc, r2, r2, r0}, true, cc, "cc r2 r2 r0", "cc_r2_r2_r0"},
341     {{lt, r2, r2, r5}, true, lt, "lt r2 r2 r5", "lt_r2_r2_r5"},
342     {{mi, r1, r1, r6}, true, mi, "mi r1 r1 r6", "mi_r1_r1_r6"},
343     {{hi, r4, r4, r0}, true, hi, "hi r4 r4 r0", "hi_r4_r4_r0"},
344     {{le, r5, r5, r2}, true, le, "le r5 r5 r2", "le_r5_r5_r2"},
345     {{eq, r5, r5, r7}, true, eq, "eq r5 r5 r7", "eq_r5_r5_r7"},
346     {{eq, r5, r5, r0}, true, eq, "eq r5 r5 r0", "eq_r5_r5_r0"},
347     {{le, r0, r0, r1}, true, le, "le r0 r0 r1", "le_r0_r0_r1"},
348     {{cs, r2, r2, r4}, true, cs, "cs r2 r2 r4", "cs_r2_r2_r4"},
349     {{cc, r5, r5, r4}, true, cc, "cc r5 r5 r4", "cc_r5_r5_r4"},
350     {{mi, r5, r5, r0}, true, mi, "mi r5 r5 r0", "mi_r5_r5_r0"},
351     {{le, r1, r1, r0}, true, le, "le r1 r1 r0", "le_r1_r1_r0"},
352     {{mi, r2, r2, r2}, true, mi, "mi r2 r2 r2", "mi_r2_r2_r2"},
353     {{ls, r4, r4, r2}, true, ls, "ls r4 r4 r2", "ls_r4_r4_r2"},
354     {{ne, r3, r3, r1}, true, ne, "ne r3 r3 r1", "ne_r3_r3_r1"},
355     {{hi, r3, r3, r1}, true, hi, "hi r3 r3 r1", "hi_r3_r3_r1"},
356     {{pl, r4, r4, r1}, true, pl, "pl r4 r4 r1", "pl_r4_r4_r1"},
357     {{pl, r7, r7, r7}, true, pl, "pl r7 r7 r7", "pl_r7_r7_r7"},
358     {{ge, r3, r3, r0}, true, ge, "ge r3 r3 r0", "ge_r3_r3_r0"},
359     {{vs, r6, r6, r0}, true, vs, "vs r6 r6 r0", "vs_r6_r6_r0"},
360     {{gt, r1, r1, r5}, true, gt, "gt r1 r1 r5", "gt_r1_r1_r5"},
361     {{ls, r1, r1, r7}, true, ls, "ls r1 r1 r7", "ls_r1_r1_r7"},
362     {{hi, r5, r5, r3}, true, hi, "hi r5 r5 r3", "hi_r5_r5_r3"},
363     {{ls, r5, r5, r2}, true, ls, "ls r5 r5 r2", "ls_r5_r5_r2"},
364     {{ls, r6, r6, r2}, true, ls, "ls r6 r6 r2", "ls_r6_r6_r2"},
365     {{cs, r7, r7, r7}, true, cs, "cs r7 r7 r7", "cs_r7_r7_r7"},
366     {{le, r3, r3, r2}, true, le, "le r3 r3 r2", "le_r3_r3_r2"},
367     {{le, r6, r6, r0}, true, le, "le r6 r6 r0", "le_r6_r6_r0"},
368     {{pl, r4, r4, r4}, true, pl, "pl r4 r4 r4", "pl_r4_r4_r4"},
369     {{ne, r1, r1, r3}, true, ne, "ne r1 r1 r3", "ne_r1_r1_r3"},
370     {{ge, r5, r5, r1}, true, ge, "ge r5 r5 r1", "ge_r5_r5_r1"},
371     {{eq, r4, r4, r7}, true, eq, "eq r4 r4 r7", "eq_r4_r4_r7"},
372     {{pl, r7, r7, r1}, true, pl, "pl r7 r7 r1", "pl_r7_r7_r1"},
373     {{vs, r6, r6, r7}, true, vs, "vs r6 r6 r7", "vs_r6_r6_r7"},
374     {{vc, r2, r2, r6}, true, vc, "vc r2 r2 r6", "vc_r2_r2_r6"},
375     {{hi, r7, r7, r6}, true, hi, "hi r7 r7 r6", "hi_r7_r7_r6"},
376     {{le, r1, r1, r1}, true, le, "le r1 r1 r1", "le_r1_r1_r1"},
377     {{cs, r4, r4, r1}, true, cs, "cs r4 r4 r1", "cs_r4_r4_r1"},
378     {{mi, r1, r1, r2}, true, mi, "mi r1 r1 r2", "mi_r1_r1_r2"},
379     {{pl, r3, r3, r5}, true, pl, "pl r3 r3 r5", "pl_r3_r3_r5"},
380     {{eq, r7, r7, r1}, true, eq, "eq r7 r7 r1", "eq_r7_r7_r1"},
381     {{cs, r0, r0, r5}, true, cs, "cs r0 r0 r5", "cs_r0_r0_r5"},
382     {{ge, r3, r3, r5}, true, ge, "ge r3 r3 r5", "ge_r3_r3_r5"},
383     {{pl, r6, r6, r3}, true, pl, "pl r6 r6 r3", "pl_r6_r6_r3"},
384     {{cc, r7, r7, r5}, true, cc, "cc r7 r7 r5", "cc_r7_r7_r5"},
385     {{lt, r4, r4, r6}, true, lt, "lt r4 r4 r6", "lt_r4_r4_r6"},
386     {{ne, r7, r7, r2}, true, ne, "ne r7 r7 r2", "ne_r7_r7_r2"},
387     {{vc, r3, r3, r0}, true, vc, "vc r3 r3 r0", "vc_r3_r3_r0"},
388     {{cc, r7, r7, r6}, true, cc, "cc r7 r7 r6", "cc_r7_r7_r6"},
389     {{vc, r0, r0, r0}, true, vc, "vc r0 r0 r0", "vc_r0_r0_r0"},
390     {{vc, r7, r7, r3}, true, vc, "vc r7 r7 r3", "vc_r7_r7_r3"},
391     {{vs, r7, r7, r0}, true, vs, "vs r7 r7 r0", "vs_r7_r7_r0"},
392     {{eq, r2, r2, r0}, true, eq, "eq r2 r2 r0", "eq_r2_r2_r0"},
393     {{ne, r2, r2, r1}, true, ne, "ne r2 r2 r1", "ne_r2_r2_r1"},
394     {{pl, r7, r7, r2}, true, pl, "pl r7 r7 r2", "pl_r7_r7_r2"},
395     {{vc, r3, r3, r6}, true, vc, "vc r3 r3 r6", "vc_r3_r3_r6"},
396     {{vs, r5, r5, r1}, true, vs, "vs r5 r5 r1", "vs_r5_r5_r1"},
397     {{vs, r2, r2, r2}, true, vs, "vs r2 r2 r2", "vs_r2_r2_r2"},
398     {{pl, r6, r6, r6}, true, pl, "pl r6 r6 r6", "pl_r6_r6_r6"},
399     {{ge, r6, r6, r3}, true, ge, "ge r6 r6 r3", "ge_r6_r6_r3"},
400     {{lt, r2, r2, r6}, true, lt, "lt r2 r2 r6", "lt_r2_r2_r6"},
401     {{ls, r5, r5, r6}, true, ls, "ls r5 r5 r6", "ls_r5_r5_r6"},
402     {{le, r7, r7, r6}, true, le, "le r7 r7 r6", "le_r7_r7_r6"},
403     {{ge, r0, r0, r2}, true, ge, "ge r0 r0 r2", "ge_r0_r0_r2"},
404     {{le, r0, r0, r4}, true, le, "le r0 r0 r4", "le_r0_r0_r4"},
405     {{ls, r6, r6, r3}, true, ls, "ls r6 r6 r3", "ls_r6_r6_r3"},
406     {{ls, r6, r6, r0}, true, ls, "ls r6 r6 r0", "ls_r6_r6_r0"},
407     {{vs, r4, r4, r7}, true, vs, "vs r4 r4 r7", "vs_r4_r4_r7"},
408     {{cs, r4, r4, r4}, true, cs, "cs r4 r4 r4", "cs_r4_r4_r4"},
409     {{cs, r7, r7, r5}, true, cs, "cs r7 r7 r5", "cs_r7_r7_r5"},
410     {{cs, r6, r6, r3}, true, cs, "cs r6 r6 r3", "cs_r6_r6_r3"},
411     {{eq, r7, r7, r4}, true, eq, "eq r7 r7 r4", "eq_r7_r7_r4"},
412     {{pl, r6, r6, r0}, true, pl, "pl r6 r6 r0", "pl_r6_r6_r0"},
413     {{hi, r5, r5, r4}, true, hi, "hi r5 r5 r4", "hi_r5_r5_r4"},
414     {{lt, r6, r6, r6}, true, lt, "lt r6 r6 r6", "lt_r6_r6_r6"},
415     {{le, r7, r7, r2}, true, le, "le r7 r7 r2", "le_r7_r7_r2"},
416     {{le, r4, r4, r1}, true, le, "le r4 r4 r1", "le_r4_r4_r1"},
417     {{ne, r4, r4, r6}, true, ne, "ne r4 r4 r6", "ne_r4_r4_r6"},
418     {{hi, r0, r0, r1}, true, hi, "hi r0 r0 r1", "hi_r0_r0_r1"},
419     {{gt, r6, r6, r5}, true, gt, "gt r6 r6 r5", "gt_r6_r6_r5"},
420     {{cc, r5, r5, r6}, true, cc, "cc r5 r5 r6", "cc_r5_r5_r6"},
421     {{ls, r3, r3, r4}, true, ls, "ls r3 r3 r4", "ls_r3_r3_r4"},
422     {{vc, r6, r6, r6}, true, vc, "vc r6 r6 r6", "vc_r6_r6_r6"},
423     {{pl, r4, r4, r2}, true, pl, "pl r4 r4 r2", "pl_r4_r4_r2"},
424     {{lt, r6, r6, r3}, true, lt, "lt r6 r6 r3", "lt_r6_r6_r3"},
425     {{mi, r1, r1, r0}, true, mi, "mi r1 r1 r0", "mi_r1_r1_r0"},
426     {{cc, r0, r0, r2}, true, cc, "cc r0 r0 r2", "cc_r0_r0_r2"},
427     {{ne, r5, r5, r5}, true, ne, "ne r5 r5 r5", "ne_r5_r5_r5"},
428     {{cs, r7, r7, r4}, true, cs, "cs r7 r7 r4", "cs_r7_r7_r4"},
429     {{vc, r7, r7, r0}, true, vc, "vc r7 r7 r0", "vc_r7_r7_r0"},
430     {{cc, r2, r2, r2}, true, cc, "cc r2 r2 r2", "cc_r2_r2_r2"},
431     {{ge, r0, r0, r4}, true, ge, "ge r0 r0 r4", "ge_r0_r0_r4"},
432     {{gt, r4, r4, r4}, true, gt, "gt r4 r4 r4", "gt_r4_r4_r4"},
433     {{cs, r3, r3, r6}, true, cs, "cs r3 r3 r6", "cs_r3_r3_r6"},
434     {{cc, r4, r4, r2}, true, cc, "cc r4 r4 r2", "cc_r4_r4_r2"},
435     {{eq, r1, r1, r6}, true, eq, "eq r1 r1 r6", "eq_r1_r1_r6"},
436     {{mi, r4, r4, r6}, true, mi, "mi r4 r4 r6", "mi_r4_r4_r6"},
437     {{eq, r4, r4, r4}, true, eq, "eq r4 r4 r4", "eq_r4_r4_r4"},
438     {{gt, r2, r2, r6}, true, gt, "gt r2 r2 r6", "gt_r2_r2_r6"},
439     {{lt, r5, r5, r7}, true, lt, "lt r5 r5 r7", "lt_r5_r5_r7"},
440     {{lt, r4, r4, r2}, true, lt, "lt r4 r4 r2", "lt_r4_r4_r2"},
441     {{cs, r6, r6, r1}, true, cs, "cs r6 r6 r1", "cs_r6_r6_r1"},
442     {{vs, r2, r2, r7}, true, vs, "vs r2 r2 r7", "vs_r2_r2_r7"},
443     {{hi, r6, r6, r6}, true, hi, "hi r6 r6 r6", "hi_r6_r6_r6"},
444     {{vs, r0, r0, r3}, true, vs, "vs r0 r0 r3", "vs_r0_r0_r3"},
445     {{mi, r0, r0, r2}, true, mi, "mi r0 r0 r2", "mi_r0_r0_r2"},
446     {{cs, r7, r7, r1}, true, cs, "cs r7 r7 r1", "cs_r7_r7_r1"},
447     {{gt, r1, r1, r6}, true, gt, "gt r1 r1 r6", "gt_r1_r1_r6"},
448     {{vs, r3, r3, r7}, true, vs, "vs r3 r3 r7", "vs_r3_r3_r7"},
449     {{hi, r1, r1, r5}, true, hi, "hi r1 r1 r5", "hi_r1_r1_r5"},
450     {{lt, r4, r4, r1}, true, lt, "lt r4 r4 r1", "lt_r4_r4_r1"},
451     {{le, r6, r6, r6}, true, le, "le r6 r6 r6", "le_r6_r6_r6"},
452     {{vc, r7, r7, r6}, true, vc, "vc r7 r7 r6", "vc_r7_r7_r6"},
453     {{gt, r4, r4, r5}, true, gt, "gt r4 r4 r5", "gt_r4_r4_r5"},
454     {{le, r1, r1, r4}, true, le, "le r1 r1 r4", "le_r1_r1_r4"},
455     {{mi, r2, r2, r1}, true, mi, "mi r2 r2 r1", "mi_r2_r2_r1"},
456     {{ls, r3, r3, r1}, true, ls, "ls r3 r3 r1", "ls_r3_r3_r1"},
457     {{vc, r1, r1, r0}, true, vc, "vc r1 r1 r0", "vc_r1_r1_r0"},
458     {{ge, r2, r2, r0}, true, ge, "ge r2 r2 r0", "ge_r2_r2_r0"},
459     {{ne, r5, r5, r7}, true, ne, "ne r5 r5 r7", "ne_r5_r5_r7"},
460     {{hi, r3, r3, r0}, true, hi, "hi r3 r3 r0", "hi_r3_r3_r0"},
461     {{gt, r4, r4, r1}, true, gt, "gt r4 r4 r1", "gt_r4_r4_r1"},
462     {{hi, r6, r6, r7}, true, hi, "hi r6 r6 r7", "hi_r6_r6_r7"},
463     {{cs, r6, r6, r2}, true, cs, "cs r6 r6 r2", "cs_r6_r6_r2"},
464     {{ne, r6, r6, r2}, true, ne, "ne r6 r6 r2", "ne_r6_r6_r2"},
465     {{le, r7, r7, r0}, true, le, "le r7 r7 r0", "le_r7_r7_r0"},
466     {{vs, r0, r0, r1}, true, vs, "vs r0 r0 r1", "vs_r0_r0_r1"},
467     {{vs, r4, r4, r2}, true, vs, "vs r4 r4 r2", "vs_r4_r4_r2"},
468     {{eq, r0, r0, r7}, true, eq, "eq r0 r0 r7", "eq_r0_r0_r7"},
469     {{lt, r2, r2, r3}, true, lt, "lt r2 r2 r3", "lt_r2_r2_r3"},
470     {{ne, r5, r5, r4}, true, ne, "ne r5 r5 r4", "ne_r5_r5_r4"},
471     {{cc, r4, r4, r5}, true, cc, "cc r4 r4 r5", "cc_r4_r4_r5"},
472     {{lt, r1, r1, r4}, true, lt, "lt r1 r1 r4", "lt_r1_r1_r4"},
473     {{eq, r0, r0, r0}, true, eq, "eq r0 r0 r0", "eq_r0_r0_r0"},
474     {{vs, r5, r5, r4}, true, vs, "vs r5 r5 r4", "vs_r5_r5_r4"},
475     {{ne, r0, r0, r5}, true, ne, "ne r0 r0 r5", "ne_r0_r0_r5"},
476     {{pl, r2, r2, r0}, true, pl, "pl r2 r2 r0", "pl_r2_r2_r0"},
477     {{vc, r2, r2, r5}, true, vc, "vc r2 r2 r5", "vc_r2_r2_r5"},
478     {{lt, r3, r3, r1}, true, lt, "lt r3 r3 r1", "lt_r3_r3_r1"},
479     {{hi, r1, r1, r0}, true, hi, "hi r1 r1 r0", "hi_r1_r1_r0"},
480     {{eq, r4, r4, r6}, true, eq, "eq r4 r4 r6", "eq_r4_r4_r6"},
481     {{vs, r3, r3, r6}, true, vs, "vs r3 r3 r6", "vs_r3_r3_r6"},
482     {{lt, r1, r1, r0}, true, lt, "lt r1 r1 r0", "lt_r1_r1_r0"},
483     {{ls, r2, r2, r2}, true, ls, "ls r2 r2 r2", "ls_r2_r2_r2"},
484     {{ge, r3, r3, r3}, true, ge, "ge r3 r3 r3", "ge_r3_r3_r3"},
485     {{ls, r2, r2, r7}, true, ls, "ls r2 r2 r7", "ls_r2_r2_r7"},
486     {{ge, r4, r4, r5}, true, ge, "ge r4 r4 r5", "ge_r4_r4_r5"},
487     {{eq, r6, r6, r5}, true, eq, "eq r6 r6 r5", "eq_r6_r6_r5"},
488     {{mi, r2, r2, r3}, true, mi, "mi r2 r2 r3", "mi_r2_r2_r3"},
489     {{mi, r7, r7, r6}, true, mi, "mi r7 r7 r6", "mi_r7_r7_r6"},
490     {{ge, r2, r2, r3}, true, ge, "ge r2 r2 r3", "ge_r2_r2_r3"},
491     {{le, r5, r5, r1}, true, le, "le r5 r5 r1", "le_r5_r5_r1"},
492     {{le, r7, r7, r5}, true, le, "le r7 r7 r5", "le_r7_r7_r5"},
493     {{ne, r7, r7, r4}, true, ne, "ne r7 r7 r4", "ne_r7_r7_r4"},
494     {{lt, r2, r2, r0}, true, lt, "lt r2 r2 r0", "lt_r2_r2_r0"},
495     {{cs, r2, r2, r2}, true, cs, "cs r2 r2 r2", "cs_r2_r2_r2"},
496     {{hi, r5, r5, r1}, true, hi, "hi r5 r5 r1", "hi_r5_r5_r1"},
497     {{cc, r5, r5, r2}, true, cc, "cc r5 r5 r2", "cc_r5_r5_r2"},
498     {{eq, r6, r6, r0}, true, eq, "eq r6 r6 r0", "eq_r6_r6_r0"},
499     {{hi, r5, r5, r5}, true, hi, "hi r5 r5 r5", "hi_r5_r5_r5"},
500     {{hi, r1, r1, r1}, true, hi, "hi r1 r1 r1", "hi_r1_r1_r1"},
501     {{eq, r3, r3, r7}, true, eq, "eq r3 r3 r7", "eq_r3_r3_r7"},
502     {{lt, r0, r0, r3}, true, lt, "lt r0 r0 r3", "lt_r0_r0_r3"},
503     {{ne, r7, r7, r0}, true, ne, "ne r7 r7 r0", "ne_r7_r7_r0"},
504     {{cs, r1, r1, r0}, true, cs, "cs r1 r1 r0", "cs_r1_r1_r0"},
505     {{le, r0, r0, r2}, true, le, "le r0 r0 r2", "le_r0_r0_r2"},
506     {{gt, r5, r5, r4}, true, gt, "gt r5 r5 r4", "gt_r5_r5_r4"},
507     {{le, r0, r0, r3}, true, le, "le r0 r0 r3", "le_r0_r0_r3"},
508     {{cs, r7, r7, r0}, true, cs, "cs r7 r7 r0", "cs_r7_r7_r0"},
509     {{eq, r7, r7, r2}, true, eq, "eq r7 r7 r2", "eq_r7_r7_r2"},
510     {{ne, r4, r4, r3}, true, ne, "ne r4 r4 r3", "ne_r4_r4_r3"},
511     {{mi, r0, r0, r3}, true, mi, "mi r0 r0 r3", "mi_r0_r0_r3"},
512     {{cs, r4, r4, r0}, true, cs, "cs r4 r4 r0", "cs_r4_r4_r0"},
513     {{ls, r4, r4, r4}, true, ls, "ls r4 r4 r4", "ls_r4_r4_r4"},
514     {{le, r3, r3, r6}, true, le, "le r3 r3 r6", "le_r3_r3_r6"},
515     {{mi, r7, r7, r5}, true, mi, "mi r7 r7 r5", "mi_r7_r7_r5"},
516     {{vs, r7, r7, r4}, true, vs, "vs r7 r7 r4", "vs_r7_r7_r4"},
517     {{cc, r0, r0, r4}, true, cc, "cc r0 r0 r4", "cc_r0_r0_r4"},
518     {{ls, r0, r0, r4}, true, ls, "ls r0 r0 r4", "ls_r0_r0_r4"},
519     {{vs, r3, r3, r5}, true, vs, "vs r3 r3 r5", "vs_r3_r3_r5"},
520     {{lt, r7, r7, r5}, true, lt, "lt r7 r7 r5", "lt_r7_r7_r5"},
521     {{eq, r1, r1, r7}, true, eq, "eq r1 r1 r7", "eq_r1_r1_r7"},
522     {{lt, r7, r7, r4}, true, lt, "lt r7 r7 r4", "lt_r7_r7_r4"},
523     {{cc, r3, r3, r5}, true, cc, "cc r3 r3 r5", "cc_r3_r3_r5"},
524     {{ge, r4, r4, r3}, true, ge, "ge r4 r4 r3", "ge_r4_r4_r3"},
525     {{cc, r4, r4, r6}, true, cc, "cc r4 r4 r6", "cc_r4_r4_r6"},
526     {{hi, r3, r3, r6}, true, hi, "hi r3 r3 r6", "hi_r3_r3_r6"},
527     {{gt, r0, r0, r6}, true, gt, "gt r0 r0 r6", "gt_r0_r0_r6"},
528     {{mi, r7, r7, r7}, true, mi, "mi r7 r7 r7", "mi_r7_r7_r7"},
529     {{mi, r6, r6, r2}, true, mi, "mi r6 r6 r2", "mi_r6_r6_r2"},
530     {{ne, r1, r1, r5}, true, ne, "ne r1 r1 r5", "ne_r1_r1_r5"},
531     {{gt, r1, r1, r2}, true, gt, "gt r1 r1 r2", "gt_r1_r1_r2"},
532     {{lt, r7, r7, r2}, true, lt, "lt r7 r7 r2", "lt_r7_r7_r2"},
533     {{cs, r5, r5, r5}, true, cs, "cs r5 r5 r5", "cs_r5_r5_r5"},
534     {{vc, r1, r1, r2}, true, vc, "vc r1 r1 r2", "vc_r1_r1_r2"},
535     {{eq, r5, r5, r6}, true, eq, "eq r5 r5 r6", "eq_r5_r5_r6"},
536     {{vc, r5, r5, r2}, true, vc, "vc r5 r5 r2", "vc_r5_r5_r2"},
537     {{le, r6, r6, r2}, true, le, "le r6 r6 r2", "le_r6_r6_r2"},
538     {{le, r6, r6, r4}, true, le, "le r6 r6 r4", "le_r6_r6_r4"},
539     {{pl, r3, r3, r2}, true, pl, "pl r3 r3 r2", "pl_r3_r3_r2"},
540     {{gt, r7, r7, r2}, true, gt, "gt r7 r7 r2", "gt_r7_r7_r2"},
541     {{lt, r6, r6, r7}, true, lt, "lt r6 r6 r7", "lt_r6_r6_r7"},
542     {{gt, r4, r4, r7}, true, gt, "gt r4 r4 r7", "gt_r4_r4_r7"},
543     {{vc, r4, r4, r4}, true, vc, "vc r4 r4 r4", "vc_r4_r4_r4"},
544     {{vc, r1, r1, r4}, true, vc, "vc r1 r1 r4", "vc_r1_r1_r4"},
545     {{hi, r3, r3, r5}, true, hi, "hi r3 r3 r5", "hi_r3_r3_r5"},
546     {{gt, r3, r3, r2}, true, gt, "gt r3 r3 r2", "gt_r3_r3_r2"},
547     {{ge, r5, r5, r7}, true, ge, "ge r5 r5 r7", "ge_r5_r5_r7"},
548     {{vs, r2, r2, r6}, true, vs, "vs r2 r2 r6", "vs_r2_r2_r6"},
549     {{ge, r1, r1, r7}, true, ge, "ge r1 r1 r7", "ge_r1_r1_r7"},
550     {{ne, r6, r6, r1}, true, ne, "ne r6 r6 r1", "ne_r6_r6_r1"},
551     {{eq, r6, r6, r1}, true, eq, "eq r6 r6 r1", "eq_r6_r6_r1"},
552     {{lt, r1, r1, r6}, true, lt, "lt r1 r1 r6", "lt_r1_r1_r6"},
553     {{pl, r4, r4, r0}, true, pl, "pl r4 r4 r0", "pl_r4_r4_r0"},
554     {{mi, r3, r3, r0}, true, mi, "mi r3 r3 r0", "mi_r3_r3_r0"},
555     {{ne, r6, r6, r6}, true, ne, "ne r6 r6 r6", "ne_r6_r6_r6"},
556     {{cs, r1, r1, r3}, true, cs, "cs r1 r1 r3", "cs_r1_r1_r3"},
557     {{gt, r7, r7, r6}, true, gt, "gt r7 r7 r6", "gt_r7_r7_r6"},
558     {{cc, r1, r1, r2}, true, cc, "cc r1 r1 r2", "cc_r1_r1_r2"},
559     {{vs, r0, r0, r4}, true, vs, "vs r0 r0 r4", "vs_r0_r0_r4"},
560     {{ge, r0, r0, r5}, true, ge, "ge r0 r0 r5", "ge_r0_r0_r5"},
561     {{ls, r0, r0, r2}, true, ls, "ls r0 r0 r2", "ls_r0_r0_r2"},
562     {{lt, r0, r0, r6}, true, lt, "lt r0 r0 r6", "lt_r0_r0_r6"},
563     {{vc, r3, r3, r4}, true, vc, "vc r3 r3 r4", "vc_r3_r3_r4"},
564     {{eq, r3, r3, r1}, true, eq, "eq r3 r3 r1", "eq_r3_r3_r1"},
565     {{vc, r7, r7, r4}, true, vc, "vc r7 r7 r4", "vc_r7_r7_r4"},
566     {{vs, r5, r5, r2}, true, vs, "vs r5 r5 r2", "vs_r5_r5_r2"},
567     {{cc, r2, r2, r6}, true, cc, "cc r2 r2 r6", "cc_r2_r2_r6"},
568     {{cs, r0, r0, r7}, true, cs, "cs r0 r0 r7", "cs_r0_r0_r7"},
569     {{vc, r3, r3, r1}, true, vc, "vc r3 r3 r1", "vc_r3_r3_r1"},
570     {{cc, r6, r6, r1}, true, cc, "cc r6 r6 r1", "cc_r6_r6_r1"},
571     {{gt, r4, r4, r0}, true, gt, "gt r4 r4 r0", "gt_r4_r4_r0"},
572     {{mi, r4, r4, r3}, true, mi, "mi r4 r4 r3", "mi_r4_r4_r3"},
573     {{ge, r4, r4, r2}, true, ge, "ge r4 r4 r2", "ge_r4_r4_r2"},
574     {{vc, r2, r2, r1}, true, vc, "vc r2 r2 r1", "vc_r2_r2_r1"},
575     {{mi, r0, r0, r6}, true, mi, "mi r0 r0 r6", "mi_r0_r0_r6"},
576     {{gt, r4, r4, r6}, true, gt, "gt r4 r4 r6", "gt_r4_r4_r6"},
577     {{lt, r5, r5, r3}, true, lt, "lt r5 r5 r3", "lt_r5_r5_r3"},
578     {{hi, r0, r0, r3}, true, hi, "hi r0 r0 r3", "hi_r0_r0_r3"},
579     {{ne, r0, r0, r1}, true, ne, "ne r0 r0 r1", "ne_r0_r0_r1"},
580     {{ne, r4, r4, r4}, true, ne, "ne r4 r4 r4", "ne_r4_r4_r4"},
581     {{vc, r3, r3, r7}, true, vc, "vc r3 r3 r7", "vc_r3_r3_r7"},
582     {{eq, r2, r2, r4}, true, eq, "eq r2 r2 r4", "eq_r2_r2_r4"},
583     {{ge, r6, r6, r5}, true, ge, "ge r6 r6 r5", "ge_r6_r6_r5"},
584     {{vc, r6, r6, r2}, true, vc, "vc r6 r6 r2", "vc_r6_r6_r2"},
585     {{hi, r1, r1, r3}, true, hi, "hi r1 r1 r3", "hi_r1_r1_r3"},
586     {{pl, r0, r0, r4}, true, pl, "pl r0 r0 r4", "pl_r0_r0_r4"},
587     {{vs, r1, r1, r6}, true, vs, "vs r1 r1 r6", "vs_r1_r1_r6"},
588     {{cc, r1, r1, r4}, true, cc, "cc r1 r1 r4", "cc_r1_r1_r4"},
589     {{lt, r1, r1, r3}, true, lt, "lt r1 r1 r3", "lt_r1_r1_r3"},
590     {{pl, r1, r1, r4}, true, pl, "pl r1 r1 r4", "pl_r1_r1_r4"},
591     {{cs, r3, r3, r3}, true, cs, "cs r3 r3 r3", "cs_r3_r3_r3"},
592     {{ge, r7, r7, r0}, true, ge, "ge r7 r7 r0", "ge_r7_r7_r0"},
593     {{ls, r5, r5, r1}, true, ls, "ls r5 r5 r1", "ls_r5_r5_r1"},
594     {{pl, r7, r7, r3}, true, pl, "pl r7 r7 r3", "pl_r7_r7_r3"},
595     {{eq, r2, r2, r1}, true, eq, "eq r2 r2 r1", "eq_r2_r2_r1"},
596     {{mi, r4, r4, r5}, true, mi, "mi r4 r4 r5", "mi_r4_r4_r5"},
597     {{vc, r1, r1, r7}, true, vc, "vc r1 r1 r7", "vc_r1_r1_r7"},
598     {{lt, r6, r6, r5}, true, lt, "lt r6 r6 r5", "lt_r6_r6_r5"},
599     {{ge, r4, r4, r1}, true, ge, "ge r4 r4 r1", "ge_r4_r4_r1"},
600     {{gt, r1, r1, r7}, true, gt, "gt r1 r1 r7", "gt_r1_r1_r7"},
601     {{lt, r0, r0, r5}, true, lt, "lt r0 r0 r5", "lt_r0_r0_r5"},
602     {{le, r4, r4, r0}, true, le, "le r4 r4 r0", "le_r4_r4_r0"},
603     {{le, r1, r1, r3}, true, le, "le r1 r1 r3", "le_r1_r1_r3"},
604     {{cs, r6, r6, r0}, true, cs, "cs r6 r6 r0", "cs_r6_r6_r0"}};
605
606// These headers each contain an array of `TestResult` with the reference output
607// values. The reference arrays are names `kReference{mnemonic}`.
608#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-adc-t32.h"
609#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-and-t32.h"
610#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-asr-t32.h"
611#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-bic-t32.h"
612#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-eor-t32.h"
613#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-lsl-t32.h"
614#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-lsr-t32.h"
615#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-orr-t32.h"
616#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-ror-t32.h"
617#include "aarch32/traces/assembler-cond-rd-rn-operand-rm-all-low-rd-is-rn-in-it-block-sbc-t32.h"
618
619
620// The maximum number of errors to report in detail for each test.
621const unsigned kErrorReportLimit = 8;
622
623typedef void (MacroAssembler::*Fn)(Condition cond,
624                                   Register rd,
625                                   Register rn,
626                                   const Operand& op);
627
628void TestHelper(Fn instruction,
629                const char* mnemonic,
630                const TestResult reference[]) {
631  unsigned total_error_count = 0;
632  MacroAssembler masm(BUF_SIZE);
633
634  masm.UseT32();
635
636  for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
637    // Values to pass to the macro-assembler.
638    Condition cond = kTests[i].operands.cond;
639    Register rd = kTests[i].operands.rd;
640    Register rn = kTests[i].operands.rn;
641    Register rm = kTests[i].operands.rm;
642    Operand op(rm);
643
644    int32_t start = masm.GetCursorOffset();
645    {
646      // We never generate more that 4 bytes, as IT instructions are only
647      // allowed for narrow encodings.
648      ExactAssemblyScope scope(&masm, 4, ExactAssemblyScope::kMaximumSize);
649      if (kTests[i].in_it_block) {
650        masm.it(kTests[i].it_condition);
651      }
652      (masm.*instruction)(cond, rd, rn, op);
653    }
654    int32_t end = masm.GetCursorOffset();
655
656    const byte* result_ptr =
657        masm.GetBuffer()->GetOffsetAddress<const byte*>(start);
658    VIXL_ASSERT(start < end);
659    uint32_t result_size = end - start;
660
661    if (Test::generate_test_trace()) {
662      // Print the result bytes.
663      printf("const byte kInstruction_%s_%s[] = {\n",
664             mnemonic,
665             kTests[i].identifier);
666      for (uint32_t j = 0; j < result_size; j++) {
667        if (j == 0) {
668          printf("  0x%02" PRIx8, result_ptr[j]);
669        } else {
670          printf(", 0x%02" PRIx8, result_ptr[j]);
671        }
672      }
673      // This comment is meant to be used by external tools to validate
674      // the encoding. We can parse the comment to figure out what
675      // instruction this corresponds to.
676      if (kTests[i].in_it_block) {
677        printf(" // It %s; %s %s\n};\n",
678               kTests[i].it_condition.GetName(),
679               mnemonic,
680               kTests[i].operands_description);
681      } else {
682        printf(" // %s %s\n};\n", mnemonic, kTests[i].operands_description);
683      }
684    } else {
685      // Check we've emitted the exact same encoding as present in the
686      // trace file. Only print up to `kErrorReportLimit` errors.
687      if (((result_size != reference[i].size) ||
688           (memcmp(result_ptr, reference[i].encoding, reference[i].size) !=
689            0)) &&
690          (++total_error_count <= kErrorReportLimit)) {
691        printf("Error when testing \"%s\" with operands \"%s\":\n",
692               mnemonic,
693               kTests[i].operands_description);
694        printf("  Expected: ");
695        for (uint32_t j = 0; j < reference[i].size; j++) {
696          if (j == 0) {
697            printf("0x%02" PRIx8, reference[i].encoding[j]);
698          } else {
699            printf(", 0x%02" PRIx8, reference[i].encoding[j]);
700          }
701        }
702        printf("\n");
703        printf("  Found:    ");
704        for (uint32_t j = 0; j < result_size; j++) {
705          if (j == 0) {
706            printf("0x%02" PRIx8, result_ptr[j]);
707          } else {
708            printf(", 0x%02" PRIx8, result_ptr[j]);
709          }
710        }
711        printf("\n");
712      }
713    }
714  }
715
716  masm.FinalizeCode();
717
718  if (Test::generate_test_trace()) {
719    // Finalize the trace file by writing the final `TestResult` array
720    // which links all generated instruction encodings.
721    printf("const TestResult kReference%s[] = {\n", mnemonic);
722    for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
723      printf("  {\n");
724      printf("    ARRAY_SIZE(kInstruction_%s_%s),\n",
725             mnemonic,
726             kTests[i].identifier);
727      printf("    kInstruction_%s_%s,\n", mnemonic, kTests[i].identifier);
728      printf("  },\n");
729    }
730    printf("};\n");
731  } else {
732    if (total_error_count > kErrorReportLimit) {
733      printf("%u other errors follow.\n",
734             total_error_count - kErrorReportLimit);
735    }
736    // Crash if the test failed.
737    VIXL_CHECK(total_error_count == 0);
738  }
739}
740
741// Instantiate tests for each instruction in the list.
742#define TEST(mnemonic)                                                      \
743  void Test_##mnemonic() {                                                  \
744    TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \
745  }                                                                         \
746  Test test_##mnemonic(                                                     \
747      "AARCH32_ASSEMBLER_COND_RD_RN_OPERAND_RM_ALL_LOW_RD_IS_RN_IN_IT_"     \
748      "BLOCK_" #mnemonic "_T32",                                            \
749      &Test_##mnemonic);
750FOREACH_INSTRUCTION(TEST)
751#undef TEST
752
753}  // namespace
754#endif
755
756}  // namespace aarch32
757}  // namespace vixl
758