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(mov)                       \
53  M(movt)                      \
54  M(movw)
55
56
57// The following definitions are defined again in each generated test, therefore
58// we need to place them in an anomymous namespace. It expresses that they are
59// local to this file only, and the compiler is not allowed to share these types
60// across test files during template instantiation. Specifically, `Operands` has
61// various layouts across generated tests so it absolutely cannot be shared.
62
63#ifdef VIXL_INCLUDE_TARGET_T32
64namespace {
65
66// Values to be passed to the assembler to produce the instruction under test.
67struct Operands {
68  Condition cond;
69  Register rd;
70  uint32_t immediate;
71};
72
73// This structure contains all data needed to test one specific
74// instruction.
75struct TestData {
76  // The `operands` field represents what to pass to the assembler to
77  // produce the instruction.
78  Operands operands;
79  // True if we need to generate an IT instruction for this test to be valid.
80  bool in_it_block;
81  // The condition to give the IT instruction, this will be set to "al" by
82  // default.
83  Condition it_condition;
84  // Description of the operands, used for error reporting.
85  const char* operands_description;
86  // Unique identifier, used for generating traces.
87  const char* identifier;
88};
89
90struct TestResult {
91  size_t size;
92  const byte* encoding;
93};
94
95// Each element of this array produce one instruction encoding.
96const TestData kTests[] =
97    {{{al, r0, 0x0000}, false, al, "al r0 0x0000", "al_r0_0x0000"},
98     {{al, r0, 0x0001}, false, al, "al r0 0x0001", "al_r0_0x0001"},
99     {{al, r0, 0x0002}, false, al, "al r0 0x0002", "al_r0_0x0002"},
100     {{al, r0, 0x0020}, false, al, "al r0 0x0020", "al_r0_0x0020"},
101     {{al, r0, 0x007d}, false, al, "al r0 0x007d", "al_r0_0x007d"},
102     {{al, r0, 0x007e}, false, al, "al r0 0x007e", "al_r0_0x007e"},
103     {{al, r0, 0x007f}, false, al, "al r0 0x007f", "al_r0_0x007f"},
104     {{al, r0, 0x7ffd}, false, al, "al r0 0x7ffd", "al_r0_0x7ffd"},
105     {{al, r0, 0x7ffe}, false, al, "al r0 0x7ffe", "al_r0_0x7ffe"},
106     {{al, r0, 0x7fff}, false, al, "al r0 0x7fff", "al_r0_0x7fff"},
107     {{al, r0, 0x3333}, false, al, "al r0 0x3333", "al_r0_0x3333"},
108     {{al, r0, 0x5555}, false, al, "al r0 0x5555", "al_r0_0x5555"},
109     {{al, r0, 0xaaaa}, false, al, "al r0 0xaaaa", "al_r0_0xaaaa"},
110     {{al, r0, 0xcccc}, false, al, "al r0 0xcccc", "al_r0_0xcccc"},
111     {{al, r0, 0x8000}, false, al, "al r0 0x8000", "al_r0_0x8000"},
112     {{al, r0, 0x8001}, false, al, "al r0 0x8001", "al_r0_0x8001"},
113     {{al, r0, 0x8002}, false, al, "al r0 0x8002", "al_r0_0x8002"},
114     {{al, r0, 0x8003}, false, al, "al r0 0x8003", "al_r0_0x8003"},
115     {{al, r0, 0xff80}, false, al, "al r0 0xff80", "al_r0_0xff80"},
116     {{al, r0, 0xff81}, false, al, "al r0 0xff81", "al_r0_0xff81"},
117     {{al, r0, 0xff82}, false, al, "al r0 0xff82", "al_r0_0xff82"},
118     {{al, r0, 0xff83}, false, al, "al r0 0xff83", "al_r0_0xff83"},
119     {{al, r0, 0xffe0}, false, al, "al r0 0xffe0", "al_r0_0xffe0"},
120     {{al, r0, 0xfffd}, false, al, "al r0 0xfffd", "al_r0_0xfffd"},
121     {{al, r0, 0xfffe}, false, al, "al r0 0xfffe", "al_r0_0xfffe"},
122     {{al, r0, 0xffff}, false, al, "al r0 0xffff", "al_r0_0xffff"},
123     {{al, r1, 0x0000}, false, al, "al r1 0x0000", "al_r1_0x0000"},
124     {{al, r1, 0x0001}, false, al, "al r1 0x0001", "al_r1_0x0001"},
125     {{al, r1, 0x0002}, false, al, "al r1 0x0002", "al_r1_0x0002"},
126     {{al, r1, 0x0020}, false, al, "al r1 0x0020", "al_r1_0x0020"},
127     {{al, r1, 0x007d}, false, al, "al r1 0x007d", "al_r1_0x007d"},
128     {{al, r1, 0x007e}, false, al, "al r1 0x007e", "al_r1_0x007e"},
129     {{al, r1, 0x007f}, false, al, "al r1 0x007f", "al_r1_0x007f"},
130     {{al, r1, 0x7ffd}, false, al, "al r1 0x7ffd", "al_r1_0x7ffd"},
131     {{al, r1, 0x7ffe}, false, al, "al r1 0x7ffe", "al_r1_0x7ffe"},
132     {{al, r1, 0x7fff}, false, al, "al r1 0x7fff", "al_r1_0x7fff"},
133     {{al, r1, 0x3333}, false, al, "al r1 0x3333", "al_r1_0x3333"},
134     {{al, r1, 0x5555}, false, al, "al r1 0x5555", "al_r1_0x5555"},
135     {{al, r1, 0xaaaa}, false, al, "al r1 0xaaaa", "al_r1_0xaaaa"},
136     {{al, r1, 0xcccc}, false, al, "al r1 0xcccc", "al_r1_0xcccc"},
137     {{al, r1, 0x8000}, false, al, "al r1 0x8000", "al_r1_0x8000"},
138     {{al, r1, 0x8001}, false, al, "al r1 0x8001", "al_r1_0x8001"},
139     {{al, r1, 0x8002}, false, al, "al r1 0x8002", "al_r1_0x8002"},
140     {{al, r1, 0x8003}, false, al, "al r1 0x8003", "al_r1_0x8003"},
141     {{al, r1, 0xff80}, false, al, "al r1 0xff80", "al_r1_0xff80"},
142     {{al, r1, 0xff81}, false, al, "al r1 0xff81", "al_r1_0xff81"},
143     {{al, r1, 0xff82}, false, al, "al r1 0xff82", "al_r1_0xff82"},
144     {{al, r1, 0xff83}, false, al, "al r1 0xff83", "al_r1_0xff83"},
145     {{al, r1, 0xffe0}, false, al, "al r1 0xffe0", "al_r1_0xffe0"},
146     {{al, r1, 0xfffd}, false, al, "al r1 0xfffd", "al_r1_0xfffd"},
147     {{al, r1, 0xfffe}, false, al, "al r1 0xfffe", "al_r1_0xfffe"},
148     {{al, r1, 0xffff}, false, al, "al r1 0xffff", "al_r1_0xffff"},
149     {{al, r2, 0x0000}, false, al, "al r2 0x0000", "al_r2_0x0000"},
150     {{al, r2, 0x0001}, false, al, "al r2 0x0001", "al_r2_0x0001"},
151     {{al, r2, 0x0002}, false, al, "al r2 0x0002", "al_r2_0x0002"},
152     {{al, r2, 0x0020}, false, al, "al r2 0x0020", "al_r2_0x0020"},
153     {{al, r2, 0x007d}, false, al, "al r2 0x007d", "al_r2_0x007d"},
154     {{al, r2, 0x007e}, false, al, "al r2 0x007e", "al_r2_0x007e"},
155     {{al, r2, 0x007f}, false, al, "al r2 0x007f", "al_r2_0x007f"},
156     {{al, r2, 0x7ffd}, false, al, "al r2 0x7ffd", "al_r2_0x7ffd"},
157     {{al, r2, 0x7ffe}, false, al, "al r2 0x7ffe", "al_r2_0x7ffe"},
158     {{al, r2, 0x7fff}, false, al, "al r2 0x7fff", "al_r2_0x7fff"},
159     {{al, r2, 0x3333}, false, al, "al r2 0x3333", "al_r2_0x3333"},
160     {{al, r2, 0x5555}, false, al, "al r2 0x5555", "al_r2_0x5555"},
161     {{al, r2, 0xaaaa}, false, al, "al r2 0xaaaa", "al_r2_0xaaaa"},
162     {{al, r2, 0xcccc}, false, al, "al r2 0xcccc", "al_r2_0xcccc"},
163     {{al, r2, 0x8000}, false, al, "al r2 0x8000", "al_r2_0x8000"},
164     {{al, r2, 0x8001}, false, al, "al r2 0x8001", "al_r2_0x8001"},
165     {{al, r2, 0x8002}, false, al, "al r2 0x8002", "al_r2_0x8002"},
166     {{al, r2, 0x8003}, false, al, "al r2 0x8003", "al_r2_0x8003"},
167     {{al, r2, 0xff80}, false, al, "al r2 0xff80", "al_r2_0xff80"},
168     {{al, r2, 0xff81}, false, al, "al r2 0xff81", "al_r2_0xff81"},
169     {{al, r2, 0xff82}, false, al, "al r2 0xff82", "al_r2_0xff82"},
170     {{al, r2, 0xff83}, false, al, "al r2 0xff83", "al_r2_0xff83"},
171     {{al, r2, 0xffe0}, false, al, "al r2 0xffe0", "al_r2_0xffe0"},
172     {{al, r2, 0xfffd}, false, al, "al r2 0xfffd", "al_r2_0xfffd"},
173     {{al, r2, 0xfffe}, false, al, "al r2 0xfffe", "al_r2_0xfffe"},
174     {{al, r2, 0xffff}, false, al, "al r2 0xffff", "al_r2_0xffff"},
175     {{al, r3, 0x0000}, false, al, "al r3 0x0000", "al_r3_0x0000"},
176     {{al, r3, 0x0001}, false, al, "al r3 0x0001", "al_r3_0x0001"},
177     {{al, r3, 0x0002}, false, al, "al r3 0x0002", "al_r3_0x0002"},
178     {{al, r3, 0x0020}, false, al, "al r3 0x0020", "al_r3_0x0020"},
179     {{al, r3, 0x007d}, false, al, "al r3 0x007d", "al_r3_0x007d"},
180     {{al, r3, 0x007e}, false, al, "al r3 0x007e", "al_r3_0x007e"},
181     {{al, r3, 0x007f}, false, al, "al r3 0x007f", "al_r3_0x007f"},
182     {{al, r3, 0x7ffd}, false, al, "al r3 0x7ffd", "al_r3_0x7ffd"},
183     {{al, r3, 0x7ffe}, false, al, "al r3 0x7ffe", "al_r3_0x7ffe"},
184     {{al, r3, 0x7fff}, false, al, "al r3 0x7fff", "al_r3_0x7fff"},
185     {{al, r3, 0x3333}, false, al, "al r3 0x3333", "al_r3_0x3333"},
186     {{al, r3, 0x5555}, false, al, "al r3 0x5555", "al_r3_0x5555"},
187     {{al, r3, 0xaaaa}, false, al, "al r3 0xaaaa", "al_r3_0xaaaa"},
188     {{al, r3, 0xcccc}, false, al, "al r3 0xcccc", "al_r3_0xcccc"},
189     {{al, r3, 0x8000}, false, al, "al r3 0x8000", "al_r3_0x8000"},
190     {{al, r3, 0x8001}, false, al, "al r3 0x8001", "al_r3_0x8001"},
191     {{al, r3, 0x8002}, false, al, "al r3 0x8002", "al_r3_0x8002"},
192     {{al, r3, 0x8003}, false, al, "al r3 0x8003", "al_r3_0x8003"},
193     {{al, r3, 0xff80}, false, al, "al r3 0xff80", "al_r3_0xff80"},
194     {{al, r3, 0xff81}, false, al, "al r3 0xff81", "al_r3_0xff81"},
195     {{al, r3, 0xff82}, false, al, "al r3 0xff82", "al_r3_0xff82"},
196     {{al, r3, 0xff83}, false, al, "al r3 0xff83", "al_r3_0xff83"},
197     {{al, r3, 0xffe0}, false, al, "al r3 0xffe0", "al_r3_0xffe0"},
198     {{al, r3, 0xfffd}, false, al, "al r3 0xfffd", "al_r3_0xfffd"},
199     {{al, r3, 0xfffe}, false, al, "al r3 0xfffe", "al_r3_0xfffe"},
200     {{al, r3, 0xffff}, false, al, "al r3 0xffff", "al_r3_0xffff"},
201     {{al, r4, 0x0000}, false, al, "al r4 0x0000", "al_r4_0x0000"},
202     {{al, r4, 0x0001}, false, al, "al r4 0x0001", "al_r4_0x0001"},
203     {{al, r4, 0x0002}, false, al, "al r4 0x0002", "al_r4_0x0002"},
204     {{al, r4, 0x0020}, false, al, "al r4 0x0020", "al_r4_0x0020"},
205     {{al, r4, 0x007d}, false, al, "al r4 0x007d", "al_r4_0x007d"},
206     {{al, r4, 0x007e}, false, al, "al r4 0x007e", "al_r4_0x007e"},
207     {{al, r4, 0x007f}, false, al, "al r4 0x007f", "al_r4_0x007f"},
208     {{al, r4, 0x7ffd}, false, al, "al r4 0x7ffd", "al_r4_0x7ffd"},
209     {{al, r4, 0x7ffe}, false, al, "al r4 0x7ffe", "al_r4_0x7ffe"},
210     {{al, r4, 0x7fff}, false, al, "al r4 0x7fff", "al_r4_0x7fff"},
211     {{al, r4, 0x3333}, false, al, "al r4 0x3333", "al_r4_0x3333"},
212     {{al, r4, 0x5555}, false, al, "al r4 0x5555", "al_r4_0x5555"},
213     {{al, r4, 0xaaaa}, false, al, "al r4 0xaaaa", "al_r4_0xaaaa"},
214     {{al, r4, 0xcccc}, false, al, "al r4 0xcccc", "al_r4_0xcccc"},
215     {{al, r4, 0x8000}, false, al, "al r4 0x8000", "al_r4_0x8000"},
216     {{al, r4, 0x8001}, false, al, "al r4 0x8001", "al_r4_0x8001"},
217     {{al, r4, 0x8002}, false, al, "al r4 0x8002", "al_r4_0x8002"},
218     {{al, r4, 0x8003}, false, al, "al r4 0x8003", "al_r4_0x8003"},
219     {{al, r4, 0xff80}, false, al, "al r4 0xff80", "al_r4_0xff80"},
220     {{al, r4, 0xff81}, false, al, "al r4 0xff81", "al_r4_0xff81"},
221     {{al, r4, 0xff82}, false, al, "al r4 0xff82", "al_r4_0xff82"},
222     {{al, r4, 0xff83}, false, al, "al r4 0xff83", "al_r4_0xff83"},
223     {{al, r4, 0xffe0}, false, al, "al r4 0xffe0", "al_r4_0xffe0"},
224     {{al, r4, 0xfffd}, false, al, "al r4 0xfffd", "al_r4_0xfffd"},
225     {{al, r4, 0xfffe}, false, al, "al r4 0xfffe", "al_r4_0xfffe"},
226     {{al, r4, 0xffff}, false, al, "al r4 0xffff", "al_r4_0xffff"},
227     {{al, r5, 0x0000}, false, al, "al r5 0x0000", "al_r5_0x0000"},
228     {{al, r5, 0x0001}, false, al, "al r5 0x0001", "al_r5_0x0001"},
229     {{al, r5, 0x0002}, false, al, "al r5 0x0002", "al_r5_0x0002"},
230     {{al, r5, 0x0020}, false, al, "al r5 0x0020", "al_r5_0x0020"},
231     {{al, r5, 0x007d}, false, al, "al r5 0x007d", "al_r5_0x007d"},
232     {{al, r5, 0x007e}, false, al, "al r5 0x007e", "al_r5_0x007e"},
233     {{al, r5, 0x007f}, false, al, "al r5 0x007f", "al_r5_0x007f"},
234     {{al, r5, 0x7ffd}, false, al, "al r5 0x7ffd", "al_r5_0x7ffd"},
235     {{al, r5, 0x7ffe}, false, al, "al r5 0x7ffe", "al_r5_0x7ffe"},
236     {{al, r5, 0x7fff}, false, al, "al r5 0x7fff", "al_r5_0x7fff"},
237     {{al, r5, 0x3333}, false, al, "al r5 0x3333", "al_r5_0x3333"},
238     {{al, r5, 0x5555}, false, al, "al r5 0x5555", "al_r5_0x5555"},
239     {{al, r5, 0xaaaa}, false, al, "al r5 0xaaaa", "al_r5_0xaaaa"},
240     {{al, r5, 0xcccc}, false, al, "al r5 0xcccc", "al_r5_0xcccc"},
241     {{al, r5, 0x8000}, false, al, "al r5 0x8000", "al_r5_0x8000"},
242     {{al, r5, 0x8001}, false, al, "al r5 0x8001", "al_r5_0x8001"},
243     {{al, r5, 0x8002}, false, al, "al r5 0x8002", "al_r5_0x8002"},
244     {{al, r5, 0x8003}, false, al, "al r5 0x8003", "al_r5_0x8003"},
245     {{al, r5, 0xff80}, false, al, "al r5 0xff80", "al_r5_0xff80"},
246     {{al, r5, 0xff81}, false, al, "al r5 0xff81", "al_r5_0xff81"},
247     {{al, r5, 0xff82}, false, al, "al r5 0xff82", "al_r5_0xff82"},
248     {{al, r5, 0xff83}, false, al, "al r5 0xff83", "al_r5_0xff83"},
249     {{al, r5, 0xffe0}, false, al, "al r5 0xffe0", "al_r5_0xffe0"},
250     {{al, r5, 0xfffd}, false, al, "al r5 0xfffd", "al_r5_0xfffd"},
251     {{al, r5, 0xfffe}, false, al, "al r5 0xfffe", "al_r5_0xfffe"},
252     {{al, r5, 0xffff}, false, al, "al r5 0xffff", "al_r5_0xffff"},
253     {{al, r6, 0x0000}, false, al, "al r6 0x0000", "al_r6_0x0000"},
254     {{al, r6, 0x0001}, false, al, "al r6 0x0001", "al_r6_0x0001"},
255     {{al, r6, 0x0002}, false, al, "al r6 0x0002", "al_r6_0x0002"},
256     {{al, r6, 0x0020}, false, al, "al r6 0x0020", "al_r6_0x0020"},
257     {{al, r6, 0x007d}, false, al, "al r6 0x007d", "al_r6_0x007d"},
258     {{al, r6, 0x007e}, false, al, "al r6 0x007e", "al_r6_0x007e"},
259     {{al, r6, 0x007f}, false, al, "al r6 0x007f", "al_r6_0x007f"},
260     {{al, r6, 0x7ffd}, false, al, "al r6 0x7ffd", "al_r6_0x7ffd"},
261     {{al, r6, 0x7ffe}, false, al, "al r6 0x7ffe", "al_r6_0x7ffe"},
262     {{al, r6, 0x7fff}, false, al, "al r6 0x7fff", "al_r6_0x7fff"},
263     {{al, r6, 0x3333}, false, al, "al r6 0x3333", "al_r6_0x3333"},
264     {{al, r6, 0x5555}, false, al, "al r6 0x5555", "al_r6_0x5555"},
265     {{al, r6, 0xaaaa}, false, al, "al r6 0xaaaa", "al_r6_0xaaaa"},
266     {{al, r6, 0xcccc}, false, al, "al r6 0xcccc", "al_r6_0xcccc"},
267     {{al, r6, 0x8000}, false, al, "al r6 0x8000", "al_r6_0x8000"},
268     {{al, r6, 0x8001}, false, al, "al r6 0x8001", "al_r6_0x8001"},
269     {{al, r6, 0x8002}, false, al, "al r6 0x8002", "al_r6_0x8002"},
270     {{al, r6, 0x8003}, false, al, "al r6 0x8003", "al_r6_0x8003"},
271     {{al, r6, 0xff80}, false, al, "al r6 0xff80", "al_r6_0xff80"},
272     {{al, r6, 0xff81}, false, al, "al r6 0xff81", "al_r6_0xff81"},
273     {{al, r6, 0xff82}, false, al, "al r6 0xff82", "al_r6_0xff82"},
274     {{al, r6, 0xff83}, false, al, "al r6 0xff83", "al_r6_0xff83"},
275     {{al, r6, 0xffe0}, false, al, "al r6 0xffe0", "al_r6_0xffe0"},
276     {{al, r6, 0xfffd}, false, al, "al r6 0xfffd", "al_r6_0xfffd"},
277     {{al, r6, 0xfffe}, false, al, "al r6 0xfffe", "al_r6_0xfffe"},
278     {{al, r6, 0xffff}, false, al, "al r6 0xffff", "al_r6_0xffff"},
279     {{al, r7, 0x0000}, false, al, "al r7 0x0000", "al_r7_0x0000"},
280     {{al, r7, 0x0001}, false, al, "al r7 0x0001", "al_r7_0x0001"},
281     {{al, r7, 0x0002}, false, al, "al r7 0x0002", "al_r7_0x0002"},
282     {{al, r7, 0x0020}, false, al, "al r7 0x0020", "al_r7_0x0020"},
283     {{al, r7, 0x007d}, false, al, "al r7 0x007d", "al_r7_0x007d"},
284     {{al, r7, 0x007e}, false, al, "al r7 0x007e", "al_r7_0x007e"},
285     {{al, r7, 0x007f}, false, al, "al r7 0x007f", "al_r7_0x007f"},
286     {{al, r7, 0x7ffd}, false, al, "al r7 0x7ffd", "al_r7_0x7ffd"},
287     {{al, r7, 0x7ffe}, false, al, "al r7 0x7ffe", "al_r7_0x7ffe"},
288     {{al, r7, 0x7fff}, false, al, "al r7 0x7fff", "al_r7_0x7fff"},
289     {{al, r7, 0x3333}, false, al, "al r7 0x3333", "al_r7_0x3333"},
290     {{al, r7, 0x5555}, false, al, "al r7 0x5555", "al_r7_0x5555"},
291     {{al, r7, 0xaaaa}, false, al, "al r7 0xaaaa", "al_r7_0xaaaa"},
292     {{al, r7, 0xcccc}, false, al, "al r7 0xcccc", "al_r7_0xcccc"},
293     {{al, r7, 0x8000}, false, al, "al r7 0x8000", "al_r7_0x8000"},
294     {{al, r7, 0x8001}, false, al, "al r7 0x8001", "al_r7_0x8001"},
295     {{al, r7, 0x8002}, false, al, "al r7 0x8002", "al_r7_0x8002"},
296     {{al, r7, 0x8003}, false, al, "al r7 0x8003", "al_r7_0x8003"},
297     {{al, r7, 0xff80}, false, al, "al r7 0xff80", "al_r7_0xff80"},
298     {{al, r7, 0xff81}, false, al, "al r7 0xff81", "al_r7_0xff81"},
299     {{al, r7, 0xff82}, false, al, "al r7 0xff82", "al_r7_0xff82"},
300     {{al, r7, 0xff83}, false, al, "al r7 0xff83", "al_r7_0xff83"},
301     {{al, r7, 0xffe0}, false, al, "al r7 0xffe0", "al_r7_0xffe0"},
302     {{al, r7, 0xfffd}, false, al, "al r7 0xfffd", "al_r7_0xfffd"},
303     {{al, r7, 0xfffe}, false, al, "al r7 0xfffe", "al_r7_0xfffe"},
304     {{al, r7, 0xffff}, false, al, "al r7 0xffff", "al_r7_0xffff"},
305     {{al, r8, 0x0000}, false, al, "al r8 0x0000", "al_r8_0x0000"},
306     {{al, r8, 0x0001}, false, al, "al r8 0x0001", "al_r8_0x0001"},
307     {{al, r8, 0x0002}, false, al, "al r8 0x0002", "al_r8_0x0002"},
308     {{al, r8, 0x0020}, false, al, "al r8 0x0020", "al_r8_0x0020"},
309     {{al, r8, 0x007d}, false, al, "al r8 0x007d", "al_r8_0x007d"},
310     {{al, r8, 0x007e}, false, al, "al r8 0x007e", "al_r8_0x007e"},
311     {{al, r8, 0x007f}, false, al, "al r8 0x007f", "al_r8_0x007f"},
312     {{al, r8, 0x7ffd}, false, al, "al r8 0x7ffd", "al_r8_0x7ffd"},
313     {{al, r8, 0x7ffe}, false, al, "al r8 0x7ffe", "al_r8_0x7ffe"},
314     {{al, r8, 0x7fff}, false, al, "al r8 0x7fff", "al_r8_0x7fff"},
315     {{al, r8, 0x3333}, false, al, "al r8 0x3333", "al_r8_0x3333"},
316     {{al, r8, 0x5555}, false, al, "al r8 0x5555", "al_r8_0x5555"},
317     {{al, r8, 0xaaaa}, false, al, "al r8 0xaaaa", "al_r8_0xaaaa"},
318     {{al, r8, 0xcccc}, false, al, "al r8 0xcccc", "al_r8_0xcccc"},
319     {{al, r8, 0x8000}, false, al, "al r8 0x8000", "al_r8_0x8000"},
320     {{al, r8, 0x8001}, false, al, "al r8 0x8001", "al_r8_0x8001"},
321     {{al, r8, 0x8002}, false, al, "al r8 0x8002", "al_r8_0x8002"},
322     {{al, r8, 0x8003}, false, al, "al r8 0x8003", "al_r8_0x8003"},
323     {{al, r8, 0xff80}, false, al, "al r8 0xff80", "al_r8_0xff80"},
324     {{al, r8, 0xff81}, false, al, "al r8 0xff81", "al_r8_0xff81"},
325     {{al, r8, 0xff82}, false, al, "al r8 0xff82", "al_r8_0xff82"},
326     {{al, r8, 0xff83}, false, al, "al r8 0xff83", "al_r8_0xff83"},
327     {{al, r8, 0xffe0}, false, al, "al r8 0xffe0", "al_r8_0xffe0"},
328     {{al, r8, 0xfffd}, false, al, "al r8 0xfffd", "al_r8_0xfffd"},
329     {{al, r8, 0xfffe}, false, al, "al r8 0xfffe", "al_r8_0xfffe"},
330     {{al, r8, 0xffff}, false, al, "al r8 0xffff", "al_r8_0xffff"},
331     {{al, r9, 0x0000}, false, al, "al r9 0x0000", "al_r9_0x0000"},
332     {{al, r9, 0x0001}, false, al, "al r9 0x0001", "al_r9_0x0001"},
333     {{al, r9, 0x0002}, false, al, "al r9 0x0002", "al_r9_0x0002"},
334     {{al, r9, 0x0020}, false, al, "al r9 0x0020", "al_r9_0x0020"},
335     {{al, r9, 0x007d}, false, al, "al r9 0x007d", "al_r9_0x007d"},
336     {{al, r9, 0x007e}, false, al, "al r9 0x007e", "al_r9_0x007e"},
337     {{al, r9, 0x007f}, false, al, "al r9 0x007f", "al_r9_0x007f"},
338     {{al, r9, 0x7ffd}, false, al, "al r9 0x7ffd", "al_r9_0x7ffd"},
339     {{al, r9, 0x7ffe}, false, al, "al r9 0x7ffe", "al_r9_0x7ffe"},
340     {{al, r9, 0x7fff}, false, al, "al r9 0x7fff", "al_r9_0x7fff"},
341     {{al, r9, 0x3333}, false, al, "al r9 0x3333", "al_r9_0x3333"},
342     {{al, r9, 0x5555}, false, al, "al r9 0x5555", "al_r9_0x5555"},
343     {{al, r9, 0xaaaa}, false, al, "al r9 0xaaaa", "al_r9_0xaaaa"},
344     {{al, r9, 0xcccc}, false, al, "al r9 0xcccc", "al_r9_0xcccc"},
345     {{al, r9, 0x8000}, false, al, "al r9 0x8000", "al_r9_0x8000"},
346     {{al, r9, 0x8001}, false, al, "al r9 0x8001", "al_r9_0x8001"},
347     {{al, r9, 0x8002}, false, al, "al r9 0x8002", "al_r9_0x8002"},
348     {{al, r9, 0x8003}, false, al, "al r9 0x8003", "al_r9_0x8003"},
349     {{al, r9, 0xff80}, false, al, "al r9 0xff80", "al_r9_0xff80"},
350     {{al, r9, 0xff81}, false, al, "al r9 0xff81", "al_r9_0xff81"},
351     {{al, r9, 0xff82}, false, al, "al r9 0xff82", "al_r9_0xff82"},
352     {{al, r9, 0xff83}, false, al, "al r9 0xff83", "al_r9_0xff83"},
353     {{al, r9, 0xffe0}, false, al, "al r9 0xffe0", "al_r9_0xffe0"},
354     {{al, r9, 0xfffd}, false, al, "al r9 0xfffd", "al_r9_0xfffd"},
355     {{al, r9, 0xfffe}, false, al, "al r9 0xfffe", "al_r9_0xfffe"},
356     {{al, r9, 0xffff}, false, al, "al r9 0xffff", "al_r9_0xffff"},
357     {{al, r10, 0x0000}, false, al, "al r10 0x0000", "al_r10_0x0000"},
358     {{al, r10, 0x0001}, false, al, "al r10 0x0001", "al_r10_0x0001"},
359     {{al, r10, 0x0002}, false, al, "al r10 0x0002", "al_r10_0x0002"},
360     {{al, r10, 0x0020}, false, al, "al r10 0x0020", "al_r10_0x0020"},
361     {{al, r10, 0x007d}, false, al, "al r10 0x007d", "al_r10_0x007d"},
362     {{al, r10, 0x007e}, false, al, "al r10 0x007e", "al_r10_0x007e"},
363     {{al, r10, 0x007f}, false, al, "al r10 0x007f", "al_r10_0x007f"},
364     {{al, r10, 0x7ffd}, false, al, "al r10 0x7ffd", "al_r10_0x7ffd"},
365     {{al, r10, 0x7ffe}, false, al, "al r10 0x7ffe", "al_r10_0x7ffe"},
366     {{al, r10, 0x7fff}, false, al, "al r10 0x7fff", "al_r10_0x7fff"},
367     {{al, r10, 0x3333}, false, al, "al r10 0x3333", "al_r10_0x3333"},
368     {{al, r10, 0x5555}, false, al, "al r10 0x5555", "al_r10_0x5555"},
369     {{al, r10, 0xaaaa}, false, al, "al r10 0xaaaa", "al_r10_0xaaaa"},
370     {{al, r10, 0xcccc}, false, al, "al r10 0xcccc", "al_r10_0xcccc"},
371     {{al, r10, 0x8000}, false, al, "al r10 0x8000", "al_r10_0x8000"},
372     {{al, r10, 0x8001}, false, al, "al r10 0x8001", "al_r10_0x8001"},
373     {{al, r10, 0x8002}, false, al, "al r10 0x8002", "al_r10_0x8002"},
374     {{al, r10, 0x8003}, false, al, "al r10 0x8003", "al_r10_0x8003"},
375     {{al, r10, 0xff80}, false, al, "al r10 0xff80", "al_r10_0xff80"},
376     {{al, r10, 0xff81}, false, al, "al r10 0xff81", "al_r10_0xff81"},
377     {{al, r10, 0xff82}, false, al, "al r10 0xff82", "al_r10_0xff82"},
378     {{al, r10, 0xff83}, false, al, "al r10 0xff83", "al_r10_0xff83"},
379     {{al, r10, 0xffe0}, false, al, "al r10 0xffe0", "al_r10_0xffe0"},
380     {{al, r10, 0xfffd}, false, al, "al r10 0xfffd", "al_r10_0xfffd"},
381     {{al, r10, 0xfffe}, false, al, "al r10 0xfffe", "al_r10_0xfffe"},
382     {{al, r10, 0xffff}, false, al, "al r10 0xffff", "al_r10_0xffff"},
383     {{al, r11, 0x0000}, false, al, "al r11 0x0000", "al_r11_0x0000"},
384     {{al, r11, 0x0001}, false, al, "al r11 0x0001", "al_r11_0x0001"},
385     {{al, r11, 0x0002}, false, al, "al r11 0x0002", "al_r11_0x0002"},
386     {{al, r11, 0x0020}, false, al, "al r11 0x0020", "al_r11_0x0020"},
387     {{al, r11, 0x007d}, false, al, "al r11 0x007d", "al_r11_0x007d"},
388     {{al, r11, 0x007e}, false, al, "al r11 0x007e", "al_r11_0x007e"},
389     {{al, r11, 0x007f}, false, al, "al r11 0x007f", "al_r11_0x007f"},
390     {{al, r11, 0x7ffd}, false, al, "al r11 0x7ffd", "al_r11_0x7ffd"},
391     {{al, r11, 0x7ffe}, false, al, "al r11 0x7ffe", "al_r11_0x7ffe"},
392     {{al, r11, 0x7fff}, false, al, "al r11 0x7fff", "al_r11_0x7fff"},
393     {{al, r11, 0x3333}, false, al, "al r11 0x3333", "al_r11_0x3333"},
394     {{al, r11, 0x5555}, false, al, "al r11 0x5555", "al_r11_0x5555"},
395     {{al, r11, 0xaaaa}, false, al, "al r11 0xaaaa", "al_r11_0xaaaa"},
396     {{al, r11, 0xcccc}, false, al, "al r11 0xcccc", "al_r11_0xcccc"},
397     {{al, r11, 0x8000}, false, al, "al r11 0x8000", "al_r11_0x8000"},
398     {{al, r11, 0x8001}, false, al, "al r11 0x8001", "al_r11_0x8001"},
399     {{al, r11, 0x8002}, false, al, "al r11 0x8002", "al_r11_0x8002"},
400     {{al, r11, 0x8003}, false, al, "al r11 0x8003", "al_r11_0x8003"},
401     {{al, r11, 0xff80}, false, al, "al r11 0xff80", "al_r11_0xff80"},
402     {{al, r11, 0xff81}, false, al, "al r11 0xff81", "al_r11_0xff81"},
403     {{al, r11, 0xff82}, false, al, "al r11 0xff82", "al_r11_0xff82"},
404     {{al, r11, 0xff83}, false, al, "al r11 0xff83", "al_r11_0xff83"},
405     {{al, r11, 0xffe0}, false, al, "al r11 0xffe0", "al_r11_0xffe0"},
406     {{al, r11, 0xfffd}, false, al, "al r11 0xfffd", "al_r11_0xfffd"},
407     {{al, r11, 0xfffe}, false, al, "al r11 0xfffe", "al_r11_0xfffe"},
408     {{al, r11, 0xffff}, false, al, "al r11 0xffff", "al_r11_0xffff"},
409     {{al, r12, 0x0000}, false, al, "al r12 0x0000", "al_r12_0x0000"},
410     {{al, r12, 0x0001}, false, al, "al r12 0x0001", "al_r12_0x0001"},
411     {{al, r12, 0x0002}, false, al, "al r12 0x0002", "al_r12_0x0002"},
412     {{al, r12, 0x0020}, false, al, "al r12 0x0020", "al_r12_0x0020"},
413     {{al, r12, 0x007d}, false, al, "al r12 0x007d", "al_r12_0x007d"},
414     {{al, r12, 0x007e}, false, al, "al r12 0x007e", "al_r12_0x007e"},
415     {{al, r12, 0x007f}, false, al, "al r12 0x007f", "al_r12_0x007f"},
416     {{al, r12, 0x7ffd}, false, al, "al r12 0x7ffd", "al_r12_0x7ffd"},
417     {{al, r12, 0x7ffe}, false, al, "al r12 0x7ffe", "al_r12_0x7ffe"},
418     {{al, r12, 0x7fff}, false, al, "al r12 0x7fff", "al_r12_0x7fff"},
419     {{al, r12, 0x3333}, false, al, "al r12 0x3333", "al_r12_0x3333"},
420     {{al, r12, 0x5555}, false, al, "al r12 0x5555", "al_r12_0x5555"},
421     {{al, r12, 0xaaaa}, false, al, "al r12 0xaaaa", "al_r12_0xaaaa"},
422     {{al, r12, 0xcccc}, false, al, "al r12 0xcccc", "al_r12_0xcccc"},
423     {{al, r12, 0x8000}, false, al, "al r12 0x8000", "al_r12_0x8000"},
424     {{al, r12, 0x8001}, false, al, "al r12 0x8001", "al_r12_0x8001"},
425     {{al, r12, 0x8002}, false, al, "al r12 0x8002", "al_r12_0x8002"},
426     {{al, r12, 0x8003}, false, al, "al r12 0x8003", "al_r12_0x8003"},
427     {{al, r12, 0xff80}, false, al, "al r12 0xff80", "al_r12_0xff80"},
428     {{al, r12, 0xff81}, false, al, "al r12 0xff81", "al_r12_0xff81"},
429     {{al, r12, 0xff82}, false, al, "al r12 0xff82", "al_r12_0xff82"},
430     {{al, r12, 0xff83}, false, al, "al r12 0xff83", "al_r12_0xff83"},
431     {{al, r12, 0xffe0}, false, al, "al r12 0xffe0", "al_r12_0xffe0"},
432     {{al, r12, 0xfffd}, false, al, "al r12 0xfffd", "al_r12_0xfffd"},
433     {{al, r12, 0xfffe}, false, al, "al r12 0xfffe", "al_r12_0xfffe"},
434     {{al, r12, 0xffff}, false, al, "al r12 0xffff", "al_r12_0xffff"},
435     {{al, r13, 0x0000}, false, al, "al r13 0x0000", "al_r13_0x0000"},
436     {{al, r13, 0x0001}, false, al, "al r13 0x0001", "al_r13_0x0001"},
437     {{al, r13, 0x0002}, false, al, "al r13 0x0002", "al_r13_0x0002"},
438     {{al, r13, 0x0020}, false, al, "al r13 0x0020", "al_r13_0x0020"},
439     {{al, r13, 0x007d}, false, al, "al r13 0x007d", "al_r13_0x007d"},
440     {{al, r13, 0x007e}, false, al, "al r13 0x007e", "al_r13_0x007e"},
441     {{al, r13, 0x007f}, false, al, "al r13 0x007f", "al_r13_0x007f"},
442     {{al, r13, 0x7ffd}, false, al, "al r13 0x7ffd", "al_r13_0x7ffd"},
443     {{al, r13, 0x7ffe}, false, al, "al r13 0x7ffe", "al_r13_0x7ffe"},
444     {{al, r13, 0x7fff}, false, al, "al r13 0x7fff", "al_r13_0x7fff"},
445     {{al, r13, 0x3333}, false, al, "al r13 0x3333", "al_r13_0x3333"},
446     {{al, r13, 0x5555}, false, al, "al r13 0x5555", "al_r13_0x5555"},
447     {{al, r13, 0xaaaa}, false, al, "al r13 0xaaaa", "al_r13_0xaaaa"},
448     {{al, r13, 0xcccc}, false, al, "al r13 0xcccc", "al_r13_0xcccc"},
449     {{al, r13, 0x8000}, false, al, "al r13 0x8000", "al_r13_0x8000"},
450     {{al, r13, 0x8001}, false, al, "al r13 0x8001", "al_r13_0x8001"},
451     {{al, r13, 0x8002}, false, al, "al r13 0x8002", "al_r13_0x8002"},
452     {{al, r13, 0x8003}, false, al, "al r13 0x8003", "al_r13_0x8003"},
453     {{al, r13, 0xff80}, false, al, "al r13 0xff80", "al_r13_0xff80"},
454     {{al, r13, 0xff81}, false, al, "al r13 0xff81", "al_r13_0xff81"},
455     {{al, r13, 0xff82}, false, al, "al r13 0xff82", "al_r13_0xff82"},
456     {{al, r13, 0xff83}, false, al, "al r13 0xff83", "al_r13_0xff83"},
457     {{al, r13, 0xffe0}, false, al, "al r13 0xffe0", "al_r13_0xffe0"},
458     {{al, r13, 0xfffd}, false, al, "al r13 0xfffd", "al_r13_0xfffd"},
459     {{al, r13, 0xfffe}, false, al, "al r13 0xfffe", "al_r13_0xfffe"},
460     {{al, r13, 0xffff}, false, al, "al r13 0xffff", "al_r13_0xffff"},
461     {{al, r14, 0x0000}, false, al, "al r14 0x0000", "al_r14_0x0000"},
462     {{al, r14, 0x0001}, false, al, "al r14 0x0001", "al_r14_0x0001"},
463     {{al, r14, 0x0002}, false, al, "al r14 0x0002", "al_r14_0x0002"},
464     {{al, r14, 0x0020}, false, al, "al r14 0x0020", "al_r14_0x0020"},
465     {{al, r14, 0x007d}, false, al, "al r14 0x007d", "al_r14_0x007d"},
466     {{al, r14, 0x007e}, false, al, "al r14 0x007e", "al_r14_0x007e"},
467     {{al, r14, 0x007f}, false, al, "al r14 0x007f", "al_r14_0x007f"},
468     {{al, r14, 0x7ffd}, false, al, "al r14 0x7ffd", "al_r14_0x7ffd"},
469     {{al, r14, 0x7ffe}, false, al, "al r14 0x7ffe", "al_r14_0x7ffe"},
470     {{al, r14, 0x7fff}, false, al, "al r14 0x7fff", "al_r14_0x7fff"},
471     {{al, r14, 0x3333}, false, al, "al r14 0x3333", "al_r14_0x3333"},
472     {{al, r14, 0x5555}, false, al, "al r14 0x5555", "al_r14_0x5555"},
473     {{al, r14, 0xaaaa}, false, al, "al r14 0xaaaa", "al_r14_0xaaaa"},
474     {{al, r14, 0xcccc}, false, al, "al r14 0xcccc", "al_r14_0xcccc"},
475     {{al, r14, 0x8000}, false, al, "al r14 0x8000", "al_r14_0x8000"},
476     {{al, r14, 0x8001}, false, al, "al r14 0x8001", "al_r14_0x8001"},
477     {{al, r14, 0x8002}, false, al, "al r14 0x8002", "al_r14_0x8002"},
478     {{al, r14, 0x8003}, false, al, "al r14 0x8003", "al_r14_0x8003"},
479     {{al, r14, 0xff80}, false, al, "al r14 0xff80", "al_r14_0xff80"},
480     {{al, r14, 0xff81}, false, al, "al r14 0xff81", "al_r14_0xff81"},
481     {{al, r14, 0xff82}, false, al, "al r14 0xff82", "al_r14_0xff82"},
482     {{al, r14, 0xff83}, false, al, "al r14 0xff83", "al_r14_0xff83"},
483     {{al, r14, 0xffe0}, false, al, "al r14 0xffe0", "al_r14_0xffe0"},
484     {{al, r14, 0xfffd}, false, al, "al r14 0xfffd", "al_r14_0xfffd"},
485     {{al, r14, 0xfffe}, false, al, "al r14 0xfffe", "al_r14_0xfffe"},
486     {{al, r14, 0xffff}, false, al, "al r14 0xffff", "al_r14_0xffff"}};
487
488// These headers each contain an array of `TestResult` with the reference output
489// values. The reference arrays are names `kReference{mnemonic}`.
490#include "aarch32/traces/assembler-cond-rd-operand-imm16-mov-t32.h"
491#include "aarch32/traces/assembler-cond-rd-operand-imm16-movt-t32.h"
492#include "aarch32/traces/assembler-cond-rd-operand-imm16-movw-t32.h"
493
494
495// The maximum number of errors to report in detail for each test.
496const unsigned kErrorReportLimit = 8;
497
498typedef void (MacroAssembler::*Fn)(Condition cond,
499                                   Register rd,
500                                   const Operand& op);
501
502void TestHelper(Fn instruction,
503                const char* mnemonic,
504                const TestResult reference[]) {
505  unsigned total_error_count = 0;
506  MacroAssembler masm(BUF_SIZE);
507
508  masm.UseT32();
509
510  for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
511    // Values to pass to the macro-assembler.
512    Condition cond = kTests[i].operands.cond;
513    Register rd = kTests[i].operands.rd;
514    uint32_t immediate = kTests[i].operands.immediate;
515    Operand op(immediate);
516
517    int32_t start = masm.GetCursorOffset();
518    {
519      // We never generate more that 4 bytes, as IT instructions are only
520      // allowed for narrow encodings.
521      ExactAssemblyScope scope(&masm, 4, ExactAssemblyScope::kMaximumSize);
522      if (kTests[i].in_it_block) {
523        masm.it(kTests[i].it_condition);
524      }
525      (masm.*instruction)(cond, rd, op);
526    }
527    int32_t end = masm.GetCursorOffset();
528
529    const byte* result_ptr =
530        masm.GetBuffer()->GetOffsetAddress<const byte*>(start);
531    VIXL_ASSERT(start < end);
532    uint32_t result_size = end - start;
533
534    if (Test::generate_test_trace()) {
535      // Print the result bytes.
536      printf("const byte kInstruction_%s_%s[] = {\n",
537             mnemonic,
538             kTests[i].identifier);
539      for (uint32_t j = 0; j < result_size; j++) {
540        if (j == 0) {
541          printf("  0x%02" PRIx8, result_ptr[j]);
542        } else {
543          printf(", 0x%02" PRIx8, result_ptr[j]);
544        }
545      }
546      // This comment is meant to be used by external tools to validate
547      // the encoding. We can parse the comment to figure out what
548      // instruction this corresponds to.
549      if (kTests[i].in_it_block) {
550        printf(" // It %s; %s %s\n};\n",
551               kTests[i].it_condition.GetName(),
552               mnemonic,
553               kTests[i].operands_description);
554      } else {
555        printf(" // %s %s\n};\n", mnemonic, kTests[i].operands_description);
556      }
557    } else {
558      // Check we've emitted the exact same encoding as present in the
559      // trace file. Only print up to `kErrorReportLimit` errors.
560      if (((result_size != reference[i].size) ||
561           (memcmp(result_ptr, reference[i].encoding, reference[i].size) !=
562            0)) &&
563          (++total_error_count <= kErrorReportLimit)) {
564        printf("Error when testing \"%s\" with operands \"%s\":\n",
565               mnemonic,
566               kTests[i].operands_description);
567        printf("  Expected: ");
568        for (uint32_t j = 0; j < reference[i].size; j++) {
569          if (j == 0) {
570            printf("0x%02" PRIx8, reference[i].encoding[j]);
571          } else {
572            printf(", 0x%02" PRIx8, reference[i].encoding[j]);
573          }
574        }
575        printf("\n");
576        printf("  Found:    ");
577        for (uint32_t j = 0; j < result_size; j++) {
578          if (j == 0) {
579            printf("0x%02" PRIx8, result_ptr[j]);
580          } else {
581            printf(", 0x%02" PRIx8, result_ptr[j]);
582          }
583        }
584        printf("\n");
585      }
586    }
587  }
588
589  masm.FinalizeCode();
590
591  if (Test::generate_test_trace()) {
592    // Finalize the trace file by writing the final `TestResult` array
593    // which links all generated instruction encodings.
594    printf("const TestResult kReference%s[] = {\n", mnemonic);
595    for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
596      printf("  {\n");
597      printf("    ARRAY_SIZE(kInstruction_%s_%s),\n",
598             mnemonic,
599             kTests[i].identifier);
600      printf("    kInstruction_%s_%s,\n", mnemonic, kTests[i].identifier);
601      printf("  },\n");
602    }
603    printf("};\n");
604  } else {
605    if (total_error_count > kErrorReportLimit) {
606      printf("%u other errors follow.\n",
607             total_error_count - kErrorReportLimit);
608    }
609    // Crash if the test failed.
610    VIXL_CHECK(total_error_count == 0);
611  }
612}
613
614// Instantiate tests for each instruction in the list.
615#define TEST(mnemonic)                                                      \
616  void Test_##mnemonic() {                                                  \
617    TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \
618  }                                                                         \
619  Test test_##mnemonic("AARCH32_ASSEMBLER_COND_RD_OPERAND_IMM16_" #mnemonic \
620                       "_T32",                                              \
621                       &Test_##mnemonic);
622FOREACH_INSTRUCTION(TEST)
623#undef TEST
624
625}  // namespace
626#endif
627
628}  // namespace aarch32
629}  // namespace vixl
630