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