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