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 
113 namespace vixl {
114 namespace aarch32 {
115 
116 // List of instruction encodings:
117 #define FOREACH_INSTRUCTION(M) \
118   M(Adc)                       \
119   M(Adcs)                      \
120   M(Add)                       \
121   M(Adds)                      \
122   M(And)                       \
123   M(Ands)                      \
124   M(Bic)                       \
125   M(Bics)                      \
126   M(Eor)                       \
127   M(Eors)                      \
128   M(Orr)                       \
129   M(Orrs)                      \
130   M(Rsb)                       \
131   M(Rsbs)                      \
132   M(Rsc)                       \
133   M(Rscs)                      \
134   M(Sbc)                       \
135   M(Sbcs)                      \
136   M(Sub)                       \
137   M(Subs)
138 
139 
140 // The following definitions are defined again in each generated test, therefore
141 // we need to place them in an anomymous namespace. It expresses that they are
142 // local to this file only, and the compiler is not allowed to share these types
143 // across test files during template instantiation. Specifically, `Operands` and
144 // `Inputs` have various layouts across generated tests so they absolutely
145 // cannot be shared.
146 
147 #ifdef VIXL_INCLUDE_TARGET_A32
148 namespace {
149 
150 // Values to be passed to the assembler to produce the instruction under test.
151 struct Operands {
152   Condition cond;
153   Register rd;
154   Register rn;
155   uint32_t immediate;
156 };
157 
158 // Input data to feed to the instruction.
159 struct Inputs {
160   uint32_t apsr;
161   uint32_t rd;
162   uint32_t rn;
163 };
164 
165 // This structure contains all input data needed to test one specific encoding.
166 // It used to generate a loop over an instruction.
167 struct TestLoopData {
168   // The `operands` fields represents the values to pass to the assembler to
169   // produce the instruction.
170   Operands operands;
171   // Description of the operands, used for error reporting.
172   const char* operands_description;
173   // Unique identifier, used for generating traces.
174   const char* identifier;
175   // Array of values to be fed to the instruction.
176   size_t input_size;
177   const Inputs* inputs;
178 };
179 
180 static const Inputs kCondition[] = {{NFlag, 0xabababab, 0xabababab},
181                                     {ZFlag, 0xabababab, 0xabababab},
182                                     {CFlag, 0xabababab, 0xabababab},
183                                     {VFlag, 0xabababab, 0xabababab},
184                                     {NZFlag, 0xabababab, 0xabababab},
185                                     {NCFlag, 0xabababab, 0xabababab},
186                                     {NVFlag, 0xabababab, 0xabababab},
187                                     {ZCFlag, 0xabababab, 0xabababab},
188                                     {ZVFlag, 0xabababab, 0xabababab},
189                                     {CVFlag, 0xabababab, 0xabababab},
190                                     {NZCFlag, 0xabababab, 0xabababab},
191                                     {NZVFlag, 0xabababab, 0xabababab},
192                                     {NCVFlag, 0xabababab, 0xabababab},
193                                     {ZCVFlag, 0xabababab, 0xabababab},
194                                     {NZCVFlag, 0xabababab, 0xabababab}};
195 
196 static const Inputs kRdIsRn[] = {{NoFlag, 0x00000000, 0x00000000},
197                                  {NoFlag, 0x00000001, 0x00000001},
198                                  {NoFlag, 0x00000002, 0x00000002},
199                                  {NoFlag, 0x00000020, 0x00000020},
200                                  {NoFlag, 0x0000007d, 0x0000007d},
201                                  {NoFlag, 0x0000007e, 0x0000007e},
202                                  {NoFlag, 0x0000007f, 0x0000007f},
203                                  {NoFlag, 0x00007ffd, 0x00007ffd},
204                                  {NoFlag, 0x00007ffe, 0x00007ffe},
205                                  {NoFlag, 0x00007fff, 0x00007fff},
206                                  {NoFlag, 0x33333333, 0x33333333},
207                                  {NoFlag, 0x55555555, 0x55555555},
208                                  {NoFlag, 0x7ffffffd, 0x7ffffffd},
209                                  {NoFlag, 0x7ffffffe, 0x7ffffffe},
210                                  {NoFlag, 0x7fffffff, 0x7fffffff},
211                                  {NoFlag, 0x80000000, 0x80000000},
212                                  {NoFlag, 0x80000001, 0x80000001},
213                                  {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa},
214                                  {NoFlag, 0xcccccccc, 0xcccccccc},
215                                  {NoFlag, 0xffff8000, 0xffff8000},
216                                  {NoFlag, 0xffff8001, 0xffff8001},
217                                  {NoFlag, 0xffff8002, 0xffff8002},
218                                  {NoFlag, 0xffff8003, 0xffff8003},
219                                  {NoFlag, 0xffffff80, 0xffffff80},
220                                  {NoFlag, 0xffffff81, 0xffffff81},
221                                  {NoFlag, 0xffffff82, 0xffffff82},
222                                  {NoFlag, 0xffffff83, 0xffffff83},
223                                  {NoFlag, 0xffffffe0, 0xffffffe0},
224                                  {NoFlag, 0xfffffffd, 0xfffffffd},
225                                  {NoFlag, 0xfffffffe, 0xfffffffe},
226                                  {NoFlag, 0xffffffff, 0xffffffff}};
227 
228 static const Inputs kRdIsNotRn[] = {{NoFlag, 0x00000000, 0x00000000},
229                                     {NoFlag, 0x00000000, 0x00000001},
230                                     {NoFlag, 0x00000000, 0x00000002},
231                                     {NoFlag, 0x00000000, 0x00000020},
232                                     {NoFlag, 0x00000000, 0x0000007d},
233                                     {NoFlag, 0x00000000, 0x0000007e},
234                                     {NoFlag, 0x00000000, 0x0000007f},
235                                     {NoFlag, 0x00000000, 0x00007ffd},
236                                     {NoFlag, 0x00000000, 0x00007ffe},
237                                     {NoFlag, 0x00000000, 0x00007fff},
238                                     {NoFlag, 0x00000000, 0x33333333},
239                                     {NoFlag, 0x00000000, 0x55555555},
240                                     {NoFlag, 0x00000000, 0x7ffffffd},
241                                     {NoFlag, 0x00000000, 0x7ffffffe},
242                                     {NoFlag, 0x00000000, 0x7fffffff},
243                                     {NoFlag, 0x00000000, 0x80000000},
244                                     {NoFlag, 0x00000000, 0x80000001},
245                                     {NoFlag, 0x00000000, 0xaaaaaaaa},
246                                     {NoFlag, 0x00000000, 0xcccccccc},
247                                     {NoFlag, 0x00000000, 0xffff8000},
248                                     {NoFlag, 0x00000000, 0xffff8001},
249                                     {NoFlag, 0x00000000, 0xffff8002},
250                                     {NoFlag, 0x00000000, 0xffff8003},
251                                     {NoFlag, 0x00000000, 0xffffff80},
252                                     {NoFlag, 0x00000000, 0xffffff81},
253                                     {NoFlag, 0x00000000, 0xffffff82},
254                                     {NoFlag, 0x00000000, 0xffffff83},
255                                     {NoFlag, 0x00000000, 0xffffffe0},
256                                     {NoFlag, 0x00000000, 0xfffffffd},
257                                     {NoFlag, 0x00000000, 0xfffffffe},
258                                     {NoFlag, 0x00000000, 0xffffffff},
259                                     {NoFlag, 0x00000001, 0x00000000},
260                                     {NoFlag, 0x00000001, 0x00000001},
261                                     {NoFlag, 0x00000001, 0x00000002},
262                                     {NoFlag, 0x00000001, 0x00000020},
263                                     {NoFlag, 0x00000001, 0x0000007d},
264                                     {NoFlag, 0x00000001, 0x0000007e},
265                                     {NoFlag, 0x00000001, 0x0000007f},
266                                     {NoFlag, 0x00000001, 0x00007ffd},
267                                     {NoFlag, 0x00000001, 0x00007ffe},
268                                     {NoFlag, 0x00000001, 0x00007fff},
269                                     {NoFlag, 0x00000001, 0x33333333},
270                                     {NoFlag, 0x00000001, 0x55555555},
271                                     {NoFlag, 0x00000001, 0x7ffffffd},
272                                     {NoFlag, 0x00000001, 0x7ffffffe},
273                                     {NoFlag, 0x00000001, 0x7fffffff},
274                                     {NoFlag, 0x00000001, 0x80000000},
275                                     {NoFlag, 0x00000001, 0x80000001},
276                                     {NoFlag, 0x00000001, 0xaaaaaaaa},
277                                     {NoFlag, 0x00000001, 0xcccccccc},
278                                     {NoFlag, 0x00000001, 0xffff8000},
279                                     {NoFlag, 0x00000001, 0xffff8001},
280                                     {NoFlag, 0x00000001, 0xffff8002},
281                                     {NoFlag, 0x00000001, 0xffff8003},
282                                     {NoFlag, 0x00000001, 0xffffff80},
283                                     {NoFlag, 0x00000001, 0xffffff81},
284                                     {NoFlag, 0x00000001, 0xffffff82},
285                                     {NoFlag, 0x00000001, 0xffffff83},
286                                     {NoFlag, 0x00000001, 0xffffffe0},
287                                     {NoFlag, 0x00000001, 0xfffffffd},
288                                     {NoFlag, 0x00000001, 0xfffffffe},
289                                     {NoFlag, 0x00000001, 0xffffffff},
290                                     {NoFlag, 0x00000002, 0x00000000},
291                                     {NoFlag, 0x00000002, 0x00000001},
292                                     {NoFlag, 0x00000002, 0x00000002},
293                                     {NoFlag, 0x00000002, 0x00000020},
294                                     {NoFlag, 0x00000002, 0x0000007d},
295                                     {NoFlag, 0x00000002, 0x0000007e},
296                                     {NoFlag, 0x00000002, 0x0000007f},
297                                     {NoFlag, 0x00000002, 0x00007ffd},
298                                     {NoFlag, 0x00000002, 0x00007ffe},
299                                     {NoFlag, 0x00000002, 0x00007fff},
300                                     {NoFlag, 0x00000002, 0x33333333},
301                                     {NoFlag, 0x00000002, 0x55555555},
302                                     {NoFlag, 0x00000002, 0x7ffffffd},
303                                     {NoFlag, 0x00000002, 0x7ffffffe},
304                                     {NoFlag, 0x00000002, 0x7fffffff},
305                                     {NoFlag, 0x00000002, 0x80000000},
306                                     {NoFlag, 0x00000002, 0x80000001},
307                                     {NoFlag, 0x00000002, 0xaaaaaaaa},
308                                     {NoFlag, 0x00000002, 0xcccccccc},
309                                     {NoFlag, 0x00000002, 0xffff8000},
310                                     {NoFlag, 0x00000002, 0xffff8001},
311                                     {NoFlag, 0x00000002, 0xffff8002},
312                                     {NoFlag, 0x00000002, 0xffff8003},
313                                     {NoFlag, 0x00000002, 0xffffff80},
314                                     {NoFlag, 0x00000002, 0xffffff81},
315                                     {NoFlag, 0x00000002, 0xffffff82},
316                                     {NoFlag, 0x00000002, 0xffffff83},
317                                     {NoFlag, 0x00000002, 0xffffffe0},
318                                     {NoFlag, 0x00000002, 0xfffffffd},
319                                     {NoFlag, 0x00000002, 0xfffffffe},
320                                     {NoFlag, 0x00000002, 0xffffffff},
321                                     {NoFlag, 0x00000020, 0x00000000},
322                                     {NoFlag, 0x00000020, 0x00000001},
323                                     {NoFlag, 0x00000020, 0x00000002},
324                                     {NoFlag, 0x00000020, 0x00000020},
325                                     {NoFlag, 0x00000020, 0x0000007d},
326                                     {NoFlag, 0x00000020, 0x0000007e},
327                                     {NoFlag, 0x00000020, 0x0000007f},
328                                     {NoFlag, 0x00000020, 0x00007ffd},
329                                     {NoFlag, 0x00000020, 0x00007ffe},
330                                     {NoFlag, 0x00000020, 0x00007fff},
331                                     {NoFlag, 0x00000020, 0x33333333},
332                                     {NoFlag, 0x00000020, 0x55555555},
333                                     {NoFlag, 0x00000020, 0x7ffffffd},
334                                     {NoFlag, 0x00000020, 0x7ffffffe},
335                                     {NoFlag, 0x00000020, 0x7fffffff},
336                                     {NoFlag, 0x00000020, 0x80000000},
337                                     {NoFlag, 0x00000020, 0x80000001},
338                                     {NoFlag, 0x00000020, 0xaaaaaaaa},
339                                     {NoFlag, 0x00000020, 0xcccccccc},
340                                     {NoFlag, 0x00000020, 0xffff8000},
341                                     {NoFlag, 0x00000020, 0xffff8001},
342                                     {NoFlag, 0x00000020, 0xffff8002},
343                                     {NoFlag, 0x00000020, 0xffff8003},
344                                     {NoFlag, 0x00000020, 0xffffff80},
345                                     {NoFlag, 0x00000020, 0xffffff81},
346                                     {NoFlag, 0x00000020, 0xffffff82},
347                                     {NoFlag, 0x00000020, 0xffffff83},
348                                     {NoFlag, 0x00000020, 0xffffffe0},
349                                     {NoFlag, 0x00000020, 0xfffffffd},
350                                     {NoFlag, 0x00000020, 0xfffffffe},
351                                     {NoFlag, 0x00000020, 0xffffffff},
352                                     {NoFlag, 0x0000007d, 0x00000000},
353                                     {NoFlag, 0x0000007d, 0x00000001},
354                                     {NoFlag, 0x0000007d, 0x00000002},
355                                     {NoFlag, 0x0000007d, 0x00000020},
356                                     {NoFlag, 0x0000007d, 0x0000007d},
357                                     {NoFlag, 0x0000007d, 0x0000007e},
358                                     {NoFlag, 0x0000007d, 0x0000007f},
359                                     {NoFlag, 0x0000007d, 0x00007ffd},
360                                     {NoFlag, 0x0000007d, 0x00007ffe},
361                                     {NoFlag, 0x0000007d, 0x00007fff},
362                                     {NoFlag, 0x0000007d, 0x33333333},
363                                     {NoFlag, 0x0000007d, 0x55555555},
364                                     {NoFlag, 0x0000007d, 0x7ffffffd},
365                                     {NoFlag, 0x0000007d, 0x7ffffffe},
366                                     {NoFlag, 0x0000007d, 0x7fffffff},
367                                     {NoFlag, 0x0000007d, 0x80000000},
368                                     {NoFlag, 0x0000007d, 0x80000001},
369                                     {NoFlag, 0x0000007d, 0xaaaaaaaa},
370                                     {NoFlag, 0x0000007d, 0xcccccccc},
371                                     {NoFlag, 0x0000007d, 0xffff8000},
372                                     {NoFlag, 0x0000007d, 0xffff8001},
373                                     {NoFlag, 0x0000007d, 0xffff8002},
374                                     {NoFlag, 0x0000007d, 0xffff8003},
375                                     {NoFlag, 0x0000007d, 0xffffff80},
376                                     {NoFlag, 0x0000007d, 0xffffff81},
377                                     {NoFlag, 0x0000007d, 0xffffff82},
378                                     {NoFlag, 0x0000007d, 0xffffff83},
379                                     {NoFlag, 0x0000007d, 0xffffffe0},
380                                     {NoFlag, 0x0000007d, 0xfffffffd},
381                                     {NoFlag, 0x0000007d, 0xfffffffe},
382                                     {NoFlag, 0x0000007d, 0xffffffff},
383                                     {NoFlag, 0x0000007e, 0x00000000},
384                                     {NoFlag, 0x0000007e, 0x00000001},
385                                     {NoFlag, 0x0000007e, 0x00000002},
386                                     {NoFlag, 0x0000007e, 0x00000020},
387                                     {NoFlag, 0x0000007e, 0x0000007d},
388                                     {NoFlag, 0x0000007e, 0x0000007e},
389                                     {NoFlag, 0x0000007e, 0x0000007f},
390                                     {NoFlag, 0x0000007e, 0x00007ffd},
391                                     {NoFlag, 0x0000007e, 0x00007ffe},
392                                     {NoFlag, 0x0000007e, 0x00007fff},
393                                     {NoFlag, 0x0000007e, 0x33333333},
394                                     {NoFlag, 0x0000007e, 0x55555555},
395                                     {NoFlag, 0x0000007e, 0x7ffffffd},
396                                     {NoFlag, 0x0000007e, 0x7ffffffe},
397                                     {NoFlag, 0x0000007e, 0x7fffffff},
398                                     {NoFlag, 0x0000007e, 0x80000000},
399                                     {NoFlag, 0x0000007e, 0x80000001},
400                                     {NoFlag, 0x0000007e, 0xaaaaaaaa},
401                                     {NoFlag, 0x0000007e, 0xcccccccc},
402                                     {NoFlag, 0x0000007e, 0xffff8000},
403                                     {NoFlag, 0x0000007e, 0xffff8001},
404                                     {NoFlag, 0x0000007e, 0xffff8002},
405                                     {NoFlag, 0x0000007e, 0xffff8003},
406                                     {NoFlag, 0x0000007e, 0xffffff80},
407                                     {NoFlag, 0x0000007e, 0xffffff81},
408                                     {NoFlag, 0x0000007e, 0xffffff82},
409                                     {NoFlag, 0x0000007e, 0xffffff83},
410                                     {NoFlag, 0x0000007e, 0xffffffe0},
411                                     {NoFlag, 0x0000007e, 0xfffffffd},
412                                     {NoFlag, 0x0000007e, 0xfffffffe},
413                                     {NoFlag, 0x0000007e, 0xffffffff},
414                                     {NoFlag, 0x0000007f, 0x00000000},
415                                     {NoFlag, 0x0000007f, 0x00000001},
416                                     {NoFlag, 0x0000007f, 0x00000002},
417                                     {NoFlag, 0x0000007f, 0x00000020},
418                                     {NoFlag, 0x0000007f, 0x0000007d},
419                                     {NoFlag, 0x0000007f, 0x0000007e},
420                                     {NoFlag, 0x0000007f, 0x0000007f},
421                                     {NoFlag, 0x0000007f, 0x00007ffd},
422                                     {NoFlag, 0x0000007f, 0x00007ffe},
423                                     {NoFlag, 0x0000007f, 0x00007fff},
424                                     {NoFlag, 0x0000007f, 0x33333333},
425                                     {NoFlag, 0x0000007f, 0x55555555},
426                                     {NoFlag, 0x0000007f, 0x7ffffffd},
427                                     {NoFlag, 0x0000007f, 0x7ffffffe},
428                                     {NoFlag, 0x0000007f, 0x7fffffff},
429                                     {NoFlag, 0x0000007f, 0x80000000},
430                                     {NoFlag, 0x0000007f, 0x80000001},
431                                     {NoFlag, 0x0000007f, 0xaaaaaaaa},
432                                     {NoFlag, 0x0000007f, 0xcccccccc},
433                                     {NoFlag, 0x0000007f, 0xffff8000},
434                                     {NoFlag, 0x0000007f, 0xffff8001},
435                                     {NoFlag, 0x0000007f, 0xffff8002},
436                                     {NoFlag, 0x0000007f, 0xffff8003},
437                                     {NoFlag, 0x0000007f, 0xffffff80},
438                                     {NoFlag, 0x0000007f, 0xffffff81},
439                                     {NoFlag, 0x0000007f, 0xffffff82},
440                                     {NoFlag, 0x0000007f, 0xffffff83},
441                                     {NoFlag, 0x0000007f, 0xffffffe0},
442                                     {NoFlag, 0x0000007f, 0xfffffffd},
443                                     {NoFlag, 0x0000007f, 0xfffffffe},
444                                     {NoFlag, 0x0000007f, 0xffffffff},
445                                     {NoFlag, 0x00007ffd, 0x00000000},
446                                     {NoFlag, 0x00007ffd, 0x00000001},
447                                     {NoFlag, 0x00007ffd, 0x00000002},
448                                     {NoFlag, 0x00007ffd, 0x00000020},
449                                     {NoFlag, 0x00007ffd, 0x0000007d},
450                                     {NoFlag, 0x00007ffd, 0x0000007e},
451                                     {NoFlag, 0x00007ffd, 0x0000007f},
452                                     {NoFlag, 0x00007ffd, 0x00007ffd},
453                                     {NoFlag, 0x00007ffd, 0x00007ffe},
454                                     {NoFlag, 0x00007ffd, 0x00007fff},
455                                     {NoFlag, 0x00007ffd, 0x33333333},
456                                     {NoFlag, 0x00007ffd, 0x55555555},
457                                     {NoFlag, 0x00007ffd, 0x7ffffffd},
458                                     {NoFlag, 0x00007ffd, 0x7ffffffe},
459                                     {NoFlag, 0x00007ffd, 0x7fffffff},
460                                     {NoFlag, 0x00007ffd, 0x80000000},
461                                     {NoFlag, 0x00007ffd, 0x80000001},
462                                     {NoFlag, 0x00007ffd, 0xaaaaaaaa},
463                                     {NoFlag, 0x00007ffd, 0xcccccccc},
464                                     {NoFlag, 0x00007ffd, 0xffff8000},
465                                     {NoFlag, 0x00007ffd, 0xffff8001},
466                                     {NoFlag, 0x00007ffd, 0xffff8002},
467                                     {NoFlag, 0x00007ffd, 0xffff8003},
468                                     {NoFlag, 0x00007ffd, 0xffffff80},
469                                     {NoFlag, 0x00007ffd, 0xffffff81},
470                                     {NoFlag, 0x00007ffd, 0xffffff82},
471                                     {NoFlag, 0x00007ffd, 0xffffff83},
472                                     {NoFlag, 0x00007ffd, 0xffffffe0},
473                                     {NoFlag, 0x00007ffd, 0xfffffffd},
474                                     {NoFlag, 0x00007ffd, 0xfffffffe},
475                                     {NoFlag, 0x00007ffd, 0xffffffff},
476                                     {NoFlag, 0x00007ffe, 0x00000000},
477                                     {NoFlag, 0x00007ffe, 0x00000001},
478                                     {NoFlag, 0x00007ffe, 0x00000002},
479                                     {NoFlag, 0x00007ffe, 0x00000020},
480                                     {NoFlag, 0x00007ffe, 0x0000007d},
481                                     {NoFlag, 0x00007ffe, 0x0000007e},
482                                     {NoFlag, 0x00007ffe, 0x0000007f},
483                                     {NoFlag, 0x00007ffe, 0x00007ffd},
484                                     {NoFlag, 0x00007ffe, 0x00007ffe},
485                                     {NoFlag, 0x00007ffe, 0x00007fff},
486                                     {NoFlag, 0x00007ffe, 0x33333333},
487                                     {NoFlag, 0x00007ffe, 0x55555555},
488                                     {NoFlag, 0x00007ffe, 0x7ffffffd},
489                                     {NoFlag, 0x00007ffe, 0x7ffffffe},
490                                     {NoFlag, 0x00007ffe, 0x7fffffff},
491                                     {NoFlag, 0x00007ffe, 0x80000000},
492                                     {NoFlag, 0x00007ffe, 0x80000001},
493                                     {NoFlag, 0x00007ffe, 0xaaaaaaaa},
494                                     {NoFlag, 0x00007ffe, 0xcccccccc},
495                                     {NoFlag, 0x00007ffe, 0xffff8000},
496                                     {NoFlag, 0x00007ffe, 0xffff8001},
497                                     {NoFlag, 0x00007ffe, 0xffff8002},
498                                     {NoFlag, 0x00007ffe, 0xffff8003},
499                                     {NoFlag, 0x00007ffe, 0xffffff80},
500                                     {NoFlag, 0x00007ffe, 0xffffff81},
501                                     {NoFlag, 0x00007ffe, 0xffffff82},
502                                     {NoFlag, 0x00007ffe, 0xffffff83},
503                                     {NoFlag, 0x00007ffe, 0xffffffe0},
504                                     {NoFlag, 0x00007ffe, 0xfffffffd},
505                                     {NoFlag, 0x00007ffe, 0xfffffffe},
506                                     {NoFlag, 0x00007ffe, 0xffffffff},
507                                     {NoFlag, 0x00007fff, 0x00000000},
508                                     {NoFlag, 0x00007fff, 0x00000001},
509                                     {NoFlag, 0x00007fff, 0x00000002},
510                                     {NoFlag, 0x00007fff, 0x00000020},
511                                     {NoFlag, 0x00007fff, 0x0000007d},
512                                     {NoFlag, 0x00007fff, 0x0000007e},
513                                     {NoFlag, 0x00007fff, 0x0000007f},
514                                     {NoFlag, 0x00007fff, 0x00007ffd},
515                                     {NoFlag, 0x00007fff, 0x00007ffe},
516                                     {NoFlag, 0x00007fff, 0x00007fff},
517                                     {NoFlag, 0x00007fff, 0x33333333},
518                                     {NoFlag, 0x00007fff, 0x55555555},
519                                     {NoFlag, 0x00007fff, 0x7ffffffd},
520                                     {NoFlag, 0x00007fff, 0x7ffffffe},
521                                     {NoFlag, 0x00007fff, 0x7fffffff},
522                                     {NoFlag, 0x00007fff, 0x80000000},
523                                     {NoFlag, 0x00007fff, 0x80000001},
524                                     {NoFlag, 0x00007fff, 0xaaaaaaaa},
525                                     {NoFlag, 0x00007fff, 0xcccccccc},
526                                     {NoFlag, 0x00007fff, 0xffff8000},
527                                     {NoFlag, 0x00007fff, 0xffff8001},
528                                     {NoFlag, 0x00007fff, 0xffff8002},
529                                     {NoFlag, 0x00007fff, 0xffff8003},
530                                     {NoFlag, 0x00007fff, 0xffffff80},
531                                     {NoFlag, 0x00007fff, 0xffffff81},
532                                     {NoFlag, 0x00007fff, 0xffffff82},
533                                     {NoFlag, 0x00007fff, 0xffffff83},
534                                     {NoFlag, 0x00007fff, 0xffffffe0},
535                                     {NoFlag, 0x00007fff, 0xfffffffd},
536                                     {NoFlag, 0x00007fff, 0xfffffffe},
537                                     {NoFlag, 0x00007fff, 0xffffffff},
538                                     {NoFlag, 0x33333333, 0x00000000},
539                                     {NoFlag, 0x33333333, 0x00000001},
540                                     {NoFlag, 0x33333333, 0x00000002},
541                                     {NoFlag, 0x33333333, 0x00000020},
542                                     {NoFlag, 0x33333333, 0x0000007d},
543                                     {NoFlag, 0x33333333, 0x0000007e},
544                                     {NoFlag, 0x33333333, 0x0000007f},
545                                     {NoFlag, 0x33333333, 0x00007ffd},
546                                     {NoFlag, 0x33333333, 0x00007ffe},
547                                     {NoFlag, 0x33333333, 0x00007fff},
548                                     {NoFlag, 0x33333333, 0x33333333},
549                                     {NoFlag, 0x33333333, 0x55555555},
550                                     {NoFlag, 0x33333333, 0x7ffffffd},
551                                     {NoFlag, 0x33333333, 0x7ffffffe},
552                                     {NoFlag, 0x33333333, 0x7fffffff},
553                                     {NoFlag, 0x33333333, 0x80000000},
554                                     {NoFlag, 0x33333333, 0x80000001},
555                                     {NoFlag, 0x33333333, 0xaaaaaaaa},
556                                     {NoFlag, 0x33333333, 0xcccccccc},
557                                     {NoFlag, 0x33333333, 0xffff8000},
558                                     {NoFlag, 0x33333333, 0xffff8001},
559                                     {NoFlag, 0x33333333, 0xffff8002},
560                                     {NoFlag, 0x33333333, 0xffff8003},
561                                     {NoFlag, 0x33333333, 0xffffff80},
562                                     {NoFlag, 0x33333333, 0xffffff81},
563                                     {NoFlag, 0x33333333, 0xffffff82},
564                                     {NoFlag, 0x33333333, 0xffffff83},
565                                     {NoFlag, 0x33333333, 0xffffffe0},
566                                     {NoFlag, 0x33333333, 0xfffffffd},
567                                     {NoFlag, 0x33333333, 0xfffffffe},
568                                     {NoFlag, 0x33333333, 0xffffffff},
569                                     {NoFlag, 0x55555555, 0x00000000},
570                                     {NoFlag, 0x55555555, 0x00000001},
571                                     {NoFlag, 0x55555555, 0x00000002},
572                                     {NoFlag, 0x55555555, 0x00000020},
573                                     {NoFlag, 0x55555555, 0x0000007d},
574                                     {NoFlag, 0x55555555, 0x0000007e},
575                                     {NoFlag, 0x55555555, 0x0000007f},
576                                     {NoFlag, 0x55555555, 0x00007ffd},
577                                     {NoFlag, 0x55555555, 0x00007ffe},
578                                     {NoFlag, 0x55555555, 0x00007fff},
579                                     {NoFlag, 0x55555555, 0x33333333},
580                                     {NoFlag, 0x55555555, 0x55555555},
581                                     {NoFlag, 0x55555555, 0x7ffffffd},
582                                     {NoFlag, 0x55555555, 0x7ffffffe},
583                                     {NoFlag, 0x55555555, 0x7fffffff},
584                                     {NoFlag, 0x55555555, 0x80000000},
585                                     {NoFlag, 0x55555555, 0x80000001},
586                                     {NoFlag, 0x55555555, 0xaaaaaaaa},
587                                     {NoFlag, 0x55555555, 0xcccccccc},
588                                     {NoFlag, 0x55555555, 0xffff8000},
589                                     {NoFlag, 0x55555555, 0xffff8001},
590                                     {NoFlag, 0x55555555, 0xffff8002},
591                                     {NoFlag, 0x55555555, 0xffff8003},
592                                     {NoFlag, 0x55555555, 0xffffff80},
593                                     {NoFlag, 0x55555555, 0xffffff81},
594                                     {NoFlag, 0x55555555, 0xffffff82},
595                                     {NoFlag, 0x55555555, 0xffffff83},
596                                     {NoFlag, 0x55555555, 0xffffffe0},
597                                     {NoFlag, 0x55555555, 0xfffffffd},
598                                     {NoFlag, 0x55555555, 0xfffffffe},
599                                     {NoFlag, 0x55555555, 0xffffffff},
600                                     {NoFlag, 0x7ffffffd, 0x00000000},
601                                     {NoFlag, 0x7ffffffd, 0x00000001},
602                                     {NoFlag, 0x7ffffffd, 0x00000002},
603                                     {NoFlag, 0x7ffffffd, 0x00000020},
604                                     {NoFlag, 0x7ffffffd, 0x0000007d},
605                                     {NoFlag, 0x7ffffffd, 0x0000007e},
606                                     {NoFlag, 0x7ffffffd, 0x0000007f},
607                                     {NoFlag, 0x7ffffffd, 0x00007ffd},
608                                     {NoFlag, 0x7ffffffd, 0x00007ffe},
609                                     {NoFlag, 0x7ffffffd, 0x00007fff},
610                                     {NoFlag, 0x7ffffffd, 0x33333333},
611                                     {NoFlag, 0x7ffffffd, 0x55555555},
612                                     {NoFlag, 0x7ffffffd, 0x7ffffffd},
613                                     {NoFlag, 0x7ffffffd, 0x7ffffffe},
614                                     {NoFlag, 0x7ffffffd, 0x7fffffff},
615                                     {NoFlag, 0x7ffffffd, 0x80000000},
616                                     {NoFlag, 0x7ffffffd, 0x80000001},
617                                     {NoFlag, 0x7ffffffd, 0xaaaaaaaa},
618                                     {NoFlag, 0x7ffffffd, 0xcccccccc},
619                                     {NoFlag, 0x7ffffffd, 0xffff8000},
620                                     {NoFlag, 0x7ffffffd, 0xffff8001},
621                                     {NoFlag, 0x7ffffffd, 0xffff8002},
622                                     {NoFlag, 0x7ffffffd, 0xffff8003},
623                                     {NoFlag, 0x7ffffffd, 0xffffff80},
624                                     {NoFlag, 0x7ffffffd, 0xffffff81},
625                                     {NoFlag, 0x7ffffffd, 0xffffff82},
626                                     {NoFlag, 0x7ffffffd, 0xffffff83},
627                                     {NoFlag, 0x7ffffffd, 0xffffffe0},
628                                     {NoFlag, 0x7ffffffd, 0xfffffffd},
629                                     {NoFlag, 0x7ffffffd, 0xfffffffe},
630                                     {NoFlag, 0x7ffffffd, 0xffffffff},
631                                     {NoFlag, 0x7ffffffe, 0x00000000},
632                                     {NoFlag, 0x7ffffffe, 0x00000001},
633                                     {NoFlag, 0x7ffffffe, 0x00000002},
634                                     {NoFlag, 0x7ffffffe, 0x00000020},
635                                     {NoFlag, 0x7ffffffe, 0x0000007d},
636                                     {NoFlag, 0x7ffffffe, 0x0000007e},
637                                     {NoFlag, 0x7ffffffe, 0x0000007f},
638                                     {NoFlag, 0x7ffffffe, 0x00007ffd},
639                                     {NoFlag, 0x7ffffffe, 0x00007ffe},
640                                     {NoFlag, 0x7ffffffe, 0x00007fff},
641                                     {NoFlag, 0x7ffffffe, 0x33333333},
642                                     {NoFlag, 0x7ffffffe, 0x55555555},
643                                     {NoFlag, 0x7ffffffe, 0x7ffffffd},
644                                     {NoFlag, 0x7ffffffe, 0x7ffffffe},
645                                     {NoFlag, 0x7ffffffe, 0x7fffffff},
646                                     {NoFlag, 0x7ffffffe, 0x80000000},
647                                     {NoFlag, 0x7ffffffe, 0x80000001},
648                                     {NoFlag, 0x7ffffffe, 0xaaaaaaaa},
649                                     {NoFlag, 0x7ffffffe, 0xcccccccc},
650                                     {NoFlag, 0x7ffffffe, 0xffff8000},
651                                     {NoFlag, 0x7ffffffe, 0xffff8001},
652                                     {NoFlag, 0x7ffffffe, 0xffff8002},
653                                     {NoFlag, 0x7ffffffe, 0xffff8003},
654                                     {NoFlag, 0x7ffffffe, 0xffffff80},
655                                     {NoFlag, 0x7ffffffe, 0xffffff81},
656                                     {NoFlag, 0x7ffffffe, 0xffffff82},
657                                     {NoFlag, 0x7ffffffe, 0xffffff83},
658                                     {NoFlag, 0x7ffffffe, 0xffffffe0},
659                                     {NoFlag, 0x7ffffffe, 0xfffffffd},
660                                     {NoFlag, 0x7ffffffe, 0xfffffffe},
661                                     {NoFlag, 0x7ffffffe, 0xffffffff},
662                                     {NoFlag, 0x7fffffff, 0x00000000},
663                                     {NoFlag, 0x7fffffff, 0x00000001},
664                                     {NoFlag, 0x7fffffff, 0x00000002},
665                                     {NoFlag, 0x7fffffff, 0x00000020},
666                                     {NoFlag, 0x7fffffff, 0x0000007d},
667                                     {NoFlag, 0x7fffffff, 0x0000007e},
668                                     {NoFlag, 0x7fffffff, 0x0000007f},
669                                     {NoFlag, 0x7fffffff, 0x00007ffd},
670                                     {NoFlag, 0x7fffffff, 0x00007ffe},
671                                     {NoFlag, 0x7fffffff, 0x00007fff},
672                                     {NoFlag, 0x7fffffff, 0x33333333},
673                                     {NoFlag, 0x7fffffff, 0x55555555},
674                                     {NoFlag, 0x7fffffff, 0x7ffffffd},
675                                     {NoFlag, 0x7fffffff, 0x7ffffffe},
676                                     {NoFlag, 0x7fffffff, 0x7fffffff},
677                                     {NoFlag, 0x7fffffff, 0x80000000},
678                                     {NoFlag, 0x7fffffff, 0x80000001},
679                                     {NoFlag, 0x7fffffff, 0xaaaaaaaa},
680                                     {NoFlag, 0x7fffffff, 0xcccccccc},
681                                     {NoFlag, 0x7fffffff, 0xffff8000},
682                                     {NoFlag, 0x7fffffff, 0xffff8001},
683                                     {NoFlag, 0x7fffffff, 0xffff8002},
684                                     {NoFlag, 0x7fffffff, 0xffff8003},
685                                     {NoFlag, 0x7fffffff, 0xffffff80},
686                                     {NoFlag, 0x7fffffff, 0xffffff81},
687                                     {NoFlag, 0x7fffffff, 0xffffff82},
688                                     {NoFlag, 0x7fffffff, 0xffffff83},
689                                     {NoFlag, 0x7fffffff, 0xffffffe0},
690                                     {NoFlag, 0x7fffffff, 0xfffffffd},
691                                     {NoFlag, 0x7fffffff, 0xfffffffe},
692                                     {NoFlag, 0x7fffffff, 0xffffffff},
693                                     {NoFlag, 0x80000000, 0x00000000},
694                                     {NoFlag, 0x80000000, 0x00000001},
695                                     {NoFlag, 0x80000000, 0x00000002},
696                                     {NoFlag, 0x80000000, 0x00000020},
697                                     {NoFlag, 0x80000000, 0x0000007d},
698                                     {NoFlag, 0x80000000, 0x0000007e},
699                                     {NoFlag, 0x80000000, 0x0000007f},
700                                     {NoFlag, 0x80000000, 0x00007ffd},
701                                     {NoFlag, 0x80000000, 0x00007ffe},
702                                     {NoFlag, 0x80000000, 0x00007fff},
703                                     {NoFlag, 0x80000000, 0x33333333},
704                                     {NoFlag, 0x80000000, 0x55555555},
705                                     {NoFlag, 0x80000000, 0x7ffffffd},
706                                     {NoFlag, 0x80000000, 0x7ffffffe},
707                                     {NoFlag, 0x80000000, 0x7fffffff},
708                                     {NoFlag, 0x80000000, 0x80000000},
709                                     {NoFlag, 0x80000000, 0x80000001},
710                                     {NoFlag, 0x80000000, 0xaaaaaaaa},
711                                     {NoFlag, 0x80000000, 0xcccccccc},
712                                     {NoFlag, 0x80000000, 0xffff8000},
713                                     {NoFlag, 0x80000000, 0xffff8001},
714                                     {NoFlag, 0x80000000, 0xffff8002},
715                                     {NoFlag, 0x80000000, 0xffff8003},
716                                     {NoFlag, 0x80000000, 0xffffff80},
717                                     {NoFlag, 0x80000000, 0xffffff81},
718                                     {NoFlag, 0x80000000, 0xffffff82},
719                                     {NoFlag, 0x80000000, 0xffffff83},
720                                     {NoFlag, 0x80000000, 0xffffffe0},
721                                     {NoFlag, 0x80000000, 0xfffffffd},
722                                     {NoFlag, 0x80000000, 0xfffffffe},
723                                     {NoFlag, 0x80000000, 0xffffffff},
724                                     {NoFlag, 0x80000001, 0x00000000},
725                                     {NoFlag, 0x80000001, 0x00000001},
726                                     {NoFlag, 0x80000001, 0x00000002},
727                                     {NoFlag, 0x80000001, 0x00000020},
728                                     {NoFlag, 0x80000001, 0x0000007d},
729                                     {NoFlag, 0x80000001, 0x0000007e},
730                                     {NoFlag, 0x80000001, 0x0000007f},
731                                     {NoFlag, 0x80000001, 0x00007ffd},
732                                     {NoFlag, 0x80000001, 0x00007ffe},
733                                     {NoFlag, 0x80000001, 0x00007fff},
734                                     {NoFlag, 0x80000001, 0x33333333},
735                                     {NoFlag, 0x80000001, 0x55555555},
736                                     {NoFlag, 0x80000001, 0x7ffffffd},
737                                     {NoFlag, 0x80000001, 0x7ffffffe},
738                                     {NoFlag, 0x80000001, 0x7fffffff},
739                                     {NoFlag, 0x80000001, 0x80000000},
740                                     {NoFlag, 0x80000001, 0x80000001},
741                                     {NoFlag, 0x80000001, 0xaaaaaaaa},
742                                     {NoFlag, 0x80000001, 0xcccccccc},
743                                     {NoFlag, 0x80000001, 0xffff8000},
744                                     {NoFlag, 0x80000001, 0xffff8001},
745                                     {NoFlag, 0x80000001, 0xffff8002},
746                                     {NoFlag, 0x80000001, 0xffff8003},
747                                     {NoFlag, 0x80000001, 0xffffff80},
748                                     {NoFlag, 0x80000001, 0xffffff81},
749                                     {NoFlag, 0x80000001, 0xffffff82},
750                                     {NoFlag, 0x80000001, 0xffffff83},
751                                     {NoFlag, 0x80000001, 0xffffffe0},
752                                     {NoFlag, 0x80000001, 0xfffffffd},
753                                     {NoFlag, 0x80000001, 0xfffffffe},
754                                     {NoFlag, 0x80000001, 0xffffffff},
755                                     {NoFlag, 0xaaaaaaaa, 0x00000000},
756                                     {NoFlag, 0xaaaaaaaa, 0x00000001},
757                                     {NoFlag, 0xaaaaaaaa, 0x00000002},
758                                     {NoFlag, 0xaaaaaaaa, 0x00000020},
759                                     {NoFlag, 0xaaaaaaaa, 0x0000007d},
760                                     {NoFlag, 0xaaaaaaaa, 0x0000007e},
761                                     {NoFlag, 0xaaaaaaaa, 0x0000007f},
762                                     {NoFlag, 0xaaaaaaaa, 0x00007ffd},
763                                     {NoFlag, 0xaaaaaaaa, 0x00007ffe},
764                                     {NoFlag, 0xaaaaaaaa, 0x00007fff},
765                                     {NoFlag, 0xaaaaaaaa, 0x33333333},
766                                     {NoFlag, 0xaaaaaaaa, 0x55555555},
767                                     {NoFlag, 0xaaaaaaaa, 0x7ffffffd},
768                                     {NoFlag, 0xaaaaaaaa, 0x7ffffffe},
769                                     {NoFlag, 0xaaaaaaaa, 0x7fffffff},
770                                     {NoFlag, 0xaaaaaaaa, 0x80000000},
771                                     {NoFlag, 0xaaaaaaaa, 0x80000001},
772                                     {NoFlag, 0xaaaaaaaa, 0xaaaaaaaa},
773                                     {NoFlag, 0xaaaaaaaa, 0xcccccccc},
774                                     {NoFlag, 0xaaaaaaaa, 0xffff8000},
775                                     {NoFlag, 0xaaaaaaaa, 0xffff8001},
776                                     {NoFlag, 0xaaaaaaaa, 0xffff8002},
777                                     {NoFlag, 0xaaaaaaaa, 0xffff8003},
778                                     {NoFlag, 0xaaaaaaaa, 0xffffff80},
779                                     {NoFlag, 0xaaaaaaaa, 0xffffff81},
780                                     {NoFlag, 0xaaaaaaaa, 0xffffff82},
781                                     {NoFlag, 0xaaaaaaaa, 0xffffff83},
782                                     {NoFlag, 0xaaaaaaaa, 0xffffffe0},
783                                     {NoFlag, 0xaaaaaaaa, 0xfffffffd},
784                                     {NoFlag, 0xaaaaaaaa, 0xfffffffe},
785                                     {NoFlag, 0xaaaaaaaa, 0xffffffff},
786                                     {NoFlag, 0xcccccccc, 0x00000000},
787                                     {NoFlag, 0xcccccccc, 0x00000001},
788                                     {NoFlag, 0xcccccccc, 0x00000002},
789                                     {NoFlag, 0xcccccccc, 0x00000020},
790                                     {NoFlag, 0xcccccccc, 0x0000007d},
791                                     {NoFlag, 0xcccccccc, 0x0000007e},
792                                     {NoFlag, 0xcccccccc, 0x0000007f},
793                                     {NoFlag, 0xcccccccc, 0x00007ffd},
794                                     {NoFlag, 0xcccccccc, 0x00007ffe},
795                                     {NoFlag, 0xcccccccc, 0x00007fff},
796                                     {NoFlag, 0xcccccccc, 0x33333333},
797                                     {NoFlag, 0xcccccccc, 0x55555555},
798                                     {NoFlag, 0xcccccccc, 0x7ffffffd},
799                                     {NoFlag, 0xcccccccc, 0x7ffffffe},
800                                     {NoFlag, 0xcccccccc, 0x7fffffff},
801                                     {NoFlag, 0xcccccccc, 0x80000000},
802                                     {NoFlag, 0xcccccccc, 0x80000001},
803                                     {NoFlag, 0xcccccccc, 0xaaaaaaaa},
804                                     {NoFlag, 0xcccccccc, 0xcccccccc},
805                                     {NoFlag, 0xcccccccc, 0xffff8000},
806                                     {NoFlag, 0xcccccccc, 0xffff8001},
807                                     {NoFlag, 0xcccccccc, 0xffff8002},
808                                     {NoFlag, 0xcccccccc, 0xffff8003},
809                                     {NoFlag, 0xcccccccc, 0xffffff80},
810                                     {NoFlag, 0xcccccccc, 0xffffff81},
811                                     {NoFlag, 0xcccccccc, 0xffffff82},
812                                     {NoFlag, 0xcccccccc, 0xffffff83},
813                                     {NoFlag, 0xcccccccc, 0xffffffe0},
814                                     {NoFlag, 0xcccccccc, 0xfffffffd},
815                                     {NoFlag, 0xcccccccc, 0xfffffffe},
816                                     {NoFlag, 0xcccccccc, 0xffffffff},
817                                     {NoFlag, 0xffff8000, 0x00000000},
818                                     {NoFlag, 0xffff8000, 0x00000001},
819                                     {NoFlag, 0xffff8000, 0x00000002},
820                                     {NoFlag, 0xffff8000, 0x00000020},
821                                     {NoFlag, 0xffff8000, 0x0000007d},
822                                     {NoFlag, 0xffff8000, 0x0000007e},
823                                     {NoFlag, 0xffff8000, 0x0000007f},
824                                     {NoFlag, 0xffff8000, 0x00007ffd},
825                                     {NoFlag, 0xffff8000, 0x00007ffe},
826                                     {NoFlag, 0xffff8000, 0x00007fff},
827                                     {NoFlag, 0xffff8000, 0x33333333},
828                                     {NoFlag, 0xffff8000, 0x55555555},
829                                     {NoFlag, 0xffff8000, 0x7ffffffd},
830                                     {NoFlag, 0xffff8000, 0x7ffffffe},
831                                     {NoFlag, 0xffff8000, 0x7fffffff},
832                                     {NoFlag, 0xffff8000, 0x80000000},
833                                     {NoFlag, 0xffff8000, 0x80000001},
834                                     {NoFlag, 0xffff8000, 0xaaaaaaaa},
835                                     {NoFlag, 0xffff8000, 0xcccccccc},
836                                     {NoFlag, 0xffff8000, 0xffff8000},
837                                     {NoFlag, 0xffff8000, 0xffff8001},
838                                     {NoFlag, 0xffff8000, 0xffff8002},
839                                     {NoFlag, 0xffff8000, 0xffff8003},
840                                     {NoFlag, 0xffff8000, 0xffffff80},
841                                     {NoFlag, 0xffff8000, 0xffffff81},
842                                     {NoFlag, 0xffff8000, 0xffffff82},
843                                     {NoFlag, 0xffff8000, 0xffffff83},
844                                     {NoFlag, 0xffff8000, 0xffffffe0},
845                                     {NoFlag, 0xffff8000, 0xfffffffd},
846                                     {NoFlag, 0xffff8000, 0xfffffffe},
847                                     {NoFlag, 0xffff8000, 0xffffffff},
848                                     {NoFlag, 0xffff8001, 0x00000000},
849                                     {NoFlag, 0xffff8001, 0x00000001},
850                                     {NoFlag, 0xffff8001, 0x00000002},
851                                     {NoFlag, 0xffff8001, 0x00000020},
852                                     {NoFlag, 0xffff8001, 0x0000007d},
853                                     {NoFlag, 0xffff8001, 0x0000007e},
854                                     {NoFlag, 0xffff8001, 0x0000007f},
855                                     {NoFlag, 0xffff8001, 0x00007ffd},
856                                     {NoFlag, 0xffff8001, 0x00007ffe},
857                                     {NoFlag, 0xffff8001, 0x00007fff},
858                                     {NoFlag, 0xffff8001, 0x33333333},
859                                     {NoFlag, 0xffff8001, 0x55555555},
860                                     {NoFlag, 0xffff8001, 0x7ffffffd},
861                                     {NoFlag, 0xffff8001, 0x7ffffffe},
862                                     {NoFlag, 0xffff8001, 0x7fffffff},
863                                     {NoFlag, 0xffff8001, 0x80000000},
864                                     {NoFlag, 0xffff8001, 0x80000001},
865                                     {NoFlag, 0xffff8001, 0xaaaaaaaa},
866                                     {NoFlag, 0xffff8001, 0xcccccccc},
867                                     {NoFlag, 0xffff8001, 0xffff8000},
868                                     {NoFlag, 0xffff8001, 0xffff8001},
869                                     {NoFlag, 0xffff8001, 0xffff8002},
870                                     {NoFlag, 0xffff8001, 0xffff8003},
871                                     {NoFlag, 0xffff8001, 0xffffff80},
872                                     {NoFlag, 0xffff8001, 0xffffff81},
873                                     {NoFlag, 0xffff8001, 0xffffff82},
874                                     {NoFlag, 0xffff8001, 0xffffff83},
875                                     {NoFlag, 0xffff8001, 0xffffffe0},
876                                     {NoFlag, 0xffff8001, 0xfffffffd},
877                                     {NoFlag, 0xffff8001, 0xfffffffe},
878                                     {NoFlag, 0xffff8001, 0xffffffff},
879                                     {NoFlag, 0xffff8002, 0x00000000},
880                                     {NoFlag, 0xffff8002, 0x00000001},
881                                     {NoFlag, 0xffff8002, 0x00000002},
882                                     {NoFlag, 0xffff8002, 0x00000020},
883                                     {NoFlag, 0xffff8002, 0x0000007d},
884                                     {NoFlag, 0xffff8002, 0x0000007e},
885                                     {NoFlag, 0xffff8002, 0x0000007f},
886                                     {NoFlag, 0xffff8002, 0x00007ffd},
887                                     {NoFlag, 0xffff8002, 0x00007ffe},
888                                     {NoFlag, 0xffff8002, 0x00007fff},
889                                     {NoFlag, 0xffff8002, 0x33333333},
890                                     {NoFlag, 0xffff8002, 0x55555555},
891                                     {NoFlag, 0xffff8002, 0x7ffffffd},
892                                     {NoFlag, 0xffff8002, 0x7ffffffe},
893                                     {NoFlag, 0xffff8002, 0x7fffffff},
894                                     {NoFlag, 0xffff8002, 0x80000000},
895                                     {NoFlag, 0xffff8002, 0x80000001},
896                                     {NoFlag, 0xffff8002, 0xaaaaaaaa},
897                                     {NoFlag, 0xffff8002, 0xcccccccc},
898                                     {NoFlag, 0xffff8002, 0xffff8000},
899                                     {NoFlag, 0xffff8002, 0xffff8001},
900                                     {NoFlag, 0xffff8002, 0xffff8002},
901                                     {NoFlag, 0xffff8002, 0xffff8003},
902                                     {NoFlag, 0xffff8002, 0xffffff80},
903                                     {NoFlag, 0xffff8002, 0xffffff81},
904                                     {NoFlag, 0xffff8002, 0xffffff82},
905                                     {NoFlag, 0xffff8002, 0xffffff83},
906                                     {NoFlag, 0xffff8002, 0xffffffe0},
907                                     {NoFlag, 0xffff8002, 0xfffffffd},
908                                     {NoFlag, 0xffff8002, 0xfffffffe},
909                                     {NoFlag, 0xffff8002, 0xffffffff},
910                                     {NoFlag, 0xffff8003, 0x00000000},
911                                     {NoFlag, 0xffff8003, 0x00000001},
912                                     {NoFlag, 0xffff8003, 0x00000002},
913                                     {NoFlag, 0xffff8003, 0x00000020},
914                                     {NoFlag, 0xffff8003, 0x0000007d},
915                                     {NoFlag, 0xffff8003, 0x0000007e},
916                                     {NoFlag, 0xffff8003, 0x0000007f},
917                                     {NoFlag, 0xffff8003, 0x00007ffd},
918                                     {NoFlag, 0xffff8003, 0x00007ffe},
919                                     {NoFlag, 0xffff8003, 0x00007fff},
920                                     {NoFlag, 0xffff8003, 0x33333333},
921                                     {NoFlag, 0xffff8003, 0x55555555},
922                                     {NoFlag, 0xffff8003, 0x7ffffffd},
923                                     {NoFlag, 0xffff8003, 0x7ffffffe},
924                                     {NoFlag, 0xffff8003, 0x7fffffff},
925                                     {NoFlag, 0xffff8003, 0x80000000},
926                                     {NoFlag, 0xffff8003, 0x80000001},
927                                     {NoFlag, 0xffff8003, 0xaaaaaaaa},
928                                     {NoFlag, 0xffff8003, 0xcccccccc},
929                                     {NoFlag, 0xffff8003, 0xffff8000},
930                                     {NoFlag, 0xffff8003, 0xffff8001},
931                                     {NoFlag, 0xffff8003, 0xffff8002},
932                                     {NoFlag, 0xffff8003, 0xffff8003},
933                                     {NoFlag, 0xffff8003, 0xffffff80},
934                                     {NoFlag, 0xffff8003, 0xffffff81},
935                                     {NoFlag, 0xffff8003, 0xffffff82},
936                                     {NoFlag, 0xffff8003, 0xffffff83},
937                                     {NoFlag, 0xffff8003, 0xffffffe0},
938                                     {NoFlag, 0xffff8003, 0xfffffffd},
939                                     {NoFlag, 0xffff8003, 0xfffffffe},
940                                     {NoFlag, 0xffff8003, 0xffffffff},
941                                     {NoFlag, 0xffffff80, 0x00000000},
942                                     {NoFlag, 0xffffff80, 0x00000001},
943                                     {NoFlag, 0xffffff80, 0x00000002},
944                                     {NoFlag, 0xffffff80, 0x00000020},
945                                     {NoFlag, 0xffffff80, 0x0000007d},
946                                     {NoFlag, 0xffffff80, 0x0000007e},
947                                     {NoFlag, 0xffffff80, 0x0000007f},
948                                     {NoFlag, 0xffffff80, 0x00007ffd},
949                                     {NoFlag, 0xffffff80, 0x00007ffe},
950                                     {NoFlag, 0xffffff80, 0x00007fff},
951                                     {NoFlag, 0xffffff80, 0x33333333},
952                                     {NoFlag, 0xffffff80, 0x55555555},
953                                     {NoFlag, 0xffffff80, 0x7ffffffd},
954                                     {NoFlag, 0xffffff80, 0x7ffffffe},
955                                     {NoFlag, 0xffffff80, 0x7fffffff},
956                                     {NoFlag, 0xffffff80, 0x80000000},
957                                     {NoFlag, 0xffffff80, 0x80000001},
958                                     {NoFlag, 0xffffff80, 0xaaaaaaaa},
959                                     {NoFlag, 0xffffff80, 0xcccccccc},
960                                     {NoFlag, 0xffffff80, 0xffff8000},
961                                     {NoFlag, 0xffffff80, 0xffff8001},
962                                     {NoFlag, 0xffffff80, 0xffff8002},
963                                     {NoFlag, 0xffffff80, 0xffff8003},
964                                     {NoFlag, 0xffffff80, 0xffffff80},
965                                     {NoFlag, 0xffffff80, 0xffffff81},
966                                     {NoFlag, 0xffffff80, 0xffffff82},
967                                     {NoFlag, 0xffffff80, 0xffffff83},
968                                     {NoFlag, 0xffffff80, 0xffffffe0},
969                                     {NoFlag, 0xffffff80, 0xfffffffd},
970                                     {NoFlag, 0xffffff80, 0xfffffffe},
971                                     {NoFlag, 0xffffff80, 0xffffffff},
972                                     {NoFlag, 0xffffff81, 0x00000000},
973                                     {NoFlag, 0xffffff81, 0x00000001},
974                                     {NoFlag, 0xffffff81, 0x00000002},
975                                     {NoFlag, 0xffffff81, 0x00000020},
976                                     {NoFlag, 0xffffff81, 0x0000007d},
977                                     {NoFlag, 0xffffff81, 0x0000007e},
978                                     {NoFlag, 0xffffff81, 0x0000007f},
979                                     {NoFlag, 0xffffff81, 0x00007ffd},
980                                     {NoFlag, 0xffffff81, 0x00007ffe},
981                                     {NoFlag, 0xffffff81, 0x00007fff},
982                                     {NoFlag, 0xffffff81, 0x33333333},
983                                     {NoFlag, 0xffffff81, 0x55555555},
984                                     {NoFlag, 0xffffff81, 0x7ffffffd},
985                                     {NoFlag, 0xffffff81, 0x7ffffffe},
986                                     {NoFlag, 0xffffff81, 0x7fffffff},
987                                     {NoFlag, 0xffffff81, 0x80000000},
988                                     {NoFlag, 0xffffff81, 0x80000001},
989                                     {NoFlag, 0xffffff81, 0xaaaaaaaa},
990                                     {NoFlag, 0xffffff81, 0xcccccccc},
991                                     {NoFlag, 0xffffff81, 0xffff8000},
992                                     {NoFlag, 0xffffff81, 0xffff8001},
993                                     {NoFlag, 0xffffff81, 0xffff8002},
994                                     {NoFlag, 0xffffff81, 0xffff8003},
995                                     {NoFlag, 0xffffff81, 0xffffff80},
996                                     {NoFlag, 0xffffff81, 0xffffff81},
997                                     {NoFlag, 0xffffff81, 0xffffff82},
998                                     {NoFlag, 0xffffff81, 0xffffff83},
999                                     {NoFlag, 0xffffff81, 0xffffffe0},
1000                                     {NoFlag, 0xffffff81, 0xfffffffd},
1001                                     {NoFlag, 0xffffff81, 0xfffffffe},
1002                                     {NoFlag, 0xffffff81, 0xffffffff},
1003                                     {NoFlag, 0xffffff82, 0x00000000},
1004                                     {NoFlag, 0xffffff82, 0x00000001},
1005                                     {NoFlag, 0xffffff82, 0x00000002},
1006                                     {NoFlag, 0xffffff82, 0x00000020},
1007                                     {NoFlag, 0xffffff82, 0x0000007d},
1008                                     {NoFlag, 0xffffff82, 0x0000007e},
1009                                     {NoFlag, 0xffffff82, 0x0000007f},
1010                                     {NoFlag, 0xffffff82, 0x00007ffd},
1011                                     {NoFlag, 0xffffff82, 0x00007ffe},
1012                                     {NoFlag, 0xffffff82, 0x00007fff},
1013                                     {NoFlag, 0xffffff82, 0x33333333},
1014                                     {NoFlag, 0xffffff82, 0x55555555},
1015                                     {NoFlag, 0xffffff82, 0x7ffffffd},
1016                                     {NoFlag, 0xffffff82, 0x7ffffffe},
1017                                     {NoFlag, 0xffffff82, 0x7fffffff},
1018                                     {NoFlag, 0xffffff82, 0x80000000},
1019                                     {NoFlag, 0xffffff82, 0x80000001},
1020                                     {NoFlag, 0xffffff82, 0xaaaaaaaa},
1021                                     {NoFlag, 0xffffff82, 0xcccccccc},
1022                                     {NoFlag, 0xffffff82, 0xffff8000},
1023                                     {NoFlag, 0xffffff82, 0xffff8001},
1024                                     {NoFlag, 0xffffff82, 0xffff8002},
1025                                     {NoFlag, 0xffffff82, 0xffff8003},
1026                                     {NoFlag, 0xffffff82, 0xffffff80},
1027                                     {NoFlag, 0xffffff82, 0xffffff81},
1028                                     {NoFlag, 0xffffff82, 0xffffff82},
1029                                     {NoFlag, 0xffffff82, 0xffffff83},
1030                                     {NoFlag, 0xffffff82, 0xffffffe0},
1031                                     {NoFlag, 0xffffff82, 0xfffffffd},
1032                                     {NoFlag, 0xffffff82, 0xfffffffe},
1033                                     {NoFlag, 0xffffff82, 0xffffffff},
1034                                     {NoFlag, 0xffffff83, 0x00000000},
1035                                     {NoFlag, 0xffffff83, 0x00000001},
1036                                     {NoFlag, 0xffffff83, 0x00000002},
1037                                     {NoFlag, 0xffffff83, 0x00000020},
1038                                     {NoFlag, 0xffffff83, 0x0000007d},
1039                                     {NoFlag, 0xffffff83, 0x0000007e},
1040                                     {NoFlag, 0xffffff83, 0x0000007f},
1041                                     {NoFlag, 0xffffff83, 0x00007ffd},
1042                                     {NoFlag, 0xffffff83, 0x00007ffe},
1043                                     {NoFlag, 0xffffff83, 0x00007fff},
1044                                     {NoFlag, 0xffffff83, 0x33333333},
1045                                     {NoFlag, 0xffffff83, 0x55555555},
1046                                     {NoFlag, 0xffffff83, 0x7ffffffd},
1047                                     {NoFlag, 0xffffff83, 0x7ffffffe},
1048                                     {NoFlag, 0xffffff83, 0x7fffffff},
1049                                     {NoFlag, 0xffffff83, 0x80000000},
1050                                     {NoFlag, 0xffffff83, 0x80000001},
1051                                     {NoFlag, 0xffffff83, 0xaaaaaaaa},
1052                                     {NoFlag, 0xffffff83, 0xcccccccc},
1053                                     {NoFlag, 0xffffff83, 0xffff8000},
1054                                     {NoFlag, 0xffffff83, 0xffff8001},
1055                                     {NoFlag, 0xffffff83, 0xffff8002},
1056                                     {NoFlag, 0xffffff83, 0xffff8003},
1057                                     {NoFlag, 0xffffff83, 0xffffff80},
1058                                     {NoFlag, 0xffffff83, 0xffffff81},
1059                                     {NoFlag, 0xffffff83, 0xffffff82},
1060                                     {NoFlag, 0xffffff83, 0xffffff83},
1061                                     {NoFlag, 0xffffff83, 0xffffffe0},
1062                                     {NoFlag, 0xffffff83, 0xfffffffd},
1063                                     {NoFlag, 0xffffff83, 0xfffffffe},
1064                                     {NoFlag, 0xffffff83, 0xffffffff},
1065                                     {NoFlag, 0xffffffe0, 0x00000000},
1066                                     {NoFlag, 0xffffffe0, 0x00000001},
1067                                     {NoFlag, 0xffffffe0, 0x00000002},
1068                                     {NoFlag, 0xffffffe0, 0x00000020},
1069                                     {NoFlag, 0xffffffe0, 0x0000007d},
1070                                     {NoFlag, 0xffffffe0, 0x0000007e},
1071                                     {NoFlag, 0xffffffe0, 0x0000007f},
1072                                     {NoFlag, 0xffffffe0, 0x00007ffd},
1073                                     {NoFlag, 0xffffffe0, 0x00007ffe},
1074                                     {NoFlag, 0xffffffe0, 0x00007fff},
1075                                     {NoFlag, 0xffffffe0, 0x33333333},
1076                                     {NoFlag, 0xffffffe0, 0x55555555},
1077                                     {NoFlag, 0xffffffe0, 0x7ffffffd},
1078                                     {NoFlag, 0xffffffe0, 0x7ffffffe},
1079                                     {NoFlag, 0xffffffe0, 0x7fffffff},
1080                                     {NoFlag, 0xffffffe0, 0x80000000},
1081                                     {NoFlag, 0xffffffe0, 0x80000001},
1082                                     {NoFlag, 0xffffffe0, 0xaaaaaaaa},
1083                                     {NoFlag, 0xffffffe0, 0xcccccccc},
1084                                     {NoFlag, 0xffffffe0, 0xffff8000},
1085                                     {NoFlag, 0xffffffe0, 0xffff8001},
1086                                     {NoFlag, 0xffffffe0, 0xffff8002},
1087                                     {NoFlag, 0xffffffe0, 0xffff8003},
1088                                     {NoFlag, 0xffffffe0, 0xffffff80},
1089                                     {NoFlag, 0xffffffe0, 0xffffff81},
1090                                     {NoFlag, 0xffffffe0, 0xffffff82},
1091                                     {NoFlag, 0xffffffe0, 0xffffff83},
1092                                     {NoFlag, 0xffffffe0, 0xffffffe0},
1093                                     {NoFlag, 0xffffffe0, 0xfffffffd},
1094                                     {NoFlag, 0xffffffe0, 0xfffffffe},
1095                                     {NoFlag, 0xffffffe0, 0xffffffff},
1096                                     {NoFlag, 0xfffffffd, 0x00000000},
1097                                     {NoFlag, 0xfffffffd, 0x00000001},
1098                                     {NoFlag, 0xfffffffd, 0x00000002},
1099                                     {NoFlag, 0xfffffffd, 0x00000020},
1100                                     {NoFlag, 0xfffffffd, 0x0000007d},
1101                                     {NoFlag, 0xfffffffd, 0x0000007e},
1102                                     {NoFlag, 0xfffffffd, 0x0000007f},
1103                                     {NoFlag, 0xfffffffd, 0x00007ffd},
1104                                     {NoFlag, 0xfffffffd, 0x00007ffe},
1105                                     {NoFlag, 0xfffffffd, 0x00007fff},
1106                                     {NoFlag, 0xfffffffd, 0x33333333},
1107                                     {NoFlag, 0xfffffffd, 0x55555555},
1108                                     {NoFlag, 0xfffffffd, 0x7ffffffd},
1109                                     {NoFlag, 0xfffffffd, 0x7ffffffe},
1110                                     {NoFlag, 0xfffffffd, 0x7fffffff},
1111                                     {NoFlag, 0xfffffffd, 0x80000000},
1112                                     {NoFlag, 0xfffffffd, 0x80000001},
1113                                     {NoFlag, 0xfffffffd, 0xaaaaaaaa},
1114                                     {NoFlag, 0xfffffffd, 0xcccccccc},
1115                                     {NoFlag, 0xfffffffd, 0xffff8000},
1116                                     {NoFlag, 0xfffffffd, 0xffff8001},
1117                                     {NoFlag, 0xfffffffd, 0xffff8002},
1118                                     {NoFlag, 0xfffffffd, 0xffff8003},
1119                                     {NoFlag, 0xfffffffd, 0xffffff80},
1120                                     {NoFlag, 0xfffffffd, 0xffffff81},
1121                                     {NoFlag, 0xfffffffd, 0xffffff82},
1122                                     {NoFlag, 0xfffffffd, 0xffffff83},
1123                                     {NoFlag, 0xfffffffd, 0xffffffe0},
1124                                     {NoFlag, 0xfffffffd, 0xfffffffd},
1125                                     {NoFlag, 0xfffffffd, 0xfffffffe},
1126                                     {NoFlag, 0xfffffffd, 0xffffffff},
1127                                     {NoFlag, 0xfffffffe, 0x00000000},
1128                                     {NoFlag, 0xfffffffe, 0x00000001},
1129                                     {NoFlag, 0xfffffffe, 0x00000002},
1130                                     {NoFlag, 0xfffffffe, 0x00000020},
1131                                     {NoFlag, 0xfffffffe, 0x0000007d},
1132                                     {NoFlag, 0xfffffffe, 0x0000007e},
1133                                     {NoFlag, 0xfffffffe, 0x0000007f},
1134                                     {NoFlag, 0xfffffffe, 0x00007ffd},
1135                                     {NoFlag, 0xfffffffe, 0x00007ffe},
1136                                     {NoFlag, 0xfffffffe, 0x00007fff},
1137                                     {NoFlag, 0xfffffffe, 0x33333333},
1138                                     {NoFlag, 0xfffffffe, 0x55555555},
1139                                     {NoFlag, 0xfffffffe, 0x7ffffffd},
1140                                     {NoFlag, 0xfffffffe, 0x7ffffffe},
1141                                     {NoFlag, 0xfffffffe, 0x7fffffff},
1142                                     {NoFlag, 0xfffffffe, 0x80000000},
1143                                     {NoFlag, 0xfffffffe, 0x80000001},
1144                                     {NoFlag, 0xfffffffe, 0xaaaaaaaa},
1145                                     {NoFlag, 0xfffffffe, 0xcccccccc},
1146                                     {NoFlag, 0xfffffffe, 0xffff8000},
1147                                     {NoFlag, 0xfffffffe, 0xffff8001},
1148                                     {NoFlag, 0xfffffffe, 0xffff8002},
1149                                     {NoFlag, 0xfffffffe, 0xffff8003},
1150                                     {NoFlag, 0xfffffffe, 0xffffff80},
1151                                     {NoFlag, 0xfffffffe, 0xffffff81},
1152                                     {NoFlag, 0xfffffffe, 0xffffff82},
1153                                     {NoFlag, 0xfffffffe, 0xffffff83},
1154                                     {NoFlag, 0xfffffffe, 0xffffffe0},
1155                                     {NoFlag, 0xfffffffe, 0xfffffffd},
1156                                     {NoFlag, 0xfffffffe, 0xfffffffe},
1157                                     {NoFlag, 0xfffffffe, 0xffffffff},
1158                                     {NoFlag, 0xffffffff, 0x00000000},
1159                                     {NoFlag, 0xffffffff, 0x00000001},
1160                                     {NoFlag, 0xffffffff, 0x00000002},
1161                                     {NoFlag, 0xffffffff, 0x00000020},
1162                                     {NoFlag, 0xffffffff, 0x0000007d},
1163                                     {NoFlag, 0xffffffff, 0x0000007e},
1164                                     {NoFlag, 0xffffffff, 0x0000007f},
1165                                     {NoFlag, 0xffffffff, 0x00007ffd},
1166                                     {NoFlag, 0xffffffff, 0x00007ffe},
1167                                     {NoFlag, 0xffffffff, 0x00007fff},
1168                                     {NoFlag, 0xffffffff, 0x33333333},
1169                                     {NoFlag, 0xffffffff, 0x55555555},
1170                                     {NoFlag, 0xffffffff, 0x7ffffffd},
1171                                     {NoFlag, 0xffffffff, 0x7ffffffe},
1172                                     {NoFlag, 0xffffffff, 0x7fffffff},
1173                                     {NoFlag, 0xffffffff, 0x80000000},
1174                                     {NoFlag, 0xffffffff, 0x80000001},
1175                                     {NoFlag, 0xffffffff, 0xaaaaaaaa},
1176                                     {NoFlag, 0xffffffff, 0xcccccccc},
1177                                     {NoFlag, 0xffffffff, 0xffff8000},
1178                                     {NoFlag, 0xffffffff, 0xffff8001},
1179                                     {NoFlag, 0xffffffff, 0xffff8002},
1180                                     {NoFlag, 0xffffffff, 0xffff8003},
1181                                     {NoFlag, 0xffffffff, 0xffffff80},
1182                                     {NoFlag, 0xffffffff, 0xffffff81},
1183                                     {NoFlag, 0xffffffff, 0xffffff82},
1184                                     {NoFlag, 0xffffffff, 0xffffff83},
1185                                     {NoFlag, 0xffffffff, 0xffffffe0},
1186                                     {NoFlag, 0xffffffff, 0xfffffffd},
1187                                     {NoFlag, 0xffffffff, 0xfffffffe},
1188                                     {NoFlag, 0xffffffff, 0xffffffff}};
1189 
1190 static const Inputs kModifiedImmediate[] = {{NoFlag, 0xabababab, 0x00000000},
1191                                             {NoFlag, 0xabababab, 0x00000001},
1192                                             {NoFlag, 0xabababab, 0x00000002},
1193                                             {NoFlag, 0xabababab, 0x00000020},
1194                                             {NoFlag, 0xabababab, 0x0000007d},
1195                                             {NoFlag, 0xabababab, 0x0000007e},
1196                                             {NoFlag, 0xabababab, 0x0000007f},
1197                                             {NoFlag, 0xabababab, 0x00007ffd},
1198                                             {NoFlag, 0xabababab, 0x00007ffe},
1199                                             {NoFlag, 0xabababab, 0x00007fff},
1200                                             {NoFlag, 0xabababab, 0x33333333},
1201                                             {NoFlag, 0xabababab, 0x55555555},
1202                                             {NoFlag, 0xabababab, 0x7ffffffd},
1203                                             {NoFlag, 0xabababab, 0x7ffffffe},
1204                                             {NoFlag, 0xabababab, 0x7fffffff},
1205                                             {NoFlag, 0xabababab, 0x80000000},
1206                                             {NoFlag, 0xabababab, 0x80000001},
1207                                             {NoFlag, 0xabababab, 0xaaaaaaaa},
1208                                             {NoFlag, 0xabababab, 0xcccccccc},
1209                                             {NoFlag, 0xabababab, 0xffff8000},
1210                                             {NoFlag, 0xabababab, 0xffff8001},
1211                                             {NoFlag, 0xabababab, 0xffff8002},
1212                                             {NoFlag, 0xabababab, 0xffff8003},
1213                                             {NoFlag, 0xabababab, 0xffffff80},
1214                                             {NoFlag, 0xabababab, 0xffffff81},
1215                                             {NoFlag, 0xabababab, 0xffffff82},
1216                                             {NoFlag, 0xabababab, 0xffffff83},
1217                                             {NoFlag, 0xabababab, 0xffffffe0},
1218                                             {NoFlag, 0xabababab, 0xfffffffd},
1219                                             {NoFlag, 0xabababab, 0xfffffffe},
1220                                             {NoFlag, 0xabababab, 0xffffffff}};
1221 
1222 
1223 // A loop will be generated for each element of this array.
1224 const TestLoopData kTests[] = {{{eq, r0, r0, 0x000000ab},
1225                                 "eq r0 r0 0x000000ab",
1226                                 "Condition_eq_r0_r0_0x000000ab",
1227                                 ARRAY_SIZE(kCondition),
1228                                 kCondition},
1229                                {{ne, r0, r0, 0x000000ab},
1230                                 "ne r0 r0 0x000000ab",
1231                                 "Condition_ne_r0_r0_0x000000ab",
1232                                 ARRAY_SIZE(kCondition),
1233                                 kCondition},
1234                                {{cs, r0, r0, 0x000000ab},
1235                                 "cs r0 r0 0x000000ab",
1236                                 "Condition_cs_r0_r0_0x000000ab",
1237                                 ARRAY_SIZE(kCondition),
1238                                 kCondition},
1239                                {{cc, r0, r0, 0x000000ab},
1240                                 "cc r0 r0 0x000000ab",
1241                                 "Condition_cc_r0_r0_0x000000ab",
1242                                 ARRAY_SIZE(kCondition),
1243                                 kCondition},
1244                                {{mi, r0, r0, 0x000000ab},
1245                                 "mi r0 r0 0x000000ab",
1246                                 "Condition_mi_r0_r0_0x000000ab",
1247                                 ARRAY_SIZE(kCondition),
1248                                 kCondition},
1249                                {{pl, r0, r0, 0x000000ab},
1250                                 "pl r0 r0 0x000000ab",
1251                                 "Condition_pl_r0_r0_0x000000ab",
1252                                 ARRAY_SIZE(kCondition),
1253                                 kCondition},
1254                                {{vs, r0, r0, 0x000000ab},
1255                                 "vs r0 r0 0x000000ab",
1256                                 "Condition_vs_r0_r0_0x000000ab",
1257                                 ARRAY_SIZE(kCondition),
1258                                 kCondition},
1259                                {{vc, r0, r0, 0x000000ab},
1260                                 "vc r0 r0 0x000000ab",
1261                                 "Condition_vc_r0_r0_0x000000ab",
1262                                 ARRAY_SIZE(kCondition),
1263                                 kCondition},
1264                                {{hi, r0, r0, 0x000000ab},
1265                                 "hi r0 r0 0x000000ab",
1266                                 "Condition_hi_r0_r0_0x000000ab",
1267                                 ARRAY_SIZE(kCondition),
1268                                 kCondition},
1269                                {{ls, r0, r0, 0x000000ab},
1270                                 "ls r0 r0 0x000000ab",
1271                                 "Condition_ls_r0_r0_0x000000ab",
1272                                 ARRAY_SIZE(kCondition),
1273                                 kCondition},
1274                                {{ge, r0, r0, 0x000000ab},
1275                                 "ge r0 r0 0x000000ab",
1276                                 "Condition_ge_r0_r0_0x000000ab",
1277                                 ARRAY_SIZE(kCondition),
1278                                 kCondition},
1279                                {{lt, r0, r0, 0x000000ab},
1280                                 "lt r0 r0 0x000000ab",
1281                                 "Condition_lt_r0_r0_0x000000ab",
1282                                 ARRAY_SIZE(kCondition),
1283                                 kCondition},
1284                                {{gt, r0, r0, 0x000000ab},
1285                                 "gt r0 r0 0x000000ab",
1286                                 "Condition_gt_r0_r0_0x000000ab",
1287                                 ARRAY_SIZE(kCondition),
1288                                 kCondition},
1289                                {{le, r0, r0, 0x000000ab},
1290                                 "le r0 r0 0x000000ab",
1291                                 "Condition_le_r0_r0_0x000000ab",
1292                                 ARRAY_SIZE(kCondition),
1293                                 kCondition},
1294                                {{al, r0, r0, 0x000000ab},
1295                                 "al r0 r0 0x000000ab",
1296                                 "Condition_al_r0_r0_0x000000ab",
1297                                 ARRAY_SIZE(kCondition),
1298                                 kCondition},
1299                                {{al, r4, r4, 0x02ac0000},
1300                                 "al r4 r4 0x02ac0000",
1301                                 "RdIsRn_al_r4_r4_0x02ac0000",
1302                                 ARRAY_SIZE(kRdIsRn),
1303                                 kRdIsRn},
1304                                {{al, r0, r0, 0xf000000f},
1305                                 "al r0 r0 0xf000000f",
1306                                 "RdIsRn_al_r0_r0_0xf000000f",
1307                                 ARRAY_SIZE(kRdIsRn),
1308                                 kRdIsRn},
1309                                {{al, r1, r1, 0x00000ff0},
1310                                 "al r1 r1 0x00000ff0",
1311                                 "RdIsRn_al_r1_r1_0x00000ff0",
1312                                 ARRAY_SIZE(kRdIsRn),
1313                                 kRdIsRn},
1314                                {{al, r9, r9, 0x0ff00000},
1315                                 "al r9 r9 0x0ff00000",
1316                                 "RdIsRn_al_r9_r9_0x0ff00000",
1317                                 ARRAY_SIZE(kRdIsRn),
1318                                 kRdIsRn},
1319                                {{al, r14, r14, 0xf000000f},
1320                                 "al r14 r14 0xf000000f",
1321                                 "RdIsRn_al_r14_r14_0xf000000f",
1322                                 ARRAY_SIZE(kRdIsRn),
1323                                 kRdIsRn},
1324                                {{al, r1, r1, 0x00ab0000},
1325                                 "al r1 r1 0x00ab0000",
1326                                 "RdIsRn_al_r1_r1_0x00ab0000",
1327                                 ARRAY_SIZE(kRdIsRn),
1328                                 kRdIsRn},
1329                                {{al, r10, r10, 0x00002ac0},
1330                                 "al r10 r10 0x00002ac0",
1331                                 "RdIsRn_al_r10_r10_0x00002ac0",
1332                                 ARRAY_SIZE(kRdIsRn),
1333                                 kRdIsRn},
1334                                {{al, r6, r6, 0x0002ac00},
1335                                 "al r6 r6 0x0002ac00",
1336                                 "RdIsRn_al_r6_r6_0x0002ac00",
1337                                 ARRAY_SIZE(kRdIsRn),
1338                                 kRdIsRn},
1339                                {{al, r3, r3, 0xac000002},
1340                                 "al r3 r3 0xac000002",
1341                                 "RdIsRn_al_r3_r3_0xac000002",
1342                                 ARRAY_SIZE(kRdIsRn),
1343                                 kRdIsRn},
1344                                {{al, r6, r6, 0x00000ab0},
1345                                 "al r6 r6 0x00000ab0",
1346                                 "RdIsRn_al_r6_r6_0x00000ab0",
1347                                 ARRAY_SIZE(kRdIsRn),
1348                                 kRdIsRn},
1349                                {{al, r4, r10, 0xac000002},
1350                                 "al r4 r10 0xac000002",
1351                                 "RdIsNotRn_al_r4_r10_0xac000002",
1352                                 ARRAY_SIZE(kRdIsNotRn),
1353                                 kRdIsNotRn},
1354                                {{al, r0, r4, 0xc000003f},
1355                                 "al r0 r4 0xc000003f",
1356                                 "RdIsNotRn_al_r0_r4_0xc000003f",
1357                                 ARRAY_SIZE(kRdIsNotRn),
1358                                 kRdIsNotRn},
1359                                {{al, r8, r0, 0xc000003f},
1360                                 "al r8 r0 0xc000003f",
1361                                 "RdIsNotRn_al_r8_r0_0xc000003f",
1362                                 ARRAY_SIZE(kRdIsNotRn),
1363                                 kRdIsNotRn},
1364                                {{al, r5, r0, 0x00ab0000},
1365                                 "al r5 r0 0x00ab0000",
1366                                 "RdIsNotRn_al_r5_r0_0x00ab0000",
1367                                 ARRAY_SIZE(kRdIsNotRn),
1368                                 kRdIsNotRn},
1369                                {{al, r8, r14, 0x002ac000},
1370                                 "al r8 r14 0x002ac000",
1371                                 "RdIsNotRn_al_r8_r14_0x002ac000",
1372                                 ARRAY_SIZE(kRdIsNotRn),
1373                                 kRdIsNotRn},
1374                                {{al, r2, r11, 0x0002ac00},
1375                                 "al r2 r11 0x0002ac00",
1376                                 "RdIsNotRn_al_r2_r11_0x0002ac00",
1377                                 ARRAY_SIZE(kRdIsNotRn),
1378                                 kRdIsNotRn},
1379                                {{al, r1, r0, 0x0000ff00},
1380                                 "al r1 r0 0x0000ff00",
1381                                 "RdIsNotRn_al_r1_r0_0x0000ff00",
1382                                 ARRAY_SIZE(kRdIsNotRn),
1383                                 kRdIsNotRn},
1384                                {{al, r1, r7, 0x003fc000},
1385                                 "al r1 r7 0x003fc000",
1386                                 "RdIsNotRn_al_r1_r7_0x003fc000",
1387                                 ARRAY_SIZE(kRdIsNotRn),
1388                                 kRdIsNotRn},
1389                                {{al, r11, r8, 0x0ab00000},
1390                                 "al r11 r8 0x0ab00000",
1391                                 "RdIsNotRn_al_r11_r8_0x0ab00000",
1392                                 ARRAY_SIZE(kRdIsNotRn),
1393                                 kRdIsNotRn},
1394                                {{al, r14, r12, 0x3fc00000},
1395                                 "al r14 r12 0x3fc00000",
1396                                 "RdIsNotRn_al_r14_r12_0x3fc00000",
1397                                 ARRAY_SIZE(kRdIsNotRn),
1398                                 kRdIsNotRn},
1399                                {{al, r0, r0, 0x00000000},
1400                                 "al r0 r0 0x00000000",
1401                                 "ModifiedImmediate_al_r0_r0_0x00000000",
1402                                 ARRAY_SIZE(kModifiedImmediate),
1403                                 kModifiedImmediate},
1404                                {{al, r0, r0, 0x000000ff},
1405                                 "al r0 r0 0x000000ff",
1406                                 "ModifiedImmediate_al_r0_r0_0x000000ff",
1407                                 ARRAY_SIZE(kModifiedImmediate),
1408                                 kModifiedImmediate},
1409                                {{al, r0, r0, 0xc000003f},
1410                                 "al r0 r0 0xc000003f",
1411                                 "ModifiedImmediate_al_r0_r0_0xc000003f",
1412                                 ARRAY_SIZE(kModifiedImmediate),
1413                                 kModifiedImmediate},
1414                                {{al, r0, r0, 0xf000000f},
1415                                 "al r0 r0 0xf000000f",
1416                                 "ModifiedImmediate_al_r0_r0_0xf000000f",
1417                                 ARRAY_SIZE(kModifiedImmediate),
1418                                 kModifiedImmediate},
1419                                {{al, r0, r0, 0xfc000003},
1420                                 "al r0 r0 0xfc000003",
1421                                 "ModifiedImmediate_al_r0_r0_0xfc000003",
1422                                 ARRAY_SIZE(kModifiedImmediate),
1423                                 kModifiedImmediate},
1424                                {{al, r0, r0, 0xff000000},
1425                                 "al r0 r0 0xff000000",
1426                                 "ModifiedImmediate_al_r0_r0_0xff000000",
1427                                 ARRAY_SIZE(kModifiedImmediate),
1428                                 kModifiedImmediate},
1429                                {{al, r0, r0, 0x3fc00000},
1430                                 "al r0 r0 0x3fc00000",
1431                                 "ModifiedImmediate_al_r0_r0_0x3fc00000",
1432                                 ARRAY_SIZE(kModifiedImmediate),
1433                                 kModifiedImmediate},
1434                                {{al, r0, r0, 0x0ff00000},
1435                                 "al r0 r0 0x0ff00000",
1436                                 "ModifiedImmediate_al_r0_r0_0x0ff00000",
1437                                 ARRAY_SIZE(kModifiedImmediate),
1438                                 kModifiedImmediate},
1439                                {{al, r0, r0, 0x03fc0000},
1440                                 "al r0 r0 0x03fc0000",
1441                                 "ModifiedImmediate_al_r0_r0_0x03fc0000",
1442                                 ARRAY_SIZE(kModifiedImmediate),
1443                                 kModifiedImmediate},
1444                                {{al, r0, r0, 0x00ff0000},
1445                                 "al r0 r0 0x00ff0000",
1446                                 "ModifiedImmediate_al_r0_r0_0x00ff0000",
1447                                 ARRAY_SIZE(kModifiedImmediate),
1448                                 kModifiedImmediate},
1449                                {{al, r0, r0, 0x003fc000},
1450                                 "al r0 r0 0x003fc000",
1451                                 "ModifiedImmediate_al_r0_r0_0x003fc000",
1452                                 ARRAY_SIZE(kModifiedImmediate),
1453                                 kModifiedImmediate},
1454                                {{al, r0, r0, 0x000ff000},
1455                                 "al r0 r0 0x000ff000",
1456                                 "ModifiedImmediate_al_r0_r0_0x000ff000",
1457                                 ARRAY_SIZE(kModifiedImmediate),
1458                                 kModifiedImmediate},
1459                                {{al, r0, r0, 0x0003fc00},
1460                                 "al r0 r0 0x0003fc00",
1461                                 "ModifiedImmediate_al_r0_r0_0x0003fc00",
1462                                 ARRAY_SIZE(kModifiedImmediate),
1463                                 kModifiedImmediate},
1464                                {{al, r0, r0, 0x0000ff00},
1465                                 "al r0 r0 0x0000ff00",
1466                                 "ModifiedImmediate_al_r0_r0_0x0000ff00",
1467                                 ARRAY_SIZE(kModifiedImmediate),
1468                                 kModifiedImmediate},
1469                                {{al, r0, r0, 0x00003fc0},
1470                                 "al r0 r0 0x00003fc0",
1471                                 "ModifiedImmediate_al_r0_r0_0x00003fc0",
1472                                 ARRAY_SIZE(kModifiedImmediate),
1473                                 kModifiedImmediate},
1474                                {{al, r0, r0, 0x00000ff0},
1475                                 "al r0 r0 0x00000ff0",
1476                                 "ModifiedImmediate_al_r0_r0_0x00000ff0",
1477                                 ARRAY_SIZE(kModifiedImmediate),
1478                                 kModifiedImmediate},
1479                                {{al, r0, r0, 0x000003fc},
1480                                 "al r0 r0 0x000003fc",
1481                                 "ModifiedImmediate_al_r0_r0_0x000003fc",
1482                                 ARRAY_SIZE(kModifiedImmediate),
1483                                 kModifiedImmediate},
1484                                {{al, r0, r0, 0x000000ab},
1485                                 "al r0 r0 0x000000ab",
1486                                 "ModifiedImmediate_al_r0_r0_0x000000ab",
1487                                 ARRAY_SIZE(kModifiedImmediate),
1488                                 kModifiedImmediate},
1489                                {{al, r0, r0, 0xc000002a},
1490                                 "al r0 r0 0xc000002a",
1491                                 "ModifiedImmediate_al_r0_r0_0xc000002a",
1492                                 ARRAY_SIZE(kModifiedImmediate),
1493                                 kModifiedImmediate},
1494                                {{al, r0, r0, 0xb000000a},
1495                                 "al r0 r0 0xb000000a",
1496                                 "ModifiedImmediate_al_r0_r0_0xb000000a",
1497                                 ARRAY_SIZE(kModifiedImmediate),
1498                                 kModifiedImmediate},
1499                                {{al, r0, r0, 0xac000002},
1500                                 "al r0 r0 0xac000002",
1501                                 "ModifiedImmediate_al_r0_r0_0xac000002",
1502                                 ARRAY_SIZE(kModifiedImmediate),
1503                                 kModifiedImmediate},
1504                                {{al, r0, r0, 0xab000000},
1505                                 "al r0 r0 0xab000000",
1506                                 "ModifiedImmediate_al_r0_r0_0xab000000",
1507                                 ARRAY_SIZE(kModifiedImmediate),
1508                                 kModifiedImmediate},
1509                                {{al, r0, r0, 0x2ac00000},
1510                                 "al r0 r0 0x2ac00000",
1511                                 "ModifiedImmediate_al_r0_r0_0x2ac00000",
1512                                 ARRAY_SIZE(kModifiedImmediate),
1513                                 kModifiedImmediate},
1514                                {{al, r0, r0, 0x0ab00000},
1515                                 "al r0 r0 0x0ab00000",
1516                                 "ModifiedImmediate_al_r0_r0_0x0ab00000",
1517                                 ARRAY_SIZE(kModifiedImmediate),
1518                                 kModifiedImmediate},
1519                                {{al, r0, r0, 0x02ac0000},
1520                                 "al r0 r0 0x02ac0000",
1521                                 "ModifiedImmediate_al_r0_r0_0x02ac0000",
1522                                 ARRAY_SIZE(kModifiedImmediate),
1523                                 kModifiedImmediate},
1524                                {{al, r0, r0, 0x00ab0000},
1525                                 "al r0 r0 0x00ab0000",
1526                                 "ModifiedImmediate_al_r0_r0_0x00ab0000",
1527                                 ARRAY_SIZE(kModifiedImmediate),
1528                                 kModifiedImmediate},
1529                                {{al, r0, r0, 0x002ac000},
1530                                 "al r0 r0 0x002ac000",
1531                                 "ModifiedImmediate_al_r0_r0_0x002ac000",
1532                                 ARRAY_SIZE(kModifiedImmediate),
1533                                 kModifiedImmediate},
1534                                {{al, r0, r0, 0x000ab000},
1535                                 "al r0 r0 0x000ab000",
1536                                 "ModifiedImmediate_al_r0_r0_0x000ab000",
1537                                 ARRAY_SIZE(kModifiedImmediate),
1538                                 kModifiedImmediate},
1539                                {{al, r0, r0, 0x0002ac00},
1540                                 "al r0 r0 0x0002ac00",
1541                                 "ModifiedImmediate_al_r0_r0_0x0002ac00",
1542                                 ARRAY_SIZE(kModifiedImmediate),
1543                                 kModifiedImmediate},
1544                                {{al, r0, r0, 0x0000ab00},
1545                                 "al r0 r0 0x0000ab00",
1546                                 "ModifiedImmediate_al_r0_r0_0x0000ab00",
1547                                 ARRAY_SIZE(kModifiedImmediate),
1548                                 kModifiedImmediate},
1549                                {{al, r0, r0, 0x00002ac0},
1550                                 "al r0 r0 0x00002ac0",
1551                                 "ModifiedImmediate_al_r0_r0_0x00002ac0",
1552                                 ARRAY_SIZE(kModifiedImmediate),
1553                                 kModifiedImmediate},
1554                                {{al, r0, r0, 0x00000ab0},
1555                                 "al r0 r0 0x00000ab0",
1556                                 "ModifiedImmediate_al_r0_r0_0x00000ab0",
1557                                 ARRAY_SIZE(kModifiedImmediate),
1558                                 kModifiedImmediate},
1559                                {{al, r0, r0, 0x000002ac},
1560                                 "al r0 r0 0x000002ac",
1561                                 "ModifiedImmediate_al_r0_r0_0x000002ac",
1562                                 ARRAY_SIZE(kModifiedImmediate),
1563                                 kModifiedImmediate}};
1564 
1565 // We record all inputs to the instructions as outputs. This way, we also check
1566 // that what shouldn't change didn't change.
1567 struct TestResult {
1568   size_t output_size;
1569   const Inputs* outputs;
1570 };
1571 
1572 // These headers each contain an array of `TestResult` with the reference output
1573 // values. The reference arrays are names `kReference{mnemonic}`.
1574 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-adc.h"
1575 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-adcs.h"
1576 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-add.h"
1577 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-adds.h"
1578 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-and.h"
1579 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-ands.h"
1580 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-bic.h"
1581 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-bics.h"
1582 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-eor.h"
1583 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-eors.h"
1584 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-orr.h"
1585 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-orrs.h"
1586 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-rsb.h"
1587 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-rsbs.h"
1588 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-rsc.h"
1589 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-rscs.h"
1590 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-sbc.h"
1591 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-sbcs.h"
1592 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-sub.h"
1593 #include "aarch32/traces/simulator-cond-rd-rn-operand-const-a32-subs.h"
1594 
1595 
1596 // The maximum number of errors to report in detail for each test.
1597 const unsigned kErrorReportLimit = 8;
1598 
1599 typedef void (MacroAssembler::*Fn)(Condition cond,
1600                                    Register rd,
1601                                    Register rn,
1602                                    const Operand& op);
1603 
TestHelper(Fn instruction,const char * mnemonic,const TestResult reference[])1604 void TestHelper(Fn instruction,
1605                 const char* mnemonic,
1606                 const TestResult reference[]) {
1607   SETUP();
1608   masm.UseA32();
1609   START();
1610 
1611   // Data to compare to `reference`.
1612   TestResult* results[ARRAY_SIZE(kTests)];
1613 
1614   // Test cases for memory bound instructions may allocate a buffer and save its
1615   // address in this array.
1616   byte* scratch_memory_buffers[ARRAY_SIZE(kTests)];
1617 
1618   // Generate a loop for each element in `kTests`. Each loop tests one specific
1619   // instruction.
1620   for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) {
1621     // Allocate results on the heap for this test.
1622     results[i] = new TestResult;
1623     results[i]->outputs = new Inputs[kTests[i].input_size];
1624     results[i]->output_size = kTests[i].input_size;
1625 
1626     size_t input_stride = sizeof(kTests[i].inputs[0]) * kTests[i].input_size;
1627     VIXL_ASSERT(IsUint32(input_stride));
1628 
1629     scratch_memory_buffers[i] = NULL;
1630 
1631     Label loop;
1632     UseScratchRegisterScope scratch_registers(&masm);
1633     // Include all registers from r0 ro r12.
1634     scratch_registers.Include(RegisterList(0x1fff));
1635 
1636     // Values to pass to the macro-assembler.
1637     Condition cond = kTests[i].operands.cond;
1638     Register rd = kTests[i].operands.rd;
1639     Register rn = kTests[i].operands.rn;
1640     uint32_t immediate = kTests[i].operands.immediate;
1641     Operand op(immediate);
1642     scratch_registers.Exclude(rd);
1643     scratch_registers.Exclude(rn);
1644 
1645     // Allocate reserved registers for our own use.
1646     Register input_ptr = scratch_registers.Acquire();
1647     Register input_end = scratch_registers.Acquire();
1648     Register result_ptr = scratch_registers.Acquire();
1649 
1650     // Initialize `input_ptr` to the first element and `input_end` the address
1651     // after the array.
1652     __ Mov(input_ptr, Operand::From(kTests[i].inputs));
1653     __ Add(input_end, input_ptr, static_cast<uint32_t>(input_stride));
1654     __ Mov(result_ptr, Operand::From(results[i]->outputs));
1655     __ Bind(&loop);
1656 
1657     {
1658       UseScratchRegisterScope temp_registers(&masm);
1659       Register nzcv_bits = temp_registers.Acquire();
1660       Register saved_q_bit = temp_registers.Acquire();
1661       // Save the `Q` bit flag.
1662       __ Mrs(saved_q_bit, APSR);
1663       __ And(saved_q_bit, saved_q_bit, QFlag);
1664       // Set the `NZCV` and `Q` flags together.
1665       __ Ldr(nzcv_bits, MemOperand(input_ptr, offsetof(Inputs, apsr)));
1666       __ Orr(nzcv_bits, nzcv_bits, saved_q_bit);
1667       __ Msr(APSR_nzcvq, nzcv_bits);
1668     }
1669     __ Ldr(rd, MemOperand(input_ptr, offsetof(Inputs, rd)));
1670     __ Ldr(rn, MemOperand(input_ptr, offsetof(Inputs, rn)));
1671 
1672     (masm.*instruction)(cond, rd, rn, op);
1673 
1674     {
1675       UseScratchRegisterScope temp_registers(&masm);
1676       Register nzcv_bits = temp_registers.Acquire();
1677       __ Mrs(nzcv_bits, APSR);
1678       // Only record the NZCV bits.
1679       __ And(nzcv_bits, nzcv_bits, NZCVFlag);
1680       __ Str(nzcv_bits, MemOperand(result_ptr, offsetof(Inputs, apsr)));
1681     }
1682     __ Str(rd, MemOperand(result_ptr, offsetof(Inputs, rd)));
1683     __ Str(rn, MemOperand(result_ptr, offsetof(Inputs, rn)));
1684 
1685     // Advance the result pointer.
1686     __ Add(result_ptr, result_ptr, Operand::From(sizeof(kTests[i].inputs[0])));
1687     // Loop back until `input_ptr` is lower than `input_base`.
1688     __ Add(input_ptr, input_ptr, Operand::From(sizeof(kTests[i].inputs[0])));
1689     __ Cmp(input_ptr, input_end);
1690     __ B(ne, &loop);
1691   }
1692 
1693   END();
1694 
1695   RUN();
1696 
1697   if (Test::generate_test_trace()) {
1698     // Print the results.
1699     for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1700       printf("const Inputs kOutputs_%s_%s[] = {\n",
1701              mnemonic,
1702              kTests[i].identifier);
1703       for (size_t j = 0; j < results[i]->output_size; j++) {
1704         printf("  { ");
1705         printf("0x%08" PRIx32, results[i]->outputs[j].apsr);
1706         printf(", ");
1707         printf("0x%08" PRIx32, results[i]->outputs[j].rd);
1708         printf(", ");
1709         printf("0x%08" PRIx32, results[i]->outputs[j].rn);
1710         printf(" },\n");
1711       }
1712       printf("};\n");
1713     }
1714     printf("const TestResult kReference%s[] = {\n", mnemonic);
1715     for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1716       printf("  {\n");
1717       printf("    ARRAY_SIZE(kOutputs_%s_%s),\n",
1718              mnemonic,
1719              kTests[i].identifier);
1720       printf("    kOutputs_%s_%s,\n", mnemonic, kTests[i].identifier);
1721       printf("  },\n");
1722     }
1723     printf("};\n");
1724   } else if (kCheckSimulatorTestResults) {
1725     // Check the results.
1726     unsigned total_error_count = 0;
1727     for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1728       bool instruction_has_errors = false;
1729       for (size_t j = 0; j < kTests[i].input_size; j++) {
1730         uint32_t apsr = results[i]->outputs[j].apsr;
1731         uint32_t rd = results[i]->outputs[j].rd;
1732         uint32_t rn = results[i]->outputs[j].rn;
1733         uint32_t apsr_input = kTests[i].inputs[j].apsr;
1734         uint32_t rd_input = kTests[i].inputs[j].rd;
1735         uint32_t rn_input = kTests[i].inputs[j].rn;
1736         uint32_t apsr_ref = reference[i].outputs[j].apsr;
1737         uint32_t rd_ref = reference[i].outputs[j].rd;
1738         uint32_t rn_ref = reference[i].outputs[j].rn;
1739 
1740         if (((apsr != apsr_ref) || (rd != rd_ref) || (rn != rn_ref)) &&
1741             (++total_error_count <= kErrorReportLimit)) {
1742           // Print the instruction once even if it triggered multiple failures.
1743           if (!instruction_has_errors) {
1744             printf("Error(s) when testing \"%s %s\":\n",
1745                    mnemonic,
1746                    kTests[i].operands_description);
1747             instruction_has_errors = true;
1748           }
1749           // Print subsequent errors.
1750           printf("  Input:    ");
1751           printf("0x%08" PRIx32, apsr_input);
1752           printf(", ");
1753           printf("0x%08" PRIx32, rd_input);
1754           printf(", ");
1755           printf("0x%08" PRIx32, rn_input);
1756           printf("\n");
1757           printf("  Expected: ");
1758           printf("0x%08" PRIx32, apsr_ref);
1759           printf(", ");
1760           printf("0x%08" PRIx32, rd_ref);
1761           printf(", ");
1762           printf("0x%08" PRIx32, rn_ref);
1763           printf("\n");
1764           printf("  Found:    ");
1765           printf("0x%08" PRIx32, apsr);
1766           printf(", ");
1767           printf("0x%08" PRIx32, rd);
1768           printf(", ");
1769           printf("0x%08" PRIx32, rn);
1770           printf("\n\n");
1771         }
1772       }
1773     }
1774 
1775     if (total_error_count > kErrorReportLimit) {
1776       printf("%u other errors follow.\n",
1777              total_error_count - kErrorReportLimit);
1778     }
1779     VIXL_CHECK(total_error_count == 0);
1780   } else {
1781     VIXL_WARNING("Assembled the code, but did not run anything.\n");
1782   }
1783 
1784   for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) {
1785     delete[] results[i]->outputs;
1786     delete results[i];
1787     delete[] scratch_memory_buffers[i];
1788   }
1789 
1790   TEARDOWN();
1791 }
1792 
1793 // Instantiate tests for each instruction in the list.
1794 // TODO: Remove this limitation by having a sandboxing mechanism.
1795 #if defined(VIXL_HOST_POINTER_32)
1796 #define TEST(mnemonic)                                                      \
1797   void Test_##mnemonic() {                                                  \
1798     TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \
1799   }                                                                         \
1800   Test test_##mnemonic(                                                     \
1801       "AARCH32_SIMULATOR_COND_RD_RN_OPERAND_CONST_A32_" #mnemonic,          \
1802       &Test_##mnemonic);
1803 #else
1804 #define TEST(mnemonic)                                             \
1805   void Test_##mnemonic() {                                         \
1806     VIXL_WARNING("This test can only run on a 32-bit host.\n");    \
1807     USE(TestHelper);                                               \
1808   }                                                                \
1809   Test test_##mnemonic(                                            \
1810       "AARCH32_SIMULATOR_COND_RD_RN_OPERAND_CONST_A32_" #mnemonic, \
1811       &Test_##mnemonic);
1812 #endif
1813 
1814 FOREACH_INSTRUCTION(TEST)
1815 #undef TEST
1816 
1817 }  // namespace
1818 #endif
1819 
1820 }  // namespace aarch32
1821 }  // namespace vixl
1822