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