test-simulator-cond-rd-rn-operand-rm-ror-amount-a32.cc revision ec4fdd22abecf1b8f52ee9dbff596ebdded9b5d6
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/macro-assembler-aarch32.h"
44#include "aarch32/disasm-aarch32.h"
45
46#define __ masm.
47#define BUF_SIZE (4096)
48
49#ifdef VIXL_INCLUDE_SIMULATOR
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#define TEARDOWN()
64
65#else  // ifdef VIXL_INCLUDE_SIMULATOR.
66
67#define SETUP() MacroAssembler masm(BUF_SIZE);
68
69#define START()             \
70  masm.GetBuffer().Reset(); \
71  __ Push(r4);              \
72  __ Push(r5);              \
73  __ Push(r6);              \
74  __ Push(r7);              \
75  __ Push(r8);              \
76  __ Push(r9);              \
77  __ Push(r10);             \
78  __ Push(r11);             \
79  __ Push(r12);             \
80  __ Push(lr)
81
82#define END()  \
83  __ Pop(lr);  \
84  __ Pop(r12); \
85  __ Pop(r11); \
86  __ Pop(r10); \
87  __ Pop(r9);  \
88  __ Pop(r8);  \
89  __ Pop(r7);  \
90  __ Pop(r6);  \
91  __ Pop(r5);  \
92  __ Pop(r4);  \
93  __ Bx(lr);   \
94  __ FinalizeCode();
95
96// Copy the generated code into a memory area garanteed to be executable before
97// executing it.
98#define RUN()                                                  \
99  {                                                            \
100    ExecutableMemory code(masm.GetBuffer().GetCursorOffset()); \
101    code.Write(masm.GetBuffer().GetOffsetAddress<byte*>(0),    \
102               masm.GetBuffer().GetCursorOffset());            \
103    int pcs_offset = masm.IsUsingT32() ? 1 : 0;                \
104    code.Execute(pcs_offset);                                  \
105  }
106
107#define TEARDOWN()
108
109#endif  // ifdef VIXL_INCLUDE_SIMULATOR
110
111namespace vixl {
112namespace aarch32 {
113
114// List of instruction encodings:
115#define FOREACH_INSTRUCTION(M) \
116  M(Sxtab)                     \
117  M(Sxtab16)                   \
118  M(Sxtah)                     \
119  M(Uxtab)                     \
120  M(Uxtab16)                   \
121  M(Uxtah)
122
123
124// Values to be passed to the assembler to produce the instruction under test.
125struct Operands {
126  Condition cond;
127  Register rd;
128  Register rn;
129  Register rm;
130  ShiftType ror;
131  uint32_t amount;
132};
133
134// Input data to feed to the instruction.
135struct Inputs {
136  uint32_t apsr;
137  uint32_t rd;
138  uint32_t rn;
139  uint32_t rm;
140};
141
142// This structure contains all input data needed to test one specific encoding.
143// It used to generate a loop over an instruction.
144struct TestLoopData {
145  // The `operands` fields represents the values to pass to the assembler to
146  // produce the instruction.
147  Operands operands;
148  // Description of the operands, used for error reporting.
149  const char* operands_description;
150  // Unique identifier, used for generating traces.
151  const char* identifier;
152  // Array of values to be fed to the instruction.
153  size_t input_size;
154  const Inputs* inputs;
155};
156
157static const Inputs kCondition[] =
158    {{NFlag, 0xabababab, 0xabababab, 0xabababab},
159     {ZFlag, 0xabababab, 0xabababab, 0xabababab},
160     {CFlag, 0xabababab, 0xabababab, 0xabababab},
161     {VFlag, 0xabababab, 0xabababab, 0xabababab},
162     {NZFlag, 0xabababab, 0xabababab, 0xabababab},
163     {NCFlag, 0xabababab, 0xabababab, 0xabababab},
164     {NVFlag, 0xabababab, 0xabababab, 0xabababab},
165     {ZCFlag, 0xabababab, 0xabababab, 0xabababab},
166     {ZVFlag, 0xabababab, 0xabababab, 0xabababab},
167     {CVFlag, 0xabababab, 0xabababab, 0xabababab},
168     {NZCFlag, 0xabababab, 0xabababab, 0xabababab},
169     {NZVFlag, 0xabababab, 0xabababab, 0xabababab},
170     {NCVFlag, 0xabababab, 0xabababab, 0xabababab},
171     {ZCVFlag, 0xabababab, 0xabababab, 0xabababab},
172     {NZCVFlag, 0xabababab, 0xabababab, 0xabababab}};
173
174static const Inputs kRdIsRn[] = {{NoFlag, 0xffffff83, 0xffffff83, 0xffff8002},
175                                 {NoFlag, 0x0000007e, 0x0000007e, 0x7fffffff},
176                                 {NoFlag, 0x0000007d, 0x0000007d, 0xffffffe0},
177                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x00000002},
178                                 {NoFlag, 0xffff8002, 0xffff8002, 0xfffffffd},
179                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x00007fff},
180                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffffff83},
181                                 {NoFlag, 0xffff8002, 0xffff8002, 0x80000001},
182                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0xffff8003},
183                                 {NoFlag, 0x00007fff, 0x00007fff, 0xffffffff},
184                                 {NoFlag, 0x00000000, 0x00000000, 0xffffff80},
185                                 {NoFlag, 0xffff8001, 0xffff8001, 0x33333333},
186                                 {NoFlag, 0xffffff80, 0xffffff80, 0x0000007e},
187                                 {NoFlag, 0x0000007e, 0x0000007e, 0x7ffffffd},
188                                 {NoFlag, 0xffffff80, 0xffffff80, 0xfffffffd},
189                                 {NoFlag, 0x00000020, 0x00000020, 0xffff8002},
190                                 {NoFlag, 0xffffff80, 0xffffff80, 0xfffffffe},
191                                 {NoFlag, 0x00000002, 0x00000002, 0x00000000},
192                                 {NoFlag, 0x0000007e, 0x0000007e, 0x00000001},
193                                 {NoFlag, 0x00000002, 0x00000002, 0x0000007f},
194                                 {NoFlag, 0x80000000, 0x80000000, 0x80000000},
195                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xffffff80},
196                                 {NoFlag, 0x00000001, 0x00000001, 0xfffffffe},
197                                 {NoFlag, 0x33333333, 0x33333333, 0x0000007d},
198                                 {NoFlag, 0x00000001, 0x00000001, 0x7ffffffe},
199                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0x7fffffff},
200                                 {NoFlag, 0x80000000, 0x80000000, 0xffffff83},
201                                 {NoFlag, 0x00000000, 0x00000000, 0x7ffffffe},
202                                 {NoFlag, 0x00000000, 0x00000000, 0x0000007f},
203                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xcccccccc},
204                                 {NoFlag, 0xffffff82, 0xffffff82, 0x00000002},
205                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xaaaaaaaa},
206                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0xffff8001},
207                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffff8001},
208                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x00000020},
209                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x00007ffe},
210                                 {NoFlag, 0x80000001, 0x80000001, 0xffff8000},
211                                 {NoFlag, 0xffffff82, 0xffffff82, 0x0000007d},
212                                 {NoFlag, 0x0000007e, 0x0000007e, 0x7ffffffe},
213                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0xffffff80},
214                                 {NoFlag, 0x0000007d, 0x0000007d, 0x0000007e},
215                                 {NoFlag, 0xffff8002, 0xffff8002, 0x7fffffff},
216                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x0000007f},
217                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0xffffff81},
218                                 {NoFlag, 0x80000000, 0x80000000, 0x0000007e},
219                                 {NoFlag, 0xffffffff, 0xffffffff, 0xaaaaaaaa},
220                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0x00000020},
221                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffff8003},
222                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xffff8002},
223                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0x00000000},
224                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0xffffffe0},
225                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffff8002},
226                                 {NoFlag, 0xffffff82, 0xffffff82, 0x7ffffffd},
227                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0x80000000},
228                                 {NoFlag, 0x80000001, 0x80000001, 0x33333333},
229                                 {NoFlag, 0x00000001, 0x00000001, 0x00000002},
230                                 {NoFlag, 0x55555555, 0x55555555, 0x0000007f},
231                                 {NoFlag, 0xffffffff, 0xffffffff, 0xfffffffd},
232                                 {NoFlag, 0xffffff80, 0xffffff80, 0x80000000},
233                                 {NoFlag, 0x00000000, 0x00000000, 0x00000020},
234                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffff8003},
235                                 {NoFlag, 0xffff8001, 0xffff8001, 0xffff8000},
236                                 {NoFlag, 0x55555555, 0x55555555, 0x55555555},
237                                 {NoFlag, 0x00007fff, 0x00007fff, 0xffff8000},
238                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xffffffe0},
239                                 {NoFlag, 0x00000001, 0x00000001, 0x55555555},
240                                 {NoFlag, 0x33333333, 0x33333333, 0x7ffffffe},
241                                 {NoFlag, 0x80000000, 0x80000000, 0xffffffe0},
242                                 {NoFlag, 0xffffff83, 0xffffff83, 0x0000007d},
243                                 {NoFlag, 0xffff8003, 0xffff8003, 0x00000002},
244                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0xffffff81},
245                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffffff80},
246                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0xffff8002},
247                                 {NoFlag, 0x80000001, 0x80000001, 0xfffffffe},
248                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xfffffffd},
249                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0xfffffffe},
250                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0xffffff83},
251                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x00007ffe},
252                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x80000000},
253                                 {NoFlag, 0xffffff82, 0xffffff82, 0x7fffffff},
254                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0xffffff83},
255                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffff8000},
256                                 {NoFlag, 0x00000001, 0x00000001, 0x7fffffff},
257                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffffffff},
258                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffffffff},
259                                 {NoFlag, 0xffffffff, 0xffffffff, 0xfffffffe},
260                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x0000007d},
261                                 {NoFlag, 0xffff8001, 0xffff8001, 0xfffffffe},
262                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0x0000007d},
263                                 {NoFlag, 0xffffff82, 0xffffff82, 0xfffffffe},
264                                 {NoFlag, 0x00000000, 0x00000000, 0x00007ffd},
265                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0xffff8002},
266                                 {NoFlag, 0x0000007f, 0x0000007f, 0xffffff82},
267                                 {NoFlag, 0x00007fff, 0x00007fff, 0x33333333},
268                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x80000000},
269                                 {NoFlag, 0x00000000, 0x00000000, 0xfffffffd},
270                                 {NoFlag, 0x0000007d, 0x0000007d, 0x0000007f},
271                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x0000007e},
272                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x55555555},
273                                 {NoFlag, 0xffffffff, 0xffffffff, 0x80000000},
274                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0x0000007e},
275                                 {NoFlag, 0xffffff81, 0xffffff81, 0x00007ffd},
276                                 {NoFlag, 0x00000020, 0x00000020, 0xffff8001},
277                                 {NoFlag, 0x00007fff, 0x00007fff, 0xffffff83},
278                                 {NoFlag, 0x33333333, 0x33333333, 0x00000000},
279                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffffff82},
280                                 {NoFlag, 0xffff8001, 0xffff8001, 0x0000007e},
281                                 {NoFlag, 0xffffff80, 0xffffff80, 0x00000001},
282                                 {NoFlag, 0x80000000, 0x80000000, 0xcccccccc},
283                                 {NoFlag, 0x00000002, 0x00000002, 0x00007ffd},
284                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0x80000001},
285                                 {NoFlag, 0x00000020, 0x00000020, 0x00007ffe},
286                                 {NoFlag, 0xffff8000, 0xffff8000, 0xfffffffd},
287                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0xffff8001},
288                                 {NoFlag, 0x00000000, 0x00000000, 0xffffff83},
289                                 {NoFlag, 0x0000007f, 0x0000007f, 0x00000020},
290                                 {NoFlag, 0x80000001, 0x80000001, 0xffff8003},
291                                 {NoFlag, 0xffff8001, 0xffff8001, 0x0000007f},
292                                 {NoFlag, 0x0000007f, 0x0000007f, 0x80000001},
293                                 {NoFlag, 0x00000002, 0x00000002, 0x7ffffffe},
294                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffffff83},
295                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0x7fffffff},
296                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0xfffffffe},
297                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffff8000},
298                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffff8000},
299                                 {NoFlag, 0xffff8002, 0xffff8002, 0xffffff81},
300                                 {NoFlag, 0x33333333, 0x33333333, 0x7fffffff},
301                                 {NoFlag, 0x80000001, 0x80000001, 0x00007fff},
302                                 {NoFlag, 0xffff8002, 0xffff8002, 0xcccccccc},
303                                 {NoFlag, 0xffffffff, 0xffffffff, 0x00000002},
304                                 {NoFlag, 0x33333333, 0x33333333, 0xffffff81},
305                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0xffffff80},
306                                 {NoFlag, 0x55555555, 0x55555555, 0xaaaaaaaa},
307                                 {NoFlag, 0x33333333, 0x33333333, 0xffffff82},
308                                 {NoFlag, 0xffffff80, 0xffffff80, 0xaaaaaaaa},
309                                 {NoFlag, 0x0000007e, 0x0000007e, 0x00000020},
310                                 {NoFlag, 0xffffff83, 0xffffff83, 0x00007ffd},
311                                 {NoFlag, 0xffffff82, 0xffffff82, 0xaaaaaaaa},
312                                 {NoFlag, 0xffff8003, 0xffff8003, 0xffffffff},
313                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0xfffffffe},
314                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x00000000},
315                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x0000007f},
316                                 {NoFlag, 0x0000007f, 0x0000007f, 0x0000007d},
317                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x55555555},
318                                 {NoFlag, 0xffffffff, 0xffffffff, 0x00000020},
319                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0xffffff83},
320                                 {NoFlag, 0x7fffffff, 0x7fffffff, 0x55555555},
321                                 {NoFlag, 0x55555555, 0x55555555, 0xcccccccc},
322                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0xffff8003},
323                                 {NoFlag, 0x7ffffffe, 0x7ffffffe, 0x00007ffe},
324                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0xffff8002},
325                                 {NoFlag, 0x00007ffd, 0x00007ffd, 0x00000001},
326                                 {NoFlag, 0x00000000, 0x00000000, 0x00007ffe},
327                                 {NoFlag, 0xffffff80, 0xffffff80, 0x00000020},
328                                 {NoFlag, 0xffff8000, 0xffff8000, 0x0000007d},
329                                 {NoFlag, 0xffff8003, 0xffff8003, 0x00000000},
330                                 {NoFlag, 0x0000007e, 0x0000007e, 0x80000000},
331                                 {NoFlag, 0xfffffffd, 0xfffffffd, 0x00000000},
332                                 {NoFlag, 0xffffff80, 0xffffff80, 0xffffffff},
333                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0x0000007f},
334                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0x00000000},
335                                 {NoFlag, 0x00007fff, 0x00007fff, 0x00000000},
336                                 {NoFlag, 0x0000007f, 0x0000007f, 0x00000001},
337                                 {NoFlag, 0xffffffff, 0xffffffff, 0xffffff82},
338                                 {NoFlag, 0x00007ffe, 0x00007ffe, 0x00007ffd},
339                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x33333333},
340                                 {NoFlag, 0xffffff82, 0xffffff82, 0x55555555},
341                                 {NoFlag, 0xffff8003, 0xffff8003, 0x0000007e},
342                                 {NoFlag, 0xffffff83, 0xffffff83, 0x00000002},
343                                 {NoFlag, 0xffffff82, 0xffffff82, 0x33333333},
344                                 {NoFlag, 0x55555555, 0x55555555, 0xffffffff},
345                                 {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa, 0x80000001},
346                                 {NoFlag, 0xffffff83, 0xffffff83, 0xffffffe0},
347                                 {NoFlag, 0x00000001, 0x00000001, 0xffffffe0},
348                                 {NoFlag, 0x33333333, 0x33333333, 0x33333333},
349                                 {NoFlag, 0x55555555, 0x55555555, 0x00000001},
350                                 {NoFlag, 0xffffff83, 0xffffff83, 0x00007fff},
351                                 {NoFlag, 0x00000002, 0x00000002, 0xfffffffd},
352                                 {NoFlag, 0xffffffe0, 0xffffffe0, 0xffff8002},
353                                 {NoFlag, 0x80000000, 0x80000000, 0x00007ffd},
354                                 {NoFlag, 0xffffff83, 0xffffff83, 0xfffffffe},
355                                 {NoFlag, 0x80000001, 0x80000001, 0xffffffff},
356                                 {NoFlag, 0xffff8003, 0xffff8003, 0x00000020},
357                                 {NoFlag, 0xffffff82, 0xffffff82, 0xcccccccc},
358                                 {NoFlag, 0x00000020, 0x00000020, 0x7fffffff},
359                                 {NoFlag, 0xffffff80, 0xffffff80, 0x55555555},
360                                 {NoFlag, 0x00000001, 0x00000001, 0x00000020},
361                                 {NoFlag, 0xffff8001, 0xffff8001, 0x00007fff},
362                                 {NoFlag, 0x00000020, 0x00000020, 0xaaaaaaaa},
363                                 {NoFlag, 0x55555555, 0x55555555, 0x7fffffff},
364                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0x7fffffff},
365                                 {NoFlag, 0x00007fff, 0x00007fff, 0x55555555},
366                                 {NoFlag, 0x55555555, 0x55555555, 0x0000007d},
367                                 {NoFlag, 0xcccccccc, 0xcccccccc, 0x7ffffffe},
368                                 {NoFlag, 0xffff8002, 0xffff8002, 0x00007ffe},
369                                 {NoFlag, 0xfffffffe, 0xfffffffe, 0xffffff81},
370                                 {NoFlag, 0xffffff81, 0xffffff81, 0x0000007d},
371                                 {NoFlag, 0x00000020, 0x00000020, 0x0000007e},
372                                 {NoFlag, 0xffffffff, 0xffffffff, 0x00007ffe},
373                                 {NoFlag, 0xffff8002, 0xffff8002, 0x0000007e}};
374
375static const Inputs kRdIsRm[] = {{NoFlag, 0x55555555, 0x7ffffffe, 0x55555555},
376                                 {NoFlag, 0xfffffffe, 0x00000001, 0xfffffffe},
377                                 {NoFlag, 0xffffff82, 0xffffff82, 0xffffff82},
378                                 {NoFlag, 0xffff8000, 0xffff8003, 0xffff8000},
379                                 {NoFlag, 0x00000001, 0x00000000, 0x00000001},
380                                 {NoFlag, 0xffffff81, 0x00007fff, 0xffffff81},
381                                 {NoFlag, 0x0000007d, 0xffff8002, 0x0000007d},
382                                 {NoFlag, 0x80000000, 0xffff8000, 0x80000000},
383                                 {NoFlag, 0xffffff80, 0x00000020, 0xffffff80},
384                                 {NoFlag, 0x55555555, 0xffffff81, 0x55555555},
385                                 {NoFlag, 0x00007ffd, 0xffffff82, 0x00007ffd},
386                                 {NoFlag, 0x55555555, 0x00007fff, 0x55555555},
387                                 {NoFlag, 0x7ffffffd, 0xffff8000, 0x7ffffffd},
388                                 {NoFlag, 0xffffffff, 0xffffff83, 0xffffffff},
389                                 {NoFlag, 0x00000000, 0xffffffff, 0x00000000},
390                                 {NoFlag, 0xffff8002, 0x33333333, 0xffff8002},
391                                 {NoFlag, 0x00007ffd, 0xaaaaaaaa, 0x00007ffd},
392                                 {NoFlag, 0x55555555, 0xffff8000, 0x55555555},
393                                 {NoFlag, 0x80000001, 0xffffffff, 0x80000001},
394                                 {NoFlag, 0x0000007d, 0xffffff83, 0x0000007d},
395                                 {NoFlag, 0x0000007e, 0xffffff82, 0x0000007e},
396                                 {NoFlag, 0xcccccccc, 0x0000007d, 0xcccccccc},
397                                 {NoFlag, 0xffff8002, 0xffffffff, 0xffff8002},
398                                 {NoFlag, 0xffffff81, 0x0000007f, 0xffffff81},
399                                 {NoFlag, 0xffff8000, 0xffffff83, 0xffff8000},
400                                 {NoFlag, 0xffffffff, 0xffffffe0, 0xffffffff},
401                                 {NoFlag, 0xfffffffd, 0x80000001, 0xfffffffd},
402                                 {NoFlag, 0x55555555, 0x80000000, 0x55555555},
403                                 {NoFlag, 0xffff8000, 0x0000007d, 0xffff8000},
404                                 {NoFlag, 0xaaaaaaaa, 0xffff8003, 0xaaaaaaaa},
405                                 {NoFlag, 0x00000001, 0x00007ffd, 0x00000001},
406                                 {NoFlag, 0x0000007e, 0x7ffffffe, 0x0000007e},
407                                 {NoFlag, 0x00000020, 0x00007ffd, 0x00000020},
408                                 {NoFlag, 0xffffff81, 0x7ffffffd, 0xffffff81},
409                                 {NoFlag, 0xffffff83, 0x0000007f, 0xffffff83},
410                                 {NoFlag, 0x00000001, 0x0000007e, 0x00000001},
411                                 {NoFlag, 0xffffff82, 0xfffffffd, 0xffffff82},
412                                 {NoFlag, 0xffff8003, 0x7ffffffe, 0xffff8003},
413                                 {NoFlag, 0x00000002, 0x00000002, 0x00000002},
414                                 {NoFlag, 0xffffff83, 0xffff8001, 0xffffff83},
415                                 {NoFlag, 0xffff8002, 0xfffffffe, 0xffff8002},
416                                 {NoFlag, 0xffffff80, 0xffffff81, 0xffffff80},
417                                 {NoFlag, 0x7fffffff, 0xffffff81, 0x7fffffff},
418                                 {NoFlag, 0x00000020, 0xffffff81, 0x00000020},
419                                 {NoFlag, 0x0000007f, 0xffffffff, 0x0000007f},
420                                 {NoFlag, 0x0000007d, 0xcccccccc, 0x0000007d},
421                                 {NoFlag, 0x00007fff, 0x55555555, 0x00007fff},
422                                 {NoFlag, 0xffff8003, 0x00007ffd, 0xffff8003},
423                                 {NoFlag, 0x80000001, 0x80000001, 0x80000001},
424                                 {NoFlag, 0xffffffff, 0xfffffffd, 0xffffffff},
425                                 {NoFlag, 0xffff8000, 0xfffffffe, 0xffff8000},
426                                 {NoFlag, 0xcccccccc, 0x0000007f, 0xcccccccc},
427                                 {NoFlag, 0x00000001, 0x00000002, 0x00000001},
428                                 {NoFlag, 0xffffff82, 0xffffff81, 0xffffff82},
429                                 {NoFlag, 0xfffffffd, 0x00007ffd, 0xfffffffd},
430                                 {NoFlag, 0x80000001, 0x33333333, 0x80000001},
431                                 {NoFlag, 0xffffff82, 0xffff8002, 0xffffff82},
432                                 {NoFlag, 0xffff8003, 0xfffffffd, 0xffff8003},
433                                 {NoFlag, 0xffffff81, 0x00000020, 0xffffff81},
434                                 {NoFlag, 0xffff8001, 0xffff8003, 0xffff8001},
435                                 {NoFlag, 0x00000001, 0x80000001, 0x00000001},
436                                 {NoFlag, 0xfffffffd, 0x00000002, 0xfffffffd},
437                                 {NoFlag, 0xffff8003, 0x7ffffffd, 0xffff8003},
438                                 {NoFlag, 0x0000007e, 0xaaaaaaaa, 0x0000007e},
439                                 {NoFlag, 0x7ffffffe, 0x7fffffff, 0x7ffffffe},
440                                 {NoFlag, 0x00007ffd, 0x00007ffe, 0x00007ffd},
441                                 {NoFlag, 0x00007fff, 0x80000001, 0x00007fff},
442                                 {NoFlag, 0x00007fff, 0xfffffffe, 0x00007fff},
443                                 {NoFlag, 0x00000001, 0xffffff80, 0x00000001},
444                                 {NoFlag, 0x55555555, 0xcccccccc, 0x55555555},
445                                 {NoFlag, 0x7ffffffd, 0xffffffe0, 0x7ffffffd},
446                                 {NoFlag, 0xffffff81, 0xfffffffe, 0xffffff81},
447                                 {NoFlag, 0xffffff82, 0x00007ffe, 0xffffff82},
448                                 {NoFlag, 0xffffff82, 0x80000001, 0xffffff82},
449                                 {NoFlag, 0x0000007f, 0xffff8001, 0x0000007f},
450                                 {NoFlag, 0x7ffffffd, 0xffffff83, 0x7ffffffd},
451                                 {NoFlag, 0xffffff82, 0xcccccccc, 0xffffff82},
452                                 {NoFlag, 0x00000020, 0xffffff83, 0x00000020},
453                                 {NoFlag, 0x00007ffe, 0x80000000, 0x00007ffe},
454                                 {NoFlag, 0x0000007f, 0xffff8000, 0x0000007f},
455                                 {NoFlag, 0xffffff82, 0x33333333, 0xffffff82},
456                                 {NoFlag, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd},
457                                 {NoFlag, 0xffffff80, 0xffff8001, 0xffffff80},
458                                 {NoFlag, 0x00000002, 0xaaaaaaaa, 0x00000002},
459                                 {NoFlag, 0xffffffff, 0x7fffffff, 0xffffffff},
460                                 {NoFlag, 0xfffffffd, 0xfffffffe, 0xfffffffd},
461                                 {NoFlag, 0x00000020, 0x00000001, 0x00000020},
462                                 {NoFlag, 0x55555555, 0x00000001, 0x55555555},
463                                 {NoFlag, 0x55555555, 0xffffff80, 0x55555555},
464                                 {NoFlag, 0xffffffff, 0x00007fff, 0xffffffff},
465                                 {NoFlag, 0x00000020, 0xaaaaaaaa, 0x00000020},
466                                 {NoFlag, 0x00000002, 0x00007ffe, 0x00000002},
467                                 {NoFlag, 0x00000001, 0xcccccccc, 0x00000001},
468                                 {NoFlag, 0xffff8001, 0x00000000, 0xffff8001},
469                                 {NoFlag, 0x00000001, 0xffff8000, 0x00000001},
470                                 {NoFlag, 0xffffffe0, 0x00007fff, 0xffffffe0},
471                                 {NoFlag, 0xfffffffe, 0x00007fff, 0xfffffffe},
472                                 {NoFlag, 0xffffff83, 0x00000001, 0xffffff83},
473                                 {NoFlag, 0x00007fff, 0xffff8002, 0x00007fff},
474                                 {NoFlag, 0x7ffffffd, 0x7ffffffe, 0x7ffffffd},
475                                 {NoFlag, 0x80000001, 0xaaaaaaaa, 0x80000001},
476                                 {NoFlag, 0x80000001, 0xcccccccc, 0x80000001},
477                                 {NoFlag, 0x00007ffe, 0xffffffe0, 0x00007ffe},
478                                 {NoFlag, 0x00007ffe, 0xfffffffd, 0x00007ffe},
479                                 {NoFlag, 0x55555555, 0xaaaaaaaa, 0x55555555},
480                                 {NoFlag, 0xffffffe0, 0x00000001, 0xffffffe0},
481                                 {NoFlag, 0x0000007e, 0x00007fff, 0x0000007e},
482                                 {NoFlag, 0xfffffffe, 0xfffffffd, 0xfffffffe},
483                                 {NoFlag, 0x33333333, 0x0000007d, 0x33333333},
484                                 {NoFlag, 0xffffff81, 0x7fffffff, 0xffffff81},
485                                 {NoFlag, 0x0000007e, 0x0000007d, 0x0000007e},
486                                 {NoFlag, 0x00000001, 0xffffff81, 0x00000001},
487                                 {NoFlag, 0x80000000, 0x00000002, 0x80000000},
488                                 {NoFlag, 0x0000007d, 0xffff8003, 0x0000007d},
489                                 {NoFlag, 0x7ffffffe, 0x00007ffd, 0x7ffffffe},
490                                 {NoFlag, 0x7ffffffe, 0xaaaaaaaa, 0x7ffffffe},
491                                 {NoFlag, 0x00000000, 0xffff8000, 0x00000000},
492                                 {NoFlag, 0x33333333, 0x00000002, 0x33333333},
493                                 {NoFlag, 0xffffff81, 0xffffff83, 0xffffff81},
494                                 {NoFlag, 0x7ffffffe, 0x00007ffe, 0x7ffffffe},
495                                 {NoFlag, 0x80000000, 0x0000007d, 0x80000000},
496                                 {NoFlag, 0x00000020, 0x00000002, 0x00000020},
497                                 {NoFlag, 0x33333333, 0x80000001, 0x33333333},
498                                 {NoFlag, 0xffffff83, 0x00007ffd, 0xffffff83},
499                                 {NoFlag, 0x00007ffd, 0xffffff83, 0x00007ffd},
500                                 {NoFlag, 0xffff8001, 0x80000000, 0xffff8001},
501                                 {NoFlag, 0x00000000, 0x80000000, 0x00000000},
502                                 {NoFlag, 0xffffffe0, 0xffffffff, 0xffffffe0},
503                                 {NoFlag, 0x80000000, 0xffffff83, 0x80000000},
504                                 {NoFlag, 0x00000020, 0xffffff80, 0x00000020},
505                                 {NoFlag, 0x7ffffffd, 0xffff8001, 0x7ffffffd},
506                                 {NoFlag, 0x80000001, 0xffff8003, 0x80000001},
507                                 {NoFlag, 0x00007ffe, 0x7fffffff, 0x00007ffe},
508                                 {NoFlag, 0x7fffffff, 0x00000002, 0x7fffffff},
509                                 {NoFlag, 0xffffff83, 0xffff8003, 0xffffff83},
510                                 {NoFlag, 0xaaaaaaaa, 0xcccccccc, 0xaaaaaaaa},
511                                 {NoFlag, 0x0000007f, 0xffffff80, 0x0000007f},
512                                 {NoFlag, 0x80000001, 0x00007ffd, 0x80000001},
513                                 {NoFlag, 0xffff8000, 0x80000001, 0xffff8000},
514                                 {NoFlag, 0x00007fff, 0x00007ffd, 0x00007fff},
515                                 {NoFlag, 0x0000007e, 0x0000007f, 0x0000007e},
516                                 {NoFlag, 0x00000002, 0x0000007d, 0x00000002},
517                                 {NoFlag, 0x80000001, 0x7fffffff, 0x80000001},
518                                 {NoFlag, 0x0000007e, 0xffffff81, 0x0000007e},
519                                 {NoFlag, 0x7ffffffe, 0xffff8001, 0x7ffffffe},
520                                 {NoFlag, 0x7fffffff, 0x80000001, 0x7fffffff},
521                                 {NoFlag, 0x7ffffffd, 0x0000007f, 0x7ffffffd},
522                                 {NoFlag, 0xffffff81, 0xffffff81, 0xffffff81},
523                                 {NoFlag, 0x00000001, 0xfffffffd, 0x00000001},
524                                 {NoFlag, 0x00000001, 0xffffffff, 0x00000001},
525                                 {NoFlag, 0x7ffffffd, 0x55555555, 0x7ffffffd},
526                                 {NoFlag, 0x55555555, 0x0000007f, 0x55555555},
527                                 {NoFlag, 0x55555555, 0xffff8003, 0x55555555},
528                                 {NoFlag, 0xaaaaaaaa, 0x00007ffd, 0xaaaaaaaa},
529                                 {NoFlag, 0x0000007e, 0x33333333, 0x0000007e},
530                                 {NoFlag, 0xfffffffe, 0x80000001, 0xfffffffe},
531                                 {NoFlag, 0xfffffffe, 0xffff8000, 0xfffffffe},
532                                 {NoFlag, 0xffffffe0, 0xffffff81, 0xffffffe0},
533                                 {NoFlag, 0x7fffffff, 0x0000007f, 0x7fffffff},
534                                 {NoFlag, 0xffff8003, 0x0000007f, 0xffff8003},
535                                 {NoFlag, 0xffffff82, 0x00007ffd, 0xffffff82},
536                                 {NoFlag, 0x33333333, 0xffffffff, 0x33333333},
537                                 {NoFlag, 0xffffffe0, 0xcccccccc, 0xffffffe0},
538                                 {NoFlag, 0xffffff83, 0x7ffffffd, 0xffffff83},
539                                 {NoFlag, 0x0000007e, 0xcccccccc, 0x0000007e},
540                                 {NoFlag, 0x00000002, 0xfffffffd, 0x00000002},
541                                 {NoFlag, 0x00007fff, 0xcccccccc, 0x00007fff},
542                                 {NoFlag, 0x7fffffff, 0x00007fff, 0x7fffffff},
543                                 {NoFlag, 0xffffffe0, 0x33333333, 0xffffffe0},
544                                 {NoFlag, 0x0000007f, 0x0000007d, 0x0000007f},
545                                 {NoFlag, 0x0000007f, 0xffffffe0, 0x0000007f},
546                                 {NoFlag, 0x00007fff, 0xffff8000, 0x00007fff},
547                                 {NoFlag, 0x7fffffff, 0xffffffff, 0x7fffffff},
548                                 {NoFlag, 0xffff8000, 0x7ffffffd, 0xffff8000},
549                                 {NoFlag, 0xcccccccc, 0x0000007e, 0xcccccccc},
550                                 {NoFlag, 0x33333333, 0xffff8003, 0x33333333},
551                                 {NoFlag, 0x55555555, 0x00000002, 0x55555555},
552                                 {NoFlag, 0x00000001, 0x00000001, 0x00000001},
553                                 {NoFlag, 0xaaaaaaaa, 0x33333333, 0xaaaaaaaa},
554                                 {NoFlag, 0x7ffffffd, 0x00000001, 0x7ffffffd},
555                                 {NoFlag, 0xffffff82, 0xffff8000, 0xffffff82},
556                                 {NoFlag, 0x0000007d, 0x55555555, 0x0000007d},
557                                 {NoFlag, 0xffff8000, 0x7ffffffe, 0xffff8000},
558                                 {NoFlag, 0x7fffffff, 0xffffffe0, 0x7fffffff},
559                                 {NoFlag, 0x7fffffff, 0xffff8003, 0x7fffffff},
560                                 {NoFlag, 0xffffff82, 0xaaaaaaaa, 0xffffff82},
561                                 {NoFlag, 0xfffffffd, 0xffffff80, 0xfffffffd},
562                                 {NoFlag, 0x7ffffffd, 0x80000001, 0x7ffffffd},
563                                 {NoFlag, 0x00000000, 0x00007ffd, 0x00000000},
564                                 {NoFlag, 0xffffffff, 0xffffff80, 0xffffffff},
565                                 {NoFlag, 0xffffff80, 0xcccccccc, 0xffffff80},
566                                 {NoFlag, 0x00007ffe, 0x55555555, 0x00007ffe},
567                                 {NoFlag, 0xffff8000, 0xffff8000, 0xffff8000},
568                                 {NoFlag, 0xffffffff, 0xffff8000, 0xffffffff},
569                                 {NoFlag, 0x80000001, 0x0000007d, 0x80000001},
570                                 {NoFlag, 0xffffffe0, 0xffff8002, 0xffffffe0},
571                                 {NoFlag, 0xfffffffe, 0xffffffe0, 0xfffffffe},
572                                 {NoFlag, 0x80000000, 0xffff8003, 0x80000000},
573                                 {NoFlag, 0x80000001, 0xffffff81, 0x80000001},
574                                 {NoFlag, 0xffffffe0, 0x00007ffe, 0xffffffe0}};
575
576static const Inputs kRdIsNotRnIsNotRm[] =
577    {{NoFlag, 0x0000007e, 0x0000007e, 0x0000007d},
578     {NoFlag, 0x55555555, 0x00000002, 0xffff8002},
579     {NoFlag, 0xffffffe0, 0x80000001, 0x00000000},
580     {NoFlag, 0x55555555, 0xffffff83, 0x00000002},
581     {NoFlag, 0xffffffe0, 0xffffffe0, 0x00000002},
582     {NoFlag, 0x00000000, 0x80000001, 0xffffff82},
583     {NoFlag, 0x80000001, 0x00007fff, 0x0000007f},
584     {NoFlag, 0xffffff80, 0x0000007d, 0x7ffffffe},
585     {NoFlag, 0xaaaaaaaa, 0x00000020, 0xffff8002},
586     {NoFlag, 0x33333333, 0x55555555, 0x00000001},
587     {NoFlag, 0x7ffffffe, 0x33333333, 0x00000000},
588     {NoFlag, 0x80000000, 0x7ffffffd, 0x55555555},
589     {NoFlag, 0xcccccccc, 0xffff8001, 0x7ffffffe},
590     {NoFlag, 0x00000020, 0xffffff83, 0xffff8003},
591     {NoFlag, 0x00007fff, 0xffffffe0, 0xffffff81},
592     {NoFlag, 0xffff8000, 0xffff8001, 0x0000007e},
593     {NoFlag, 0x33333333, 0x0000007e, 0x00000020},
594     {NoFlag, 0x0000007f, 0xfffffffd, 0xaaaaaaaa},
595     {NoFlag, 0xffffff83, 0xffffff82, 0x7ffffffd},
596     {NoFlag, 0x0000007e, 0xcccccccc, 0x7fffffff},
597     {NoFlag, 0xffff8001, 0x80000001, 0xffffffff},
598     {NoFlag, 0xffffff81, 0x00000020, 0x7ffffffe},
599     {NoFlag, 0xffffff83, 0xffffff81, 0xffffffe0},
600     {NoFlag, 0xffffffe0, 0xffffff81, 0xfffffffd},
601     {NoFlag, 0x80000001, 0xffffffff, 0xffffffff},
602     {NoFlag, 0x7ffffffe, 0xffff8000, 0xcccccccc},
603     {NoFlag, 0xffffff80, 0x00007ffe, 0xffffff82},
604     {NoFlag, 0x0000007e, 0x0000007d, 0xffff8003},
605     {NoFlag, 0xffff8002, 0xffffff81, 0x0000007e},
606     {NoFlag, 0x00007fff, 0x7ffffffd, 0xfffffffe},
607     {NoFlag, 0x00007ffe, 0x80000001, 0xffffff81},
608     {NoFlag, 0xffffff81, 0x00007ffd, 0xfffffffd},
609     {NoFlag, 0x00000020, 0x7fffffff, 0xffff8003},
610     {NoFlag, 0x0000007e, 0x0000007d, 0x33333333},
611     {NoFlag, 0xcccccccc, 0xffff8000, 0x00007ffe},
612     {NoFlag, 0x00007fff, 0xffff8000, 0x00000020},
613     {NoFlag, 0x00007ffd, 0x00007fff, 0xffffffe0},
614     {NoFlag, 0x7ffffffd, 0x00000000, 0x00007ffe},
615     {NoFlag, 0xffffff82, 0x33333333, 0x00000001},
616     {NoFlag, 0x7ffffffe, 0xffffff80, 0x00000020},
617     {NoFlag, 0x00007fff, 0xffffff83, 0x00007ffd},
618     {NoFlag, 0xffff8001, 0xffffffff, 0x80000001},
619     {NoFlag, 0x00000002, 0xffffff81, 0xcccccccc},
620     {NoFlag, 0x55555555, 0x0000007f, 0xffff8001},
621     {NoFlag, 0x80000000, 0x00000020, 0x80000000},
622     {NoFlag, 0xffffff83, 0x00007fff, 0xffffff80},
623     {NoFlag, 0x33333333, 0x7ffffffe, 0x7ffffffd},
624     {NoFlag, 0xffffff80, 0xffffffff, 0x00000001},
625     {NoFlag, 0x00007ffd, 0x7ffffffd, 0xffffff83},
626     {NoFlag, 0x33333333, 0xffff8001, 0xffffffe0},
627     {NoFlag, 0xffff8001, 0xffffff80, 0x00007ffd},
628     {NoFlag, 0xffffffe0, 0x00007fff, 0x00007ffe},
629     {NoFlag, 0x0000007d, 0x00000000, 0xffff8000},
630     {NoFlag, 0x7ffffffe, 0xaaaaaaaa, 0x7ffffffe},
631     {NoFlag, 0x0000007e, 0x00007ffd, 0xffffffe0},
632     {NoFlag, 0xfffffffd, 0xffffffe0, 0xffffff83},
633     {NoFlag, 0x00000001, 0xffffffe0, 0x7ffffffd},
634     {NoFlag, 0xfffffffd, 0xffff8002, 0x80000000},
635     {NoFlag, 0x00000020, 0xffffffff, 0x80000000},
636     {NoFlag, 0x00000001, 0x80000001, 0xffff8003},
637     {NoFlag, 0xffff8003, 0xaaaaaaaa, 0xffffff81},
638     {NoFlag, 0x0000007f, 0xfffffffd, 0xffffffe0},
639     {NoFlag, 0x00007ffe, 0xffffff80, 0x00007ffe},
640     {NoFlag, 0xffff8002, 0xffff8003, 0xffffffff},
641     {NoFlag, 0x7ffffffe, 0xffffff82, 0xffff8000},
642     {NoFlag, 0xffff8000, 0x00000002, 0x80000000},
643     {NoFlag, 0xffffff80, 0xffffff82, 0xffffff81},
644     {NoFlag, 0x00000000, 0xcccccccc, 0x00007ffd},
645     {NoFlag, 0x55555555, 0x00007ffe, 0x7fffffff},
646     {NoFlag, 0x00000002, 0xffffff81, 0xaaaaaaaa},
647     {NoFlag, 0x00007ffd, 0x0000007e, 0x00000002},
648     {NoFlag, 0xffffff83, 0x0000007e, 0xffffff80},
649     {NoFlag, 0xcccccccc, 0x00007ffe, 0xaaaaaaaa},
650     {NoFlag, 0x7ffffffe, 0x55555555, 0xffff8003},
651     {NoFlag, 0xfffffffd, 0x00000001, 0xffffff80},
652     {NoFlag, 0x00007ffd, 0x55555555, 0x80000001},
653     {NoFlag, 0x0000007f, 0x00000000, 0x0000007e},
654     {NoFlag, 0x7fffffff, 0xaaaaaaaa, 0x00000000},
655     {NoFlag, 0x7ffffffd, 0xffffff81, 0xcccccccc},
656     {NoFlag, 0xffffffe0, 0xcccccccc, 0xfffffffd},
657     {NoFlag, 0x00000002, 0xffff8000, 0x7ffffffd},
658     {NoFlag, 0xffffffe0, 0xffff8000, 0x80000001},
659     {NoFlag, 0x7ffffffd, 0xffff8003, 0xffff8001},
660     {NoFlag, 0x33333333, 0x00007ffd, 0x80000000},
661     {NoFlag, 0x7ffffffd, 0x00007fff, 0xcccccccc},
662     {NoFlag, 0xffffffff, 0xffffff80, 0x00007ffe},
663     {NoFlag, 0xffffff83, 0x7ffffffd, 0xaaaaaaaa},
664     {NoFlag, 0xfffffffd, 0xffff8003, 0x0000007f},
665     {NoFlag, 0xfffffffe, 0xfffffffe, 0xfffffffd},
666     {NoFlag, 0x00007fff, 0xfffffffe, 0x55555555},
667     {NoFlag, 0x7ffffffd, 0xfffffffe, 0xfffffffe},
668     {NoFlag, 0xfffffffe, 0xffffffff, 0x00007fff},
669     {NoFlag, 0x7ffffffd, 0x0000007e, 0x00007ffd},
670     {NoFlag, 0x7ffffffd, 0xffffffe0, 0x00000002},
671     {NoFlag, 0xffffffff, 0x00007ffd, 0xffffff81},
672     {NoFlag, 0xffff8001, 0x00000020, 0xfffffffd},
673     {NoFlag, 0x00007fff, 0x0000007d, 0xffffff83},
674     {NoFlag, 0x00000002, 0x55555555, 0x7ffffffe},
675     {NoFlag, 0x00007fff, 0x00007ffe, 0x00000002},
676     {NoFlag, 0x80000001, 0x7fffffff, 0x00007ffd},
677     {NoFlag, 0x0000007f, 0xffffffff, 0x00000001},
678     {NoFlag, 0xffff8001, 0x33333333, 0xffffff83},
679     {NoFlag, 0x00007fff, 0xcccccccc, 0x33333333},
680     {NoFlag, 0x33333333, 0xffffff80, 0x00000001},
681     {NoFlag, 0x00007fff, 0xcccccccc, 0x00007ffd},
682     {NoFlag, 0xffff8002, 0xfffffffd, 0x7ffffffe},
683     {NoFlag, 0x00007ffe, 0x7ffffffe, 0xffffff83},
684     {NoFlag, 0xffffffe0, 0x0000007f, 0xffff8001},
685     {NoFlag, 0x80000000, 0x00007fff, 0xffffff80},
686     {NoFlag, 0x7fffffff, 0x00007fff, 0x7ffffffe},
687     {NoFlag, 0xffff8002, 0x55555555, 0xffff8001},
688     {NoFlag, 0xffffff80, 0x00000000, 0xffffff80},
689     {NoFlag, 0x00007ffd, 0x00007fff, 0x00000002},
690     {NoFlag, 0x00000000, 0x55555555, 0xffff8003},
691     {NoFlag, 0x0000007f, 0xffff8003, 0x00000020},
692     {NoFlag, 0x00000000, 0xffff8002, 0x7fffffff},
693     {NoFlag, 0x00007fff, 0x55555555, 0x00000000},
694     {NoFlag, 0x7fffffff, 0x00007ffe, 0xffffff81},
695     {NoFlag, 0x0000007e, 0x80000001, 0x00007ffe},
696     {NoFlag, 0x7ffffffd, 0xaaaaaaaa, 0x00000020},
697     {NoFlag, 0xfffffffd, 0xfffffffe, 0x00000002},
698     {NoFlag, 0xffffff80, 0xffff8000, 0xffff8002},
699     {NoFlag, 0x0000007d, 0x00007fff, 0xaaaaaaaa},
700     {NoFlag, 0xfffffffd, 0xffffff80, 0x00007ffd},
701     {NoFlag, 0xffffff82, 0x80000000, 0xffffff80},
702     {NoFlag, 0xffffffe0, 0x55555555, 0xfffffffd},
703     {NoFlag, 0xffffffff, 0xffffffff, 0x00007ffd},
704     {NoFlag, 0x0000007e, 0xfffffffe, 0xffffff80},
705     {NoFlag, 0xffff8000, 0xffffff82, 0xffff8002},
706     {NoFlag, 0xaaaaaaaa, 0x7ffffffe, 0xffff8000},
707     {NoFlag, 0x55555555, 0xffff8003, 0xffffff80},
708     {NoFlag, 0x7ffffffe, 0x00000020, 0xffffffe0},
709     {NoFlag, 0x00000001, 0xffff8001, 0xffffffe0},
710     {NoFlag, 0xcccccccc, 0xffff8000, 0xffff8002},
711     {NoFlag, 0x80000000, 0x00000002, 0x7ffffffe},
712     {NoFlag, 0x00000002, 0x0000007f, 0xffffff81},
713     {NoFlag, 0xffffffff, 0x00000001, 0x7fffffff},
714     {NoFlag, 0xffffff83, 0x00000000, 0x33333333},
715     {NoFlag, 0xffff8000, 0xffffff83, 0xcccccccc},
716     {NoFlag, 0x80000000, 0x00000020, 0x00007ffd},
717     {NoFlag, 0xffffff81, 0xcccccccc, 0x00000000},
718     {NoFlag, 0xffffffff, 0xffff8000, 0x00007fff},
719     {NoFlag, 0xffff8003, 0xcccccccc, 0x00007ffe},
720     {NoFlag, 0xffffffff, 0xfffffffd, 0x7ffffffe},
721     {NoFlag, 0xffff8003, 0xaaaaaaaa, 0x55555555},
722     {NoFlag, 0x00000000, 0xaaaaaaaa, 0xffffff81},
723     {NoFlag, 0x0000007f, 0xfffffffe, 0xffff8000},
724     {NoFlag, 0x00000001, 0xffffffe0, 0xfffffffd},
725     {NoFlag, 0x33333333, 0x33333333, 0xfffffffd},
726     {NoFlag, 0xffffff82, 0xffff8002, 0x80000001},
727     {NoFlag, 0x55555555, 0xffffff83, 0xffffff83},
728     {NoFlag, 0xffffff83, 0xffff8002, 0x00000020},
729     {NoFlag, 0x0000007d, 0x7fffffff, 0x0000007f},
730     {NoFlag, 0x00000000, 0xcccccccc, 0xffff8000},
731     {NoFlag, 0x00000002, 0x7ffffffe, 0x00007fff},
732     {NoFlag, 0xffffff82, 0x7ffffffd, 0x7ffffffd},
733     {NoFlag, 0xaaaaaaaa, 0xfffffffd, 0xffff8002},
734     {NoFlag, 0xfffffffd, 0x00000002, 0x7fffffff},
735     {NoFlag, 0xfffffffe, 0xfffffffe, 0x00000020},
736     {NoFlag, 0x80000001, 0x0000007e, 0x00007ffe},
737     {NoFlag, 0x00007ffd, 0x00007ffd, 0xfffffffd},
738     {NoFlag, 0xffff8000, 0x0000007f, 0x00000002},
739     {NoFlag, 0x7ffffffd, 0x80000000, 0x7ffffffd},
740     {NoFlag, 0x0000007d, 0x00007fff, 0x80000001},
741     {NoFlag, 0xffffffff, 0x80000000, 0xaaaaaaaa},
742     {NoFlag, 0x00000000, 0xaaaaaaaa, 0xffff8001},
743     {NoFlag, 0xaaaaaaaa, 0xffffffe0, 0xffff8003},
744     {NoFlag, 0xffffff82, 0xffffffff, 0x00007ffd},
745     {NoFlag, 0x00000001, 0xffffff81, 0x00000001},
746     {NoFlag, 0x7fffffff, 0xaaaaaaaa, 0x80000001},
747     {NoFlag, 0x7fffffff, 0xffff8000, 0xffff8000},
748     {NoFlag, 0xaaaaaaaa, 0x00007ffd, 0xaaaaaaaa},
749     {NoFlag, 0x0000007f, 0x7ffffffe, 0x80000000},
750     {NoFlag, 0x00007ffd, 0x00007ffe, 0xffffff81},
751     {NoFlag, 0x0000007d, 0x0000007d, 0xffff8002},
752     {NoFlag, 0x80000001, 0x00000002, 0xffffff81},
753     {NoFlag, 0xffff8000, 0xfffffffd, 0x7ffffffd},
754     {NoFlag, 0xfffffffe, 0x00000020, 0xffffff80},
755     {NoFlag, 0x00000020, 0x7fffffff, 0xffffffe0},
756     {NoFlag, 0xffff8002, 0xffff8002, 0x0000007f},
757     {NoFlag, 0xffff8003, 0x7fffffff, 0xffff8002},
758     {NoFlag, 0x00000020, 0xfffffffd, 0x00000020},
759     {NoFlag, 0x7ffffffd, 0xffffffe0, 0x0000007e},
760     {NoFlag, 0x00000020, 0x00000020, 0x7ffffffe},
761     {NoFlag, 0xfffffffe, 0x0000007f, 0xffff8000},
762     {NoFlag, 0x80000001, 0x80000001, 0x0000007d},
763     {NoFlag, 0x55555555, 0x0000007f, 0x00007ffd},
764     {NoFlag, 0x55555555, 0xffffffe0, 0xffffff82},
765     {NoFlag, 0xffff8001, 0x0000007e, 0xffff8002},
766     {NoFlag, 0xffffffe0, 0x55555555, 0x0000007f},
767     {NoFlag, 0xffff8000, 0x7fffffff, 0x7ffffffe},
768     {NoFlag, 0xffffffff, 0xfffffffe, 0xffffff80},
769     {NoFlag, 0xffff8001, 0xffff8002, 0x33333333},
770     {NoFlag, 0x7ffffffd, 0xfffffffd, 0xaaaaaaaa},
771     {NoFlag, 0xaaaaaaaa, 0xfffffffd, 0x00000020},
772     {NoFlag, 0x0000007f, 0x00007ffe, 0x55555555},
773     {NoFlag, 0x00000020, 0x00000020, 0x00000002},
774     {NoFlag, 0x80000001, 0xffff8002, 0xfffffffe},
775     {NoFlag, 0x7fffffff, 0x80000001, 0xffff8002},
776     {NoFlag, 0x00000020, 0x0000007e, 0x33333333}};
777
778static const Inputs kRotations[] =
779    {{NoFlag, 0xabababab, 0xabababab, 0x00000000},
780     {NoFlag, 0xabababab, 0xabababab, 0x00000001},
781     {NoFlag, 0xabababab, 0xabababab, 0x00000002},
782     {NoFlag, 0xabababab, 0xabababab, 0x00000020},
783     {NoFlag, 0xabababab, 0xabababab, 0x0000007d},
784     {NoFlag, 0xabababab, 0xabababab, 0x0000007e},
785     {NoFlag, 0xabababab, 0xabababab, 0x0000007f},
786     {NoFlag, 0xabababab, 0xabababab, 0x00007ffd},
787     {NoFlag, 0xabababab, 0xabababab, 0x00007ffe},
788     {NoFlag, 0xabababab, 0xabababab, 0x00007fff},
789     {NoFlag, 0xabababab, 0xabababab, 0x33333333},
790     {NoFlag, 0xabababab, 0xabababab, 0x55555555},
791     {NoFlag, 0xabababab, 0xabababab, 0x7ffffffd},
792     {NoFlag, 0xabababab, 0xabababab, 0x7ffffffe},
793     {NoFlag, 0xabababab, 0xabababab, 0x7fffffff},
794     {NoFlag, 0xabababab, 0xabababab, 0x80000000},
795     {NoFlag, 0xabababab, 0xabababab, 0x80000001},
796     {NoFlag, 0xabababab, 0xabababab, 0xaaaaaaaa},
797     {NoFlag, 0xabababab, 0xabababab, 0xcccccccc},
798     {NoFlag, 0xabababab, 0xabababab, 0xffff8000},
799     {NoFlag, 0xabababab, 0xabababab, 0xffff8001},
800     {NoFlag, 0xabababab, 0xabababab, 0xffff8002},
801     {NoFlag, 0xabababab, 0xabababab, 0xffff8003},
802     {NoFlag, 0xabababab, 0xabababab, 0xffffff80},
803     {NoFlag, 0xabababab, 0xabababab, 0xffffff81},
804     {NoFlag, 0xabababab, 0xabababab, 0xffffff82},
805     {NoFlag, 0xabababab, 0xabababab, 0xffffff83},
806     {NoFlag, 0xabababab, 0xabababab, 0xffffffe0},
807     {NoFlag, 0xabababab, 0xabababab, 0xfffffffd},
808     {NoFlag, 0xabababab, 0xabababab, 0xfffffffe},
809     {NoFlag, 0xabababab, 0xabababab, 0xffffffff}};
810
811
812// A loop will be generated for each element of this array.
813static const TestLoopData kTests[] = {{{eq, r0, r0, r0, ROR, 0},
814                                       "eq r0 r0 r0 ROR 0",
815                                       "Condition_eq_r0_r0_r0_ROR_0",
816                                       ARRAY_SIZE(kCondition),
817                                       kCondition},
818                                      {{ne, r0, r0, r0, ROR, 0},
819                                       "ne r0 r0 r0 ROR 0",
820                                       "Condition_ne_r0_r0_r0_ROR_0",
821                                       ARRAY_SIZE(kCondition),
822                                       kCondition},
823                                      {{cs, r0, r0, r0, ROR, 0},
824                                       "cs r0 r0 r0 ROR 0",
825                                       "Condition_cs_r0_r0_r0_ROR_0",
826                                       ARRAY_SIZE(kCondition),
827                                       kCondition},
828                                      {{cc, r0, r0, r0, ROR, 0},
829                                       "cc r0 r0 r0 ROR 0",
830                                       "Condition_cc_r0_r0_r0_ROR_0",
831                                       ARRAY_SIZE(kCondition),
832                                       kCondition},
833                                      {{mi, r0, r0, r0, ROR, 0},
834                                       "mi r0 r0 r0 ROR 0",
835                                       "Condition_mi_r0_r0_r0_ROR_0",
836                                       ARRAY_SIZE(kCondition),
837                                       kCondition},
838                                      {{pl, r0, r0, r0, ROR, 0},
839                                       "pl r0 r0 r0 ROR 0",
840                                       "Condition_pl_r0_r0_r0_ROR_0",
841                                       ARRAY_SIZE(kCondition),
842                                       kCondition},
843                                      {{vs, r0, r0, r0, ROR, 0},
844                                       "vs r0 r0 r0 ROR 0",
845                                       "Condition_vs_r0_r0_r0_ROR_0",
846                                       ARRAY_SIZE(kCondition),
847                                       kCondition},
848                                      {{vc, r0, r0, r0, ROR, 0},
849                                       "vc r0 r0 r0 ROR 0",
850                                       "Condition_vc_r0_r0_r0_ROR_0",
851                                       ARRAY_SIZE(kCondition),
852                                       kCondition},
853                                      {{hi, r0, r0, r0, ROR, 0},
854                                       "hi r0 r0 r0 ROR 0",
855                                       "Condition_hi_r0_r0_r0_ROR_0",
856                                       ARRAY_SIZE(kCondition),
857                                       kCondition},
858                                      {{ls, r0, r0, r0, ROR, 0},
859                                       "ls r0 r0 r0 ROR 0",
860                                       "Condition_ls_r0_r0_r0_ROR_0",
861                                       ARRAY_SIZE(kCondition),
862                                       kCondition},
863                                      {{ge, r0, r0, r0, ROR, 0},
864                                       "ge r0 r0 r0 ROR 0",
865                                       "Condition_ge_r0_r0_r0_ROR_0",
866                                       ARRAY_SIZE(kCondition),
867                                       kCondition},
868                                      {{lt, r0, r0, r0, ROR, 0},
869                                       "lt r0 r0 r0 ROR 0",
870                                       "Condition_lt_r0_r0_r0_ROR_0",
871                                       ARRAY_SIZE(kCondition),
872                                       kCondition},
873                                      {{gt, r0, r0, r0, ROR, 0},
874                                       "gt r0 r0 r0 ROR 0",
875                                       "Condition_gt_r0_r0_r0_ROR_0",
876                                       ARRAY_SIZE(kCondition),
877                                       kCondition},
878                                      {{le, r0, r0, r0, ROR, 0},
879                                       "le r0 r0 r0 ROR 0",
880                                       "Condition_le_r0_r0_r0_ROR_0",
881                                       ARRAY_SIZE(kCondition),
882                                       kCondition},
883                                      {{al, r0, r0, r0, ROR, 0},
884                                       "al r0 r0 r0 ROR 0",
885                                       "Condition_al_r0_r0_r0_ROR_0",
886                                       ARRAY_SIZE(kCondition),
887                                       kCondition},
888                                      {{al, r3, r3, r4, ROR, 0},
889                                       "al r3 r3 r4 ROR 0",
890                                       "RdIsRn_al_r3_r3_r4_ROR_0",
891                                       ARRAY_SIZE(kRdIsRn),
892                                       kRdIsRn},
893                                      {{al, r2, r2, r12, ROR, 0},
894                                       "al r2 r2 r12 ROR 0",
895                                       "RdIsRn_al_r2_r2_r12_ROR_0",
896                                       ARRAY_SIZE(kRdIsRn),
897                                       kRdIsRn},
898                                      {{al, r8, r8, r5, ROR, 0},
899                                       "al r8 r8 r5 ROR 0",
900                                       "RdIsRn_al_r8_r8_r5_ROR_0",
901                                       ARRAY_SIZE(kRdIsRn),
902                                       kRdIsRn},
903                                      {{al, r14, r14, r0, ROR, 0},
904                                       "al r14 r14 r0 ROR 0",
905                                       "RdIsRn_al_r14_r14_r0_ROR_0",
906                                       ARRAY_SIZE(kRdIsRn),
907                                       kRdIsRn},
908                                      {{al, r11, r11, r10, ROR, 0},
909                                       "al r11 r11 r10 ROR 0",
910                                       "RdIsRn_al_r11_r11_r10_ROR_0",
911                                       ARRAY_SIZE(kRdIsRn),
912                                       kRdIsRn},
913                                      {{al, r12, r12, r10, ROR, 0},
914                                       "al r12 r12 r10 ROR 0",
915                                       "RdIsRn_al_r12_r12_r10_ROR_0",
916                                       ARRAY_SIZE(kRdIsRn),
917                                       kRdIsRn},
918                                      {{al, r4, r4, r8, ROR, 0},
919                                       "al r4 r4 r8 ROR 0",
920                                       "RdIsRn_al_r4_r4_r8_ROR_0",
921                                       ARRAY_SIZE(kRdIsRn),
922                                       kRdIsRn},
923                                      {{al, r5, r5, r14, ROR, 0},
924                                       "al r5 r5 r14 ROR 0",
925                                       "RdIsRn_al_r5_r5_r14_ROR_0",
926                                       ARRAY_SIZE(kRdIsRn),
927                                       kRdIsRn},
928                                      {{al, r0, r0, r6, ROR, 0},
929                                       "al r0 r0 r6 ROR 0",
930                                       "RdIsRn_al_r0_r0_r6_ROR_0",
931                                       ARRAY_SIZE(kRdIsRn),
932                                       kRdIsRn},
933                                      {{al, r12, r12, r1, ROR, 0},
934                                       "al r12 r12 r1 ROR 0",
935                                       "RdIsRn_al_r12_r12_r1_ROR_0",
936                                       ARRAY_SIZE(kRdIsRn),
937                                       kRdIsRn},
938                                      {{al, r6, r11, r6, ROR, 0},
939                                       "al r6 r11 r6 ROR 0",
940                                       "RdIsRm_al_r6_r11_r6_ROR_0",
941                                       ARRAY_SIZE(kRdIsRm),
942                                       kRdIsRm},
943                                      {{al, r11, r9, r11, ROR, 0},
944                                       "al r11 r9 r11 ROR 0",
945                                       "RdIsRm_al_r11_r9_r11_ROR_0",
946                                       ARRAY_SIZE(kRdIsRm),
947                                       kRdIsRm},
948                                      {{al, r0, r8, r0, ROR, 0},
949                                       "al r0 r8 r0 ROR 0",
950                                       "RdIsRm_al_r0_r8_r0_ROR_0",
951                                       ARRAY_SIZE(kRdIsRm),
952                                       kRdIsRm},
953                                      {{al, r2, r11, r2, ROR, 0},
954                                       "al r2 r11 r2 ROR 0",
955                                       "RdIsRm_al_r2_r11_r2_ROR_0",
956                                       ARRAY_SIZE(kRdIsRm),
957                                       kRdIsRm},
958                                      {{al, r9, r4, r9, ROR, 0},
959                                       "al r9 r4 r9 ROR 0",
960                                       "RdIsRm_al_r9_r4_r9_ROR_0",
961                                       ARRAY_SIZE(kRdIsRm),
962                                       kRdIsRm},
963                                      {{al, r14, r10, r14, ROR, 0},
964                                       "al r14 r10 r14 ROR 0",
965                                       "RdIsRm_al_r14_r10_r14_ROR_0",
966                                       ARRAY_SIZE(kRdIsRm),
967                                       kRdIsRm},
968                                      {{al, r7, r0, r7, ROR, 0},
969                                       "al r7 r0 r7 ROR 0",
970                                       "RdIsRm_al_r7_r0_r7_ROR_0",
971                                       ARRAY_SIZE(kRdIsRm),
972                                       kRdIsRm},
973                                      {{al, r4, r9, r4, ROR, 0},
974                                       "al r4 r9 r4 ROR 0",
975                                       "RdIsRm_al_r4_r9_r4_ROR_0",
976                                       ARRAY_SIZE(kRdIsRm),
977                                       kRdIsRm},
978                                      {{al, r6, r10, r6, ROR, 0},
979                                       "al r6 r10 r6 ROR 0",
980                                       "RdIsRm_al_r6_r10_r6_ROR_0",
981                                       ARRAY_SIZE(kRdIsRm),
982                                       kRdIsRm},
983                                      {{al, r7, r6, r7, ROR, 0},
984                                       "al r7 r6 r7 ROR 0",
985                                       "RdIsRm_al_r7_r6_r7_ROR_0",
986                                       ARRAY_SIZE(kRdIsRm),
987                                       kRdIsRm},
988                                      {{al, r3, r9, r10, ROR, 0},
989                                       "al r3 r9 r10 ROR 0",
990                                       "RdIsNotRnIsNotRm_al_r3_r9_r10_ROR_0",
991                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
992                                       kRdIsNotRnIsNotRm},
993                                      {{al, r7, r12, r5, ROR, 0},
994                                       "al r7 r12 r5 ROR 0",
995                                       "RdIsNotRnIsNotRm_al_r7_r12_r5_ROR_0",
996                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
997                                       kRdIsNotRnIsNotRm},
998                                      {{al, r8, r5, r6, ROR, 0},
999                                       "al r8 r5 r6 ROR 0",
1000                                       "RdIsNotRnIsNotRm_al_r8_r5_r6_ROR_0",
1001                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1002                                       kRdIsNotRnIsNotRm},
1003                                      {{al, r0, r6, r0, ROR, 0},
1004                                       "al r0 r6 r0 ROR 0",
1005                                       "RdIsNotRnIsNotRm_al_r0_r6_r0_ROR_0",
1006                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1007                                       kRdIsNotRnIsNotRm},
1008                                      {{al, r11, r7, r8, ROR, 0},
1009                                       "al r11 r7 r8 ROR 0",
1010                                       "RdIsNotRnIsNotRm_al_r11_r7_r8_ROR_0",
1011                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1012                                       kRdIsNotRnIsNotRm},
1013                                      {{al, r12, r2, r3, ROR, 0},
1014                                       "al r12 r2 r3 ROR 0",
1015                                       "RdIsNotRnIsNotRm_al_r12_r2_r3_ROR_0",
1016                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1017                                       kRdIsNotRnIsNotRm},
1018                                      {{al, r7, r4, r10, ROR, 0},
1019                                       "al r7 r4 r10 ROR 0",
1020                                       "RdIsNotRnIsNotRm_al_r7_r4_r10_ROR_0",
1021                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1022                                       kRdIsNotRnIsNotRm},
1023                                      {{al, r9, r6, r1, ROR, 0},
1024                                       "al r9 r6 r1 ROR 0",
1025                                       "RdIsNotRnIsNotRm_al_r9_r6_r1_ROR_0",
1026                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1027                                       kRdIsNotRnIsNotRm},
1028                                      {{al, r10, r14, r3, ROR, 0},
1029                                       "al r10 r14 r3 ROR 0",
1030                                       "RdIsNotRnIsNotRm_al_r10_r14_r3_ROR_0",
1031                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1032                                       kRdIsNotRnIsNotRm},
1033                                      {{al, r14, r3, r6, ROR, 0},
1034                                       "al r14 r3 r6 ROR 0",
1035                                       "RdIsNotRnIsNotRm_al_r14_r3_r6_ROR_0",
1036                                       ARRAY_SIZE(kRdIsNotRnIsNotRm),
1037                                       kRdIsNotRnIsNotRm},
1038                                      {{al, r0, r1, r2, ROR, 0},
1039                                       "al r0 r1 r2 ROR 0",
1040                                       "Rotations_al_r0_r1_r2_ROR_0",
1041                                       ARRAY_SIZE(kRotations),
1042                                       kRotations},
1043                                      {{al, r0, r1, r2, ROR, 8},
1044                                       "al r0 r1 r2 ROR 8",
1045                                       "Rotations_al_r0_r1_r2_ROR_8",
1046                                       ARRAY_SIZE(kRotations),
1047                                       kRotations},
1048                                      {{al, r0, r1, r2, ROR, 16},
1049                                       "al r0 r1 r2 ROR 16",
1050                                       "Rotations_al_r0_r1_r2_ROR_16",
1051                                       ARRAY_SIZE(kRotations),
1052                                       kRotations},
1053                                      {{al, r0, r1, r2, ROR, 24},
1054                                       "al r0 r1 r2 ROR 24",
1055                                       "Rotations_al_r0_r1_r2_ROR_24",
1056                                       ARRAY_SIZE(kRotations),
1057                                       kRotations}};
1058
1059// We record all inputs to the instructions as outputs. This way, we also check
1060// that what shouldn't change didn't change.
1061struct TestResult {
1062  size_t output_size;
1063  const Inputs* outputs;
1064};
1065
1066// These headers each contain an array of `TestResult` with the reference output
1067// values. The reference arrays are names `kReference{mnemonic}`.
1068#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-ror-amount-a32-sxtab.h"
1069#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-ror-amount-a32-sxtab16.h"
1070#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-ror-amount-a32-sxtah.h"
1071#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-ror-amount-a32-uxtab.h"
1072#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-ror-amount-a32-uxtab16.h"
1073#include "aarch32/traces/simulator-cond-rd-rn-operand-rm-ror-amount-a32-uxtah.h"
1074
1075
1076// The maximum number of errors to report in detail for each test.
1077static const unsigned kErrorReportLimit = 8;
1078
1079typedef void (MacroAssembler::*Fn)(Condition cond,
1080                                   Register rd,
1081                                   Register rn,
1082                                   const Operand& op);
1083
1084static void TestHelper(Fn instruction,
1085                       const char* mnemonic,
1086                       const TestResult reference[]) {
1087  SETUP();
1088  masm.UseA32();
1089  START();
1090
1091  // Data to compare to `reference`.
1092  TestResult* results[ARRAY_SIZE(kTests)];
1093
1094  // Test cases for memory bound instructions may allocate a buffer and save its
1095  // address in this array.
1096  byte* scratch_memory_buffers[ARRAY_SIZE(kTests)];
1097
1098  // Generate a loop for each element in `kTests`. Each loop tests one specific
1099  // instruction.
1100  for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
1101    // Allocate results on the heap for this test.
1102    results[i] = new TestResult;
1103    results[i]->outputs = new Inputs[kTests[i].input_size];
1104    results[i]->output_size = kTests[i].input_size;
1105
1106    uintptr_t input_address = reinterpret_cast<uintptr_t>(kTests[i].inputs);
1107    uintptr_t result_address = reinterpret_cast<uintptr_t>(results[i]->outputs);
1108
1109    scratch_memory_buffers[i] = NULL;
1110
1111    Label loop;
1112    UseScratchRegisterScope scratch_registers(&masm);
1113    // Include all registers from r0 ro r12.
1114    scratch_registers.Include(RegisterList(0x1fff));
1115
1116    // Values to pass to the macro-assembler.
1117    Condition cond = kTests[i].operands.cond;
1118    Register rd = kTests[i].operands.rd;
1119    Register rn = kTests[i].operands.rn;
1120    Register rm = kTests[i].operands.rm;
1121    ShiftType ror = kTests[i].operands.ror;
1122    uint32_t amount = kTests[i].operands.amount;
1123    Operand op(rm, ror, amount);
1124    scratch_registers.Exclude(rd);
1125    scratch_registers.Exclude(rn);
1126    scratch_registers.Exclude(rm);
1127
1128    // Allocate reserved registers for our own use.
1129    Register input_ptr = scratch_registers.Acquire();
1130    Register input_end = scratch_registers.Acquire();
1131    Register result_ptr = scratch_registers.Acquire();
1132
1133    // Initialize `input_ptr` to the first element and `input_end` the address
1134    // after the array.
1135    __ Mov(input_ptr, input_address);
1136    __ Add(input_end,
1137           input_ptr,
1138           sizeof(kTests[i].inputs[0]) * kTests[i].input_size);
1139    __ Mov(result_ptr, result_address);
1140    __ Bind(&loop);
1141
1142    {
1143      UseScratchRegisterScope temp_registers(&masm);
1144      Register nzcv_bits = temp_registers.Acquire();
1145      Register saved_q_bit = temp_registers.Acquire();
1146      // Save the `Q` bit flag.
1147      __ Mrs(saved_q_bit, APSR);
1148      __ And(saved_q_bit, saved_q_bit, QFlag);
1149      // Set the `NZCV` and `Q` flags together.
1150      __ Ldr(nzcv_bits, MemOperand(input_ptr, offsetof(Inputs, apsr)));
1151      __ Orr(nzcv_bits, nzcv_bits, saved_q_bit);
1152      __ Msr(APSR_nzcvq, nzcv_bits);
1153    }
1154    __ Ldr(rd, MemOperand(input_ptr, offsetof(Inputs, rd)));
1155    __ Ldr(rn, MemOperand(input_ptr, offsetof(Inputs, rn)));
1156    __ Ldr(rm, MemOperand(input_ptr, offsetof(Inputs, rm)));
1157
1158    (masm.*instruction)(cond, rd, rn, op);
1159
1160    {
1161      UseScratchRegisterScope temp_registers(&masm);
1162      Register nzcv_bits = temp_registers.Acquire();
1163      __ Mrs(nzcv_bits, APSR);
1164      // Only record the NZCV bits.
1165      __ And(nzcv_bits, nzcv_bits, NZCVFlag);
1166      __ Str(nzcv_bits, MemOperand(result_ptr, offsetof(Inputs, apsr)));
1167    }
1168    __ Str(rd, MemOperand(result_ptr, offsetof(Inputs, rd)));
1169    __ Str(rn, MemOperand(result_ptr, offsetof(Inputs, rn)));
1170    __ Str(rm, MemOperand(result_ptr, offsetof(Inputs, rm)));
1171
1172    // Advance the result pointer.
1173    __ Add(result_ptr, result_ptr, sizeof(kTests[i].inputs[0]));
1174    // Loop back until `input_ptr` is lower than `input_base`.
1175    __ Add(input_ptr, input_ptr, sizeof(kTests[i].inputs[0]));
1176    __ Cmp(input_ptr, input_end);
1177    __ B(ne, &loop);
1178  }
1179
1180  END();
1181
1182  RUN();
1183
1184  if (Test::generate_test_trace()) {
1185    // Print the results.
1186    for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1187      printf("static const Inputs kOutputs_%s_%s[] = {\n",
1188             mnemonic,
1189             kTests[i].identifier);
1190      for (size_t j = 0; j < results[i]->output_size; j++) {
1191        printf("  { ");
1192        printf("0x%08" PRIx32, results[i]->outputs[j].apsr);
1193        printf(", ");
1194        printf("0x%08" PRIx32, results[i]->outputs[j].rd);
1195        printf(", ");
1196        printf("0x%08" PRIx32, results[i]->outputs[j].rn);
1197        printf(", ");
1198        printf("0x%08" PRIx32, results[i]->outputs[j].rm);
1199        printf(" },\n");
1200      }
1201      printf("};\n");
1202    }
1203    printf("static const TestResult kReference%s[] = {\n", mnemonic);
1204    for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1205      printf("  {\n");
1206      printf("    ARRAY_SIZE(kOutputs_%s_%s),\n",
1207             mnemonic,
1208             kTests[i].identifier);
1209      printf("    kOutputs_%s_%s,\n", mnemonic, kTests[i].identifier);
1210      printf("  },\n");
1211    }
1212    printf("};\n");
1213  } else if (kCheckSimulatorTestResults) {
1214    // Check the results.
1215    unsigned total_error_count = 0;
1216    for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1217      bool instruction_has_errors = false;
1218      for (size_t j = 0; j < kTests[i].input_size; j++) {
1219        uint32_t apsr = results[i]->outputs[j].apsr;
1220        uint32_t rd = results[i]->outputs[j].rd;
1221        uint32_t rn = results[i]->outputs[j].rn;
1222        uint32_t rm = results[i]->outputs[j].rm;
1223        uint32_t apsr_input = kTests[i].inputs[j].apsr;
1224        uint32_t rd_input = kTests[i].inputs[j].rd;
1225        uint32_t rn_input = kTests[i].inputs[j].rn;
1226        uint32_t rm_input = kTests[i].inputs[j].rm;
1227        uint32_t apsr_ref = reference[i].outputs[j].apsr;
1228        uint32_t rd_ref = reference[i].outputs[j].rd;
1229        uint32_t rn_ref = reference[i].outputs[j].rn;
1230        uint32_t rm_ref = reference[i].outputs[j].rm;
1231
1232        if (((apsr != apsr_ref) || (rd != rd_ref) || (rn != rn_ref) ||
1233             (rm != rm_ref)) &&
1234            (++total_error_count <= kErrorReportLimit)) {
1235          // Print the instruction once even if it triggered multiple failures.
1236          if (!instruction_has_errors) {
1237            printf("Error(s) when testing \"%s %s\":\n",
1238                   mnemonic,
1239                   kTests[i].operands_description);
1240            instruction_has_errors = true;
1241          }
1242          // Print subsequent errors.
1243          printf("  Input:    ");
1244          printf("0x%08" PRIx32, apsr_input);
1245          printf(", ");
1246          printf("0x%08" PRIx32, rd_input);
1247          printf(", ");
1248          printf("0x%08" PRIx32, rn_input);
1249          printf(", ");
1250          printf("0x%08" PRIx32, rm_input);
1251          printf("\n");
1252          printf("  Expected: ");
1253          printf("0x%08" PRIx32, apsr_ref);
1254          printf(", ");
1255          printf("0x%08" PRIx32, rd_ref);
1256          printf(", ");
1257          printf("0x%08" PRIx32, rn_ref);
1258          printf(", ");
1259          printf("0x%08" PRIx32, rm_ref);
1260          printf("\n");
1261          printf("  Found:    ");
1262          printf("0x%08" PRIx32, apsr);
1263          printf(", ");
1264          printf("0x%08" PRIx32, rd);
1265          printf(", ");
1266          printf("0x%08" PRIx32, rn);
1267          printf(", ");
1268          printf("0x%08" PRIx32, rm);
1269          printf("\n\n");
1270        }
1271      }
1272    }
1273
1274    if (total_error_count > kErrorReportLimit) {
1275      printf("%u other errors follow.\n",
1276             total_error_count - kErrorReportLimit);
1277    }
1278    VIXL_CHECK(total_error_count == 0);
1279  } else {
1280    VIXL_WARNING("Assembled the code, but did not run anything.\n");
1281  }
1282
1283  for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1284    delete[] results[i]->outputs;
1285    delete results[i];
1286    delete[] scratch_memory_buffers[i];
1287  }
1288
1289  TEARDOWN();
1290}
1291
1292// Instantiate tests for each instruction in the list.
1293#define TEST(mnemonic)                                                      \
1294  static void Test_##mnemonic() {                                           \
1295    TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \
1296  }                                                                         \
1297  static Test test_##mnemonic(                                              \
1298      "AARCH32_SIMULATOR_COND_RD_RN_OPERAND_RM_ROR_AMOUNT_A32_" #mnemonic,  \
1299      &Test_##mnemonic);
1300FOREACH_INSTRUCTION(TEST)
1301#undef TEST
1302
1303}  // aarch32
1304}  // vixl
1305