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-simulator-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/disasm-aarch32.h"
44#include "aarch32/macro-assembler-aarch32.h"
45
46#define __ masm.
47#define BUF_SIZE (4096)
48
49#ifdef VIXL_INCLUDE_SIMULATOR_AARCH32
50// Run tests with the simulator.
51
52#define SETUP() MacroAssembler masm(BUF_SIZE)
53
54#define START() masm.GetBuffer()->Reset()
55
56#define END() \
57  __ Hlt(0);  \
58  __ FinalizeCode();
59
60// TODO: Run the tests in the simulator.
61#define RUN()
62
63#else  // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32.
64
65#define SETUP()                  \
66  MacroAssembler masm(BUF_SIZE); \
67  UseScratchRegisterScope harness_scratch;
68
69#define START()                 \
70  harness_scratch.Open(&masm);  \
71  harness_scratch.ExcludeAll(); \
72  masm.GetBuffer()->Reset();    \
73  __ Push(r4);                  \
74  __ Push(r5);                  \
75  __ Push(r6);                  \
76  __ Push(r7);                  \
77  __ Push(r8);                  \
78  __ Push(r9);                  \
79  __ Push(r10);                 \
80  __ Push(r11);                 \
81  __ Push(lr);                  \
82  harness_scratch.Include(ip);
83
84#define END()                  \
85  harness_scratch.Exclude(ip); \
86  __ Pop(lr);                  \
87  __ Pop(r11);                 \
88  __ Pop(r10);                 \
89  __ Pop(r9);                  \
90  __ Pop(r8);                  \
91  __ Pop(r7);                  \
92  __ Pop(r6);                  \
93  __ Pop(r5);                  \
94  __ Pop(r4);                  \
95  __ Bx(lr);                   \
96  __ FinalizeCode();           \
97  harness_scratch.Close();
98
99#define RUN()                                                 \
100  {                                                           \
101    int pcs_offset = masm.IsUsingT32() ? 1 : 0;               \
102    masm.GetBuffer()->SetExecutable();                        \
103    ExecuteMemory(masm.GetBuffer()->GetStartAddress<byte*>(), \
104                  masm.GetSizeOfCodeGenerated(),              \
105                  pcs_offset);                                \
106    masm.GetBuffer()->SetWritable();                          \
107  }
108
109#endif  // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32
110
111namespace vixl {
112namespace aarch32 {
113
114// List of instruction encodings:
115#define FOREACH_INSTRUCTION(M) \
116  M(Adc)                       \
117  M(Adcs)                      \
118  M(Add)                       \
119  M(Adds)                      \
120  M(And)                       \
121  M(Ands)                      \
122  M(Bic)                       \
123  M(Bics)                      \
124  M(Eor)                       \
125  M(Eors)                      \
126  M(Orn)                       \
127  M(Orns)                      \
128  M(Orr)                       \
129  M(Orrs)                      \
130  M(Rsb)                       \
131  M(Rsbs)                      \
132  M(Sbc)                       \
133  M(Sbcs)                      \
134  M(Sub)                       \
135  M(Subs)
136
137
138// The following definitions are defined again in each generated test, therefore
139// we need to place them in an anomymous namespace. It expresses that they are
140// local to this file only, and the compiler is not allowed to share these types
141// across test files during template instantiation. Specifically, `Operands` and
142// `Inputs` have various layouts across generated tests so they absolutely
143// cannot be shared.
144
145#ifdef VIXL_INCLUDE_TARGET_T32
146namespace {
147
148// Values to be passed to the assembler to produce the instruction under test.
149struct Operands {
150  Condition cond;
151  Register rd;
152  Register rn;
153  Register rm;
154  ShiftType shift;
155  uint32_t amount;
156};
157
158// Input data to feed to the instruction.
159struct Inputs {
160  uint32_t apsr;
161  uint32_t rd;
162  uint32_t rn;
163  uint32_t rm;
164};
165
166// This structure contains all input data needed to test one specific encoding.
167// It used to generate a loop over an instruction.
168struct TestLoopData {
169  // The `operands` fields represents the values to pass to the assembler to
170  // produce the instruction.
171  Operands operands;
172  // Description of the operands, used for error reporting.
173  const char* operands_description;
174  // Unique identifier, used for generating traces.
175  const char* identifier;
176  // Array of values to be fed to the instruction.
177  size_t input_size;
178  const Inputs* inputs;
179};
180
181static const Inputs kCondition[] =
182    {{NFlag, 0xabababab, 0xabababab, 0xabababab},
183     {ZFlag, 0xabababab, 0xabababab, 0xabababab},
184     {CFlag, 0xabababab, 0xabababab, 0xabababab},
185     {VFlag, 0xabababab, 0xabababab, 0xabababab},
186     {NZFlag, 0xabababab, 0xabababab, 0xabababab},
187     {NCFlag, 0xabababab, 0xabababab, 0xabababab},
188     {NVFlag, 0xabababab, 0xabababab, 0xabababab},
189     {ZCFlag, 0xabababab, 0xabababab, 0xabababab},
190     {ZVFlag, 0xabababab, 0xabababab, 0xabababab},
191     {CVFlag, 0xabababab, 0xabababab, 0xabababab},
192     {NZCFlag, 0xabababab, 0xabababab, 0xabababab},
193     {NZVFlag, 0xabababab, 0xabababab, 0xabababab},
194     {NCVFlag, 0xabababab, 0xabababab, 0xabababab},
195     {ZCVFlag, 0xabababab, 0xabababab, 0xabababab},
196     {NZCVFlag, 0xabababab, 0xabababab, 0xabababab}};
197
198static const Inputs kRdIsRn[] = {{NoFlag, 0xffffff83, 0xffffff83, 0xffff8002},
199                                 {NoFlag, 0x0000007e, 0x0000007e, 0x7fffffff},
200                                 {NoFlag, 0x0000007d, 0x0000007d, 0xffffffe0},
201                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x00000002},
202                                 {NoFlag, 0xffff8002, 0xffff8002, 0xfffffffd},
203                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x00007fff},
204                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffffff83},
205                                 {NoFlag, 0xffff8002, 0xffff8002, 0x80000001},
206                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0xffff8003},
207                                 {NoFlag, 0x00007fff, 0x00007fff, 0xffffffff},
208                                 {NoFlag, 0x00000000, 0x00000000, 0xffffff80},
209                                 {NoFlag, 0xffff8001, 0xffff8001, 0x33333333},
210                                 {NoFlag, 0xffffff80, 0xffffff80, 0x0000007e},
211                                 {NoFlag, 0x0000007e, 0x0000007e, 0x7ffffffd},
212                                 {NoFlag, 0xffffff80, 0xffffff80, 0xfffffffd},
213                                 {NoFlag, 0x00000020, 0x00000020, 0xffff8002},
214                                 {NoFlag, 0xffffff80, 0xffffff80, 0xfffffffe},
215                                 {NoFlag, 0x00000002, 0x00000002, 0x00000000},
216                                 {NoFlag, 0x0000007e, 0x0000007e, 0x00000001},
217                                 {NoFlag, 0x00000002, 0x00000002, 0x0000007f},
218                                 {NoFlag, 0x80000000, 0x80000000, 0x80000000},
219                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xffffff80},
220                                 {NoFlag, 0x00000001, 0x00000001, 0xfffffffe},
221                                 {NoFlag, 0x33333333, 0x33333333, 0x0000007d},
222                                 {NoFlag, 0x00000001, 0x00000001, 0x7ffffffe},
223                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0x7fffffff},
224                                 {NoFlag, 0x80000000, 0x80000000, 0xffffff83},
225                                 {NoFlag, 0x00000000, 0x00000000, 0x7ffffffe},
226                                 {NoFlag, 0x00000000, 0x00000000, 0x0000007f},
227                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xcccccccc},
228                                 {NoFlag, 0xffffff82, 0xffffff82, 0x00000002},
229                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xaaaaaaaa},
230                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0xffff8001},
231                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffff8001},
232                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x00000020},
233                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x00007ffe},
234                                 {NoFlag, 0x80000001, 0x80000001, 0xffff8000},
235                                 {NoFlag, 0xffffff82, 0xffffff82, 0x0000007d},
236                                 {NoFlag, 0x0000007e, 0x0000007e, 0x7ffffffe},
237                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0xffffff80},
238                                 {NoFlag, 0x0000007d, 0x0000007d, 0x0000007e},
239                                 {NoFlag, 0xffff8002, 0xffff8002, 0x7fffffff},
240                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x0000007f},
241                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0xffffff81},
242                                 {NoFlag, 0x80000000, 0x80000000, 0x0000007e},
243                                 {NoFlag, 0xffffffff, 0xffffffff, 0xaaaaaaaa},
244                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0x00000020},
245                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffff8003},
246                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xffff8002},
247                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0x00000000},
248                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0xffffffe0},
249                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffff8002},
250                                 {NoFlag, 0xffffff82, 0xffffff82, 0x7ffffffd},
251                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0x80000000},
252                                 {NoFlag, 0x80000001, 0x80000001, 0x33333333},
253                                 {NoFlag, 0x00000001, 0x00000001, 0x00000002},
254                                 {NoFlag, 0x55555555, 0x55555555, 0x0000007f},
255                                 {NoFlag, 0xffffffff, 0xffffffff, 0xfffffffd},
256                                 {NoFlag, 0xffffff80, 0xffffff80, 0x80000000},
257                                 {NoFlag, 0x00000000, 0x00000000, 0x00000020},
258                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffff8003},
259                                 {NoFlag, 0xffff8001, 0xffff8001, 0xffff8000},
260                                 {NoFlag, 0x55555555, 0x55555555, 0x55555555},
261                                 {NoFlag, 0x00007fff, 0x00007fff, 0xffff8000},
262                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xffffffe0},
263                                 {NoFlag, 0x00000001, 0x00000001, 0x55555555},
264                                 {NoFlag, 0x33333333, 0x33333333, 0x7ffffffe},
265                                 {NoFlag, 0x80000000, 0x80000000, 0xffffffe0},
266                                 {NoFlag, 0xffffff83, 0xffffff83, 0x0000007d},
267                                 {NoFlag, 0xffff8003, 0xffff8003, 0x00000002},
268                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0xffffff81},
269                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffffff80},
270                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0xffff8002},
271                                 {NoFlag, 0x80000001, 0x80000001, 0xfffffffe},
272                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xfffffffd},
273                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xfffffffe},
274                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0xffffff83},
275                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x00007ffe},
276                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x80000000},
277                                 {NoFlag, 0xffffff82, 0xffffff82, 0x7fffffff},
278                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0xffffff83},
279                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffff8000},
280                                 {NoFlag, 0x00000001, 0x00000001, 0x7fffffff},
281                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffffffff},
282                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffffffff},
283                                 {NoFlag, 0xffffffff, 0xffffffff, 0xfffffffe},
284                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x0000007d},
285                                 {NoFlag, 0xffff8001, 0xffff8001, 0xfffffffe},
286                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0x0000007d},
287                                 {NoFlag, 0xffffff82, 0xffffff82, 0xfffffffe},
288                                 {NoFlag, 0x00000000, 0x00000000, 0x00007ffd},
289                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0xffff8002},
290                                 {NoFlag, 0x0000007f, 0x0000007f, 0xffffff82},
291                                 {NoFlag, 0x00007fff, 0x00007fff, 0x33333333},
292                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x80000000},
293                                 {NoFlag, 0x00000000, 0x00000000, 0xfffffffd},
294                                 {NoFlag, 0x0000007d, 0x0000007d, 0x0000007f},
295                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x0000007e},
296                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x55555555},
297                                 {NoFlag, 0xffffffff, 0xffffffff, 0x80000000},
298                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x0000007e},
299                                 {NoFlag, 0xffffff81, 0xffffff81, 0x00007ffd},
300                                 {NoFlag, 0x00000020, 0x00000020, 0xffff8001},
301                                 {NoFlag, 0x00007fff, 0x00007fff, 0xffffff83},
302                                 {NoFlag, 0x33333333, 0x33333333, 0x00000000},
303                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffffff82},
304                                 {NoFlag, 0xffff8001, 0xffff8001, 0x0000007e},
305                                 {NoFlag, 0xffffff80, 0xffffff80, 0x00000001},
306                                 {NoFlag, 0x80000000, 0x80000000, 0xcccccccc},
307                                 {NoFlag, 0x00000002, 0x00000002, 0x00007ffd},
308                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0x80000001},
309                                 {NoFlag, 0x00000020, 0x00000020, 0x00007ffe},
310                                 {NoFlag, 0xffff8000, 0xffff8000, 0xfffffffd},
311                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xffff8001},
312                                 {NoFlag, 0x00000000, 0x00000000, 0xffffff83},
313                                 {NoFlag, 0x0000007f, 0x0000007f, 0x00000020},
314                                 {NoFlag, 0x80000001, 0x80000001, 0xffff8003},
315                                 {NoFlag, 0xffff8001, 0xffff8001, 0x0000007f},
316                                 {NoFlag, 0x0000007f, 0x0000007f, 0x80000001},
317                                 {NoFlag, 0x00000002, 0x00000002, 0x7ffffffe},
318                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffffff83},
319                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0x7fffffff},
320                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0xfffffffe},
321                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffff8000},
322                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffff8000},
323                                 {NoFlag, 0xffff8002, 0xffff8002, 0xffffff81},
324                                 {NoFlag, 0x33333333, 0x33333333, 0x7fffffff},
325                                 {NoFlag, 0x80000001, 0x80000001, 0x00007fff},
326                                 {NoFlag, 0xffff8002, 0xffff8002, 0xcccccccc},
327                                 {NoFlag, 0xffffffff, 0xffffffff, 0x00000002},
328                                 {NoFlag, 0x33333333, 0x33333333, 0xffffff81},
329                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0xffffff80},
330                                 {NoFlag, 0x55555555, 0x55555555, 0xaaaaaaaa},
331                                 {NoFlag, 0x33333333, 0x33333333, 0xffffff82},
332                                 {NoFlag, 0xffffff80, 0xffffff80, 0xaaaaaaaa},
333                                 {NoFlag, 0x0000007e, 0x0000007e, 0x00000020},
334                                 {NoFlag, 0xffffff83, 0xffffff83, 0x00007ffd},
335                                 {NoFlag, 0xffffff82, 0xffffff82, 0xaaaaaaaa},
336                                 {NoFlag, 0xffff8003, 0xffff8003, 0xffffffff},
337                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0xfffffffe},
338                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x00000000},
339                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x0000007f},
340                                 {NoFlag, 0x0000007f, 0x0000007f, 0x0000007d},
341                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x55555555},
342                                 {NoFlag, 0xffffffff, 0xffffffff, 0x00000020},
343                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0xffffff83},
344                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x55555555},
345                                 {NoFlag, 0x55555555, 0x55555555, 0xcccccccc},
346                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0xffff8003},
347                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0x00007ffe},
348                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0xffff8002},
349                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0x00000001},
350                                 {NoFlag, 0x00000000, 0x00000000, 0x00007ffe},
351                                 {NoFlag, 0xffffff80, 0xffffff80, 0x00000020},
352                                 {NoFlag, 0xffff8000, 0xffff8000, 0x0000007d},
353                                 {NoFlag, 0xffff8003, 0xffff8003, 0x00000000},
354                                 {NoFlag, 0x0000007e, 0x0000007e, 0x80000000},
355                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x00000000},
356                                 {NoFlag, 0xffffff80, 0xffffff80, 0xffffffff},
357                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0x0000007f},
358                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0x00000000},
359                                 {NoFlag, 0x00007fff, 0x00007fff, 0x00000000},
360                                 {NoFlag, 0x0000007f, 0x0000007f, 0x00000001},
361                                 {NoFlag, 0xffffffff, 0xffffffff, 0xffffff82},
362                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0x00007ffd},
363                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x33333333},
364                                 {NoFlag, 0xffffff82, 0xffffff82, 0x55555555},
365                                 {NoFlag, 0xffff8003, 0xffff8003, 0x0000007e},
366                                 {NoFlag, 0xffffff83, 0xffffff83, 0x00000002},
367                                 {NoFlag, 0xffffff82, 0xffffff82, 0x33333333},
368                                 {NoFlag, 0x55555555, 0x55555555, 0xffffffff},
369                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x80000001},
370                                 {NoFlag, 0xffffff83, 0xffffff83, 0xffffffe0},
371                                 {NoFlag, 0x00000001, 0x00000001, 0xffffffe0},
372                                 {NoFlag, 0x33333333, 0x33333333, 0x33333333},
373                                 {NoFlag, 0x55555555, 0x55555555, 0x00000001},
374                                 {NoFlag, 0xffffff83, 0xffffff83, 0x00007fff},
375                                 {NoFlag, 0x00000002, 0x00000002, 0xfffffffd},
376                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0xffff8002},
377                                 {NoFlag, 0x80000000, 0x80000000, 0x00007ffd},
378                                 {NoFlag, 0xffffff83, 0xffffff83, 0xfffffffe},
379                                 {NoFlag, 0x80000001, 0x80000001, 0xffffffff},
380                                 {NoFlag, 0xffff8003, 0xffff8003, 0x00000020},
381                                 {NoFlag, 0xffffff82, 0xffffff82, 0xcccccccc},
382                                 {NoFlag, 0x00000020, 0x00000020, 0x7fffffff},
383                                 {NoFlag, 0xffffff80, 0xffffff80, 0x55555555},
384                                 {NoFlag, 0x00000001, 0x00000001, 0x00000020},
385                                 {NoFlag, 0xffff8001, 0xffff8001, 0x00007fff},
386                                 {NoFlag, 0x00000020, 0x00000020, 0xaaaaaaaa},
387                                 {NoFlag, 0x55555555, 0x55555555, 0x7fffffff},
388                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0x7fffffff},
389                                 {NoFlag, 0x00007fff, 0x00007fff, 0x55555555},
390                                 {NoFlag, 0x55555555, 0x55555555, 0x0000007d},
391                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0x7ffffffe},
392                                 {NoFlag, 0xffff8002, 0xffff8002, 0x00007ffe},
393                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffffff81},
394                                 {NoFlag, 0xffffff81, 0xffffff81, 0x0000007d},
395                                 {NoFlag, 0x00000020, 0x00000020, 0x0000007e},
396                                 {NoFlag, 0xffffffff, 0xffffffff, 0x00007ffe},
397                                 {NoFlag, 0xffff8002, 0xffff8002, 0x0000007e}};
398
399static const Inputs kRdIsRm[] = {{NoFlag, 0x55555555, 0x7ffffffe, 0x55555555},
400                                 {NoFlag, 0xfffffffe, 0x00000001, 0xfffffffe},
401                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffffff82},
402                                 {NoFlag, 0xffff8000, 0xffff8003, 0xffff8000},
403                                 {NoFlag, 0x00000001, 0x00000000, 0x00000001},
404                                 {NoFlag, 0xffffff81, 0x00007fff, 0xffffff81},
405                                 {NoFlag, 0x0000007d, 0xffff8002, 0x0000007d},
406                                 {NoFlag, 0x80000000, 0xffff8000, 0x80000000},
407                                 {NoFlag, 0xffffff80, 0x00000020, 0xffffff80},
408                                 {NoFlag, 0x55555555, 0xffffff81, 0x55555555},
409                                 {NoFlag, 0x00007ffd, 0xffffff82, 0x00007ffd},
410                                 {NoFlag, 0x55555555, 0x00007fff, 0x55555555},
411                                 {NoFlag, 0x7ffffffd, 0xffff8000, 0x7ffffffd},
412                                 {NoFlag, 0xffffffff, 0xffffff83, 0xffffffff},
413                                 {NoFlag, 0x00000000, 0xffffffff, 0x00000000},
414                                 {NoFlag, 0xffff8002, 0x33333333, 0xffff8002},
415                                 {NoFlag, 0x00007ffd, 0xaaaaaaaa, 0x00007ffd},
416                                 {NoFlag, 0x55555555, 0xffff8000, 0x55555555},
417                                 {NoFlag, 0x80000001, 0xffffffff, 0x80000001},
418                                 {NoFlag, 0x0000007d, 0xffffff83, 0x0000007d},
419                                 {NoFlag, 0x0000007e, 0xffffff82, 0x0000007e},
420                                 {NoFlag, 0xcccccccc, 0x0000007d, 0xcccccccc},
421                                 {NoFlag, 0xffff8002, 0xffffffff, 0xffff8002},
422                                 {NoFlag, 0xffffff81, 0x0000007f, 0xffffff81},
423                                 {NoFlag, 0xffff8000, 0xffffff83, 0xffff8000},
424                                 {NoFlag, 0xffffffff, 0xffffffe0, 0xffffffff},
425                                 {NoFlag, 0xfffffffd, 0x80000001, 0xfffffffd},
426                                 {NoFlag, 0x55555555, 0x80000000, 0x55555555},
427                                 {NoFlag, 0xffff8000, 0x0000007d, 0xffff8000},
428                                 {NoFlag, 0xaaaaaaaa, 0xffff8003, 0xaaaaaaaa},
429                                 {NoFlag, 0x00000001, 0x00007ffd, 0x00000001},
430                                 {NoFlag, 0x0000007e, 0x7ffffffe, 0x0000007e},
431                                 {NoFlag, 0x00000020, 0x00007ffd, 0x00000020},
432                                 {NoFlag, 0xffffff81, 0x7ffffffd, 0xffffff81},
433                                 {NoFlag, 0xffffff83, 0x0000007f, 0xffffff83},
434                                 {NoFlag, 0x00000001, 0x0000007e, 0x00000001},
435                                 {NoFlag, 0xffffff82, 0xfffffffd, 0xffffff82},
436                                 {NoFlag, 0xffff8003, 0x7ffffffe, 0xffff8003},
437                                 {NoFlag, 0x00000002, 0x00000002, 0x00000002},
438                                 {NoFlag, 0xffffff83, 0xffff8001, 0xffffff83},
439                                 {NoFlag, 0xffff8002, 0xfffffffe, 0xffff8002},
440                                 {NoFlag, 0xffffff80, 0xffffff81, 0xffffff80},
441                                 {NoFlag, 0x7fffffff, 0xffffff81, 0x7fffffff},
442                                 {NoFlag, 0x00000020, 0xffffff81, 0x00000020},
443                                 {NoFlag, 0x0000007f, 0xffffffff, 0x0000007f},
444                                 {NoFlag, 0x0000007d, 0xcccccccc, 0x0000007d},
445                                 {NoFlag, 0x00007fff, 0x55555555, 0x00007fff},
446                                 {NoFlag, 0xffff8003, 0x00007ffd, 0xffff8003},
447                                 {NoFlag, 0x80000001, 0x80000001, 0x80000001},
448                                 {NoFlag, 0xffffffff, 0xfffffffd, 0xffffffff},
449                                 {NoFlag, 0xffff8000, 0xfffffffe, 0xffff8000},
450                                 {NoFlag, 0xcccccccc, 0x0000007f, 0xcccccccc},
451                                 {NoFlag, 0x00000001, 0x00000002, 0x00000001},
452                                 {NoFlag, 0xffffff82, 0xffffff81, 0xffffff82},
453                                 {NoFlag, 0xfffffffd, 0x00007ffd, 0xfffffffd},
454                                 {NoFlag, 0x80000001, 0x33333333, 0x80000001},
455                                 {NoFlag, 0xffffff82, 0xffff8002, 0xffffff82},
456                                 {NoFlag, 0xffff8003, 0xfffffffd, 0xffff8003},
457                                 {NoFlag, 0xffffff81, 0x00000020, 0xffffff81},
458                                 {NoFlag, 0xffff8001, 0xffff8003, 0xffff8001},
459                                 {NoFlag, 0x00000001, 0x80000001, 0x00000001},
460                                 {NoFlag, 0xfffffffd, 0x00000002, 0xfffffffd},
461                                 {NoFlag, 0xffff8003, 0x7ffffffd, 0xffff8003},
462                                 {NoFlag, 0x0000007e, 0xaaaaaaaa, 0x0000007e},
463                                 {NoFlag, 0x7ffffffe, 0x7fffffff, 0x7ffffffe},
464                                 {NoFlag, 0x00007ffd, 0x00007ffe, 0x00007ffd},
465                                 {NoFlag, 0x00007fff, 0x80000001, 0x00007fff},
466                                 {NoFlag, 0x00007fff, 0xfffffffe, 0x00007fff},
467                                 {NoFlag, 0x00000001, 0xffffff80, 0x00000001},
468                                 {NoFlag, 0x55555555, 0xcccccccc, 0x55555555},
469                                 {NoFlag, 0x7ffffffd, 0xffffffe0, 0x7ffffffd},
470                                 {NoFlag, 0xffffff81, 0xfffffffe, 0xffffff81},
471                                 {NoFlag, 0xffffff82, 0x00007ffe, 0xffffff82},
472                                 {NoFlag, 0xffffff82, 0x80000001, 0xffffff82},
473                                 {NoFlag, 0x0000007f, 0xffff8001, 0x0000007f},
474                                 {NoFlag, 0x7ffffffd, 0xffffff83, 0x7ffffffd},
475                                 {NoFlag, 0xffffff82, 0xcccccccc, 0xffffff82},
476                                 {NoFlag, 0x00000020, 0xffffff83, 0x00000020},
477                                 {NoFlag, 0x00007ffe, 0x80000000, 0x00007ffe},
478                                 {NoFlag, 0x0000007f, 0xffff8000, 0x0000007f},
479                                 {NoFlag, 0xffffff82, 0x33333333, 0xffffff82},
480                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd},
481                                 {NoFlag, 0xffffff80, 0xffff8001, 0xffffff80},
482                                 {NoFlag, 0x00000002, 0xaaaaaaaa, 0x00000002},
483                                 {NoFlag, 0xffffffff, 0x7fffffff, 0xffffffff},
484                                 {NoFlag, 0xfffffffd, 0xfffffffe, 0xfffffffd},
485                                 {NoFlag, 0x00000020, 0x00000001, 0x00000020},
486                                 {NoFlag, 0x55555555, 0x00000001, 0x55555555},
487                                 {NoFlag, 0x55555555, 0xffffff80, 0x55555555},
488                                 {NoFlag, 0xffffffff, 0x00007fff, 0xffffffff},
489                                 {NoFlag, 0x00000020, 0xaaaaaaaa, 0x00000020},
490                                 {NoFlag, 0x00000002, 0x00007ffe, 0x00000002},
491                                 {NoFlag, 0x00000001, 0xcccccccc, 0x00000001},
492                                 {NoFlag, 0xffff8001, 0x00000000, 0xffff8001},
493                                 {NoFlag, 0x00000001, 0xffff8000, 0x00000001},
494                                 {NoFlag, 0xffffffe0, 0x00007fff, 0xffffffe0},
495                                 {NoFlag, 0xfffffffe, 0x00007fff, 0xfffffffe},
496                                 {NoFlag, 0xffffff83, 0x00000001, 0xffffff83},
497                                 {NoFlag, 0x00007fff, 0xffff8002, 0x00007fff},
498                                 {NoFlag, 0x7ffffffd, 0x7ffffffe, 0x7ffffffd},
499                                 {NoFlag, 0x80000001, 0xaaaaaaaa, 0x80000001},
500                                 {NoFlag, 0x80000001, 0xcccccccc, 0x80000001},
501                                 {NoFlag, 0x00007ffe, 0xffffffe0, 0x00007ffe},
502                                 {NoFlag, 0x00007ffe, 0xfffffffd, 0x00007ffe},
503                                 {NoFlag, 0x55555555, 0xaaaaaaaa, 0x55555555},
504                                 {NoFlag, 0xffffffe0, 0x00000001, 0xffffffe0},
505                                 {NoFlag, 0x0000007e, 0x00007fff, 0x0000007e},
506                                 {NoFlag, 0xfffffffe, 0xfffffffd, 0xfffffffe},
507                                 {NoFlag, 0x33333333, 0x0000007d, 0x33333333},
508                                 {NoFlag, 0xffffff81, 0x7fffffff, 0xffffff81},
509                                 {NoFlag, 0x0000007e, 0x0000007d, 0x0000007e},
510                                 {NoFlag, 0x00000001, 0xffffff81, 0x00000001},
511                                 {NoFlag, 0x80000000, 0x00000002, 0x80000000},
512                                 {NoFlag, 0x0000007d, 0xffff8003, 0x0000007d},
513                                 {NoFlag, 0x7ffffffe, 0x00007ffd, 0x7ffffffe},
514                                 {NoFlag, 0x7ffffffe, 0xaaaaaaaa, 0x7ffffffe},
515                                 {NoFlag, 0x00000000, 0xffff8000, 0x00000000},
516                                 {NoFlag, 0x33333333, 0x00000002, 0x33333333},
517                                 {NoFlag, 0xffffff81, 0xffffff83, 0xffffff81},
518                                 {NoFlag, 0x7ffffffe, 0x00007ffe, 0x7ffffffe},
519                                 {NoFlag, 0x80000000, 0x0000007d, 0x80000000},
520                                 {NoFlag, 0x00000020, 0x00000002, 0x00000020},
521                                 {NoFlag, 0x33333333, 0x80000001, 0x33333333},
522                                 {NoFlag, 0xffffff83, 0x00007ffd, 0xffffff83},
523                                 {NoFlag, 0x00007ffd, 0xffffff83, 0x00007ffd},
524                                 {NoFlag, 0xffff8001, 0x80000000, 0xffff8001},
525                                 {NoFlag, 0x00000000, 0x80000000, 0x00000000},
526                                 {NoFlag, 0xffffffe0, 0xffffffff, 0xffffffe0},
527                                 {NoFlag, 0x80000000, 0xffffff83, 0x80000000},
528                                 {NoFlag, 0x00000020, 0xffffff80, 0x00000020},
529                                 {NoFlag, 0x7ffffffd, 0xffff8001, 0x7ffffffd},
530                                 {NoFlag, 0x80000001, 0xffff8003, 0x80000001},
531                                 {NoFlag, 0x00007ffe, 0x7fffffff, 0x00007ffe},
532                                 {NoFlag, 0x7fffffff, 0x00000002, 0x7fffffff},
533                                 {NoFlag, 0xffffff83, 0xffff8003, 0xffffff83},
534                                 {NoFlag, 0xaaaaaaaa, 0xcccccccc, 0xaaaaaaaa},
535                                 {NoFlag, 0x0000007f, 0xffffff80, 0x0000007f},
536                                 {NoFlag, 0x80000001, 0x00007ffd, 0x80000001},
537                                 {NoFlag, 0xffff8000, 0x80000001, 0xffff8000},
538                                 {NoFlag, 0x00007fff, 0x00007ffd, 0x00007fff},
539                                 {NoFlag, 0x0000007e, 0x0000007f, 0x0000007e},
540                                 {NoFlag, 0x00000002, 0x0000007d, 0x00000002},
541                                 {NoFlag, 0x80000001, 0x7fffffff, 0x80000001},
542                                 {NoFlag, 0x0000007e, 0xffffff81, 0x0000007e},
543                                 {NoFlag, 0x7ffffffe, 0xffff8001, 0x7ffffffe},
544                                 {NoFlag, 0x7fffffff, 0x80000001, 0x7fffffff},
545                                 {NoFlag, 0x7ffffffd, 0x0000007f, 0x7ffffffd},
546                                 {NoFlag, 0xffffff81, 0xffffff81, 0xffffff81},
547                                 {NoFlag, 0x00000001, 0xfffffffd, 0x00000001},
548                                 {NoFlag, 0x00000001, 0xffffffff, 0x00000001},
549                                 {NoFlag, 0x7ffffffd, 0x55555555, 0x7ffffffd},
550                                 {NoFlag, 0x55555555, 0x0000007f, 0x55555555},
551                                 {NoFlag, 0x55555555, 0xffff8003, 0x55555555},
552                                 {NoFlag, 0xaaaaaaaa, 0x00007ffd, 0xaaaaaaaa},
553                                 {NoFlag, 0x0000007e, 0x33333333, 0x0000007e},
554                                 {NoFlag, 0xfffffffe, 0x80000001, 0xfffffffe},
555                                 {NoFlag, 0xfffffffe, 0xffff8000, 0xfffffffe},
556                                 {NoFlag, 0xffffffe0, 0xffffff81, 0xffffffe0},
557                                 {NoFlag, 0x7fffffff, 0x0000007f, 0x7fffffff},
558                                 {NoFlag, 0xffff8003, 0x0000007f, 0xffff8003},
559                                 {NoFlag, 0xffffff82, 0x00007ffd, 0xffffff82},
560                                 {NoFlag, 0x33333333, 0xffffffff, 0x33333333},
561                                 {NoFlag, 0xffffffe0, 0xcccccccc, 0xffffffe0},
562                                 {NoFlag, 0xffffff83, 0x7ffffffd, 0xffffff83},
563                                 {NoFlag, 0x0000007e, 0xcccccccc, 0x0000007e},
564                                 {NoFlag, 0x00000002, 0xfffffffd, 0x00000002},
565                                 {NoFlag, 0x00007fff, 0xcccccccc, 0x00007fff},
566                                 {NoFlag, 0x7fffffff, 0x00007fff, 0x7fffffff},
567                                 {NoFlag, 0xffffffe0, 0x33333333, 0xffffffe0},
568                                 {NoFlag, 0x0000007f, 0x0000007d, 0x0000007f},
569                                 {NoFlag, 0x0000007f, 0xffffffe0, 0x0000007f},
570                                 {NoFlag, 0x00007fff, 0xffff8000, 0x00007fff},
571                                 {NoFlag, 0x7fffffff, 0xffffffff, 0x7fffffff},
572                                 {NoFlag, 0xffff8000, 0x7ffffffd, 0xffff8000},
573                                 {NoFlag, 0xcccccccc, 0x0000007e, 0xcccccccc},
574                                 {NoFlag, 0x33333333, 0xffff8003, 0x33333333},
575                                 {NoFlag, 0x55555555, 0x00000002, 0x55555555},
576                                 {NoFlag, 0x00000001, 0x00000001, 0x00000001},
577                                 {NoFlag, 0xaaaaaaaa, 0x33333333, 0xaaaaaaaa},
578                                 {NoFlag, 0x7ffffffd, 0x00000001, 0x7ffffffd},
579                                 {NoFlag, 0xffffff82, 0xffff8000, 0xffffff82},
580                                 {NoFlag, 0x0000007d, 0x55555555, 0x0000007d},
581                                 {NoFlag, 0xffff8000, 0x7ffffffe, 0xffff8000},
582                                 {NoFlag, 0x7fffffff, 0xffffffe0, 0x7fffffff},
583                                 {NoFlag, 0x7fffffff, 0xffff8003, 0x7fffffff},
584                                 {NoFlag, 0xffffff82, 0xaaaaaaaa, 0xffffff82},
585                                 {NoFlag, 0xfffffffd, 0xffffff80, 0xfffffffd},
586                                 {NoFlag, 0x7ffffffd, 0x80000001, 0x7ffffffd},
587                                 {NoFlag, 0x00000000, 0x00007ffd, 0x00000000},
588                                 {NoFlag, 0xffffffff, 0xffffff80, 0xffffffff},
589                                 {NoFlag, 0xffffff80, 0xcccccccc, 0xffffff80},
590                                 {NoFlag, 0x00007ffe, 0x55555555, 0x00007ffe},
591                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffff8000},
592                                 {NoFlag, 0xffffffff, 0xffff8000, 0xffffffff},
593                                 {NoFlag, 0x80000001, 0x0000007d, 0x80000001},
594                                 {NoFlag, 0xffffffe0, 0xffff8002, 0xffffffe0},
595                                 {NoFlag, 0xfffffffe, 0xffffffe0, 0xfffffffe},
596                                 {NoFlag, 0x80000000, 0xffff8003, 0x80000000},
597                                 {NoFlag, 0x80000001, 0xffffff81, 0x80000001},
598                                 {NoFlag, 0xffffffe0, 0x00007ffe, 0xffffffe0}};
599
600static const Inputs kRdIsNotRnIsNotRm[] =
601    {{NoFlag, 0x0000007e, 0x0000007e, 0x0000007d},
602     {NoFlag, 0x55555555, 0x00000002, 0xffff8002},
603     {NoFlag, 0xffffffe0, 0x80000001, 0x00000000},
604     {NoFlag, 0x55555555, 0xffffff83, 0x00000002},
605     {NoFlag, 0xffffffe0, 0xffffffe0, 0x00000002},
606     {NoFlag, 0x00000000, 0x80000001, 0xffffff82},
607     {NoFlag, 0x80000001, 0x00007fff, 0x0000007f},
608     {NoFlag, 0xffffff80, 0x0000007d, 0x7ffffffe},
609     {NoFlag, 0xaaaaaaaa, 0x00000020, 0xffff8002},
610     {NoFlag, 0x33333333, 0x55555555, 0x00000001},
611     {NoFlag, 0x7ffffffe, 0x33333333, 0x00000000},
612     {NoFlag, 0x80000000, 0x7ffffffd, 0x55555555},
613     {NoFlag, 0xcccccccc, 0xffff8001, 0x7ffffffe},
614     {NoFlag, 0x00000020, 0xffffff83, 0xffff8003},
615     {NoFlag, 0x00007fff, 0xffffffe0, 0xffffff81},
616     {NoFlag, 0xffff8000, 0xffff8001, 0x0000007e},
617     {NoFlag, 0x33333333, 0x0000007e, 0x00000020},
618     {NoFlag, 0x0000007f, 0xfffffffd, 0xaaaaaaaa},
619     {NoFlag, 0xffffff83, 0xffffff82, 0x7ffffffd},
620     {NoFlag, 0x0000007e, 0xcccccccc, 0x7fffffff},
621     {NoFlag, 0xffff8001, 0x80000001, 0xffffffff},
622     {NoFlag, 0xffffff81, 0x00000020, 0x7ffffffe},
623     {NoFlag, 0xffffff83, 0xffffff81, 0xffffffe0},
624     {NoFlag, 0xffffffe0, 0xffffff81, 0xfffffffd},
625     {NoFlag, 0x80000001, 0xffffffff, 0xffffffff},
626     {NoFlag, 0x7ffffffe, 0xffff8000, 0xcccccccc},
627     {NoFlag, 0xffffff80, 0x00007ffe, 0xffffff82},
628     {NoFlag, 0x0000007e, 0x0000007d, 0xffff8003},
629     {NoFlag, 0xffff8002, 0xffffff81, 0x0000007e},
630     {NoFlag, 0x00007fff, 0x7ffffffd, 0xfffffffe},
631     {NoFlag, 0x00007ffe, 0x80000001, 0xffffff81},
632     {NoFlag, 0xffffff81, 0x00007ffd, 0xfffffffd},
633     {NoFlag, 0x00000020, 0x7fffffff, 0xffff8003},
634     {NoFlag, 0x0000007e, 0x0000007d, 0x33333333},
635     {NoFlag, 0xcccccccc, 0xffff8000, 0x00007ffe},
636     {NoFlag, 0x00007fff, 0xffff8000, 0x00000020},
637     {NoFlag, 0x00007ffd, 0x00007fff, 0xffffffe0},
638     {NoFlag, 0x7ffffffd, 0x00000000, 0x00007ffe},
639     {NoFlag, 0xffffff82, 0x33333333, 0x00000001},
640     {NoFlag, 0x7ffffffe, 0xffffff80, 0x00000020},
641     {NoFlag, 0x00007fff, 0xffffff83, 0x00007ffd},
642     {NoFlag, 0xffff8001, 0xffffffff, 0x80000001},
643     {NoFlag, 0x00000002, 0xffffff81, 0xcccccccc},
644     {NoFlag, 0x55555555, 0x0000007f, 0xffff8001},
645     {NoFlag, 0x80000000, 0x00000020, 0x80000000},
646     {NoFlag, 0xffffff83, 0x00007fff, 0xffffff80},
647     {NoFlag, 0x33333333, 0x7ffffffe, 0x7ffffffd},
648     {NoFlag, 0xffffff80, 0xffffffff, 0x00000001},
649     {NoFlag, 0x00007ffd, 0x7ffffffd, 0xffffff83},
650     {NoFlag, 0x33333333, 0xffff8001, 0xffffffe0},
651     {NoFlag, 0xffff8001, 0xffffff80, 0x00007ffd},
652     {NoFlag, 0xffffffe0, 0x00007fff, 0x00007ffe},
653     {NoFlag, 0x0000007d, 0x00000000, 0xffff8000},
654     {NoFlag, 0x7ffffffe, 0xaaaaaaaa, 0x7ffffffe},
655     {NoFlag, 0x0000007e, 0x00007ffd, 0xffffffe0},
656     {NoFlag, 0xfffffffd, 0xffffffe0, 0xffffff83},
657     {NoFlag, 0x00000001, 0xffffffe0, 0x7ffffffd},
658     {NoFlag, 0xfffffffd, 0xffff8002, 0x80000000},
659     {NoFlag, 0x00000020, 0xffffffff, 0x80000000},
660     {NoFlag, 0x00000001, 0x80000001, 0xffff8003},
661     {NoFlag, 0xffff8003, 0xaaaaaaaa, 0xffffff81},
662     {NoFlag, 0x0000007f, 0xfffffffd, 0xffffffe0},
663     {NoFlag, 0x00007ffe, 0xffffff80, 0x00007ffe},
664     {NoFlag, 0xffff8002, 0xffff8003, 0xffffffff},
665     {NoFlag, 0x7ffffffe, 0xffffff82, 0xffff8000},
666     {NoFlag, 0xffff8000, 0x00000002, 0x80000000},
667     {NoFlag, 0xffffff80, 0xffffff82, 0xffffff81},
668     {NoFlag, 0x00000000, 0xcccccccc, 0x00007ffd},
669     {NoFlag, 0x55555555, 0x00007ffe, 0x7fffffff},
670     {NoFlag, 0x00000002, 0xffffff81, 0xaaaaaaaa},
671     {NoFlag, 0x00007ffd, 0x0000007e, 0x00000002},
672     {NoFlag, 0xffffff83, 0x0000007e, 0xffffff80},
673     {NoFlag, 0xcccccccc, 0x00007ffe, 0xaaaaaaaa},
674     {NoFlag, 0x7ffffffe, 0x55555555, 0xffff8003},
675     {NoFlag, 0xfffffffd, 0x00000001, 0xffffff80},
676     {NoFlag, 0x00007ffd, 0x55555555, 0x80000001},
677     {NoFlag, 0x0000007f, 0x00000000, 0x0000007e},
678     {NoFlag, 0x7fffffff, 0xaaaaaaaa, 0x00000000},
679     {NoFlag, 0x7ffffffd, 0xffffff81, 0xcccccccc},
680     {NoFlag, 0xffffffe0, 0xcccccccc, 0xfffffffd},
681     {NoFlag, 0x00000002, 0xffff8000, 0x7ffffffd},
682     {NoFlag, 0xffffffe0, 0xffff8000, 0x80000001},
683     {NoFlag, 0x7ffffffd, 0xffff8003, 0xffff8001},
684     {NoFlag, 0x33333333, 0x00007ffd, 0x80000000},
685     {NoFlag, 0x7ffffffd, 0x00007fff, 0xcccccccc},
686     {NoFlag, 0xffffffff, 0xffffff80, 0x00007ffe},
687     {NoFlag, 0xffffff83, 0x7ffffffd, 0xaaaaaaaa},
688     {NoFlag, 0xfffffffd, 0xffff8003, 0x0000007f},
689     {NoFlag, 0xfffffffe, 0xfffffffe, 0xfffffffd},
690     {NoFlag, 0x00007fff, 0xfffffffe, 0x55555555},
691     {NoFlag, 0x7ffffffd, 0xfffffffe, 0xfffffffe},
692     {NoFlag, 0xfffffffe, 0xffffffff, 0x00007fff},
693     {NoFlag, 0x7ffffffd, 0x0000007e, 0x00007ffd},
694     {NoFlag, 0x7ffffffd, 0xffffffe0, 0x00000002},
695     {NoFlag, 0xffffffff, 0x00007ffd, 0xffffff81},
696     {NoFlag, 0xffff8001, 0x00000020, 0xfffffffd},
697     {NoFlag, 0x00007fff, 0x0000007d, 0xffffff83},
698     {NoFlag, 0x00000002, 0x55555555, 0x7ffffffe},
699     {NoFlag, 0x00007fff, 0x00007ffe, 0x00000002},
700     {NoFlag, 0x80000001, 0x7fffffff, 0x00007ffd},
701     {NoFlag, 0x0000007f, 0xffffffff, 0x00000001},
702     {NoFlag, 0xffff8001, 0x33333333, 0xffffff83},
703     {NoFlag, 0x00007fff, 0xcccccccc, 0x33333333},
704     {NoFlag, 0x33333333, 0xffffff80, 0x00000001},
705     {NoFlag, 0x00007fff, 0xcccccccc, 0x00007ffd},
706     {NoFlag, 0xffff8002, 0xfffffffd, 0x7ffffffe},
707     {NoFlag, 0x00007ffe, 0x7ffffffe, 0xffffff83},
708     {NoFlag, 0xffffffe0, 0x0000007f, 0xffff8001},
709     {NoFlag, 0x80000000, 0x00007fff, 0xffffff80},
710     {NoFlag, 0x7fffffff, 0x00007fff, 0x7ffffffe},
711     {NoFlag, 0xffff8002, 0x55555555, 0xffff8001},
712     {NoFlag, 0xffffff80, 0x00000000, 0xffffff80},
713     {NoFlag, 0x00007ffd, 0x00007fff, 0x00000002},
714     {NoFlag, 0x00000000, 0x55555555, 0xffff8003},
715     {NoFlag, 0x0000007f, 0xffff8003, 0x00000020},
716     {NoFlag, 0x00000000, 0xffff8002, 0x7fffffff},
717     {NoFlag, 0x00007fff, 0x55555555, 0x00000000},
718     {NoFlag, 0x7fffffff, 0x00007ffe, 0xffffff81},
719     {NoFlag, 0x0000007e, 0x80000001, 0x00007ffe},
720     {NoFlag, 0x7ffffffd, 0xaaaaaaaa, 0x00000020},
721     {NoFlag, 0xfffffffd, 0xfffffffe, 0x00000002},
722     {NoFlag, 0xffffff80, 0xffff8000, 0xffff8002},
723     {NoFlag, 0x0000007d, 0x00007fff, 0xaaaaaaaa},
724     {NoFlag, 0xfffffffd, 0xffffff80, 0x00007ffd},
725     {NoFlag, 0xffffff82, 0x80000000, 0xffffff80},
726     {NoFlag, 0xffffffe0, 0x55555555, 0xfffffffd},
727     {NoFlag, 0xffffffff, 0xffffffff, 0x00007ffd},
728     {NoFlag, 0x0000007e, 0xfffffffe, 0xffffff80},
729     {NoFlag, 0xffff8000, 0xffffff82, 0xffff8002},
730     {NoFlag, 0xaaaaaaaa, 0x7ffffffe, 0xffff8000},
731     {NoFlag, 0x55555555, 0xffff8003, 0xffffff80},
732     {NoFlag, 0x7ffffffe, 0x00000020, 0xffffffe0},
733     {NoFlag, 0x00000001, 0xffff8001, 0xffffffe0},
734     {NoFlag, 0xcccccccc, 0xffff8000, 0xffff8002},
735     {NoFlag, 0x80000000, 0x00000002, 0x7ffffffe},
736     {NoFlag, 0x00000002, 0x0000007f, 0xffffff81},
737     {NoFlag, 0xffffffff, 0x00000001, 0x7fffffff},
738     {NoFlag, 0xffffff83, 0x00000000, 0x33333333},
739     {NoFlag, 0xffff8000, 0xffffff83, 0xcccccccc},
740     {NoFlag, 0x80000000, 0x00000020, 0x00007ffd},
741     {NoFlag, 0xffffff81, 0xcccccccc, 0x00000000},
742     {NoFlag, 0xffffffff, 0xffff8000, 0x00007fff},
743     {NoFlag, 0xffff8003, 0xcccccccc, 0x00007ffe},
744     {NoFlag, 0xffffffff, 0xfffffffd, 0x7ffffffe},
745     {NoFlag, 0xffff8003, 0xaaaaaaaa, 0x55555555},
746     {NoFlag, 0x00000000, 0xaaaaaaaa, 0xffffff81},
747     {NoFlag, 0x0000007f, 0xfffffffe, 0xffff8000},
748     {NoFlag, 0x00000001, 0xffffffe0, 0xfffffffd},
749     {NoFlag, 0x33333333, 0x33333333, 0xfffffffd},
750     {NoFlag, 0xffffff82, 0xffff8002, 0x80000001},
751     {NoFlag, 0x55555555, 0xffffff83, 0xffffff83},
752     {NoFlag, 0xffffff83, 0xffff8002, 0x00000020},
753     {NoFlag, 0x0000007d, 0x7fffffff, 0x0000007f},
754     {NoFlag, 0x00000000, 0xcccccccc, 0xffff8000},
755     {NoFlag, 0x00000002, 0x7ffffffe, 0x00007fff},
756     {NoFlag, 0xffffff82, 0x7ffffffd, 0x7ffffffd},
757     {NoFlag, 0xaaaaaaaa, 0xfffffffd, 0xffff8002},
758     {NoFlag, 0xfffffffd, 0x00000002, 0x7fffffff},
759     {NoFlag, 0xfffffffe, 0xfffffffe, 0x00000020},
760     {NoFlag, 0x80000001, 0x0000007e, 0x00007ffe},
761     {NoFlag, 0x00007ffd, 0x00007ffd, 0xfffffffd},
762     {NoFlag, 0xffff8000, 0x0000007f, 0x00000002},
763     {NoFlag, 0x7ffffffd, 0x80000000, 0x7ffffffd},
764     {NoFlag, 0x0000007d, 0x00007fff, 0x80000001},
765     {NoFlag, 0xffffffff, 0x80000000, 0xaaaaaaaa},
766     {NoFlag, 0x00000000, 0xaaaaaaaa, 0xffff8001},
767     {NoFlag, 0xaaaaaaaa, 0xffffffe0, 0xffff8003},
768     {NoFlag, 0xffffff82, 0xffffffff, 0x00007ffd},
769     {NoFlag, 0x00000001, 0xffffff81, 0x00000001},
770     {NoFlag, 0x7fffffff, 0xaaaaaaaa, 0x80000001},
771     {NoFlag, 0x7fffffff, 0xffff8000, 0xffff8000},
772     {NoFlag, 0xaaaaaaaa, 0x00007ffd, 0xaaaaaaaa},
773     {NoFlag, 0x0000007f, 0x7ffffffe, 0x80000000},
774     {NoFlag, 0x00007ffd, 0x00007ffe, 0xffffff81},
775     {NoFlag, 0x0000007d, 0x0000007d, 0xffff8002},
776     {NoFlag, 0x80000001, 0x00000002, 0xffffff81},
777     {NoFlag, 0xffff8000, 0xfffffffd, 0x7ffffffd},
778     {NoFlag, 0xfffffffe, 0x00000020, 0xffffff80},
779     {NoFlag, 0x00000020, 0x7fffffff, 0xffffffe0},
780     {NoFlag, 0xffff8002, 0xffff8002, 0x0000007f},
781     {NoFlag, 0xffff8003, 0x7fffffff, 0xffff8002},
782     {NoFlag, 0x00000020, 0xfffffffd, 0x00000020},
783     {NoFlag, 0x7ffffffd, 0xffffffe0, 0x0000007e},
784     {NoFlag, 0x00000020, 0x00000020, 0x7ffffffe},
785     {NoFlag, 0xfffffffe, 0x0000007f, 0xffff8000},
786     {NoFlag, 0x80000001, 0x80000001, 0x0000007d},
787     {NoFlag, 0x55555555, 0x0000007f, 0x00007ffd},
788     {NoFlag, 0x55555555, 0xffffffe0, 0xffffff82},
789     {NoFlag, 0xffff8001, 0x0000007e, 0xffff8002},
790     {NoFlag, 0xffffffe0, 0x55555555, 0x0000007f},
791     {NoFlag, 0xffff8000, 0x7fffffff, 0x7ffffffe},
792     {NoFlag, 0xffffffff, 0xfffffffe, 0xffffff80},
793     {NoFlag, 0xffff8001, 0xffff8002, 0x33333333},
794     {NoFlag, 0x7ffffffd, 0xfffffffd, 0xaaaaaaaa},
795     {NoFlag, 0xaaaaaaaa, 0xfffffffd, 0x00000020},
796     {NoFlag, 0x0000007f, 0x00007ffe, 0x55555555},
797     {NoFlag, 0x00000020, 0x00000020, 0x00000002},
798     {NoFlag, 0x80000001, 0xffff8002, 0xfffffffe},
799     {NoFlag, 0x7fffffff, 0x80000001, 0xffff8002},
800     {NoFlag, 0x00000020, 0x0000007e, 0x33333333}};
801
802static const Inputs kShiftTypes[] =
803    {{NoFlag, 0xabababab, 0xabababab, 0x00000000},
804     {NoFlag, 0xabababab, 0xabababab, 0x00000001},
805     {NoFlag, 0xabababab, 0xabababab, 0x00000002},
806     {NoFlag, 0xabababab, 0xabababab, 0x00000020},
807     {NoFlag, 0xabababab, 0xabababab, 0x0000007d},
808     {NoFlag, 0xabababab, 0xabababab, 0x0000007e},
809     {NoFlag, 0xabababab, 0xabababab, 0x0000007f},
810     {NoFlag, 0xabababab, 0xabababab, 0x00007ffd},
811     {NoFlag, 0xabababab, 0xabababab, 0x00007ffe},
812     {NoFlag, 0xabababab, 0xabababab, 0x00007fff},
813     {NoFlag, 0xabababab, 0xabababab, 0x33333333},
814     {NoFlag, 0xabababab, 0xabababab, 0x55555555},
815     {NoFlag, 0xabababab, 0xabababab, 0x7ffffffd},
816     {NoFlag, 0xabababab, 0xabababab, 0x7ffffffe},
817     {NoFlag, 0xabababab, 0xabababab, 0x7fffffff},
818     {NoFlag, 0xabababab, 0xabababab, 0x80000000},
819     {NoFlag, 0xabababab, 0xabababab, 0x80000001},
820     {NoFlag, 0xabababab, 0xabababab, 0xaaaaaaaa},
821     {NoFlag, 0xabababab, 0xabababab, 0xcccccccc},
822     {NoFlag, 0xabababab, 0xabababab, 0xffff8000},
823     {NoFlag, 0xabababab, 0xabababab, 0xffff8001},
824     {NoFlag, 0xabababab, 0xabababab, 0xffff8002},
825     {NoFlag, 0xabababab, 0xabababab, 0xffff8003},
826     {NoFlag, 0xabababab, 0xabababab, 0xffffff80},
827     {NoFlag, 0xabababab, 0xabababab, 0xffffff81},
828     {NoFlag, 0xabababab, 0xabababab, 0xffffff82},
829     {NoFlag, 0xabababab, 0xabababab, 0xffffff83},
830     {NoFlag, 0xabababab, 0xabababab, 0xffffffe0},
831     {NoFlag, 0xabababab, 0xabababab, 0xfffffffd},
832     {NoFlag, 0xabababab, 0xabababab, 0xfffffffe},
833     {NoFlag, 0xabababab, 0xabababab, 0xffffffff}};
834
835
836// A loop will be generated for each element of this array.
837const TestLoopData kTests[] = {{{eq, r0, r0, r0, LSR, 1},
838                                "eq r0 r0 r0 LSR 1",
839                                "Condition_eq_r0_r0_r0_LSR_1",
840                                ARRAY_SIZE(kCondition),
841                                kCondition},
842                               {{ne, r0, r0, r0, LSR, 1},
843                                "ne r0 r0 r0 LSR 1",
844                                "Condition_ne_r0_r0_r0_LSR_1",
845                                ARRAY_SIZE(kCondition),
846                                kCondition},
847                               {{cs, r0, r0, r0, LSR, 1},
848                                "cs r0 r0 r0 LSR 1",
849                                "Condition_cs_r0_r0_r0_LSR_1",
850                                ARRAY_SIZE(kCondition),
851                                kCondition},
852                               {{cc, r0, r0, r0, LSR, 1},
853                                "cc r0 r0 r0 LSR 1",
854                                "Condition_cc_r0_r0_r0_LSR_1",
855                                ARRAY_SIZE(kCondition),
856                                kCondition},
857                               {{mi, r0, r0, r0, LSR, 1},
858                                "mi r0 r0 r0 LSR 1",
859                                "Condition_mi_r0_r0_r0_LSR_1",
860                                ARRAY_SIZE(kCondition),
861                                kCondition},
862                               {{pl, r0, r0, r0, LSR, 1},
863                                "pl r0 r0 r0 LSR 1",
864                                "Condition_pl_r0_r0_r0_LSR_1",
865                                ARRAY_SIZE(kCondition),
866                                kCondition},
867                               {{vs, r0, r0, r0, LSR, 1},
868                                "vs r0 r0 r0 LSR 1",
869                                "Condition_vs_r0_r0_r0_LSR_1",
870                                ARRAY_SIZE(kCondition),
871                                kCondition},
872                               {{vc, r0, r0, r0, LSR, 1},
873                                "vc r0 r0 r0 LSR 1",
874                                "Condition_vc_r0_r0_r0_LSR_1",
875                                ARRAY_SIZE(kCondition),
876                                kCondition},
877                               {{hi, r0, r0, r0, LSR, 1},
878                                "hi r0 r0 r0 LSR 1",
879                                "Condition_hi_r0_r0_r0_LSR_1",
880                                ARRAY_SIZE(kCondition),
881                                kCondition},
882                               {{ls, r0, r0, r0, LSR, 1},
883                                "ls r0 r0 r0 LSR 1",
884                                "Condition_ls_r0_r0_r0_LSR_1",
885                                ARRAY_SIZE(kCondition),
886                                kCondition},
887                               {{ge, r0, r0, r0, LSR, 1},
888                                "ge r0 r0 r0 LSR 1",
889                                "Condition_ge_r0_r0_r0_LSR_1",
890                                ARRAY_SIZE(kCondition),
891                                kCondition},
892                               {{lt, r0, r0, r0, LSR, 1},
893                                "lt r0 r0 r0 LSR 1",
894                                "Condition_lt_r0_r0_r0_LSR_1",
895                                ARRAY_SIZE(kCondition),
896                                kCondition},
897                               {{gt, r0, r0, r0, LSR, 1},
898                                "gt r0 r0 r0 LSR 1",
899                                "Condition_gt_r0_r0_r0_LSR_1",
900                                ARRAY_SIZE(kCondition),
901                                kCondition},
902                               {{le, r0, r0, r0, LSR, 1},
903                                "le r0 r0 r0 LSR 1",
904                                "Condition_le_r0_r0_r0_LSR_1",
905                                ARRAY_SIZE(kCondition),
906                                kCondition},
907                               {{al, r0, r0, r0, LSR, 1},
908                                "al r0 r0 r0 LSR 1",
909                                "Condition_al_r0_r0_r0_LSR_1",
910                                ARRAY_SIZE(kCondition),
911                                kCondition},
912                               {{al, r3, r3, r4, LSR, 1},
913                                "al r3 r3 r4 LSR 1",
914                                "RdIsRn_al_r3_r3_r4_LSR_1",
915                                ARRAY_SIZE(kRdIsRn),
916                                kRdIsRn},
917                               {{al, r2, r2, r12, LSR, 1},
918                                "al r2 r2 r12 LSR 1",
919                                "RdIsRn_al_r2_r2_r12_LSR_1",
920                                ARRAY_SIZE(kRdIsRn),
921                                kRdIsRn},
922                               {{al, r8, r8, r5, LSR, 1},
923                                "al r8 r8 r5 LSR 1",
924                                "RdIsRn_al_r8_r8_r5_LSR_1",
925                                ARRAY_SIZE(kRdIsRn),
926                                kRdIsRn},
927                               {{al, r14, r14, r0, LSR, 1},
928                                "al r14 r14 r0 LSR 1",
929                                "RdIsRn_al_r14_r14_r0_LSR_1",
930                                ARRAY_SIZE(kRdIsRn),
931                                kRdIsRn},
932                               {{al, r11, r11, r10, LSR, 1},
933                                "al r11 r11 r10 LSR 1",
934                                "RdIsRn_al_r11_r11_r10_LSR_1",
935                                ARRAY_SIZE(kRdIsRn),
936                                kRdIsRn},
937                               {{al, r12, r12, r10, LSR, 1},
938                                "al r12 r12 r10 LSR 1",
939                                "RdIsRn_al_r12_r12_r10_LSR_1",
940                                ARRAY_SIZE(kRdIsRn),
941                                kRdIsRn},
942                               {{al, r4, r4, r8, LSR, 1},
943                                "al r4 r4 r8 LSR 1",
944                                "RdIsRn_al_r4_r4_r8_LSR_1",
945                                ARRAY_SIZE(kRdIsRn),
946                                kRdIsRn},
947                               {{al, r5, r5, r14, LSR, 1},
948                                "al r5 r5 r14 LSR 1",
949                                "RdIsRn_al_r5_r5_r14_LSR_1",
950                                ARRAY_SIZE(kRdIsRn),
951                                kRdIsRn},
952                               {{al, r0, r0, r6, LSR, 1},
953                                "al r0 r0 r6 LSR 1",
954                                "RdIsRn_al_r0_r0_r6_LSR_1",
955                                ARRAY_SIZE(kRdIsRn),
956                                kRdIsRn},
957                               {{al, r12, r12, r1, LSR, 1},
958                                "al r12 r12 r1 LSR 1",
959                                "RdIsRn_al_r12_r12_r1_LSR_1",
960                                ARRAY_SIZE(kRdIsRn),
961                                kRdIsRn},
962                               {{al, r6, r11, r6, LSR, 1},
963                                "al r6 r11 r6 LSR 1",
964                                "RdIsRm_al_r6_r11_r6_LSR_1",
965                                ARRAY_SIZE(kRdIsRm),
966                                kRdIsRm},
967                               {{al, r11, r9, r11, LSR, 1},
968                                "al r11 r9 r11 LSR 1",
969                                "RdIsRm_al_r11_r9_r11_LSR_1",
970                                ARRAY_SIZE(kRdIsRm),
971                                kRdIsRm},
972                               {{al, r0, r8, r0, LSR, 1},
973                                "al r0 r8 r0 LSR 1",
974                                "RdIsRm_al_r0_r8_r0_LSR_1",
975                                ARRAY_SIZE(kRdIsRm),
976                                kRdIsRm},
977                               {{al, r2, r11, r2, LSR, 1},
978                                "al r2 r11 r2 LSR 1",
979                                "RdIsRm_al_r2_r11_r2_LSR_1",
980                                ARRAY_SIZE(kRdIsRm),
981                                kRdIsRm},
982                               {{al, r9, r4, r9, LSR, 1},
983                                "al r9 r4 r9 LSR 1",
984                                "RdIsRm_al_r9_r4_r9_LSR_1",
985                                ARRAY_SIZE(kRdIsRm),
986                                kRdIsRm},
987                               {{al, r14, r10, r14, LSR, 1},
988                                "al r14 r10 r14 LSR 1",
989                                "RdIsRm_al_r14_r10_r14_LSR_1",
990                                ARRAY_SIZE(kRdIsRm),
991                                kRdIsRm},
992                               {{al, r7, r0, r7, LSR, 1},
993                                "al r7 r0 r7 LSR 1",
994                                "RdIsRm_al_r7_r0_r7_LSR_1",
995                                ARRAY_SIZE(kRdIsRm),
996                                kRdIsRm},
997                               {{al, r4, r9, r4, LSR, 1},
998                                "al r4 r9 r4 LSR 1",
999                                "RdIsRm_al_r4_r9_r4_LSR_1",
1000                                ARRAY_SIZE(kRdIsRm),
1001                                kRdIsRm},
1002                               {{al, r6, r10, r6, LSR, 1},
1003                                "al r6 r10 r6 LSR 1",
1004                                "RdIsRm_al_r6_r10_r6_LSR_1",
1005                                ARRAY_SIZE(kRdIsRm),
1006                                kRdIsRm},
1007                               {{al, r7, r6, r7, LSR, 1},
1008                                "al r7 r6 r7 LSR 1",
1009                                "RdIsRm_al_r7_r6_r7_LSR_1",
1010                                ARRAY_SIZE(kRdIsRm),
1011                                kRdIsRm},
1012                               {{al, r3, r9, r10, LSR, 1},
1013                                "al r3 r9 r10 LSR 1",
1014                                "RdIsNotRnIsNotRm_al_r3_r9_r10_LSR_1",
1015                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1016                                kRdIsNotRnIsNotRm},
1017                               {{al, r7, r12, r5, LSR, 1},
1018                                "al r7 r12 r5 LSR 1",
1019                                "RdIsNotRnIsNotRm_al_r7_r12_r5_LSR_1",
1020                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1021                                kRdIsNotRnIsNotRm},
1022                               {{al, r8, r5, r6, LSR, 1},
1023                                "al r8 r5 r6 LSR 1",
1024                                "RdIsNotRnIsNotRm_al_r8_r5_r6_LSR_1",
1025                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1026                                kRdIsNotRnIsNotRm},
1027                               {{al, r0, r6, r0, LSR, 1},
1028                                "al r0 r6 r0 LSR 1",
1029                                "RdIsNotRnIsNotRm_al_r0_r6_r0_LSR_1",
1030                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1031                                kRdIsNotRnIsNotRm},
1032                               {{al, r11, r7, r8, LSR, 1},
1033                                "al r11 r7 r8 LSR 1",
1034                                "RdIsNotRnIsNotRm_al_r11_r7_r8_LSR_1",
1035                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1036                                kRdIsNotRnIsNotRm},
1037                               {{al, r12, r2, r3, LSR, 1},
1038                                "al r12 r2 r3 LSR 1",
1039                                "RdIsNotRnIsNotRm_al_r12_r2_r3_LSR_1",
1040                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1041                                kRdIsNotRnIsNotRm},
1042                               {{al, r7, r4, r10, LSR, 1},
1043                                "al r7 r4 r10 LSR 1",
1044                                "RdIsNotRnIsNotRm_al_r7_r4_r10_LSR_1",
1045                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1046                                kRdIsNotRnIsNotRm},
1047                               {{al, r9, r6, r1, LSR, 1},
1048                                "al r9 r6 r1 LSR 1",
1049                                "RdIsNotRnIsNotRm_al_r9_r6_r1_LSR_1",
1050                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1051                                kRdIsNotRnIsNotRm},
1052                               {{al, r10, r14, r3, LSR, 1},
1053                                "al r10 r14 r3 LSR 1",
1054                                "RdIsNotRnIsNotRm_al_r10_r14_r3_LSR_1",
1055                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1056                                kRdIsNotRnIsNotRm},
1057                               {{al, r14, r3, r6, LSR, 1},
1058                                "al r14 r3 r6 LSR 1",
1059                                "RdIsNotRnIsNotRm_al_r14_r3_r6_LSR_1",
1060                                ARRAY_SIZE(kRdIsNotRnIsNotRm),
1061                                kRdIsNotRnIsNotRm},
1062                               {{al, r0, r1, r2, LSR, 1},
1063                                "al r0 r1 r2 LSR 1",
1064                                "ShiftTypes_al_r0_r1_r2_LSR_1",
1065                                ARRAY_SIZE(kShiftTypes),
1066                                kShiftTypes},
1067                               {{al, r0, r1, r2, LSR, 2},
1068                                "al r0 r1 r2 LSR 2",
1069                                "ShiftTypes_al_r0_r1_r2_LSR_2",
1070                                ARRAY_SIZE(kShiftTypes),
1071                                kShiftTypes},
1072                               {{al, r0, r1, r2, LSR, 3},
1073                                "al r0 r1 r2 LSR 3",
1074                                "ShiftTypes_al_r0_r1_r2_LSR_3",
1075                                ARRAY_SIZE(kShiftTypes),
1076                                kShiftTypes},
1077                               {{al, r0, r1, r2, LSR, 4},
1078                                "al r0 r1 r2 LSR 4",
1079                                "ShiftTypes_al_r0_r1_r2_LSR_4",
1080                                ARRAY_SIZE(kShiftTypes),
1081                                kShiftTypes},
1082                               {{al, r0, r1, r2, LSR, 5},
1083                                "al r0 r1 r2 LSR 5",
1084                                "ShiftTypes_al_r0_r1_r2_LSR_5",
1085                                ARRAY_SIZE(kShiftTypes),
1086                                kShiftTypes},
1087                               {{al, r0, r1, r2, LSR, 6},
1088                                "al r0 r1 r2 LSR 6",
1089                                "ShiftTypes_al_r0_r1_r2_LSR_6",
1090                                ARRAY_SIZE(kShiftTypes),
1091                                kShiftTypes},
1092                               {{al, r0, r1, r2, LSR, 7},
1093                                "al r0 r1 r2 LSR 7",
1094                                "ShiftTypes_al_r0_r1_r2_LSR_7",
1095                                ARRAY_SIZE(kShiftTypes),
1096                                kShiftTypes},
1097                               {{al, r0, r1, r2, LSR, 8},
1098                                "al r0 r1 r2 LSR 8",
1099                                "ShiftTypes_al_r0_r1_r2_LSR_8",
1100                                ARRAY_SIZE(kShiftTypes),
1101                                kShiftTypes},
1102                               {{al, r0, r1, r2, LSR, 9},
1103                                "al r0 r1 r2 LSR 9",
1104                                "ShiftTypes_al_r0_r1_r2_LSR_9",
1105                                ARRAY_SIZE(kShiftTypes),
1106                                kShiftTypes},
1107                               {{al, r0, r1, r2, LSR, 10},
1108                                "al r0 r1 r2 LSR 10",
1109                                "ShiftTypes_al_r0_r1_r2_LSR_10",
1110                                ARRAY_SIZE(kShiftTypes),
1111                                kShiftTypes},
1112                               {{al, r0, r1, r2, LSR, 11},
1113                                "al r0 r1 r2 LSR 11",
1114                                "ShiftTypes_al_r0_r1_r2_LSR_11",
1115                                ARRAY_SIZE(kShiftTypes),
1116                                kShiftTypes},
1117                               {{al, r0, r1, r2, LSR, 12},
1118                                "al r0 r1 r2 LSR 12",
1119                                "ShiftTypes_al_r0_r1_r2_LSR_12",
1120                                ARRAY_SIZE(kShiftTypes),
1121                                kShiftTypes},
1122                               {{al, r0, r1, r2, LSR, 13},
1123                                "al r0 r1 r2 LSR 13",
1124                                "ShiftTypes_al_r0_r1_r2_LSR_13",
1125                                ARRAY_SIZE(kShiftTypes),
1126                                kShiftTypes},
1127                               {{al, r0, r1, r2, LSR, 14},
1128                                "al r0 r1 r2 LSR 14",
1129                                "ShiftTypes_al_r0_r1_r2_LSR_14",
1130                                ARRAY_SIZE(kShiftTypes),
1131                                kShiftTypes},
1132                               {{al, r0, r1, r2, LSR, 15},
1133                                "al r0 r1 r2 LSR 15",
1134                                "ShiftTypes_al_r0_r1_r2_LSR_15",
1135                                ARRAY_SIZE(kShiftTypes),
1136                                kShiftTypes},
1137                               {{al, r0, r1, r2, LSR, 16},
1138                                "al r0 r1 r2 LSR 16",
1139                                "ShiftTypes_al_r0_r1_r2_LSR_16",
1140                                ARRAY_SIZE(kShiftTypes),
1141                                kShiftTypes},
1142                               {{al, r0, r1, r2, LSR, 17},
1143                                "al r0 r1 r2 LSR 17",
1144                                "ShiftTypes_al_r0_r1_r2_LSR_17",
1145                                ARRAY_SIZE(kShiftTypes),
1146                                kShiftTypes},
1147                               {{al, r0, r1, r2, LSR, 18},
1148                                "al r0 r1 r2 LSR 18",
1149                                "ShiftTypes_al_r0_r1_r2_LSR_18",
1150                                ARRAY_SIZE(kShiftTypes),
1151                                kShiftTypes},
1152                               {{al, r0, r1, r2, LSR, 19},
1153                                "al r0 r1 r2 LSR 19",
1154                                "ShiftTypes_al_r0_r1_r2_LSR_19",
1155                                ARRAY_SIZE(kShiftTypes),
1156                                kShiftTypes},
1157                               {{al, r0, r1, r2, LSR, 20},
1158                                "al r0 r1 r2 LSR 20",
1159                                "ShiftTypes_al_r0_r1_r2_LSR_20",
1160                                ARRAY_SIZE(kShiftTypes),
1161                                kShiftTypes},
1162                               {{al, r0, r1, r2, LSR, 21},
1163                                "al r0 r1 r2 LSR 21",
1164                                "ShiftTypes_al_r0_r1_r2_LSR_21",
1165                                ARRAY_SIZE(kShiftTypes),
1166                                kShiftTypes},
1167                               {{al, r0, r1, r2, LSR, 22},
1168                                "al r0 r1 r2 LSR 22",
1169                                "ShiftTypes_al_r0_r1_r2_LSR_22",
1170                                ARRAY_SIZE(kShiftTypes),
1171                                kShiftTypes},
1172                               {{al, r0, r1, r2, LSR, 23},
1173                                "al r0 r1 r2 LSR 23",
1174                                "ShiftTypes_al_r0_r1_r2_LSR_23",
1175                                ARRAY_SIZE(kShiftTypes),
1176                                kShiftTypes},
1177                               {{al, r0, r1, r2, LSR, 24},
1178                                "al r0 r1 r2 LSR 24",
1179                                "ShiftTypes_al_r0_r1_r2_LSR_24",
1180                                ARRAY_SIZE(kShiftTypes),
1181                                kShiftTypes},
1182                               {{al, r0, r1, r2, LSR, 25},
1183                                "al r0 r1 r2 LSR 25",
1184                                "ShiftTypes_al_r0_r1_r2_LSR_25",
1185                                ARRAY_SIZE(kShiftTypes),
1186                                kShiftTypes},
1187                               {{al, r0, r1, r2, LSR, 26},
1188                                "al r0 r1 r2 LSR 26",
1189                                "ShiftTypes_al_r0_r1_r2_LSR_26",
1190                                ARRAY_SIZE(kShiftTypes),
1191                                kShiftTypes},
1192                               {{al, r0, r1, r2, LSR, 27},
1193                                "al r0 r1 r2 LSR 27",
1194                                "ShiftTypes_al_r0_r1_r2_LSR_27",
1195                                ARRAY_SIZE(kShiftTypes),
1196                                kShiftTypes},
1197                               {{al, r0, r1, r2, LSR, 28},
1198                                "al r0 r1 r2 LSR 28",
1199                                "ShiftTypes_al_r0_r1_r2_LSR_28",
1200                                ARRAY_SIZE(kShiftTypes),
1201                                kShiftTypes},
1202                               {{al, r0, r1, r2, LSR, 29},
1203                                "al r0 r1 r2 LSR 29",
1204                                "ShiftTypes_al_r0_r1_r2_LSR_29",
1205                                ARRAY_SIZE(kShiftTypes),
1206                                kShiftTypes},
1207                               {{al, r0, r1, r2, LSR, 30},
1208                                "al r0 r1 r2 LSR 30",
1209                                "ShiftTypes_al_r0_r1_r2_LSR_30",
1210                                ARRAY_SIZE(kShiftTypes),
1211                                kShiftTypes},
1212                               {{al, r0, r1, r2, LSR, 31},
1213                                "al r0 r1 r2 LSR 31",
1214                                "ShiftTypes_al_r0_r1_r2_LSR_31",
1215                                ARRAY_SIZE(kShiftTypes),
1216                                kShiftTypes},
1217                               {{al, r0, r1, r2, LSR, 32},
1218                                "al r0 r1 r2 LSR 32",
1219                                "ShiftTypes_al_r0_r1_r2_LSR_32",
1220                                ARRAY_SIZE(kShiftTypes),
1221                                kShiftTypes},
1222                               {{al, r0, r1, r2, ASR, 1},
1223                                "al r0 r1 r2 ASR 1",
1224                                "ShiftTypes_al_r0_r1_r2_ASR_1",
1225                                ARRAY_SIZE(kShiftTypes),
1226                                kShiftTypes},
1227                               {{al, r0, r1, r2, ASR, 2},
1228                                "al r0 r1 r2 ASR 2",
1229                                "ShiftTypes_al_r0_r1_r2_ASR_2",
1230                                ARRAY_SIZE(kShiftTypes),
1231                                kShiftTypes},
1232                               {{al, r0, r1, r2, ASR, 3},
1233                                "al r0 r1 r2 ASR 3",
1234                                "ShiftTypes_al_r0_r1_r2_ASR_3",
1235                                ARRAY_SIZE(kShiftTypes),
1236                                kShiftTypes},
1237                               {{al, r0, r1, r2, ASR, 4},
1238                                "al r0 r1 r2 ASR 4",
1239                                "ShiftTypes_al_r0_r1_r2_ASR_4",
1240                                ARRAY_SIZE(kShiftTypes),
1241                                kShiftTypes},
1242                               {{al, r0, r1, r2, ASR, 5},
1243                                "al r0 r1 r2 ASR 5",
1244                                "ShiftTypes_al_r0_r1_r2_ASR_5",
1245                                ARRAY_SIZE(kShiftTypes),
1246                                kShiftTypes},
1247                               {{al, r0, r1, r2, ASR, 6},
1248                                "al r0 r1 r2 ASR 6",
1249                                "ShiftTypes_al_r0_r1_r2_ASR_6",
1250                                ARRAY_SIZE(kShiftTypes),
1251                                kShiftTypes},
1252                               {{al, r0, r1, r2, ASR, 7},
1253                                "al r0 r1 r2 ASR 7",
1254                                "ShiftTypes_al_r0_r1_r2_ASR_7",
1255                                ARRAY_SIZE(kShiftTypes),
1256                                kShiftTypes},
1257                               {{al, r0, r1, r2, ASR, 8},
1258                                "al r0 r1 r2 ASR 8",
1259                                "ShiftTypes_al_r0_r1_r2_ASR_8",
1260                                ARRAY_SIZE(kShiftTypes),
1261                                kShiftTypes},
1262                               {{al, r0, r1, r2, ASR, 9},
1263                                "al r0 r1 r2 ASR 9",
1264                                "ShiftTypes_al_r0_r1_r2_ASR_9",
1265                                ARRAY_SIZE(kShiftTypes),
1266                                kShiftTypes},
1267                               {{al, r0, r1, r2, ASR, 10},
1268                                "al r0 r1 r2 ASR 10",
1269                                "ShiftTypes_al_r0_r1_r2_ASR_10",
1270                                ARRAY_SIZE(kShiftTypes),
1271                                kShiftTypes},
1272                               {{al, r0, r1, r2, ASR, 11},
1273                                "al r0 r1 r2 ASR 11",
1274                                "ShiftTypes_al_r0_r1_r2_ASR_11",
1275                                ARRAY_SIZE(kShiftTypes),
1276                                kShiftTypes},
1277                               {{al, r0, r1, r2, ASR, 12},
1278                                "al r0 r1 r2 ASR 12",
1279                                "ShiftTypes_al_r0_r1_r2_ASR_12",
1280                                ARRAY_SIZE(kShiftTypes),
1281                                kShiftTypes},
1282                               {{al, r0, r1, r2, ASR, 13},
1283                                "al r0 r1 r2 ASR 13",
1284                                "ShiftTypes_al_r0_r1_r2_ASR_13",
1285                                ARRAY_SIZE(kShiftTypes),
1286                                kShiftTypes},
1287                               {{al, r0, r1, r2, ASR, 14},
1288                                "al r0 r1 r2 ASR 14",
1289                                "ShiftTypes_al_r0_r1_r2_ASR_14",
1290                                ARRAY_SIZE(kShiftTypes),
1291                                kShiftTypes},
1292                               {{al, r0, r1, r2, ASR, 15},
1293                                "al r0 r1 r2 ASR 15",
1294                                "ShiftTypes_al_r0_r1_r2_ASR_15",
1295                                ARRAY_SIZE(kShiftTypes),
1296                                kShiftTypes},
1297                               {{al, r0, r1, r2, ASR, 16},
1298                                "al r0 r1 r2 ASR 16",
1299                                "ShiftTypes_al_r0_r1_r2_ASR_16",
1300                                ARRAY_SIZE(kShiftTypes),
1301                                kShiftTypes},
1302                               {{al, r0, r1, r2, ASR, 17},
1303                                "al r0 r1 r2 ASR 17",
1304                                "ShiftTypes_al_r0_r1_r2_ASR_17",
1305                                ARRAY_SIZE(kShiftTypes),
1306                                kShiftTypes},
1307                               {{al, r0, r1, r2, ASR, 18},
1308                                "al r0 r1 r2 ASR 18",
1309                                "ShiftTypes_al_r0_r1_r2_ASR_18",
1310                                ARRAY_SIZE(kShiftTypes),
1311                                kShiftTypes},
1312                               {{al, r0, r1, r2, ASR, 19},
1313                                "al r0 r1 r2 ASR 19",
1314                                "ShiftTypes_al_r0_r1_r2_ASR_19",
1315                                ARRAY_SIZE(kShiftTypes),
1316                                kShiftTypes},
1317                               {{al, r0, r1, r2, ASR, 20},
1318                                "al r0 r1 r2 ASR 20",
1319                                "ShiftTypes_al_r0_r1_r2_ASR_20",
1320                                ARRAY_SIZE(kShiftTypes),
1321                                kShiftTypes},
1322                               {{al, r0, r1, r2, ASR, 21},
1323                                "al r0 r1 r2 ASR 21",
1324                                "ShiftTypes_al_r0_r1_r2_ASR_21",
1325                                ARRAY_SIZE(kShiftTypes),
1326                                kShiftTypes},
1327                               {{al, r0, r1, r2, ASR, 22},
1328                                "al r0 r1 r2 ASR 22",
1329                                "ShiftTypes_al_r0_r1_r2_ASR_22",
1330                                ARRAY_SIZE(kShiftTypes),
1331                                kShiftTypes},
1332                               {{al, r0, r1, r2, ASR, 23},
1333                                "al r0 r1 r2 ASR 23",
1334                                "ShiftTypes_al_r0_r1_r2_ASR_23",
1335                                ARRAY_SIZE(kShiftTypes),
1336                                kShiftTypes},
1337                               {{al, r0, r1, r2, ASR, 24},
1338                                "al r0 r1 r2 ASR 24",
1339                                "ShiftTypes_al_r0_r1_r2_ASR_24",
1340                                ARRAY_SIZE(kShiftTypes),
1341                                kShiftTypes},
1342                               {{al, r0, r1, r2, ASR, 25},
1343                                "al r0 r1 r2 ASR 25",
1344                                "ShiftTypes_al_r0_r1_r2_ASR_25",
1345                                ARRAY_SIZE(kShiftTypes),
1346                                kShiftTypes},
1347                               {{al, r0, r1, r2, ASR, 26},
1348                                "al r0 r1 r2 ASR 26",
1349                                "ShiftTypes_al_r0_r1_r2_ASR_26",
1350                                ARRAY_SIZE(kShiftTypes),
1351                                kShiftTypes},
1352                               {{al, r0, r1, r2, ASR, 27},
1353                                "al r0 r1 r2 ASR 27",
1354                                "ShiftTypes_al_r0_r1_r2_ASR_27",
1355                                ARRAY_SIZE(kShiftTypes),
1356                                kShiftTypes},
1357                               {{al, r0, r1, r2, ASR, 28},
1358                                "al r0 r1 r2 ASR 28",
1359                                "ShiftTypes_al_r0_r1_r2_ASR_28",
1360                                ARRAY_SIZE(kShiftTypes),
1361                                kShiftTypes},
1362                               {{al, r0, r1, r2, ASR, 29},
1363                                "al r0 r1 r2 ASR 29",
1364                                "ShiftTypes_al_r0_r1_r2_ASR_29",
1365                                ARRAY_SIZE(kShiftTypes),
1366                                kShiftTypes},
1367                               {{al, r0, r1, r2, ASR, 30},
1368                                "al r0 r1 r2 ASR 30",
1369                                "ShiftTypes_al_r0_r1_r2_ASR_30",
1370                                ARRAY_SIZE(kShiftTypes),
1371                                kShiftTypes},
1372                               {{al, r0, r1, r2, ASR, 31},
1373                                "al r0 r1 r2 ASR 31",
1374                                "ShiftTypes_al_r0_r1_r2_ASR_31",
1375                                ARRAY_SIZE(kShiftTypes),
1376                                kShiftTypes},
1377                               {{al, r0, r1, r2, ASR, 32},
1378                                "al r0 r1 r2 ASR 32",
1379                                "ShiftTypes_al_r0_r1_r2_ASR_32",
1380                                ARRAY_SIZE(kShiftTypes),
1381                                kShiftTypes}};
1382
1383// We record all inputs to the instructions as outputs. This way, we also check
1384// that what shouldn't change didn't change.
1385struct TestResult {
1386  size_t output_size;
1387  const Inputs* outputs;
1388};
1389
1390// These headers each contain an array of `TestResult` with the reference output
1391// values. The reference arrays are names `kReference{mnemonic}`.
1392#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-adc-t32.h"
1393#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-adcs-t32.h"
1394#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-add-t32.h"
1395#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-adds-t32.h"
1396#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-and-t32.h"
1397#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-ands-t32.h"
1398#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-bic-t32.h"
1399#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-bics-t32.h"
1400#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-eor-t32.h"
1401#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-eors-t32.h"
1402#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-orn-t32.h"
1403#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-orns-t32.h"
1404#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-orr-t32.h"
1405#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-orrs-t32.h"
1406#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-rsb-t32.h"
1407#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-rsbs-t32.h"
1408#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-sbc-t32.h"
1409#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-sbcs-t32.h"
1410#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-sub-t32.h"
1411#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-shift-amount-1to32-subs-t32.h"
1412
1413
1414// The maximum number of errors to report in detail for each test.
1415const unsigned kErrorReportLimit = 8;
1416
1417typedef void (MacroAssembler::*Fn)(Condition cond,
1418                                   Register rd,
1419                                   Register rn,
1420                                   const Operand& op);
1421
1422void TestHelper(Fn instruction,
1423                const char* mnemonic,
1424                const TestResult reference[]) {
1425  SETUP();
1426  masm.UseT32();
1427  START();
1428
1429  // Data to compare to `reference`.
1430  TestResult* results[ARRAY_SIZE(kTests)];
1431
1432  // Test cases for memory bound instructions may allocate a buffer and save its
1433  // address in this array.
1434  byte* scratch_memory_buffers[ARRAY_SIZE(kTests)];
1435
1436  // Generate a loop for each element in `kTests`. Each loop tests one specific
1437  // instruction.
1438  for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
1439    // Allocate results on the heap for this test.
1440    results[i] = new TestResult;
1441    results[i]->outputs = new Inputs[kTests[i].input_size];
1442    results[i]->output_size = kTests[i].input_size;
1443
1444    size_t input_stride = sizeof(kTests[i].inputs[0]) * kTests[i].input_size;
1445    VIXL_ASSERT(IsUint32(input_stride));
1446
1447    scratch_memory_buffers[i] = NULL;
1448
1449    Label loop;
1450    UseScratchRegisterScope scratch_registers(&masm);
1451    // Include all registers from r0 ro r12.
1452    scratch_registers.Include(RegisterList(0x1fff));
1453
1454    // Values to pass to the macro-assembler.
1455    Condition cond = kTests[i].operands.cond;
1456    Register rd = kTests[i].operands.rd;
1457    Register rn = kTests[i].operands.rn;
1458    Register rm = kTests[i].operands.rm;
1459    ShiftType shift = kTests[i].operands.shift;
1460    uint32_t amount = kTests[i].operands.amount;
1461    Operand op(rm, shift, amount);
1462    scratch_registers.Exclude(rd);
1463    scratch_registers.Exclude(rn);
1464    scratch_registers.Exclude(rm);
1465
1466    // Allocate reserved registers for our own use.
1467    Register input_ptr = scratch_registers.Acquire();
1468    Register input_end = scratch_registers.Acquire();
1469    Register result_ptr = scratch_registers.Acquire();
1470
1471    // Initialize `input_ptr` to the first element and `input_end` the address
1472    // after the array.
1473    __ Mov(input_ptr, Operand::From(kTests[i].inputs));
1474    __ Add(input_end, input_ptr, static_cast<uint32_t>(input_stride));
1475    __ Mov(result_ptr, Operand::From(results[i]->outputs));
1476    __ Bind(&loop);
1477
1478    {
1479      UseScratchRegisterScope temp_registers(&masm);
1480      Register nzcv_bits = temp_registers.Acquire();
1481      Register saved_q_bit = temp_registers.Acquire();
1482      // Save the `Q` bit flag.
1483      __ Mrs(saved_q_bit, APSR);
1484      __ And(saved_q_bit, saved_q_bit, QFlag);
1485      // Set the `NZCV` and `Q` flags together.
1486      __ Ldr(nzcv_bits, MemOperand(input_ptr, offsetof(Inputs, apsr)));
1487      __ Orr(nzcv_bits, nzcv_bits, saved_q_bit);
1488      __ Msr(APSR_nzcvq, nzcv_bits);
1489    }
1490    __ Ldr(rd, MemOperand(input_ptr, offsetof(Inputs, rd)));
1491    __ Ldr(rn, MemOperand(input_ptr, offsetof(Inputs, rn)));
1492    __ Ldr(rm, MemOperand(input_ptr, offsetof(Inputs, rm)));
1493
1494    (masm.*instruction)(cond, rd, rn, op);
1495
1496    {
1497      UseScratchRegisterScope temp_registers(&masm);
1498      Register nzcv_bits = temp_registers.Acquire();
1499      __ Mrs(nzcv_bits, APSR);
1500      // Only record the NZCV bits.
1501      __ And(nzcv_bits, nzcv_bits, NZCVFlag);
1502      __ Str(nzcv_bits, MemOperand(result_ptr, offsetof(Inputs, apsr)));
1503    }
1504    __ Str(rd, MemOperand(result_ptr, offsetof(Inputs, rd)));
1505    __ Str(rn, MemOperand(result_ptr, offsetof(Inputs, rn)));
1506    __ Str(rm, MemOperand(result_ptr, offsetof(Inputs, rm)));
1507
1508    // Advance the result pointer.
1509    __ Add(result_ptr, result_ptr, Operand::From(sizeof(kTests[i].inputs[0])));
1510    // Loop back until `input_ptr` is lower than `input_base`.
1511    __ Add(input_ptr, input_ptr, Operand::From(sizeof(kTests[i].inputs[0])));
1512    __ Cmp(input_ptr, input_end);
1513    __ B(ne, &loop);
1514  }
1515
1516  END();
1517
1518  RUN();
1519
1520  if (Test::generate_test_trace()) {
1521    // Print the results.
1522    for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1523      printf("const Inputs kOutputs_%s_%s[] = {\n",
1524             mnemonic,
1525             kTests[i].identifier);
1526      for (size_t j = 0; j < results[i]->output_size; j++) {
1527        printf("  { ");
1528        printf("0x%08" PRIx32, results[i]->outputs[j].apsr);
1529        printf(", ");
1530        printf("0x%08" PRIx32, results[i]->outputs[j].rd);
1531        printf(", ");
1532        printf("0x%08" PRIx32, results[i]->outputs[j].rn);
1533        printf(", ");
1534        printf("0x%08" PRIx32, results[i]->outputs[j].rm);
1535        printf(" },\n");
1536      }
1537      printf("};\n");
1538    }
1539    printf("const TestResult kReference%s[] = {\n", mnemonic);
1540    for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1541      printf("  {\n");
1542      printf("    ARRAY_SIZE(kOutputs_%s_%s),\n",
1543             mnemonic,
1544             kTests[i].identifier);
1545      printf("    kOutputs_%s_%s,\n", mnemonic, kTests[i].identifier);
1546      printf("  },\n");
1547    }
1548    printf("};\n");
1549  } else if (kCheckSimulatorTestResults) {
1550    // Check the results.
1551    unsigned total_error_count = 0;
1552    for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1553      bool instruction_has_errors = false;
1554      for (size_t j = 0; j < kTests[i].input_size; j++) {
1555        uint32_t apsr = results[i]->outputs[j].apsr;
1556        uint32_t rd = results[i]->outputs[j].rd;
1557        uint32_t rn = results[i]->outputs[j].rn;
1558        uint32_t rm = results[i]->outputs[j].rm;
1559        uint32_t apsr_input = kTests[i].inputs[j].apsr;
1560        uint32_t rd_input = kTests[i].inputs[j].rd;
1561        uint32_t rn_input = kTests[i].inputs[j].rn;
1562        uint32_t rm_input = kTests[i].inputs[j].rm;
1563        uint32_t apsr_ref = reference[i].outputs[j].apsr;
1564        uint32_t rd_ref = reference[i].outputs[j].rd;
1565        uint32_t rn_ref = reference[i].outputs[j].rn;
1566        uint32_t rm_ref = reference[i].outputs[j].rm;
1567
1568        if (((apsr != apsr_ref) || (rd != rd_ref) || (rn != rn_ref) ||
1569             (rm != rm_ref)) &&
1570            (++total_error_count <= kErrorReportLimit)) {
1571          // Print the instruction once even if it triggered multiple failures.
1572          if (!instruction_has_errors) {
1573            printf("Error(s) when testing \"%s %s\":\n",
1574                   mnemonic,
1575                   kTests[i].operands_description);
1576            instruction_has_errors = true;
1577          }
1578          // Print subsequent errors.
1579          printf("  Input:    ");
1580          printf("0x%08" PRIx32, apsr_input);
1581          printf(", ");
1582          printf("0x%08" PRIx32, rd_input);
1583          printf(", ");
1584          printf("0x%08" PRIx32, rn_input);
1585          printf(", ");
1586          printf("0x%08" PRIx32, rm_input);
1587          printf("\n");
1588          printf("  Expected: ");
1589          printf("0x%08" PRIx32, apsr_ref);
1590          printf(", ");
1591          printf("0x%08" PRIx32, rd_ref);
1592          printf(", ");
1593          printf("0x%08" PRIx32, rn_ref);
1594          printf(", ");
1595          printf("0x%08" PRIx32, rm_ref);
1596          printf("\n");
1597          printf("  Found:    ");
1598          printf("0x%08" PRIx32, apsr);
1599          printf(", ");
1600          printf("0x%08" PRIx32, rd);
1601          printf(", ");
1602          printf("0x%08" PRIx32, rn);
1603          printf(", ");
1604          printf("0x%08" PRIx32, rm);
1605          printf("\n\n");
1606        }
1607      }
1608    }
1609
1610    if (total_error_count > kErrorReportLimit) {
1611      printf("%u other errors follow.\n",
1612             total_error_count - kErrorReportLimit);
1613    }
1614    VIXL_CHECK(total_error_count == 0);
1615  } else {
1616    VIXL_WARNING("Assembled the code, but did not run anything.\n");
1617  }
1618
1619  for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1620    delete[] results[i]->outputs;
1621    delete results[i];
1622    delete[] scratch_memory_buffers[i];
1623  }
1624}
1625
1626// Instantiate tests for each instruction in the list.
1627// TODO: Remove this limitation by having a sandboxing mechanism.
1628#if defined(VIXL_HOST_POINTER_32)
1629#define TEST(mnemonic)                                                        \
1630  void Test_##mnemonic() {                                                    \
1631    TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic);   \
1632  }                                                                           \
1633  Test test_##mnemonic(                                                       \
1634      "AARCH32_SIMULATOR_COND_RD_RN_OPERAND_RM_SHIFT_AMOUNT_1TO32_" #mnemonic \
1635      "_T32",                                                                 \
1636      &Test_##mnemonic);
1637#else
1638#define TEST(mnemonic)                                                        \
1639  void Test_##mnemonic() {                                                    \
1640    VIXL_WARNING("This test can only run on a 32-bit host.\n");               \
1641    USE(TestHelper);                                                          \
1642  }                                                                           \
1643  Test test_##mnemonic(                                                       \
1644      "AARCH32_SIMULATOR_COND_RD_RN_OPERAND_RM_SHIFT_AMOUNT_1TO32_" #mnemonic \
1645      "_T32",                                                                 \
1646      &Test_##mnemonic);
1647#endif
1648
1649FOREACH_INSTRUCTION(TEST)
1650#undef TEST
1651
1652}  // namespace
1653#endif
1654
1655}  // namespace aarch32
1656}  // namespace vixl
1657