Home | History | Annotate | Download | only in traces 
      1 // Copyright 2015, 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 using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIMULATOR_COND_RD_OPERAND_RN_UXTB_A32_H_
     35 #define VIXL_SIMULATOR_COND_RD_OPERAND_RN_UXTB_A32_H_
     36 
     37 const Inputs kOutputs_Uxtb_Condition_eq_r0_r0[] = {
     38   { 0x80000000, 0xabababab, 0xabababab },
     39   { 0x40000000, 0x000000ab, 0x000000ab },
     40   { 0x20000000, 0xabababab, 0xabababab },
     41   { 0x10000000, 0xabababab, 0xabababab },
     42   { 0xc0000000, 0x000000ab, 0x000000ab },
     43   { 0xa0000000, 0xabababab, 0xabababab },
     44   { 0x90000000, 0xabababab, 0xabababab },
     45   { 0x60000000, 0x000000ab, 0x000000ab },
     46   { 0x50000000, 0x000000ab, 0x000000ab },
     47   { 0x30000000, 0xabababab, 0xabababab },
     48   { 0xe0000000, 0x000000ab, 0x000000ab },
     49   { 0xd0000000, 0x000000ab, 0x000000ab },
     50   { 0xb0000000, 0xabababab, 0xabababab },
     51   { 0x70000000, 0x000000ab, 0x000000ab },
     52   { 0xf0000000, 0x000000ab, 0x000000ab },
     53 };
     54 const Inputs kOutputs_Uxtb_Condition_ne_r0_r0[] = {
     55   { 0x80000000, 0x000000ab, 0x000000ab },
     56   { 0x40000000, 0xabababab, 0xabababab },
     57   { 0x20000000, 0x000000ab, 0x000000ab },
     58   { 0x10000000, 0x000000ab, 0x000000ab },
     59   { 0xc0000000, 0xabababab, 0xabababab },
     60   { 0xa0000000, 0x000000ab, 0x000000ab },
     61   { 0x90000000, 0x000000ab, 0x000000ab },
     62   { 0x60000000, 0xabababab, 0xabababab },
     63   { 0x50000000, 0xabababab, 0xabababab },
     64   { 0x30000000, 0x000000ab, 0x000000ab },
     65   { 0xe0000000, 0xabababab, 0xabababab },
     66   { 0xd0000000, 0xabababab, 0xabababab },
     67   { 0xb0000000, 0x000000ab, 0x000000ab },
     68   { 0x70000000, 0xabababab, 0xabababab },
     69   { 0xf0000000, 0xabababab, 0xabababab },
     70 };
     71 const Inputs kOutputs_Uxtb_Condition_cs_r0_r0[] = {
     72   { 0x80000000, 0xabababab, 0xabababab },
     73   { 0x40000000, 0xabababab, 0xabababab },
     74   { 0x20000000, 0x000000ab, 0x000000ab },
     75   { 0x10000000, 0xabababab, 0xabababab },
     76   { 0xc0000000, 0xabababab, 0xabababab },
     77   { 0xa0000000, 0x000000ab, 0x000000ab },
     78   { 0x90000000, 0xabababab, 0xabababab },
     79   { 0x60000000, 0x000000ab, 0x000000ab },
     80   { 0x50000000, 0xabababab, 0xabababab },
     81   { 0x30000000, 0x000000ab, 0x000000ab },
     82   { 0xe0000000, 0x000000ab, 0x000000ab },
     83   { 0xd0000000, 0xabababab, 0xabababab },
     84   { 0xb0000000, 0x000000ab, 0x000000ab },
     85   { 0x70000000, 0x000000ab, 0x000000ab },
     86   { 0xf0000000, 0x000000ab, 0x000000ab },
     87 };
     88 const Inputs kOutputs_Uxtb_Condition_cc_r0_r0[] = {
     89   { 0x80000000, 0x000000ab, 0x000000ab },
     90   { 0x40000000, 0x000000ab, 0x000000ab },
     91   { 0x20000000, 0xabababab, 0xabababab },
     92   { 0x10000000, 0x000000ab, 0x000000ab },
     93   { 0xc0000000, 0x000000ab, 0x000000ab },
     94   { 0xa0000000, 0xabababab, 0xabababab },
     95   { 0x90000000, 0x000000ab, 0x000000ab },
     96   { 0x60000000, 0xabababab, 0xabababab },
     97   { 0x50000000, 0x000000ab, 0x000000ab },
     98   { 0x30000000, 0xabababab, 0xabababab },
     99   { 0xe0000000, 0xabababab, 0xabababab },
    100   { 0xd0000000, 0x000000ab, 0x000000ab },
    101   { 0xb0000000, 0xabababab, 0xabababab },
    102   { 0x70000000, 0xabababab, 0xabababab },
    103   { 0xf0000000, 0xabababab, 0xabababab },
    104 };
    105 const Inputs kOutputs_Uxtb_Condition_mi_r0_r0[] = {
    106   { 0x80000000, 0x000000ab, 0x000000ab },
    107   { 0x40000000, 0xabababab, 0xabababab },
    108   { 0x20000000, 0xabababab, 0xabababab },
    109   { 0x10000000, 0xabababab, 0xabababab },
    110   { 0xc0000000, 0x000000ab, 0x000000ab },
    111   { 0xa0000000, 0x000000ab, 0x000000ab },
    112   { 0x90000000, 0x000000ab, 0x000000ab },
    113   { 0x60000000, 0xabababab, 0xabababab },
    114   { 0x50000000, 0xabababab, 0xabababab },
    115   { 0x30000000, 0xabababab, 0xabababab },
    116   { 0xe0000000, 0x000000ab, 0x000000ab },
    117   { 0xd0000000, 0x000000ab, 0x000000ab },
    118   { 0xb0000000, 0x000000ab, 0x000000ab },
    119   { 0x70000000, 0xabababab, 0xabababab },
    120   { 0xf0000000, 0x000000ab, 0x000000ab },
    121 };
    122 const Inputs kOutputs_Uxtb_Condition_pl_r0_r0[] = {
    123   { 0x80000000, 0xabababab, 0xabababab },
    124   { 0x40000000, 0x000000ab, 0x000000ab },
    125   { 0x20000000, 0x000000ab, 0x000000ab },
    126   { 0x10000000, 0x000000ab, 0x000000ab },
    127   { 0xc0000000, 0xabababab, 0xabababab },
    128   { 0xa0000000, 0xabababab, 0xabababab },
    129   { 0x90000000, 0xabababab, 0xabababab },
    130   { 0x60000000, 0x000000ab, 0x000000ab },
    131   { 0x50000000, 0x000000ab, 0x000000ab },
    132   { 0x30000000, 0x000000ab, 0x000000ab },
    133   { 0xe0000000, 0xabababab, 0xabababab },
    134   { 0xd0000000, 0xabababab, 0xabababab },
    135   { 0xb0000000, 0xabababab, 0xabababab },
    136   { 0x70000000, 0x000000ab, 0x000000ab },
    137   { 0xf0000000, 0xabababab, 0xabababab },
    138 };
    139 const Inputs kOutputs_Uxtb_Condition_vs_r0_r0[] = {
    140   { 0x80000000, 0xabababab, 0xabababab },
    141   { 0x40000000, 0xabababab, 0xabababab },
    142   { 0x20000000, 0xabababab, 0xabababab },
    143   { 0x10000000, 0x000000ab, 0x000000ab },
    144   { 0xc0000000, 0xabababab, 0xabababab },
    145   { 0xa0000000, 0xabababab, 0xabababab },
    146   { 0x90000000, 0x000000ab, 0x000000ab },
    147   { 0x60000000, 0xabababab, 0xabababab },
    148   { 0x50000000, 0x000000ab, 0x000000ab },
    149   { 0x30000000, 0x000000ab, 0x000000ab },
    150   { 0xe0000000, 0xabababab, 0xabababab },
    151   { 0xd0000000, 0x000000ab, 0x000000ab },
    152   { 0xb0000000, 0x000000ab, 0x000000ab },
    153   { 0x70000000, 0x000000ab, 0x000000ab },
    154   { 0xf0000000, 0x000000ab, 0x000000ab },
    155 };
    156 const Inputs kOutputs_Uxtb_Condition_vc_r0_r0[] = {
    157   { 0x80000000, 0x000000ab, 0x000000ab },
    158   { 0x40000000, 0x000000ab, 0x000000ab },
    159   { 0x20000000, 0x000000ab, 0x000000ab },
    160   { 0x10000000, 0xabababab, 0xabababab },
    161   { 0xc0000000, 0x000000ab, 0x000000ab },
    162   { 0xa0000000, 0x000000ab, 0x000000ab },
    163   { 0x90000000, 0xabababab, 0xabababab },
    164   { 0x60000000, 0x000000ab, 0x000000ab },
    165   { 0x50000000, 0xabababab, 0xabababab },
    166   { 0x30000000, 0xabababab, 0xabababab },
    167   { 0xe0000000, 0x000000ab, 0x000000ab },
    168   { 0xd0000000, 0xabababab, 0xabababab },
    169   { 0xb0000000, 0xabababab, 0xabababab },
    170   { 0x70000000, 0xabababab, 0xabababab },
    171   { 0xf0000000, 0xabababab, 0xabababab },
    172 };
    173 const Inputs kOutputs_Uxtb_Condition_hi_r0_r0[] = {
    174   { 0x80000000, 0xabababab, 0xabababab },
    175   { 0x40000000, 0xabababab, 0xabababab },
    176   { 0x20000000, 0x000000ab, 0x000000ab },
    177   { 0x10000000, 0xabababab, 0xabababab },
    178   { 0xc0000000, 0xabababab, 0xabababab },
    179   { 0xa0000000, 0x000000ab, 0x000000ab },
    180   { 0x90000000, 0xabababab, 0xabababab },
    181   { 0x60000000, 0xabababab, 0xabababab },
    182   { 0x50000000, 0xabababab, 0xabababab },
    183   { 0x30000000, 0x000000ab, 0x000000ab },
    184   { 0xe0000000, 0xabababab, 0xabababab },
    185   { 0xd0000000, 0xabababab, 0xabababab },
    186   { 0xb0000000, 0x000000ab, 0x000000ab },
    187   { 0x70000000, 0xabababab, 0xabababab },
    188   { 0xf0000000, 0xabababab, 0xabababab },
    189 };
    190 const Inputs kOutputs_Uxtb_Condition_ls_r0_r0[] = {
    191   { 0x80000000, 0x000000ab, 0x000000ab },
    192   { 0x40000000, 0x000000ab, 0x000000ab },
    193   { 0x20000000, 0xabababab, 0xabababab },
    194   { 0x10000000, 0x000000ab, 0x000000ab },
    195   { 0xc0000000, 0x000000ab, 0x000000ab },
    196   { 0xa0000000, 0xabababab, 0xabababab },
    197   { 0x90000000, 0x000000ab, 0x000000ab },
    198   { 0x60000000, 0x000000ab, 0x000000ab },
    199   { 0x50000000, 0x000000ab, 0x000000ab },
    200   { 0x30000000, 0xabababab, 0xabababab },
    201   { 0xe0000000, 0x000000ab, 0x000000ab },
    202   { 0xd0000000, 0x000000ab, 0x000000ab },
    203   { 0xb0000000, 0xabababab, 0xabababab },
    204   { 0x70000000, 0x000000ab, 0x000000ab },
    205   { 0xf0000000, 0x000000ab, 0x000000ab },
    206 };
    207 const Inputs kOutputs_Uxtb_Condition_ge_r0_r0[] = {
    208   { 0x80000000, 0xabababab, 0xabababab },
    209   { 0x40000000, 0x000000ab, 0x000000ab },
    210   { 0x20000000, 0x000000ab, 0x000000ab },
    211   { 0x10000000, 0xabababab, 0xabababab },
    212   { 0xc0000000, 0xabababab, 0xabababab },
    213   { 0xa0000000, 0xabababab, 0xabababab },
    214   { 0x90000000, 0x000000ab, 0x000000ab },
    215   { 0x60000000, 0x000000ab, 0x000000ab },
    216   { 0x50000000, 0xabababab, 0xabababab },
    217   { 0x30000000, 0xabababab, 0xabababab },
    218   { 0xe0000000, 0xabababab, 0xabababab },
    219   { 0xd0000000, 0x000000ab, 0x000000ab },
    220   { 0xb0000000, 0x000000ab, 0x000000ab },
    221   { 0x70000000, 0xabababab, 0xabababab },
    222   { 0xf0000000, 0x000000ab, 0x000000ab },
    223 };
    224 const Inputs kOutputs_Uxtb_Condition_lt_r0_r0[] = {
    225   { 0x80000000, 0x000000ab, 0x000000ab },
    226   { 0x40000000, 0xabababab, 0xabababab },
    227   { 0x20000000, 0xabababab, 0xabababab },
    228   { 0x10000000, 0x000000ab, 0x000000ab },
    229   { 0xc0000000, 0x000000ab, 0x000000ab },
    230   { 0xa0000000, 0x000000ab, 0x000000ab },
    231   { 0x90000000, 0xabababab, 0xabababab },
    232   { 0x60000000, 0xabababab, 0xabababab },
    233   { 0x50000000, 0x000000ab, 0x000000ab },
    234   { 0x30000000, 0x000000ab, 0x000000ab },
    235   { 0xe0000000, 0x000000ab, 0x000000ab },
    236   { 0xd0000000, 0xabababab, 0xabababab },
    237   { 0xb0000000, 0xabababab, 0xabababab },
    238   { 0x70000000, 0x000000ab, 0x000000ab },
    239   { 0xf0000000, 0xabababab, 0xabababab },
    240 };
    241 const Inputs kOutputs_Uxtb_Condition_gt_r0_r0[] = {
    242   { 0x80000000, 0xabababab, 0xabababab },
    243   { 0x40000000, 0xabababab, 0xabababab },
    244   { 0x20000000, 0x000000ab, 0x000000ab },
    245   { 0x10000000, 0xabababab, 0xabababab },
    246   { 0xc0000000, 0xabababab, 0xabababab },
    247   { 0xa0000000, 0xabababab, 0xabababab },
    248   { 0x90000000, 0x000000ab, 0x000000ab },
    249   { 0x60000000, 0xabababab, 0xabababab },
    250   { 0x50000000, 0xabababab, 0xabababab },
    251   { 0x30000000, 0xabababab, 0xabababab },
    252   { 0xe0000000, 0xabababab, 0xabababab },
    253   { 0xd0000000, 0xabababab, 0xabababab },
    254   { 0xb0000000, 0x000000ab, 0x000000ab },
    255   { 0x70000000, 0xabababab, 0xabababab },
    256   { 0xf0000000, 0xabababab, 0xabababab },
    257 };
    258 const Inputs kOutputs_Uxtb_Condition_le_r0_r0[] = {
    259   { 0x80000000, 0x000000ab, 0x000000ab },
    260   { 0x40000000, 0x000000ab, 0x000000ab },
    261   { 0x20000000, 0xabababab, 0xabababab },
    262   { 0x10000000, 0x000000ab, 0x000000ab },
    263   { 0xc0000000, 0x000000ab, 0x000000ab },
    264   { 0xa0000000, 0x000000ab, 0x000000ab },
    265   { 0x90000000, 0xabababab, 0xabababab },
    266   { 0x60000000, 0x000000ab, 0x000000ab },
    267   { 0x50000000, 0x000000ab, 0x000000ab },
    268   { 0x30000000, 0x000000ab, 0x000000ab },
    269   { 0xe0000000, 0x000000ab, 0x000000ab },
    270   { 0xd0000000, 0x000000ab, 0x000000ab },
    271   { 0xb0000000, 0xabababab, 0xabababab },
    272   { 0x70000000, 0x000000ab, 0x000000ab },
    273   { 0xf0000000, 0x000000ab, 0x000000ab },
    274 };
    275 const Inputs kOutputs_Uxtb_Condition_al_r0_r0[] = {
    276   { 0x80000000, 0x000000ab, 0x000000ab },
    277   { 0x40000000, 0x000000ab, 0x000000ab },
    278   { 0x20000000, 0x000000ab, 0x000000ab },
    279   { 0x10000000, 0x000000ab, 0x000000ab },
    280   { 0xc0000000, 0x000000ab, 0x000000ab },
    281   { 0xa0000000, 0x000000ab, 0x000000ab },
    282   { 0x90000000, 0x000000ab, 0x000000ab },
    283   { 0x60000000, 0x000000ab, 0x000000ab },
    284   { 0x50000000, 0x000000ab, 0x000000ab },
    285   { 0x30000000, 0x000000ab, 0x000000ab },
    286   { 0xe0000000, 0x000000ab, 0x000000ab },
    287   { 0xd0000000, 0x000000ab, 0x000000ab },
    288   { 0xb0000000, 0x000000ab, 0x000000ab },
    289   { 0x70000000, 0x000000ab, 0x000000ab },
    290   { 0xf0000000, 0x000000ab, 0x000000ab },
    291 };
    292 const Inputs kOutputs_Uxtb_RdIsRn_al_r0_r0[] = {
    293   { 0x00000000, 0x00000000, 0x00000000 },
    294   { 0x00000000, 0x00000001, 0x00000001 },
    295   { 0x00000000, 0x00000002, 0x00000002 },
    296   { 0x00000000, 0x00000020, 0x00000020 },
    297   { 0x00000000, 0x0000007d, 0x0000007d },
    298   { 0x00000000, 0x0000007e, 0x0000007e },
    299   { 0x00000000, 0x0000007f, 0x0000007f },
    300   { 0x00000000, 0x000000fd, 0x000000fd },
    301   { 0x00000000, 0x000000fe, 0x000000fe },
    302   { 0x00000000, 0x000000ff, 0x000000ff },
    303   { 0x00000000, 0x00000033, 0x00000033 },
    304   { 0x00000000, 0x00000055, 0x00000055 },
    305   { 0x00000000, 0x000000fd, 0x000000fd },
    306   { 0x00000000, 0x000000fe, 0x000000fe },
    307   { 0x00000000, 0x000000ff, 0x000000ff },
    308   { 0x00000000, 0x00000000, 0x00000000 },
    309   { 0x00000000, 0x00000001, 0x00000001 },
    310   { 0x00000000, 0x000000aa, 0x000000aa },
    311   { 0x00000000, 0x000000cc, 0x000000cc },
    312   { 0x00000000, 0x00000000, 0x00000000 },
    313   { 0x00000000, 0x00000001, 0x00000001 },
    314   { 0x00000000, 0x00000002, 0x00000002 },
    315   { 0x00000000, 0x00000003, 0x00000003 },
    316   { 0x00000000, 0x00000080, 0x00000080 },
    317   { 0x00000000, 0x00000081, 0x00000081 },
    318   { 0x00000000, 0x00000082, 0x00000082 },
    319   { 0x00000000, 0x00000083, 0x00000083 },
    320   { 0x00000000, 0x000000e0, 0x000000e0 },
    321   { 0x00000000, 0x000000fd, 0x000000fd },
    322   { 0x00000000, 0x000000fe, 0x000000fe },
    323   { 0x00000000, 0x000000ff, 0x000000ff },
    324 };
    325 const Inputs kOutputs_Uxtb_RdIsRn_al_r1_r1[] = {
    326   { 0x00000000, 0x00000000, 0x00000000 },
    327   { 0x00000000, 0x00000001, 0x00000001 },
    328   { 0x00000000, 0x00000002, 0x00000002 },
    329   { 0x00000000, 0x00000020, 0x00000020 },
    330   { 0x00000000, 0x0000007d, 0x0000007d },
    331   { 0x00000000, 0x0000007e, 0x0000007e },
    332   { 0x00000000, 0x0000007f, 0x0000007f },
    333   { 0x00000000, 0x000000fd, 0x000000fd },
    334   { 0x00000000, 0x000000fe, 0x000000fe },
    335   { 0x00000000, 0x000000ff, 0x000000ff },
    336   { 0x00000000, 0x00000033, 0x00000033 },
    337   { 0x00000000, 0x00000055, 0x00000055 },
    338   { 0x00000000, 0x000000fd, 0x000000fd },
    339   { 0x00000000, 0x000000fe, 0x000000fe },
    340   { 0x00000000, 0x000000ff, 0x000000ff },
    341   { 0x00000000, 0x00000000, 0x00000000 },
    342   { 0x00000000, 0x00000001, 0x00000001 },
    343   { 0x00000000, 0x000000aa, 0x000000aa },
    344   { 0x00000000, 0x000000cc, 0x000000cc },
    345   { 0x00000000, 0x00000000, 0x00000000 },
    346   { 0x00000000, 0x00000001, 0x00000001 },
    347   { 0x00000000, 0x00000002, 0x00000002 },
    348   { 0x00000000, 0x00000003, 0x00000003 },
    349   { 0x00000000, 0x00000080, 0x00000080 },
    350   { 0x00000000, 0x00000081, 0x00000081 },
    351   { 0x00000000, 0x00000082, 0x00000082 },
    352   { 0x00000000, 0x00000083, 0x00000083 },
    353   { 0x00000000, 0x000000e0, 0x000000e0 },
    354   { 0x00000000, 0x000000fd, 0x000000fd },
    355   { 0x00000000, 0x000000fe, 0x000000fe },
    356   { 0x00000000, 0x000000ff, 0x000000ff },
    357 };
    358 const Inputs kOutputs_Uxtb_RdIsRn_al_r2_r2[] = {
    359   { 0x00000000, 0x00000000, 0x00000000 },
    360   { 0x00000000, 0x00000001, 0x00000001 },
    361   { 0x00000000, 0x00000002, 0x00000002 },
    362   { 0x00000000, 0x00000020, 0x00000020 },
    363   { 0x00000000, 0x0000007d, 0x0000007d },
    364   { 0x00000000, 0x0000007e, 0x0000007e },
    365   { 0x00000000, 0x0000007f, 0x0000007f },
    366   { 0x00000000, 0x000000fd, 0x000000fd },
    367   { 0x00000000, 0x000000fe, 0x000000fe },
    368   { 0x00000000, 0x000000ff, 0x000000ff },
    369   { 0x00000000, 0x00000033, 0x00000033 },
    370   { 0x00000000, 0x00000055, 0x00000055 },
    371   { 0x00000000, 0x000000fd, 0x000000fd },
    372   { 0x00000000, 0x000000fe, 0x000000fe },
    373   { 0x00000000, 0x000000ff, 0x000000ff },
    374   { 0x00000000, 0x00000000, 0x00000000 },
    375   { 0x00000000, 0x00000001, 0x00000001 },
    376   { 0x00000000, 0x000000aa, 0x000000aa },
    377   { 0x00000000, 0x000000cc, 0x000000cc },
    378   { 0x00000000, 0x00000000, 0x00000000 },
    379   { 0x00000000, 0x00000001, 0x00000001 },
    380   { 0x00000000, 0x00000002, 0x00000002 },
    381   { 0x00000000, 0x00000003, 0x00000003 },
    382   { 0x00000000, 0x00000080, 0x00000080 },
    383   { 0x00000000, 0x00000081, 0x00000081 },
    384   { 0x00000000, 0x00000082, 0x00000082 },
    385   { 0x00000000, 0x00000083, 0x00000083 },
    386   { 0x00000000, 0x000000e0, 0x000000e0 },
    387   { 0x00000000, 0x000000fd, 0x000000fd },
    388   { 0x00000000, 0x000000fe, 0x000000fe },
    389   { 0x00000000, 0x000000ff, 0x000000ff },
    390 };
    391 const Inputs kOutputs_Uxtb_RdIsRn_al_r3_r3[] = {
    392   { 0x00000000, 0x00000000, 0x00000000 },
    393   { 0x00000000, 0x00000001, 0x00000001 },
    394   { 0x00000000, 0x00000002, 0x00000002 },
    395   { 0x00000000, 0x00000020, 0x00000020 },
    396   { 0x00000000, 0x0000007d, 0x0000007d },
    397   { 0x00000000, 0x0000007e, 0x0000007e },
    398   { 0x00000000, 0x0000007f, 0x0000007f },
    399   { 0x00000000, 0x000000fd, 0x000000fd },
    400   { 0x00000000, 0x000000fe, 0x000000fe },
    401   { 0x00000000, 0x000000ff, 0x000000ff },
    402   { 0x00000000, 0x00000033, 0x00000033 },
    403   { 0x00000000, 0x00000055, 0x00000055 },
    404   { 0x00000000, 0x000000fd, 0x000000fd },
    405   { 0x00000000, 0x000000fe, 0x000000fe },
    406   { 0x00000000, 0x000000ff, 0x000000ff },
    407   { 0x00000000, 0x00000000, 0x00000000 },
    408   { 0x00000000, 0x00000001, 0x00000001 },
    409   { 0x00000000, 0x000000aa, 0x000000aa },
    410   { 0x00000000, 0x000000cc, 0x000000cc },
    411   { 0x00000000, 0x00000000, 0x00000000 },
    412   { 0x00000000, 0x00000001, 0x00000001 },
    413   { 0x00000000, 0x00000002, 0x00000002 },
    414   { 0x00000000, 0x00000003, 0x00000003 },
    415   { 0x00000000, 0x00000080, 0x00000080 },
    416   { 0x00000000, 0x00000081, 0x00000081 },
    417   { 0x00000000, 0x00000082, 0x00000082 },
    418   { 0x00000000, 0x00000083, 0x00000083 },
    419   { 0x00000000, 0x000000e0, 0x000000e0 },
    420   { 0x00000000, 0x000000fd, 0x000000fd },
    421   { 0x00000000, 0x000000fe, 0x000000fe },
    422   { 0x00000000, 0x000000ff, 0x000000ff },
    423 };
    424 const Inputs kOutputs_Uxtb_RdIsRn_al_r4_r4[] = {
    425   { 0x00000000, 0x00000000, 0x00000000 },
    426   { 0x00000000, 0x00000001, 0x00000001 },
    427   { 0x00000000, 0x00000002, 0x00000002 },
    428   { 0x00000000, 0x00000020, 0x00000020 },
    429   { 0x00000000, 0x0000007d, 0x0000007d },
    430   { 0x00000000, 0x0000007e, 0x0000007e },
    431   { 0x00000000, 0x0000007f, 0x0000007f },
    432   { 0x00000000, 0x000000fd, 0x000000fd },
    433   { 0x00000000, 0x000000fe, 0x000000fe },
    434   { 0x00000000, 0x000000ff, 0x000000ff },
    435   { 0x00000000, 0x00000033, 0x00000033 },
    436   { 0x00000000, 0x00000055, 0x00000055 },
    437   { 0x00000000, 0x000000fd, 0x000000fd },
    438   { 0x00000000, 0x000000fe, 0x000000fe },
    439   { 0x00000000, 0x000000ff, 0x000000ff },
    440   { 0x00000000, 0x00000000, 0x00000000 },
    441   { 0x00000000, 0x00000001, 0x00000001 },
    442   { 0x00000000, 0x000000aa, 0x000000aa },
    443   { 0x00000000, 0x000000cc, 0x000000cc },
    444   { 0x00000000, 0x00000000, 0x00000000 },
    445   { 0x00000000, 0x00000001, 0x00000001 },
    446   { 0x00000000, 0x00000002, 0x00000002 },
    447   { 0x00000000, 0x00000003, 0x00000003 },
    448   { 0x00000000, 0x00000080, 0x00000080 },
    449   { 0x00000000, 0x00000081, 0x00000081 },
    450   { 0x00000000, 0x00000082, 0x00000082 },
    451   { 0x00000000, 0x00000083, 0x00000083 },
    452   { 0x00000000, 0x000000e0, 0x000000e0 },
    453   { 0x00000000, 0x000000fd, 0x000000fd },
    454   { 0x00000000, 0x000000fe, 0x000000fe },
    455   { 0x00000000, 0x000000ff, 0x000000ff },
    456 };
    457 const Inputs kOutputs_Uxtb_RdIsRn_al_r5_r5[] = {
    458   { 0x00000000, 0x00000000, 0x00000000 },
    459   { 0x00000000, 0x00000001, 0x00000001 },
    460   { 0x00000000, 0x00000002, 0x00000002 },
    461   { 0x00000000, 0x00000020, 0x00000020 },
    462   { 0x00000000, 0x0000007d, 0x0000007d },
    463   { 0x00000000, 0x0000007e, 0x0000007e },
    464   { 0x00000000, 0x0000007f, 0x0000007f },
    465   { 0x00000000, 0x000000fd, 0x000000fd },
    466   { 0x00000000, 0x000000fe, 0x000000fe },
    467   { 0x00000000, 0x000000ff, 0x000000ff },
    468   { 0x00000000, 0x00000033, 0x00000033 },
    469   { 0x00000000, 0x00000055, 0x00000055 },
    470   { 0x00000000, 0x000000fd, 0x000000fd },
    471   { 0x00000000, 0x000000fe, 0x000000fe },
    472   { 0x00000000, 0x000000ff, 0x000000ff },
    473   { 0x00000000, 0x00000000, 0x00000000 },
    474   { 0x00000000, 0x00000001, 0x00000001 },
    475   { 0x00000000, 0x000000aa, 0x000000aa },
    476   { 0x00000000, 0x000000cc, 0x000000cc },
    477   { 0x00000000, 0x00000000, 0x00000000 },
    478   { 0x00000000, 0x00000001, 0x00000001 },
    479   { 0x00000000, 0x00000002, 0x00000002 },
    480   { 0x00000000, 0x00000003, 0x00000003 },
    481   { 0x00000000, 0x00000080, 0x00000080 },
    482   { 0x00000000, 0x00000081, 0x00000081 },
    483   { 0x00000000, 0x00000082, 0x00000082 },
    484   { 0x00000000, 0x00000083, 0x00000083 },
    485   { 0x00000000, 0x000000e0, 0x000000e0 },
    486   { 0x00000000, 0x000000fd, 0x000000fd },
    487   { 0x00000000, 0x000000fe, 0x000000fe },
    488   { 0x00000000, 0x000000ff, 0x000000ff },
    489 };
    490 const Inputs kOutputs_Uxtb_RdIsRn_al_r6_r6[] = {
    491   { 0x00000000, 0x00000000, 0x00000000 },
    492   { 0x00000000, 0x00000001, 0x00000001 },
    493   { 0x00000000, 0x00000002, 0x00000002 },
    494   { 0x00000000, 0x00000020, 0x00000020 },
    495   { 0x00000000, 0x0000007d, 0x0000007d },
    496   { 0x00000000, 0x0000007e, 0x0000007e },
    497   { 0x00000000, 0x0000007f, 0x0000007f },
    498   { 0x00000000, 0x000000fd, 0x000000fd },
    499   { 0x00000000, 0x000000fe, 0x000000fe },
    500   { 0x00000000, 0x000000ff, 0x000000ff },
    501   { 0x00000000, 0x00000033, 0x00000033 },
    502   { 0x00000000, 0x00000055, 0x00000055 },
    503   { 0x00000000, 0x000000fd, 0x000000fd },
    504   { 0x00000000, 0x000000fe, 0x000000fe },
    505   { 0x00000000, 0x000000ff, 0x000000ff },
    506   { 0x00000000, 0x00000000, 0x00000000 },
    507   { 0x00000000, 0x00000001, 0x00000001 },
    508   { 0x00000000, 0x000000aa, 0x000000aa },
    509   { 0x00000000, 0x000000cc, 0x000000cc },
    510   { 0x00000000, 0x00000000, 0x00000000 },
    511   { 0x00000000, 0x00000001, 0x00000001 },
    512   { 0x00000000, 0x00000002, 0x00000002 },
    513   { 0x00000000, 0x00000003, 0x00000003 },
    514   { 0x00000000, 0x00000080, 0x00000080 },
    515   { 0x00000000, 0x00000081, 0x00000081 },
    516   { 0x00000000, 0x00000082, 0x00000082 },
    517   { 0x00000000, 0x00000083, 0x00000083 },
    518   { 0x00000000, 0x000000e0, 0x000000e0 },
    519   { 0x00000000, 0x000000fd, 0x000000fd },
    520   { 0x00000000, 0x000000fe, 0x000000fe },
    521   { 0x00000000, 0x000000ff, 0x000000ff },
    522 };
    523 const Inputs kOutputs_Uxtb_RdIsRn_al_r7_r7[] = {
    524   { 0x00000000, 0x00000000, 0x00000000 },
    525   { 0x00000000, 0x00000001, 0x00000001 },
    526   { 0x00000000, 0x00000002, 0x00000002 },
    527   { 0x00000000, 0x00000020, 0x00000020 },
    528   { 0x00000000, 0x0000007d, 0x0000007d },
    529   { 0x00000000, 0x0000007e, 0x0000007e },
    530   { 0x00000000, 0x0000007f, 0x0000007f },
    531   { 0x00000000, 0x000000fd, 0x000000fd },
    532   { 0x00000000, 0x000000fe, 0x000000fe },
    533   { 0x00000000, 0x000000ff, 0x000000ff },
    534   { 0x00000000, 0x00000033, 0x00000033 },
    535   { 0x00000000, 0x00000055, 0x00000055 },
    536   { 0x00000000, 0x000000fd, 0x000000fd },
    537   { 0x00000000, 0x000000fe, 0x000000fe },
    538   { 0x00000000, 0x000000ff, 0x000000ff },
    539   { 0x00000000, 0x00000000, 0x00000000 },
    540   { 0x00000000, 0x00000001, 0x00000001 },
    541   { 0x00000000, 0x000000aa, 0x000000aa },
    542   { 0x00000000, 0x000000cc, 0x000000cc },
    543   { 0x00000000, 0x00000000, 0x00000000 },
    544   { 0x00000000, 0x00000001, 0x00000001 },
    545   { 0x00000000, 0x00000002, 0x00000002 },
    546   { 0x00000000, 0x00000003, 0x00000003 },
    547   { 0x00000000, 0x00000080, 0x00000080 },
    548   { 0x00000000, 0x00000081, 0x00000081 },
    549   { 0x00000000, 0x00000082, 0x00000082 },
    550   { 0x00000000, 0x00000083, 0x00000083 },
    551   { 0x00000000, 0x000000e0, 0x000000e0 },
    552   { 0x00000000, 0x000000fd, 0x000000fd },
    553   { 0x00000000, 0x000000fe, 0x000000fe },
    554   { 0x00000000, 0x000000ff, 0x000000ff },
    555 };
    556 const Inputs kOutputs_Uxtb_RdIsRn_al_r8_r8[] = {
    557   { 0x00000000, 0x00000000, 0x00000000 },
    558   { 0x00000000, 0x00000001, 0x00000001 },
    559   { 0x00000000, 0x00000002, 0x00000002 },
    560   { 0x00000000, 0x00000020, 0x00000020 },
    561   { 0x00000000, 0x0000007d, 0x0000007d },
    562   { 0x00000000, 0x0000007e, 0x0000007e },
    563   { 0x00000000, 0x0000007f, 0x0000007f },
    564   { 0x00000000, 0x000000fd, 0x000000fd },
    565   { 0x00000000, 0x000000fe, 0x000000fe },
    566   { 0x00000000, 0x000000ff, 0x000000ff },
    567   { 0x00000000, 0x00000033, 0x00000033 },
    568   { 0x00000000, 0x00000055, 0x00000055 },
    569   { 0x00000000, 0x000000fd, 0x000000fd },
    570   { 0x00000000, 0x000000fe, 0x000000fe },
    571   { 0x00000000, 0x000000ff, 0x000000ff },
    572   { 0x00000000, 0x00000000, 0x00000000 },
    573   { 0x00000000, 0x00000001, 0x00000001 },
    574   { 0x00000000, 0x000000aa, 0x000000aa },
    575   { 0x00000000, 0x000000cc, 0x000000cc },
    576   { 0x00000000, 0x00000000, 0x00000000 },
    577   { 0x00000000, 0x00000001, 0x00000001 },
    578   { 0x00000000, 0x00000002, 0x00000002 },
    579   { 0x00000000, 0x00000003, 0x00000003 },
    580   { 0x00000000, 0x00000080, 0x00000080 },
    581   { 0x00000000, 0x00000081, 0x00000081 },
    582   { 0x00000000, 0x00000082, 0x00000082 },
    583   { 0x00000000, 0x00000083, 0x00000083 },
    584   { 0x00000000, 0x000000e0, 0x000000e0 },
    585   { 0x00000000, 0x000000fd, 0x000000fd },
    586   { 0x00000000, 0x000000fe, 0x000000fe },
    587   { 0x00000000, 0x000000ff, 0x000000ff },
    588 };
    589 const Inputs kOutputs_Uxtb_RdIsRn_al_r9_r9[] = {
    590   { 0x00000000, 0x00000000, 0x00000000 },
    591   { 0x00000000, 0x00000001, 0x00000001 },
    592   { 0x00000000, 0x00000002, 0x00000002 },
    593   { 0x00000000, 0x00000020, 0x00000020 },
    594   { 0x00000000, 0x0000007d, 0x0000007d },
    595   { 0x00000000, 0x0000007e, 0x0000007e },
    596   { 0x00000000, 0x0000007f, 0x0000007f },
    597   { 0x00000000, 0x000000fd, 0x000000fd },
    598   { 0x00000000, 0x000000fe, 0x000000fe },
    599   { 0x00000000, 0x000000ff, 0x000000ff },
    600   { 0x00000000, 0x00000033, 0x00000033 },
    601   { 0x00000000, 0x00000055, 0x00000055 },
    602   { 0x00000000, 0x000000fd, 0x000000fd },
    603   { 0x00000000, 0x000000fe, 0x000000fe },
    604   { 0x00000000, 0x000000ff, 0x000000ff },
    605   { 0x00000000, 0x00000000, 0x00000000 },
    606   { 0x00000000, 0x00000001, 0x00000001 },
    607   { 0x00000000, 0x000000aa, 0x000000aa },
    608   { 0x00000000, 0x000000cc, 0x000000cc },
    609   { 0x00000000, 0x00000000, 0x00000000 },
    610   { 0x00000000, 0x00000001, 0x00000001 },
    611   { 0x00000000, 0x00000002, 0x00000002 },
    612   { 0x00000000, 0x00000003, 0x00000003 },
    613   { 0x00000000, 0x00000080, 0x00000080 },
    614   { 0x00000000, 0x00000081, 0x00000081 },
    615   { 0x00000000, 0x00000082, 0x00000082 },
    616   { 0x00000000, 0x00000083, 0x00000083 },
    617   { 0x00000000, 0x000000e0, 0x000000e0 },
    618   { 0x00000000, 0x000000fd, 0x000000fd },
    619   { 0x00000000, 0x000000fe, 0x000000fe },
    620   { 0x00000000, 0x000000ff, 0x000000ff },
    621 };
    622 const Inputs kOutputs_Uxtb_RdIsRn_al_r10_r10[] = {
    623   { 0x00000000, 0x00000000, 0x00000000 },
    624   { 0x00000000, 0x00000001, 0x00000001 },
    625   { 0x00000000, 0x00000002, 0x00000002 },
    626   { 0x00000000, 0x00000020, 0x00000020 },
    627   { 0x00000000, 0x0000007d, 0x0000007d },
    628   { 0x00000000, 0x0000007e, 0x0000007e },
    629   { 0x00000000, 0x0000007f, 0x0000007f },
    630   { 0x00000000, 0x000000fd, 0x000000fd },
    631   { 0x00000000, 0x000000fe, 0x000000fe },
    632   { 0x00000000, 0x000000ff, 0x000000ff },
    633   { 0x00000000, 0x00000033, 0x00000033 },
    634   { 0x00000000, 0x00000055, 0x00000055 },
    635   { 0x00000000, 0x000000fd, 0x000000fd },
    636   { 0x00000000, 0x000000fe, 0x000000fe },
    637   { 0x00000000, 0x000000ff, 0x000000ff },
    638   { 0x00000000, 0x00000000, 0x00000000 },
    639   { 0x00000000, 0x00000001, 0x00000001 },
    640   { 0x00000000, 0x000000aa, 0x000000aa },
    641   { 0x00000000, 0x000000cc, 0x000000cc },
    642   { 0x00000000, 0x00000000, 0x00000000 },
    643   { 0x00000000, 0x00000001, 0x00000001 },
    644   { 0x00000000, 0x00000002, 0x00000002 },
    645   { 0x00000000, 0x00000003, 0x00000003 },
    646   { 0x00000000, 0x00000080, 0x00000080 },
    647   { 0x00000000, 0x00000081, 0x00000081 },
    648   { 0x00000000, 0x00000082, 0x00000082 },
    649   { 0x00000000, 0x00000083, 0x00000083 },
    650   { 0x00000000, 0x000000e0, 0x000000e0 },
    651   { 0x00000000, 0x000000fd, 0x000000fd },
    652   { 0x00000000, 0x000000fe, 0x000000fe },
    653   { 0x00000000, 0x000000ff, 0x000000ff },
    654 };
    655 const Inputs kOutputs_Uxtb_RdIsRn_al_r11_r11[] = {
    656   { 0x00000000, 0x00000000, 0x00000000 },
    657   { 0x00000000, 0x00000001, 0x00000001 },
    658   { 0x00000000, 0x00000002, 0x00000002 },
    659   { 0x00000000, 0x00000020, 0x00000020 },
    660   { 0x00000000, 0x0000007d, 0x0000007d },
    661   { 0x00000000, 0x0000007e, 0x0000007e },
    662   { 0x00000000, 0x0000007f, 0x0000007f },
    663   { 0x00000000, 0x000000fd, 0x000000fd },
    664   { 0x00000000, 0x000000fe, 0x000000fe },
    665   { 0x00000000, 0x000000ff, 0x000000ff },
    666   { 0x00000000, 0x00000033, 0x00000033 },
    667   { 0x00000000, 0x00000055, 0x00000055 },
    668   { 0x00000000, 0x000000fd, 0x000000fd },
    669   { 0x00000000, 0x000000fe, 0x000000fe },
    670   { 0x00000000, 0x000000ff, 0x000000ff },
    671   { 0x00000000, 0x00000000, 0x00000000 },
    672   { 0x00000000, 0x00000001, 0x00000001 },
    673   { 0x00000000, 0x000000aa, 0x000000aa },
    674   { 0x00000000, 0x000000cc, 0x000000cc },
    675   { 0x00000000, 0x00000000, 0x00000000 },
    676   { 0x00000000, 0x00000001, 0x00000001 },
    677   { 0x00000000, 0x00000002, 0x00000002 },
    678   { 0x00000000, 0x00000003, 0x00000003 },
    679   { 0x00000000, 0x00000080, 0x00000080 },
    680   { 0x00000000, 0x00000081, 0x00000081 },
    681   { 0x00000000, 0x00000082, 0x00000082 },
    682   { 0x00000000, 0x00000083, 0x00000083 },
    683   { 0x00000000, 0x000000e0, 0x000000e0 },
    684   { 0x00000000, 0x000000fd, 0x000000fd },
    685   { 0x00000000, 0x000000fe, 0x000000fe },
    686   { 0x00000000, 0x000000ff, 0x000000ff },
    687 };
    688 const Inputs kOutputs_Uxtb_RdIsRn_al_r12_r12[] = {
    689   { 0x00000000, 0x00000000, 0x00000000 },
    690   { 0x00000000, 0x00000001, 0x00000001 },
    691   { 0x00000000, 0x00000002, 0x00000002 },
    692   { 0x00000000, 0x00000020, 0x00000020 },
    693   { 0x00000000, 0x0000007d, 0x0000007d },
    694   { 0x00000000, 0x0000007e, 0x0000007e },
    695   { 0x00000000, 0x0000007f, 0x0000007f },
    696   { 0x00000000, 0x000000fd, 0x000000fd },
    697   { 0x00000000, 0x000000fe, 0x000000fe },
    698   { 0x00000000, 0x000000ff, 0x000000ff },
    699   { 0x00000000, 0x00000033, 0x00000033 },
    700   { 0x00000000, 0x00000055, 0x00000055 },
    701   { 0x00000000, 0x000000fd, 0x000000fd },
    702   { 0x00000000, 0x000000fe, 0x000000fe },
    703   { 0x00000000, 0x000000ff, 0x000000ff },
    704   { 0x00000000, 0x00000000, 0x00000000 },
    705   { 0x00000000, 0x00000001, 0x00000001 },
    706   { 0x00000000, 0x000000aa, 0x000000aa },
    707   { 0x00000000, 0x000000cc, 0x000000cc },
    708   { 0x00000000, 0x00000000, 0x00000000 },
    709   { 0x00000000, 0x00000001, 0x00000001 },
    710   { 0x00000000, 0x00000002, 0x00000002 },
    711   { 0x00000000, 0x00000003, 0x00000003 },
    712   { 0x00000000, 0x00000080, 0x00000080 },
    713   { 0x00000000, 0x00000081, 0x00000081 },
    714   { 0x00000000, 0x00000082, 0x00000082 },
    715   { 0x00000000, 0x00000083, 0x00000083 },
    716   { 0x00000000, 0x000000e0, 0x000000e0 },
    717   { 0x00000000, 0x000000fd, 0x000000fd },
    718   { 0x00000000, 0x000000fe, 0x000000fe },
    719   { 0x00000000, 0x000000ff, 0x000000ff },
    720 };
    721 const Inputs kOutputs_Uxtb_RdIsRn_al_r14_r14[] = {
    722   { 0x00000000, 0x00000000, 0x00000000 },
    723   { 0x00000000, 0x00000001, 0x00000001 },
    724   { 0x00000000, 0x00000002, 0x00000002 },
    725   { 0x00000000, 0x00000020, 0x00000020 },
    726   { 0x00000000, 0x0000007d, 0x0000007d },
    727   { 0x00000000, 0x0000007e, 0x0000007e },
    728   { 0x00000000, 0x0000007f, 0x0000007f },
    729   { 0x00000000, 0x000000fd, 0x000000fd },
    730   { 0x00000000, 0x000000fe, 0x000000fe },
    731   { 0x00000000, 0x000000ff, 0x000000ff },
    732   { 0x00000000, 0x00000033, 0x00000033 },
    733   { 0x00000000, 0x00000055, 0x00000055 },
    734   { 0x00000000, 0x000000fd, 0x000000fd },
    735   { 0x00000000, 0x000000fe, 0x000000fe },
    736   { 0x00000000, 0x000000ff, 0x000000ff },
    737   { 0x00000000, 0x00000000, 0x00000000 },
    738   { 0x00000000, 0x00000001, 0x00000001 },
    739   { 0x00000000, 0x000000aa, 0x000000aa },
    740   { 0x00000000, 0x000000cc, 0x000000cc },
    741   { 0x00000000, 0x00000000, 0x00000000 },
    742   { 0x00000000, 0x00000001, 0x00000001 },
    743   { 0x00000000, 0x00000002, 0x00000002 },
    744   { 0x00000000, 0x00000003, 0x00000003 },
    745   { 0x00000000, 0x00000080, 0x00000080 },
    746   { 0x00000000, 0x00000081, 0x00000081 },
    747   { 0x00000000, 0x00000082, 0x00000082 },
    748   { 0x00000000, 0x00000083, 0x00000083 },
    749   { 0x00000000, 0x000000e0, 0x000000e0 },
    750   { 0x00000000, 0x000000fd, 0x000000fd },
    751   { 0x00000000, 0x000000fe, 0x000000fe },
    752   { 0x00000000, 0x000000ff, 0x000000ff },
    753 };
    754 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r1_r8[] = {
    755   { 0x00000000, 0x000000cc, 0xcccccccc },
    756   { 0x00000000, 0x000000fe, 0x00007ffe },
    757   { 0x00000000, 0x00000020, 0x00000020 },
    758   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
    759   { 0x00000000, 0x00000082, 0xffffff82 },
    760   { 0x00000000, 0x000000fe, 0x7ffffffe },
    761   { 0x00000000, 0x000000fe, 0x00007ffe },
    762   { 0x00000000, 0x00000000, 0x80000000 },
    763   { 0x00000000, 0x00000033, 0x33333333 },
    764   { 0x00000000, 0x000000fe, 0x7ffffffe },
    765   { 0x00000000, 0x000000cc, 0xcccccccc },
    766   { 0x00000000, 0x00000055, 0x55555555 },
    767   { 0x00000000, 0x000000ff, 0xffffffff },
    768   { 0x00000000, 0x00000002, 0xffff8002 },
    769   { 0x00000000, 0x000000fd, 0x7ffffffd },
    770   { 0x00000000, 0x0000007e, 0x0000007e },
    771   { 0x00000000, 0x00000001, 0xffff8001 },
    772   { 0x00000000, 0x000000fd, 0x00007ffd },
    773   { 0x00000000, 0x00000002, 0x00000002 },
    774   { 0x00000000, 0x00000055, 0x55555555 },
    775   { 0x00000000, 0x00000080, 0xffffff80 },
    776   { 0x00000000, 0x00000000, 0xffff8000 },
    777   { 0x00000000, 0x000000fe, 0x7ffffffe },
    778   { 0x00000000, 0x00000000, 0x00000000 },
    779   { 0x00000000, 0x0000007e, 0x0000007e },
    780   { 0x00000000, 0x000000ff, 0xffffffff },
    781   { 0x00000000, 0x00000001, 0x80000001 },
    782   { 0x00000000, 0x0000007f, 0x0000007f },
    783   { 0x00000000, 0x000000cc, 0xcccccccc },
    784   { 0x00000000, 0x000000fe, 0x00007ffe },
    785   { 0x00000000, 0x0000007e, 0x0000007e },
    786   { 0x00000000, 0x000000cc, 0xcccccccc },
    787   { 0x00000000, 0x00000002, 0xffff8002 },
    788   { 0x00000000, 0x000000fe, 0x7ffffffe },
    789   { 0x00000000, 0x00000001, 0x00000001 },
    790   { 0x00000000, 0x00000020, 0x00000020 },
    791   { 0x00000000, 0x00000001, 0xffff8001 },
    792   { 0x00000000, 0x000000fe, 0xfffffffe },
    793   { 0x00000000, 0x00000055, 0x55555555 },
    794   { 0x00000000, 0x00000083, 0xffffff83 },
    795   { 0x00000000, 0x00000001, 0xffff8001 },
    796   { 0x00000000, 0x00000000, 0xffff8000 },
    797   { 0x00000000, 0x00000002, 0x00000002 },
    798   { 0x00000000, 0x00000000, 0xffff8000 },
    799   { 0x00000000, 0x00000081, 0xffffff81 },
    800   { 0x00000000, 0x00000000, 0x00000000 },
    801   { 0x00000000, 0x00000081, 0xffffff81 },
    802   { 0x00000000, 0x00000082, 0xffffff82 },
    803   { 0x00000000, 0x00000003, 0xffff8003 },
    804   { 0x00000000, 0x000000fd, 0x7ffffffd },
    805   { 0x00000000, 0x000000fe, 0x00007ffe },
    806   { 0x00000000, 0x0000007d, 0x0000007d },
    807   { 0x00000000, 0x000000fd, 0x00007ffd },
    808   { 0x00000000, 0x00000082, 0xffffff82 },
    809   { 0x00000000, 0x000000fe, 0x7ffffffe },
    810   { 0x00000000, 0x00000083, 0xffffff83 },
    811   { 0x00000000, 0x00000002, 0x00000002 },
    812   { 0x00000000, 0x00000082, 0xffffff82 },
    813   { 0x00000000, 0x00000020, 0x00000020 },
    814   { 0x00000000, 0x00000082, 0xffffff82 },
    815   { 0x00000000, 0x00000082, 0xffffff82 },
    816   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
    817   { 0x00000000, 0x00000001, 0x00000001 },
    818   { 0x00000000, 0x000000e0, 0xffffffe0 },
    819   { 0x00000000, 0x00000083, 0xffffff83 },
    820   { 0x00000000, 0x00000000, 0x00000000 },
    821   { 0x00000000, 0x00000000, 0xffff8000 },
    822   { 0x00000000, 0x000000ff, 0x7fffffff },
    823   { 0x00000000, 0x00000000, 0x80000000 },
    824   { 0x00000000, 0x00000001, 0x00000001 },
    825   { 0x00000000, 0x00000082, 0xffffff82 },
    826   { 0x00000000, 0x000000fe, 0x00007ffe },
    827   { 0x00000000, 0x000000fd, 0xfffffffd },
    828   { 0x00000000, 0x00000033, 0x33333333 },
    829   { 0x00000000, 0x00000000, 0x80000000 },
    830   { 0x00000000, 0x000000ff, 0x00007fff },
    831   { 0x00000000, 0x000000e0, 0xffffffe0 },
    832   { 0x00000000, 0x0000007f, 0x0000007f },
    833   { 0x00000000, 0x00000001, 0xffff8001 },
    834   { 0x00000000, 0x00000001, 0x00000001 },
    835   { 0x00000000, 0x000000ff, 0xffffffff },
    836   { 0x00000000, 0x000000cc, 0xcccccccc },
    837   { 0x00000000, 0x000000fe, 0x7ffffffe },
    838   { 0x00000000, 0x00000000, 0x00000000 },
    839   { 0x00000000, 0x000000cc, 0xcccccccc },
    840   { 0x00000000, 0x00000083, 0xffffff83 },
    841   { 0x00000000, 0x000000e0, 0xffffffe0 },
    842   { 0x00000000, 0x000000ff, 0x00007fff },
    843   { 0x00000000, 0x00000002, 0x00000002 },
    844   { 0x00000000, 0x000000cc, 0xcccccccc },
    845   { 0x00000000, 0x00000080, 0xffffff80 },
    846   { 0x00000000, 0x00000020, 0x00000020 },
    847   { 0x00000000, 0x000000fe, 0xfffffffe },
    848   { 0x00000000, 0x00000081, 0xffffff81 },
    849   { 0x00000000, 0x0000007f, 0x0000007f },
    850   { 0x00000000, 0x000000fd, 0x7ffffffd },
    851   { 0x00000000, 0x000000fe, 0xfffffffe },
    852   { 0x00000000, 0x00000002, 0xffff8002 },
    853   { 0x00000000, 0x000000ff, 0xffffffff },
    854   { 0x00000000, 0x00000080, 0xffffff80 },
    855   { 0x00000000, 0x000000ff, 0x00007fff },
    856   { 0x00000000, 0x00000001, 0xffff8001 },
    857   { 0x00000000, 0x00000002, 0xffff8002 },
    858   { 0x00000000, 0x00000083, 0xffffff83 },
    859   { 0x00000000, 0x0000007f, 0x0000007f },
    860   { 0x00000000, 0x000000fe, 0xfffffffe },
    861   { 0x00000000, 0x00000003, 0xffff8003 },
    862   { 0x00000000, 0x00000002, 0xffff8002 },
    863   { 0x00000000, 0x0000007f, 0x0000007f },
    864   { 0x00000000, 0x00000002, 0x00000002 },
    865   { 0x00000000, 0x00000001, 0xffff8001 },
    866   { 0x00000000, 0x00000001, 0x00000001 },
    867   { 0x00000000, 0x00000002, 0xffff8002 },
    868   { 0x00000000, 0x000000ff, 0x7fffffff },
    869   { 0x00000000, 0x00000000, 0xffff8000 },
    870   { 0x00000000, 0x000000fd, 0x00007ffd },
    871   { 0x00000000, 0x00000081, 0xffffff81 },
    872   { 0x00000000, 0x00000055, 0x55555555 },
    873   { 0x00000000, 0x00000020, 0x00000020 },
    874   { 0x00000000, 0x00000001, 0x00000001 },
    875   { 0x00000000, 0x00000002, 0xffff8002 },
    876   { 0x00000000, 0x000000fe, 0xfffffffe },
    877   { 0x00000000, 0x000000fd, 0x00007ffd },
    878   { 0x00000000, 0x000000fd, 0xfffffffd },
    879   { 0x00000000, 0x00000080, 0xffffff80 },
    880   { 0x00000000, 0x00000080, 0xffffff80 },
    881   { 0x00000000, 0x00000002, 0xffff8002 },
    882   { 0x00000000, 0x00000002, 0xffff8002 },
    883   { 0x00000000, 0x000000fe, 0x00007ffe },
    884   { 0x00000000, 0x00000001, 0xffff8001 },
    885   { 0x00000000, 0x00000080, 0xffffff80 },
    886   { 0x00000000, 0x00000000, 0x80000000 },
    887   { 0x00000000, 0x000000fe, 0x00007ffe },
    888   { 0x00000000, 0x00000000, 0xffff8000 },
    889   { 0x00000000, 0x000000ff, 0x00007fff },
    890   { 0x00000000, 0x0000007d, 0x0000007d },
    891   { 0x00000000, 0x00000000, 0x00000000 },
    892   { 0x00000000, 0x00000055, 0x55555555 },
    893   { 0x00000000, 0x00000000, 0x80000000 },
    894   { 0x00000000, 0x00000080, 0xffffff80 },
    895   { 0x00000000, 0x00000003, 0xffff8003 },
    896   { 0x00000000, 0x00000001, 0x80000001 },
    897   { 0x00000000, 0x00000001, 0xffff8001 },
    898   { 0x00000000, 0x00000002, 0x00000002 },
    899   { 0x00000000, 0x00000081, 0xffffff81 },
    900   { 0x00000000, 0x00000001, 0xffff8001 },
    901   { 0x00000000, 0x000000fe, 0xfffffffe },
    902   { 0x00000000, 0x000000fd, 0xfffffffd },
    903   { 0x00000000, 0x000000ff, 0xffffffff },
    904   { 0x00000000, 0x00000000, 0x80000000 },
    905   { 0x00000000, 0x00000001, 0x80000001 },
    906   { 0x00000000, 0x000000fd, 0x7ffffffd },
    907   { 0x00000000, 0x00000000, 0x00000000 },
    908   { 0x00000000, 0x00000001, 0x00000001 },
    909   { 0x00000000, 0x000000ff, 0x7fffffff },
    910   { 0x00000000, 0x000000ff, 0xffffffff },
    911   { 0x00000000, 0x000000ff, 0x00007fff },
    912   { 0x00000000, 0x000000ff, 0x00007fff },
    913   { 0x00000000, 0x00000055, 0x55555555 },
    914   { 0x00000000, 0x00000033, 0x33333333 },
    915   { 0x00000000, 0x000000fd, 0xfffffffd },
    916   { 0x00000000, 0x00000001, 0x00000001 },
    917   { 0x00000000, 0x000000e0, 0xffffffe0 },
    918   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
    919   { 0x00000000, 0x00000033, 0x33333333 },
    920   { 0x00000000, 0x00000003, 0xffff8003 },
    921   { 0x00000000, 0x000000ff, 0x7fffffff },
    922   { 0x00000000, 0x00000083, 0xffffff83 },
    923   { 0x00000000, 0x00000000, 0xffff8000 },
    924   { 0x00000000, 0x00000055, 0x55555555 },
    925   { 0x00000000, 0x00000081, 0xffffff81 },
    926   { 0x00000000, 0x000000fe, 0xfffffffe },
    927   { 0x00000000, 0x000000ff, 0x7fffffff },
    928   { 0x00000000, 0x000000ff, 0x7fffffff },
    929   { 0x00000000, 0x00000003, 0xffff8003 },
    930   { 0x00000000, 0x000000ff, 0xffffffff },
    931   { 0x00000000, 0x000000fd, 0x00007ffd },
    932   { 0x00000000, 0x000000ff, 0x00007fff },
    933   { 0x00000000, 0x000000ff, 0xffffffff },
    934   { 0x00000000, 0x00000003, 0xffff8003 },
    935   { 0x00000000, 0x000000fd, 0xfffffffd },
    936   { 0x00000000, 0x00000000, 0x80000000 },
    937   { 0x00000000, 0x00000020, 0x00000020 },
    938   { 0x00000000, 0x00000002, 0x00000002 },
    939   { 0x00000000, 0x00000002, 0x00000002 },
    940   { 0x00000000, 0x000000ff, 0x00007fff },
    941   { 0x00000000, 0x00000001, 0x00000001 },
    942   { 0x00000000, 0x000000ff, 0x00007fff },
    943   { 0x00000000, 0x00000020, 0x00000020 },
    944   { 0x00000000, 0x000000e0, 0xffffffe0 },
    945   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
    946   { 0x00000000, 0x00000001, 0xffff8001 },
    947   { 0x00000000, 0x00000001, 0x80000001 },
    948   { 0x00000000, 0x00000000, 0xffff8000 },
    949   { 0x00000000, 0x00000001, 0xffff8001 },
    950   { 0x00000000, 0x00000000, 0x00000000 },
    951   { 0x00000000, 0x00000033, 0x33333333 },
    952   { 0x00000000, 0x00000080, 0xffffff80 },
    953   { 0x00000000, 0x00000055, 0x55555555 },
    954   { 0x00000000, 0x000000ff, 0xffffffff },
    955 };
    956 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r7_r4[] = {
    957   { 0x00000000, 0x000000cc, 0xcccccccc },
    958   { 0x00000000, 0x000000fe, 0x00007ffe },
    959   { 0x00000000, 0x00000020, 0x00000020 },
    960   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
    961   { 0x00000000, 0x00000082, 0xffffff82 },
    962   { 0x00000000, 0x000000fe, 0x7ffffffe },
    963   { 0x00000000, 0x000000fe, 0x00007ffe },
    964   { 0x00000000, 0x00000000, 0x80000000 },
    965   { 0x00000000, 0x00000033, 0x33333333 },
    966   { 0x00000000, 0x000000fe, 0x7ffffffe },
    967   { 0x00000000, 0x000000cc, 0xcccccccc },
    968   { 0x00000000, 0x00000055, 0x55555555 },
    969   { 0x00000000, 0x000000ff, 0xffffffff },
    970   { 0x00000000, 0x00000002, 0xffff8002 },
    971   { 0x00000000, 0x000000fd, 0x7ffffffd },
    972   { 0x00000000, 0x0000007e, 0x0000007e },
    973   { 0x00000000, 0x00000001, 0xffff8001 },
    974   { 0x00000000, 0x000000fd, 0x00007ffd },
    975   { 0x00000000, 0x00000002, 0x00000002 },
    976   { 0x00000000, 0x00000055, 0x55555555 },
    977   { 0x00000000, 0x00000080, 0xffffff80 },
    978   { 0x00000000, 0x00000000, 0xffff8000 },
    979   { 0x00000000, 0x000000fe, 0x7ffffffe },
    980   { 0x00000000, 0x00000000, 0x00000000 },
    981   { 0x00000000, 0x0000007e, 0x0000007e },
    982   { 0x00000000, 0x000000ff, 0xffffffff },
    983   { 0x00000000, 0x00000001, 0x80000001 },
    984   { 0x00000000, 0x0000007f, 0x0000007f },
    985   { 0x00000000, 0x000000cc, 0xcccccccc },
    986   { 0x00000000, 0x000000fe, 0x00007ffe },
    987   { 0x00000000, 0x0000007e, 0x0000007e },
    988   { 0x00000000, 0x000000cc, 0xcccccccc },
    989   { 0x00000000, 0x00000002, 0xffff8002 },
    990   { 0x00000000, 0x000000fe, 0x7ffffffe },
    991   { 0x00000000, 0x00000001, 0x00000001 },
    992   { 0x00000000, 0x00000020, 0x00000020 },
    993   { 0x00000000, 0x00000001, 0xffff8001 },
    994   { 0x00000000, 0x000000fe, 0xfffffffe },
    995   { 0x00000000, 0x00000055, 0x55555555 },
    996   { 0x00000000, 0x00000083, 0xffffff83 },
    997   { 0x00000000, 0x00000001, 0xffff8001 },
    998   { 0x00000000, 0x00000000, 0xffff8000 },
    999   { 0x00000000, 0x00000002, 0x00000002 },
   1000   { 0x00000000, 0x00000000, 0xffff8000 },
   1001   { 0x00000000, 0x00000081, 0xffffff81 },
   1002   { 0x00000000, 0x00000000, 0x00000000 },
   1003   { 0x00000000, 0x00000081, 0xffffff81 },
   1004   { 0x00000000, 0x00000082, 0xffffff82 },
   1005   { 0x00000000, 0x00000003, 0xffff8003 },
   1006   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1007   { 0x00000000, 0x000000fe, 0x00007ffe },
   1008   { 0x00000000, 0x0000007d, 0x0000007d },
   1009   { 0x00000000, 0x000000fd, 0x00007ffd },
   1010   { 0x00000000, 0x00000082, 0xffffff82 },
   1011   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1012   { 0x00000000, 0x00000083, 0xffffff83 },
   1013   { 0x00000000, 0x00000002, 0x00000002 },
   1014   { 0x00000000, 0x00000082, 0xffffff82 },
   1015   { 0x00000000, 0x00000020, 0x00000020 },
   1016   { 0x00000000, 0x00000082, 0xffffff82 },
   1017   { 0x00000000, 0x00000082, 0xffffff82 },
   1018   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1019   { 0x00000000, 0x00000001, 0x00000001 },
   1020   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1021   { 0x00000000, 0x00000083, 0xffffff83 },
   1022   { 0x00000000, 0x00000000, 0x00000000 },
   1023   { 0x00000000, 0x00000000, 0xffff8000 },
   1024   { 0x00000000, 0x000000ff, 0x7fffffff },
   1025   { 0x00000000, 0x00000000, 0x80000000 },
   1026   { 0x00000000, 0x00000001, 0x00000001 },
   1027   { 0x00000000, 0x00000082, 0xffffff82 },
   1028   { 0x00000000, 0x000000fe, 0x00007ffe },
   1029   { 0x00000000, 0x000000fd, 0xfffffffd },
   1030   { 0x00000000, 0x00000033, 0x33333333 },
   1031   { 0x00000000, 0x00000000, 0x80000000 },
   1032   { 0x00000000, 0x000000ff, 0x00007fff },
   1033   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1034   { 0x00000000, 0x0000007f, 0x0000007f },
   1035   { 0x00000000, 0x00000001, 0xffff8001 },
   1036   { 0x00000000, 0x00000001, 0x00000001 },
   1037   { 0x00000000, 0x000000ff, 0xffffffff },
   1038   { 0x00000000, 0x000000cc, 0xcccccccc },
   1039   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1040   { 0x00000000, 0x00000000, 0x00000000 },
   1041   { 0x00000000, 0x000000cc, 0xcccccccc },
   1042   { 0x00000000, 0x00000083, 0xffffff83 },
   1043   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1044   { 0x00000000, 0x000000ff, 0x00007fff },
   1045   { 0x00000000, 0x00000002, 0x00000002 },
   1046   { 0x00000000, 0x000000cc, 0xcccccccc },
   1047   { 0x00000000, 0x00000080, 0xffffff80 },
   1048   { 0x00000000, 0x00000020, 0x00000020 },
   1049   { 0x00000000, 0x000000fe, 0xfffffffe },
   1050   { 0x00000000, 0x00000081, 0xffffff81 },
   1051   { 0x00000000, 0x0000007f, 0x0000007f },
   1052   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1053   { 0x00000000, 0x000000fe, 0xfffffffe },
   1054   { 0x00000000, 0x00000002, 0xffff8002 },
   1055   { 0x00000000, 0x000000ff, 0xffffffff },
   1056   { 0x00000000, 0x00000080, 0xffffff80 },
   1057   { 0x00000000, 0x000000ff, 0x00007fff },
   1058   { 0x00000000, 0x00000001, 0xffff8001 },
   1059   { 0x00000000, 0x00000002, 0xffff8002 },
   1060   { 0x00000000, 0x00000083, 0xffffff83 },
   1061   { 0x00000000, 0x0000007f, 0x0000007f },
   1062   { 0x00000000, 0x000000fe, 0xfffffffe },
   1063   { 0x00000000, 0x00000003, 0xffff8003 },
   1064   { 0x00000000, 0x00000002, 0xffff8002 },
   1065   { 0x00000000, 0x0000007f, 0x0000007f },
   1066   { 0x00000000, 0x00000002, 0x00000002 },
   1067   { 0x00000000, 0x00000001, 0xffff8001 },
   1068   { 0x00000000, 0x00000001, 0x00000001 },
   1069   { 0x00000000, 0x00000002, 0xffff8002 },
   1070   { 0x00000000, 0x000000ff, 0x7fffffff },
   1071   { 0x00000000, 0x00000000, 0xffff8000 },
   1072   { 0x00000000, 0x000000fd, 0x00007ffd },
   1073   { 0x00000000, 0x00000081, 0xffffff81 },
   1074   { 0x00000000, 0x00000055, 0x55555555 },
   1075   { 0x00000000, 0x00000020, 0x00000020 },
   1076   { 0x00000000, 0x00000001, 0x00000001 },
   1077   { 0x00000000, 0x00000002, 0xffff8002 },
   1078   { 0x00000000, 0x000000fe, 0xfffffffe },
   1079   { 0x00000000, 0x000000fd, 0x00007ffd },
   1080   { 0x00000000, 0x000000fd, 0xfffffffd },
   1081   { 0x00000000, 0x00000080, 0xffffff80 },
   1082   { 0x00000000, 0x00000080, 0xffffff80 },
   1083   { 0x00000000, 0x00000002, 0xffff8002 },
   1084   { 0x00000000, 0x00000002, 0xffff8002 },
   1085   { 0x00000000, 0x000000fe, 0x00007ffe },
   1086   { 0x00000000, 0x00000001, 0xffff8001 },
   1087   { 0x00000000, 0x00000080, 0xffffff80 },
   1088   { 0x00000000, 0x00000000, 0x80000000 },
   1089   { 0x00000000, 0x000000fe, 0x00007ffe },
   1090   { 0x00000000, 0x00000000, 0xffff8000 },
   1091   { 0x00000000, 0x000000ff, 0x00007fff },
   1092   { 0x00000000, 0x0000007d, 0x0000007d },
   1093   { 0x00000000, 0x00000000, 0x00000000 },
   1094   { 0x00000000, 0x00000055, 0x55555555 },
   1095   { 0x00000000, 0x00000000, 0x80000000 },
   1096   { 0x00000000, 0x00000080, 0xffffff80 },
   1097   { 0x00000000, 0x00000003, 0xffff8003 },
   1098   { 0x00000000, 0x00000001, 0x80000001 },
   1099   { 0x00000000, 0x00000001, 0xffff8001 },
   1100   { 0x00000000, 0x00000002, 0x00000002 },
   1101   { 0x00000000, 0x00000081, 0xffffff81 },
   1102   { 0x00000000, 0x00000001, 0xffff8001 },
   1103   { 0x00000000, 0x000000fe, 0xfffffffe },
   1104   { 0x00000000, 0x000000fd, 0xfffffffd },
   1105   { 0x00000000, 0x000000ff, 0xffffffff },
   1106   { 0x00000000, 0x00000000, 0x80000000 },
   1107   { 0x00000000, 0x00000001, 0x80000001 },
   1108   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1109   { 0x00000000, 0x00000000, 0x00000000 },
   1110   { 0x00000000, 0x00000001, 0x00000001 },
   1111   { 0x00000000, 0x000000ff, 0x7fffffff },
   1112   { 0x00000000, 0x000000ff, 0xffffffff },
   1113   { 0x00000000, 0x000000ff, 0x00007fff },
   1114   { 0x00000000, 0x000000ff, 0x00007fff },
   1115   { 0x00000000, 0x00000055, 0x55555555 },
   1116   { 0x00000000, 0x00000033, 0x33333333 },
   1117   { 0x00000000, 0x000000fd, 0xfffffffd },
   1118   { 0x00000000, 0x00000001, 0x00000001 },
   1119   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1120   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1121   { 0x00000000, 0x00000033, 0x33333333 },
   1122   { 0x00000000, 0x00000003, 0xffff8003 },
   1123   { 0x00000000, 0x000000ff, 0x7fffffff },
   1124   { 0x00000000, 0x00000083, 0xffffff83 },
   1125   { 0x00000000, 0x00000000, 0xffff8000 },
   1126   { 0x00000000, 0x00000055, 0x55555555 },
   1127   { 0x00000000, 0x00000081, 0xffffff81 },
   1128   { 0x00000000, 0x000000fe, 0xfffffffe },
   1129   { 0x00000000, 0x000000ff, 0x7fffffff },
   1130   { 0x00000000, 0x000000ff, 0x7fffffff },
   1131   { 0x00000000, 0x00000003, 0xffff8003 },
   1132   { 0x00000000, 0x000000ff, 0xffffffff },
   1133   { 0x00000000, 0x000000fd, 0x00007ffd },
   1134   { 0x00000000, 0x000000ff, 0x00007fff },
   1135   { 0x00000000, 0x000000ff, 0xffffffff },
   1136   { 0x00000000, 0x00000003, 0xffff8003 },
   1137   { 0x00000000, 0x000000fd, 0xfffffffd },
   1138   { 0x00000000, 0x00000000, 0x80000000 },
   1139   { 0x00000000, 0x00000020, 0x00000020 },
   1140   { 0x00000000, 0x00000002, 0x00000002 },
   1141   { 0x00000000, 0x00000002, 0x00000002 },
   1142   { 0x00000000, 0x000000ff, 0x00007fff },
   1143   { 0x00000000, 0x00000001, 0x00000001 },
   1144   { 0x00000000, 0x000000ff, 0x00007fff },
   1145   { 0x00000000, 0x00000020, 0x00000020 },
   1146   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1147   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1148   { 0x00000000, 0x00000001, 0xffff8001 },
   1149   { 0x00000000, 0x00000001, 0x80000001 },
   1150   { 0x00000000, 0x00000000, 0xffff8000 },
   1151   { 0x00000000, 0x00000001, 0xffff8001 },
   1152   { 0x00000000, 0x00000000, 0x00000000 },
   1153   { 0x00000000, 0x00000033, 0x33333333 },
   1154   { 0x00000000, 0x00000080, 0xffffff80 },
   1155   { 0x00000000, 0x00000055, 0x55555555 },
   1156   { 0x00000000, 0x000000ff, 0xffffffff },
   1157 };
   1158 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r14_r10[] = {
   1159   { 0x00000000, 0x000000cc, 0xcccccccc },
   1160   { 0x00000000, 0x000000fe, 0x00007ffe },
   1161   { 0x00000000, 0x00000020, 0x00000020 },
   1162   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1163   { 0x00000000, 0x00000082, 0xffffff82 },
   1164   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1165   { 0x00000000, 0x000000fe, 0x00007ffe },
   1166   { 0x00000000, 0x00000000, 0x80000000 },
   1167   { 0x00000000, 0x00000033, 0x33333333 },
   1168   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1169   { 0x00000000, 0x000000cc, 0xcccccccc },
   1170   { 0x00000000, 0x00000055, 0x55555555 },
   1171   { 0x00000000, 0x000000ff, 0xffffffff },
   1172   { 0x00000000, 0x00000002, 0xffff8002 },
   1173   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1174   { 0x00000000, 0x0000007e, 0x0000007e },
   1175   { 0x00000000, 0x00000001, 0xffff8001 },
   1176   { 0x00000000, 0x000000fd, 0x00007ffd },
   1177   { 0x00000000, 0x00000002, 0x00000002 },
   1178   { 0x00000000, 0x00000055, 0x55555555 },
   1179   { 0x00000000, 0x00000080, 0xffffff80 },
   1180   { 0x00000000, 0x00000000, 0xffff8000 },
   1181   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1182   { 0x00000000, 0x00000000, 0x00000000 },
   1183   { 0x00000000, 0x0000007e, 0x0000007e },
   1184   { 0x00000000, 0x000000ff, 0xffffffff },
   1185   { 0x00000000, 0x00000001, 0x80000001 },
   1186   { 0x00000000, 0x0000007f, 0x0000007f },
   1187   { 0x00000000, 0x000000cc, 0xcccccccc },
   1188   { 0x00000000, 0x000000fe, 0x00007ffe },
   1189   { 0x00000000, 0x0000007e, 0x0000007e },
   1190   { 0x00000000, 0x000000cc, 0xcccccccc },
   1191   { 0x00000000, 0x00000002, 0xffff8002 },
   1192   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1193   { 0x00000000, 0x00000001, 0x00000001 },
   1194   { 0x00000000, 0x00000020, 0x00000020 },
   1195   { 0x00000000, 0x00000001, 0xffff8001 },
   1196   { 0x00000000, 0x000000fe, 0xfffffffe },
   1197   { 0x00000000, 0x00000055, 0x55555555 },
   1198   { 0x00000000, 0x00000083, 0xffffff83 },
   1199   { 0x00000000, 0x00000001, 0xffff8001 },
   1200   { 0x00000000, 0x00000000, 0xffff8000 },
   1201   { 0x00000000, 0x00000002, 0x00000002 },
   1202   { 0x00000000, 0x00000000, 0xffff8000 },
   1203   { 0x00000000, 0x00000081, 0xffffff81 },
   1204   { 0x00000000, 0x00000000, 0x00000000 },
   1205   { 0x00000000, 0x00000081, 0xffffff81 },
   1206   { 0x00000000, 0x00000082, 0xffffff82 },
   1207   { 0x00000000, 0x00000003, 0xffff8003 },
   1208   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1209   { 0x00000000, 0x000000fe, 0x00007ffe },
   1210   { 0x00000000, 0x0000007d, 0x0000007d },
   1211   { 0x00000000, 0x000000fd, 0x00007ffd },
   1212   { 0x00000000, 0x00000082, 0xffffff82 },
   1213   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1214   { 0x00000000, 0x00000083, 0xffffff83 },
   1215   { 0x00000000, 0x00000002, 0x00000002 },
   1216   { 0x00000000, 0x00000082, 0xffffff82 },
   1217   { 0x00000000, 0x00000020, 0x00000020 },
   1218   { 0x00000000, 0x00000082, 0xffffff82 },
   1219   { 0x00000000, 0x00000082, 0xffffff82 },
   1220   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1221   { 0x00000000, 0x00000001, 0x00000001 },
   1222   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1223   { 0x00000000, 0x00000083, 0xffffff83 },
   1224   { 0x00000000, 0x00000000, 0x00000000 },
   1225   { 0x00000000, 0x00000000, 0xffff8000 },
   1226   { 0x00000000, 0x000000ff, 0x7fffffff },
   1227   { 0x00000000, 0x00000000, 0x80000000 },
   1228   { 0x00000000, 0x00000001, 0x00000001 },
   1229   { 0x00000000, 0x00000082, 0xffffff82 },
   1230   { 0x00000000, 0x000000fe, 0x00007ffe },
   1231   { 0x00000000, 0x000000fd, 0xfffffffd },
   1232   { 0x00000000, 0x00000033, 0x33333333 },
   1233   { 0x00000000, 0x00000000, 0x80000000 },
   1234   { 0x00000000, 0x000000ff, 0x00007fff },
   1235   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1236   { 0x00000000, 0x0000007f, 0x0000007f },
   1237   { 0x00000000, 0x00000001, 0xffff8001 },
   1238   { 0x00000000, 0x00000001, 0x00000001 },
   1239   { 0x00000000, 0x000000ff, 0xffffffff },
   1240   { 0x00000000, 0x000000cc, 0xcccccccc },
   1241   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1242   { 0x00000000, 0x00000000, 0x00000000 },
   1243   { 0x00000000, 0x000000cc, 0xcccccccc },
   1244   { 0x00000000, 0x00000083, 0xffffff83 },
   1245   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1246   { 0x00000000, 0x000000ff, 0x00007fff },
   1247   { 0x00000000, 0x00000002, 0x00000002 },
   1248   { 0x00000000, 0x000000cc, 0xcccccccc },
   1249   { 0x00000000, 0x00000080, 0xffffff80 },
   1250   { 0x00000000, 0x00000020, 0x00000020 },
   1251   { 0x00000000, 0x000000fe, 0xfffffffe },
   1252   { 0x00000000, 0x00000081, 0xffffff81 },
   1253   { 0x00000000, 0x0000007f, 0x0000007f },
   1254   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1255   { 0x00000000, 0x000000fe, 0xfffffffe },
   1256   { 0x00000000, 0x00000002, 0xffff8002 },
   1257   { 0x00000000, 0x000000ff, 0xffffffff },
   1258   { 0x00000000, 0x00000080, 0xffffff80 },
   1259   { 0x00000000, 0x000000ff, 0x00007fff },
   1260   { 0x00000000, 0x00000001, 0xffff8001 },
   1261   { 0x00000000, 0x00000002, 0xffff8002 },
   1262   { 0x00000000, 0x00000083, 0xffffff83 },
   1263   { 0x00000000, 0x0000007f, 0x0000007f },
   1264   { 0x00000000, 0x000000fe, 0xfffffffe },
   1265   { 0x00000000, 0x00000003, 0xffff8003 },
   1266   { 0x00000000, 0x00000002, 0xffff8002 },
   1267   { 0x00000000, 0x0000007f, 0x0000007f },
   1268   { 0x00000000, 0x00000002, 0x00000002 },
   1269   { 0x00000000, 0x00000001, 0xffff8001 },
   1270   { 0x00000000, 0x00000001, 0x00000001 },
   1271   { 0x00000000, 0x00000002, 0xffff8002 },
   1272   { 0x00000000, 0x000000ff, 0x7fffffff },
   1273   { 0x00000000, 0x00000000, 0xffff8000 },
   1274   { 0x00000000, 0x000000fd, 0x00007ffd },
   1275   { 0x00000000, 0x00000081, 0xffffff81 },
   1276   { 0x00000000, 0x00000055, 0x55555555 },
   1277   { 0x00000000, 0x00000020, 0x00000020 },
   1278   { 0x00000000, 0x00000001, 0x00000001 },
   1279   { 0x00000000, 0x00000002, 0xffff8002 },
   1280   { 0x00000000, 0x000000fe, 0xfffffffe },
   1281   { 0x00000000, 0x000000fd, 0x00007ffd },
   1282   { 0x00000000, 0x000000fd, 0xfffffffd },
   1283   { 0x00000000, 0x00000080, 0xffffff80 },
   1284   { 0x00000000, 0x00000080, 0xffffff80 },
   1285   { 0x00000000, 0x00000002, 0xffff8002 },
   1286   { 0x00000000, 0x00000002, 0xffff8002 },
   1287   { 0x00000000, 0x000000fe, 0x00007ffe },
   1288   { 0x00000000, 0x00000001, 0xffff8001 },
   1289   { 0x00000000, 0x00000080, 0xffffff80 },
   1290   { 0x00000000, 0x00000000, 0x80000000 },
   1291   { 0x00000000, 0x000000fe, 0x00007ffe },
   1292   { 0x00000000, 0x00000000, 0xffff8000 },
   1293   { 0x00000000, 0x000000ff, 0x00007fff },
   1294   { 0x00000000, 0x0000007d, 0x0000007d },
   1295   { 0x00000000, 0x00000000, 0x00000000 },
   1296   { 0x00000000, 0x00000055, 0x55555555 },
   1297   { 0x00000000, 0x00000000, 0x80000000 },
   1298   { 0x00000000, 0x00000080, 0xffffff80 },
   1299   { 0x00000000, 0x00000003, 0xffff8003 },
   1300   { 0x00000000, 0x00000001, 0x80000001 },
   1301   { 0x00000000, 0x00000001, 0xffff8001 },
   1302   { 0x00000000, 0x00000002, 0x00000002 },
   1303   { 0x00000000, 0x00000081, 0xffffff81 },
   1304   { 0x00000000, 0x00000001, 0xffff8001 },
   1305   { 0x00000000, 0x000000fe, 0xfffffffe },
   1306   { 0x00000000, 0x000000fd, 0xfffffffd },
   1307   { 0x00000000, 0x000000ff, 0xffffffff },
   1308   { 0x00000000, 0x00000000, 0x80000000 },
   1309   { 0x00000000, 0x00000001, 0x80000001 },
   1310   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1311   { 0x00000000, 0x00000000, 0x00000000 },
   1312   { 0x00000000, 0x00000001, 0x00000001 },
   1313   { 0x00000000, 0x000000ff, 0x7fffffff },
   1314   { 0x00000000, 0x000000ff, 0xffffffff },
   1315   { 0x00000000, 0x000000ff, 0x00007fff },
   1316   { 0x00000000, 0x000000ff, 0x00007fff },
   1317   { 0x00000000, 0x00000055, 0x55555555 },
   1318   { 0x00000000, 0x00000033, 0x33333333 },
   1319   { 0x00000000, 0x000000fd, 0xfffffffd },
   1320   { 0x00000000, 0x00000001, 0x00000001 },
   1321   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1322   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1323   { 0x00000000, 0x00000033, 0x33333333 },
   1324   { 0x00000000, 0x00000003, 0xffff8003 },
   1325   { 0x00000000, 0x000000ff, 0x7fffffff },
   1326   { 0x00000000, 0x00000083, 0xffffff83 },
   1327   { 0x00000000, 0x00000000, 0xffff8000 },
   1328   { 0x00000000, 0x00000055, 0x55555555 },
   1329   { 0x00000000, 0x00000081, 0xffffff81 },
   1330   { 0x00000000, 0x000000fe, 0xfffffffe },
   1331   { 0x00000000, 0x000000ff, 0x7fffffff },
   1332   { 0x00000000, 0x000000ff, 0x7fffffff },
   1333   { 0x00000000, 0x00000003, 0xffff8003 },
   1334   { 0x00000000, 0x000000ff, 0xffffffff },
   1335   { 0x00000000, 0x000000fd, 0x00007ffd },
   1336   { 0x00000000, 0x000000ff, 0x00007fff },
   1337   { 0x00000000, 0x000000ff, 0xffffffff },
   1338   { 0x00000000, 0x00000003, 0xffff8003 },
   1339   { 0x00000000, 0x000000fd, 0xfffffffd },
   1340   { 0x00000000, 0x00000000, 0x80000000 },
   1341   { 0x00000000, 0x00000020, 0x00000020 },
   1342   { 0x00000000, 0x00000002, 0x00000002 },
   1343   { 0x00000000, 0x00000002, 0x00000002 },
   1344   { 0x00000000, 0x000000ff, 0x00007fff },
   1345   { 0x00000000, 0x00000001, 0x00000001 },
   1346   { 0x00000000, 0x000000ff, 0x00007fff },
   1347   { 0x00000000, 0x00000020, 0x00000020 },
   1348   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1349   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1350   { 0x00000000, 0x00000001, 0xffff8001 },
   1351   { 0x00000000, 0x00000001, 0x80000001 },
   1352   { 0x00000000, 0x00000000, 0xffff8000 },
   1353   { 0x00000000, 0x00000001, 0xffff8001 },
   1354   { 0x00000000, 0x00000000, 0x00000000 },
   1355   { 0x00000000, 0x00000033, 0x33333333 },
   1356   { 0x00000000, 0x00000080, 0xffffff80 },
   1357   { 0x00000000, 0x00000055, 0x55555555 },
   1358   { 0x00000000, 0x000000ff, 0xffffffff },
   1359 };
   1360 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r10_r6[] = {
   1361   { 0x00000000, 0x000000cc, 0xcccccccc },
   1362   { 0x00000000, 0x000000fe, 0x00007ffe },
   1363   { 0x00000000, 0x00000020, 0x00000020 },
   1364   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1365   { 0x00000000, 0x00000082, 0xffffff82 },
   1366   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1367   { 0x00000000, 0x000000fe, 0x00007ffe },
   1368   { 0x00000000, 0x00000000, 0x80000000 },
   1369   { 0x00000000, 0x00000033, 0x33333333 },
   1370   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1371   { 0x00000000, 0x000000cc, 0xcccccccc },
   1372   { 0x00000000, 0x00000055, 0x55555555 },
   1373   { 0x00000000, 0x000000ff, 0xffffffff },
   1374   { 0x00000000, 0x00000002, 0xffff8002 },
   1375   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1376   { 0x00000000, 0x0000007e, 0x0000007e },
   1377   { 0x00000000, 0x00000001, 0xffff8001 },
   1378   { 0x00000000, 0x000000fd, 0x00007ffd },
   1379   { 0x00000000, 0x00000002, 0x00000002 },
   1380   { 0x00000000, 0x00000055, 0x55555555 },
   1381   { 0x00000000, 0x00000080, 0xffffff80 },
   1382   { 0x00000000, 0x00000000, 0xffff8000 },
   1383   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1384   { 0x00000000, 0x00000000, 0x00000000 },
   1385   { 0x00000000, 0x0000007e, 0x0000007e },
   1386   { 0x00000000, 0x000000ff, 0xffffffff },
   1387   { 0x00000000, 0x00000001, 0x80000001 },
   1388   { 0x00000000, 0x0000007f, 0x0000007f },
   1389   { 0x00000000, 0x000000cc, 0xcccccccc },
   1390   { 0x00000000, 0x000000fe, 0x00007ffe },
   1391   { 0x00000000, 0x0000007e, 0x0000007e },
   1392   { 0x00000000, 0x000000cc, 0xcccccccc },
   1393   { 0x00000000, 0x00000002, 0xffff8002 },
   1394   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1395   { 0x00000000, 0x00000001, 0x00000001 },
   1396   { 0x00000000, 0x00000020, 0x00000020 },
   1397   { 0x00000000, 0x00000001, 0xffff8001 },
   1398   { 0x00000000, 0x000000fe, 0xfffffffe },
   1399   { 0x00000000, 0x00000055, 0x55555555 },
   1400   { 0x00000000, 0x00000083, 0xffffff83 },
   1401   { 0x00000000, 0x00000001, 0xffff8001 },
   1402   { 0x00000000, 0x00000000, 0xffff8000 },
   1403   { 0x00000000, 0x00000002, 0x00000002 },
   1404   { 0x00000000, 0x00000000, 0xffff8000 },
   1405   { 0x00000000, 0x00000081, 0xffffff81 },
   1406   { 0x00000000, 0x00000000, 0x00000000 },
   1407   { 0x00000000, 0x00000081, 0xffffff81 },
   1408   { 0x00000000, 0x00000082, 0xffffff82 },
   1409   { 0x00000000, 0x00000003, 0xffff8003 },
   1410   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1411   { 0x00000000, 0x000000fe, 0x00007ffe },
   1412   { 0x00000000, 0x0000007d, 0x0000007d },
   1413   { 0x00000000, 0x000000fd, 0x00007ffd },
   1414   { 0x00000000, 0x00000082, 0xffffff82 },
   1415   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1416   { 0x00000000, 0x00000083, 0xffffff83 },
   1417   { 0x00000000, 0x00000002, 0x00000002 },
   1418   { 0x00000000, 0x00000082, 0xffffff82 },
   1419   { 0x00000000, 0x00000020, 0x00000020 },
   1420   { 0x00000000, 0x00000082, 0xffffff82 },
   1421   { 0x00000000, 0x00000082, 0xffffff82 },
   1422   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1423   { 0x00000000, 0x00000001, 0x00000001 },
   1424   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1425   { 0x00000000, 0x00000083, 0xffffff83 },
   1426   { 0x00000000, 0x00000000, 0x00000000 },
   1427   { 0x00000000, 0x00000000, 0xffff8000 },
   1428   { 0x00000000, 0x000000ff, 0x7fffffff },
   1429   { 0x00000000, 0x00000000, 0x80000000 },
   1430   { 0x00000000, 0x00000001, 0x00000001 },
   1431   { 0x00000000, 0x00000082, 0xffffff82 },
   1432   { 0x00000000, 0x000000fe, 0x00007ffe },
   1433   { 0x00000000, 0x000000fd, 0xfffffffd },
   1434   { 0x00000000, 0x00000033, 0x33333333 },
   1435   { 0x00000000, 0x00000000, 0x80000000 },
   1436   { 0x00000000, 0x000000ff, 0x00007fff },
   1437   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1438   { 0x00000000, 0x0000007f, 0x0000007f },
   1439   { 0x00000000, 0x00000001, 0xffff8001 },
   1440   { 0x00000000, 0x00000001, 0x00000001 },
   1441   { 0x00000000, 0x000000ff, 0xffffffff },
   1442   { 0x00000000, 0x000000cc, 0xcccccccc },
   1443   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1444   { 0x00000000, 0x00000000, 0x00000000 },
   1445   { 0x00000000, 0x000000cc, 0xcccccccc },
   1446   { 0x00000000, 0x00000083, 0xffffff83 },
   1447   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1448   { 0x00000000, 0x000000ff, 0x00007fff },
   1449   { 0x00000000, 0x00000002, 0x00000002 },
   1450   { 0x00000000, 0x000000cc, 0xcccccccc },
   1451   { 0x00000000, 0x00000080, 0xffffff80 },
   1452   { 0x00000000, 0x00000020, 0x00000020 },
   1453   { 0x00000000, 0x000000fe, 0xfffffffe },
   1454   { 0x00000000, 0x00000081, 0xffffff81 },
   1455   { 0x00000000, 0x0000007f, 0x0000007f },
   1456   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1457   { 0x00000000, 0x000000fe, 0xfffffffe },
   1458   { 0x00000000, 0x00000002, 0xffff8002 },
   1459   { 0x00000000, 0x000000ff, 0xffffffff },
   1460   { 0x00000000, 0x00000080, 0xffffff80 },
   1461   { 0x00000000, 0x000000ff, 0x00007fff },
   1462   { 0x00000000, 0x00000001, 0xffff8001 },
   1463   { 0x00000000, 0x00000002, 0xffff8002 },
   1464   { 0x00000000, 0x00000083, 0xffffff83 },
   1465   { 0x00000000, 0x0000007f, 0x0000007f },
   1466   { 0x00000000, 0x000000fe, 0xfffffffe },
   1467   { 0x00000000, 0x00000003, 0xffff8003 },
   1468   { 0x00000000, 0x00000002, 0xffff8002 },
   1469   { 0x00000000, 0x0000007f, 0x0000007f },
   1470   { 0x00000000, 0x00000002, 0x00000002 },
   1471   { 0x00000000, 0x00000001, 0xffff8001 },
   1472   { 0x00000000, 0x00000001, 0x00000001 },
   1473   { 0x00000000, 0x00000002, 0xffff8002 },
   1474   { 0x00000000, 0x000000ff, 0x7fffffff },
   1475   { 0x00000000, 0x00000000, 0xffff8000 },
   1476   { 0x00000000, 0x000000fd, 0x00007ffd },
   1477   { 0x00000000, 0x00000081, 0xffffff81 },
   1478   { 0x00000000, 0x00000055, 0x55555555 },
   1479   { 0x00000000, 0x00000020, 0x00000020 },
   1480   { 0x00000000, 0x00000001, 0x00000001 },
   1481   { 0x00000000, 0x00000002, 0xffff8002 },
   1482   { 0x00000000, 0x000000fe, 0xfffffffe },
   1483   { 0x00000000, 0x000000fd, 0x00007ffd },
   1484   { 0x00000000, 0x000000fd, 0xfffffffd },
   1485   { 0x00000000, 0x00000080, 0xffffff80 },
   1486   { 0x00000000, 0x00000080, 0xffffff80 },
   1487   { 0x00000000, 0x00000002, 0xffff8002 },
   1488   { 0x00000000, 0x00000002, 0xffff8002 },
   1489   { 0x00000000, 0x000000fe, 0x00007ffe },
   1490   { 0x00000000, 0x00000001, 0xffff8001 },
   1491   { 0x00000000, 0x00000080, 0xffffff80 },
   1492   { 0x00000000, 0x00000000, 0x80000000 },
   1493   { 0x00000000, 0x000000fe, 0x00007ffe },
   1494   { 0x00000000, 0x00000000, 0xffff8000 },
   1495   { 0x00000000, 0x000000ff, 0x00007fff },
   1496   { 0x00000000, 0x0000007d, 0x0000007d },
   1497   { 0x00000000, 0x00000000, 0x00000000 },
   1498   { 0x00000000, 0x00000055, 0x55555555 },
   1499   { 0x00000000, 0x00000000, 0x80000000 },
   1500   { 0x00000000, 0x00000080, 0xffffff80 },
   1501   { 0x00000000, 0x00000003, 0xffff8003 },
   1502   { 0x00000000, 0x00000001, 0x80000001 },
   1503   { 0x00000000, 0x00000001, 0xffff8001 },
   1504   { 0x00000000, 0x00000002, 0x00000002 },
   1505   { 0x00000000, 0x00000081, 0xffffff81 },
   1506   { 0x00000000, 0x00000001, 0xffff8001 },
   1507   { 0x00000000, 0x000000fe, 0xfffffffe },
   1508   { 0x00000000, 0x000000fd, 0xfffffffd },
   1509   { 0x00000000, 0x000000ff, 0xffffffff },
   1510   { 0x00000000, 0x00000000, 0x80000000 },
   1511   { 0x00000000, 0x00000001, 0x80000001 },
   1512   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1513   { 0x00000000, 0x00000000, 0x00000000 },
   1514   { 0x00000000, 0x00000001, 0x00000001 },
   1515   { 0x00000000, 0x000000ff, 0x7fffffff },
   1516   { 0x00000000, 0x000000ff, 0xffffffff },
   1517   { 0x00000000, 0x000000ff, 0x00007fff },
   1518   { 0x00000000, 0x000000ff, 0x00007fff },
   1519   { 0x00000000, 0x00000055, 0x55555555 },
   1520   { 0x00000000, 0x00000033, 0x33333333 },
   1521   { 0x00000000, 0x000000fd, 0xfffffffd },
   1522   { 0x00000000, 0x00000001, 0x00000001 },
   1523   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1524   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1525   { 0x00000000, 0x00000033, 0x33333333 },
   1526   { 0x00000000, 0x00000003, 0xffff8003 },
   1527   { 0x00000000, 0x000000ff, 0x7fffffff },
   1528   { 0x00000000, 0x00000083, 0xffffff83 },
   1529   { 0x00000000, 0x00000000, 0xffff8000 },
   1530   { 0x00000000, 0x00000055, 0x55555555 },
   1531   { 0x00000000, 0x00000081, 0xffffff81 },
   1532   { 0x00000000, 0x000000fe, 0xfffffffe },
   1533   { 0x00000000, 0x000000ff, 0x7fffffff },
   1534   { 0x00000000, 0x000000ff, 0x7fffffff },
   1535   { 0x00000000, 0x00000003, 0xffff8003 },
   1536   { 0x00000000, 0x000000ff, 0xffffffff },
   1537   { 0x00000000, 0x000000fd, 0x00007ffd },
   1538   { 0x00000000, 0x000000ff, 0x00007fff },
   1539   { 0x00000000, 0x000000ff, 0xffffffff },
   1540   { 0x00000000, 0x00000003, 0xffff8003 },
   1541   { 0x00000000, 0x000000fd, 0xfffffffd },
   1542   { 0x00000000, 0x00000000, 0x80000000 },
   1543   { 0x00000000, 0x00000020, 0x00000020 },
   1544   { 0x00000000, 0x00000002, 0x00000002 },
   1545   { 0x00000000, 0x00000002, 0x00000002 },
   1546   { 0x00000000, 0x000000ff, 0x00007fff },
   1547   { 0x00000000, 0x00000001, 0x00000001 },
   1548   { 0x00000000, 0x000000ff, 0x00007fff },
   1549   { 0x00000000, 0x00000020, 0x00000020 },
   1550   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1551   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1552   { 0x00000000, 0x00000001, 0xffff8001 },
   1553   { 0x00000000, 0x00000001, 0x80000001 },
   1554   { 0x00000000, 0x00000000, 0xffff8000 },
   1555   { 0x00000000, 0x00000001, 0xffff8001 },
   1556   { 0x00000000, 0x00000000, 0x00000000 },
   1557   { 0x00000000, 0x00000033, 0x33333333 },
   1558   { 0x00000000, 0x00000080, 0xffffff80 },
   1559   { 0x00000000, 0x00000055, 0x55555555 },
   1560   { 0x00000000, 0x000000ff, 0xffffffff },
   1561 };
   1562 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r6_r5[] = {
   1563   { 0x00000000, 0x000000cc, 0xcccccccc },
   1564   { 0x00000000, 0x000000fe, 0x00007ffe },
   1565   { 0x00000000, 0x00000020, 0x00000020 },
   1566   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1567   { 0x00000000, 0x00000082, 0xffffff82 },
   1568   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1569   { 0x00000000, 0x000000fe, 0x00007ffe },
   1570   { 0x00000000, 0x00000000, 0x80000000 },
   1571   { 0x00000000, 0x00000033, 0x33333333 },
   1572   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1573   { 0x00000000, 0x000000cc, 0xcccccccc },
   1574   { 0x00000000, 0x00000055, 0x55555555 },
   1575   { 0x00000000, 0x000000ff, 0xffffffff },
   1576   { 0x00000000, 0x00000002, 0xffff8002 },
   1577   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1578   { 0x00000000, 0x0000007e, 0x0000007e },
   1579   { 0x00000000, 0x00000001, 0xffff8001 },
   1580   { 0x00000000, 0x000000fd, 0x00007ffd },
   1581   { 0x00000000, 0x00000002, 0x00000002 },
   1582   { 0x00000000, 0x00000055, 0x55555555 },
   1583   { 0x00000000, 0x00000080, 0xffffff80 },
   1584   { 0x00000000, 0x00000000, 0xffff8000 },
   1585   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1586   { 0x00000000, 0x00000000, 0x00000000 },
   1587   { 0x00000000, 0x0000007e, 0x0000007e },
   1588   { 0x00000000, 0x000000ff, 0xffffffff },
   1589   { 0x00000000, 0x00000001, 0x80000001 },
   1590   { 0x00000000, 0x0000007f, 0x0000007f },
   1591   { 0x00000000, 0x000000cc, 0xcccccccc },
   1592   { 0x00000000, 0x000000fe, 0x00007ffe },
   1593   { 0x00000000, 0x0000007e, 0x0000007e },
   1594   { 0x00000000, 0x000000cc, 0xcccccccc },
   1595   { 0x00000000, 0x00000002, 0xffff8002 },
   1596   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1597   { 0x00000000, 0x00000001, 0x00000001 },
   1598   { 0x00000000, 0x00000020, 0x00000020 },
   1599   { 0x00000000, 0x00000001, 0xffff8001 },
   1600   { 0x00000000, 0x000000fe, 0xfffffffe },
   1601   { 0x00000000, 0x00000055, 0x55555555 },
   1602   { 0x00000000, 0x00000083, 0xffffff83 },
   1603   { 0x00000000, 0x00000001, 0xffff8001 },
   1604   { 0x00000000, 0x00000000, 0xffff8000 },
   1605   { 0x00000000, 0x00000002, 0x00000002 },
   1606   { 0x00000000, 0x00000000, 0xffff8000 },
   1607   { 0x00000000, 0x00000081, 0xffffff81 },
   1608   { 0x00000000, 0x00000000, 0x00000000 },
   1609   { 0x00000000, 0x00000081, 0xffffff81 },
   1610   { 0x00000000, 0x00000082, 0xffffff82 },
   1611   { 0x00000000, 0x00000003, 0xffff8003 },
   1612   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1613   { 0x00000000, 0x000000fe, 0x00007ffe },
   1614   { 0x00000000, 0x0000007d, 0x0000007d },
   1615   { 0x00000000, 0x000000fd, 0x00007ffd },
   1616   { 0x00000000, 0x00000082, 0xffffff82 },
   1617   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1618   { 0x00000000, 0x00000083, 0xffffff83 },
   1619   { 0x00000000, 0x00000002, 0x00000002 },
   1620   { 0x00000000, 0x00000082, 0xffffff82 },
   1621   { 0x00000000, 0x00000020, 0x00000020 },
   1622   { 0x00000000, 0x00000082, 0xffffff82 },
   1623   { 0x00000000, 0x00000082, 0xffffff82 },
   1624   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1625   { 0x00000000, 0x00000001, 0x00000001 },
   1626   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1627   { 0x00000000, 0x00000083, 0xffffff83 },
   1628   { 0x00000000, 0x00000000, 0x00000000 },
   1629   { 0x00000000, 0x00000000, 0xffff8000 },
   1630   { 0x00000000, 0x000000ff, 0x7fffffff },
   1631   { 0x00000000, 0x00000000, 0x80000000 },
   1632   { 0x00000000, 0x00000001, 0x00000001 },
   1633   { 0x00000000, 0x00000082, 0xffffff82 },
   1634   { 0x00000000, 0x000000fe, 0x00007ffe },
   1635   { 0x00000000, 0x000000fd, 0xfffffffd },
   1636   { 0x00000000, 0x00000033, 0x33333333 },
   1637   { 0x00000000, 0x00000000, 0x80000000 },
   1638   { 0x00000000, 0x000000ff, 0x00007fff },
   1639   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1640   { 0x00000000, 0x0000007f, 0x0000007f },
   1641   { 0x00000000, 0x00000001, 0xffff8001 },
   1642   { 0x00000000, 0x00000001, 0x00000001 },
   1643   { 0x00000000, 0x000000ff, 0xffffffff },
   1644   { 0x00000000, 0x000000cc, 0xcccccccc },
   1645   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1646   { 0x00000000, 0x00000000, 0x00000000 },
   1647   { 0x00000000, 0x000000cc, 0xcccccccc },
   1648   { 0x00000000, 0x00000083, 0xffffff83 },
   1649   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1650   { 0x00000000, 0x000000ff, 0x00007fff },
   1651   { 0x00000000, 0x00000002, 0x00000002 },
   1652   { 0x00000000, 0x000000cc, 0xcccccccc },
   1653   { 0x00000000, 0x00000080, 0xffffff80 },
   1654   { 0x00000000, 0x00000020, 0x00000020 },
   1655   { 0x00000000, 0x000000fe, 0xfffffffe },
   1656   { 0x00000000, 0x00000081, 0xffffff81 },
   1657   { 0x00000000, 0x0000007f, 0x0000007f },
   1658   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1659   { 0x00000000, 0x000000fe, 0xfffffffe },
   1660   { 0x00000000, 0x00000002, 0xffff8002 },
   1661   { 0x00000000, 0x000000ff, 0xffffffff },
   1662   { 0x00000000, 0x00000080, 0xffffff80 },
   1663   { 0x00000000, 0x000000ff, 0x00007fff },
   1664   { 0x00000000, 0x00000001, 0xffff8001 },
   1665   { 0x00000000, 0x00000002, 0xffff8002 },
   1666   { 0x00000000, 0x00000083, 0xffffff83 },
   1667   { 0x00000000, 0x0000007f, 0x0000007f },
   1668   { 0x00000000, 0x000000fe, 0xfffffffe },
   1669   { 0x00000000, 0x00000003, 0xffff8003 },
   1670   { 0x00000000, 0x00000002, 0xffff8002 },
   1671   { 0x00000000, 0x0000007f, 0x0000007f },
   1672   { 0x00000000, 0x00000002, 0x00000002 },
   1673   { 0x00000000, 0x00000001, 0xffff8001 },
   1674   { 0x00000000, 0x00000001, 0x00000001 },
   1675   { 0x00000000, 0x00000002, 0xffff8002 },
   1676   { 0x00000000, 0x000000ff, 0x7fffffff },
   1677   { 0x00000000, 0x00000000, 0xffff8000 },
   1678   { 0x00000000, 0x000000fd, 0x00007ffd },
   1679   { 0x00000000, 0x00000081, 0xffffff81 },
   1680   { 0x00000000, 0x00000055, 0x55555555 },
   1681   { 0x00000000, 0x00000020, 0x00000020 },
   1682   { 0x00000000, 0x00000001, 0x00000001 },
   1683   { 0x00000000, 0x00000002, 0xffff8002 },
   1684   { 0x00000000, 0x000000fe, 0xfffffffe },
   1685   { 0x00000000, 0x000000fd, 0x00007ffd },
   1686   { 0x00000000, 0x000000fd, 0xfffffffd },
   1687   { 0x00000000, 0x00000080, 0xffffff80 },
   1688   { 0x00000000, 0x00000080, 0xffffff80 },
   1689   { 0x00000000, 0x00000002, 0xffff8002 },
   1690   { 0x00000000, 0x00000002, 0xffff8002 },
   1691   { 0x00000000, 0x000000fe, 0x00007ffe },
   1692   { 0x00000000, 0x00000001, 0xffff8001 },
   1693   { 0x00000000, 0x00000080, 0xffffff80 },
   1694   { 0x00000000, 0x00000000, 0x80000000 },
   1695   { 0x00000000, 0x000000fe, 0x00007ffe },
   1696   { 0x00000000, 0x00000000, 0xffff8000 },
   1697   { 0x00000000, 0x000000ff, 0x00007fff },
   1698   { 0x00000000, 0x0000007d, 0x0000007d },
   1699   { 0x00000000, 0x00000000, 0x00000000 },
   1700   { 0x00000000, 0x00000055, 0x55555555 },
   1701   { 0x00000000, 0x00000000, 0x80000000 },
   1702   { 0x00000000, 0x00000080, 0xffffff80 },
   1703   { 0x00000000, 0x00000003, 0xffff8003 },
   1704   { 0x00000000, 0x00000001, 0x80000001 },
   1705   { 0x00000000, 0x00000001, 0xffff8001 },
   1706   { 0x00000000, 0x00000002, 0x00000002 },
   1707   { 0x00000000, 0x00000081, 0xffffff81 },
   1708   { 0x00000000, 0x00000001, 0xffff8001 },
   1709   { 0x00000000, 0x000000fe, 0xfffffffe },
   1710   { 0x00000000, 0x000000fd, 0xfffffffd },
   1711   { 0x00000000, 0x000000ff, 0xffffffff },
   1712   { 0x00000000, 0x00000000, 0x80000000 },
   1713   { 0x00000000, 0x00000001, 0x80000001 },
   1714   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1715   { 0x00000000, 0x00000000, 0x00000000 },
   1716   { 0x00000000, 0x00000001, 0x00000001 },
   1717   { 0x00000000, 0x000000ff, 0x7fffffff },
   1718   { 0x00000000, 0x000000ff, 0xffffffff },
   1719   { 0x00000000, 0x000000ff, 0x00007fff },
   1720   { 0x00000000, 0x000000ff, 0x00007fff },
   1721   { 0x00000000, 0x00000055, 0x55555555 },
   1722   { 0x00000000, 0x00000033, 0x33333333 },
   1723   { 0x00000000, 0x000000fd, 0xfffffffd },
   1724   { 0x00000000, 0x00000001, 0x00000001 },
   1725   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1726   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1727   { 0x00000000, 0x00000033, 0x33333333 },
   1728   { 0x00000000, 0x00000003, 0xffff8003 },
   1729   { 0x00000000, 0x000000ff, 0x7fffffff },
   1730   { 0x00000000, 0x00000083, 0xffffff83 },
   1731   { 0x00000000, 0x00000000, 0xffff8000 },
   1732   { 0x00000000, 0x00000055, 0x55555555 },
   1733   { 0x00000000, 0x00000081, 0xffffff81 },
   1734   { 0x00000000, 0x000000fe, 0xfffffffe },
   1735   { 0x00000000, 0x000000ff, 0x7fffffff },
   1736   { 0x00000000, 0x000000ff, 0x7fffffff },
   1737   { 0x00000000, 0x00000003, 0xffff8003 },
   1738   { 0x00000000, 0x000000ff, 0xffffffff },
   1739   { 0x00000000, 0x000000fd, 0x00007ffd },
   1740   { 0x00000000, 0x000000ff, 0x00007fff },
   1741   { 0x00000000, 0x000000ff, 0xffffffff },
   1742   { 0x00000000, 0x00000003, 0xffff8003 },
   1743   { 0x00000000, 0x000000fd, 0xfffffffd },
   1744   { 0x00000000, 0x00000000, 0x80000000 },
   1745   { 0x00000000, 0x00000020, 0x00000020 },
   1746   { 0x00000000, 0x00000002, 0x00000002 },
   1747   { 0x00000000, 0x00000002, 0x00000002 },
   1748   { 0x00000000, 0x000000ff, 0x00007fff },
   1749   { 0x00000000, 0x00000001, 0x00000001 },
   1750   { 0x00000000, 0x000000ff, 0x00007fff },
   1751   { 0x00000000, 0x00000020, 0x00000020 },
   1752   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1753   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1754   { 0x00000000, 0x00000001, 0xffff8001 },
   1755   { 0x00000000, 0x00000001, 0x80000001 },
   1756   { 0x00000000, 0x00000000, 0xffff8000 },
   1757   { 0x00000000, 0x00000001, 0xffff8001 },
   1758   { 0x00000000, 0x00000000, 0x00000000 },
   1759   { 0x00000000, 0x00000033, 0x33333333 },
   1760   { 0x00000000, 0x00000080, 0xffffff80 },
   1761   { 0x00000000, 0x00000055, 0x55555555 },
   1762   { 0x00000000, 0x000000ff, 0xffffffff },
   1763 };
   1764 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r12_r2[] = {
   1765   { 0x00000000, 0x000000cc, 0xcccccccc },
   1766   { 0x00000000, 0x000000fe, 0x00007ffe },
   1767   { 0x00000000, 0x00000020, 0x00000020 },
   1768   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1769   { 0x00000000, 0x00000082, 0xffffff82 },
   1770   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1771   { 0x00000000, 0x000000fe, 0x00007ffe },
   1772   { 0x00000000, 0x00000000, 0x80000000 },
   1773   { 0x00000000, 0x00000033, 0x33333333 },
   1774   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1775   { 0x00000000, 0x000000cc, 0xcccccccc },
   1776   { 0x00000000, 0x00000055, 0x55555555 },
   1777   { 0x00000000, 0x000000ff, 0xffffffff },
   1778   { 0x00000000, 0x00000002, 0xffff8002 },
   1779   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1780   { 0x00000000, 0x0000007e, 0x0000007e },
   1781   { 0x00000000, 0x00000001, 0xffff8001 },
   1782   { 0x00000000, 0x000000fd, 0x00007ffd },
   1783   { 0x00000000, 0x00000002, 0x00000002 },
   1784   { 0x00000000, 0x00000055, 0x55555555 },
   1785   { 0x00000000, 0x00000080, 0xffffff80 },
   1786   { 0x00000000, 0x00000000, 0xffff8000 },
   1787   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1788   { 0x00000000, 0x00000000, 0x00000000 },
   1789   { 0x00000000, 0x0000007e, 0x0000007e },
   1790   { 0x00000000, 0x000000ff, 0xffffffff },
   1791   { 0x00000000, 0x00000001, 0x80000001 },
   1792   { 0x00000000, 0x0000007f, 0x0000007f },
   1793   { 0x00000000, 0x000000cc, 0xcccccccc },
   1794   { 0x00000000, 0x000000fe, 0x00007ffe },
   1795   { 0x00000000, 0x0000007e, 0x0000007e },
   1796   { 0x00000000, 0x000000cc, 0xcccccccc },
   1797   { 0x00000000, 0x00000002, 0xffff8002 },
   1798   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1799   { 0x00000000, 0x00000001, 0x00000001 },
   1800   { 0x00000000, 0x00000020, 0x00000020 },
   1801   { 0x00000000, 0x00000001, 0xffff8001 },
   1802   { 0x00000000, 0x000000fe, 0xfffffffe },
   1803   { 0x00000000, 0x00000055, 0x55555555 },
   1804   { 0x00000000, 0x00000083, 0xffffff83 },
   1805   { 0x00000000, 0x00000001, 0xffff8001 },
   1806   { 0x00000000, 0x00000000, 0xffff8000 },
   1807   { 0x00000000, 0x00000002, 0x00000002 },
   1808   { 0x00000000, 0x00000000, 0xffff8000 },
   1809   { 0x00000000, 0x00000081, 0xffffff81 },
   1810   { 0x00000000, 0x00000000, 0x00000000 },
   1811   { 0x00000000, 0x00000081, 0xffffff81 },
   1812   { 0x00000000, 0x00000082, 0xffffff82 },
   1813   { 0x00000000, 0x00000003, 0xffff8003 },
   1814   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1815   { 0x00000000, 0x000000fe, 0x00007ffe },
   1816   { 0x00000000, 0x0000007d, 0x0000007d },
   1817   { 0x00000000, 0x000000fd, 0x00007ffd },
   1818   { 0x00000000, 0x00000082, 0xffffff82 },
   1819   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1820   { 0x00000000, 0x00000083, 0xffffff83 },
   1821   { 0x00000000, 0x00000002, 0x00000002 },
   1822   { 0x00000000, 0x00000082, 0xffffff82 },
   1823   { 0x00000000, 0x00000020, 0x00000020 },
   1824   { 0x00000000, 0x00000082, 0xffffff82 },
   1825   { 0x00000000, 0x00000082, 0xffffff82 },
   1826   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1827   { 0x00000000, 0x00000001, 0x00000001 },
   1828   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1829   { 0x00000000, 0x00000083, 0xffffff83 },
   1830   { 0x00000000, 0x00000000, 0x00000000 },
   1831   { 0x00000000, 0x00000000, 0xffff8000 },
   1832   { 0x00000000, 0x000000ff, 0x7fffffff },
   1833   { 0x00000000, 0x00000000, 0x80000000 },
   1834   { 0x00000000, 0x00000001, 0x00000001 },
   1835   { 0x00000000, 0x00000082, 0xffffff82 },
   1836   { 0x00000000, 0x000000fe, 0x00007ffe },
   1837   { 0x00000000, 0x000000fd, 0xfffffffd },
   1838   { 0x00000000, 0x00000033, 0x33333333 },
   1839   { 0x00000000, 0x00000000, 0x80000000 },
   1840   { 0x00000000, 0x000000ff, 0x00007fff },
   1841   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1842   { 0x00000000, 0x0000007f, 0x0000007f },
   1843   { 0x00000000, 0x00000001, 0xffff8001 },
   1844   { 0x00000000, 0x00000001, 0x00000001 },
   1845   { 0x00000000, 0x000000ff, 0xffffffff },
   1846   { 0x00000000, 0x000000cc, 0xcccccccc },
   1847   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1848   { 0x00000000, 0x00000000, 0x00000000 },
   1849   { 0x00000000, 0x000000cc, 0xcccccccc },
   1850   { 0x00000000, 0x00000083, 0xffffff83 },
   1851   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1852   { 0x00000000, 0x000000ff, 0x00007fff },
   1853   { 0x00000000, 0x00000002, 0x00000002 },
   1854   { 0x00000000, 0x000000cc, 0xcccccccc },
   1855   { 0x00000000, 0x00000080, 0xffffff80 },
   1856   { 0x00000000, 0x00000020, 0x00000020 },
   1857   { 0x00000000, 0x000000fe, 0xfffffffe },
   1858   { 0x00000000, 0x00000081, 0xffffff81 },
   1859   { 0x00000000, 0x0000007f, 0x0000007f },
   1860   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1861   { 0x00000000, 0x000000fe, 0xfffffffe },
   1862   { 0x00000000, 0x00000002, 0xffff8002 },
   1863   { 0x00000000, 0x000000ff, 0xffffffff },
   1864   { 0x00000000, 0x00000080, 0xffffff80 },
   1865   { 0x00000000, 0x000000ff, 0x00007fff },
   1866   { 0x00000000, 0x00000001, 0xffff8001 },
   1867   { 0x00000000, 0x00000002, 0xffff8002 },
   1868   { 0x00000000, 0x00000083, 0xffffff83 },
   1869   { 0x00000000, 0x0000007f, 0x0000007f },
   1870   { 0x00000000, 0x000000fe, 0xfffffffe },
   1871   { 0x00000000, 0x00000003, 0xffff8003 },
   1872   { 0x00000000, 0x00000002, 0xffff8002 },
   1873   { 0x00000000, 0x0000007f, 0x0000007f },
   1874   { 0x00000000, 0x00000002, 0x00000002 },
   1875   { 0x00000000, 0x00000001, 0xffff8001 },
   1876   { 0x00000000, 0x00000001, 0x00000001 },
   1877   { 0x00000000, 0x00000002, 0xffff8002 },
   1878   { 0x00000000, 0x000000ff, 0x7fffffff },
   1879   { 0x00000000, 0x00000000, 0xffff8000 },
   1880   { 0x00000000, 0x000000fd, 0x00007ffd },
   1881   { 0x00000000, 0x00000081, 0xffffff81 },
   1882   { 0x00000000, 0x00000055, 0x55555555 },
   1883   { 0x00000000, 0x00000020, 0x00000020 },
   1884   { 0x00000000, 0x00000001, 0x00000001 },
   1885   { 0x00000000, 0x00000002, 0xffff8002 },
   1886   { 0x00000000, 0x000000fe, 0xfffffffe },
   1887   { 0x00000000, 0x000000fd, 0x00007ffd },
   1888   { 0x00000000, 0x000000fd, 0xfffffffd },
   1889   { 0x00000000, 0x00000080, 0xffffff80 },
   1890   { 0x00000000, 0x00000080, 0xffffff80 },
   1891   { 0x00000000, 0x00000002, 0xffff8002 },
   1892   { 0x00000000, 0x00000002, 0xffff8002 },
   1893   { 0x00000000, 0x000000fe, 0x00007ffe },
   1894   { 0x00000000, 0x00000001, 0xffff8001 },
   1895   { 0x00000000, 0x00000080, 0xffffff80 },
   1896   { 0x00000000, 0x00000000, 0x80000000 },
   1897   { 0x00000000, 0x000000fe, 0x00007ffe },
   1898   { 0x00000000, 0x00000000, 0xffff8000 },
   1899   { 0x00000000, 0x000000ff, 0x00007fff },
   1900   { 0x00000000, 0x0000007d, 0x0000007d },
   1901   { 0x00000000, 0x00000000, 0x00000000 },
   1902   { 0x00000000, 0x00000055, 0x55555555 },
   1903   { 0x00000000, 0x00000000, 0x80000000 },
   1904   { 0x00000000, 0x00000080, 0xffffff80 },
   1905   { 0x00000000, 0x00000003, 0xffff8003 },
   1906   { 0x00000000, 0x00000001, 0x80000001 },
   1907   { 0x00000000, 0x00000001, 0xffff8001 },
   1908   { 0x00000000, 0x00000002, 0x00000002 },
   1909   { 0x00000000, 0x00000081, 0xffffff81 },
   1910   { 0x00000000, 0x00000001, 0xffff8001 },
   1911   { 0x00000000, 0x000000fe, 0xfffffffe },
   1912   { 0x00000000, 0x000000fd, 0xfffffffd },
   1913   { 0x00000000, 0x000000ff, 0xffffffff },
   1914   { 0x00000000, 0x00000000, 0x80000000 },
   1915   { 0x00000000, 0x00000001, 0x80000001 },
   1916   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1917   { 0x00000000, 0x00000000, 0x00000000 },
   1918   { 0x00000000, 0x00000001, 0x00000001 },
   1919   { 0x00000000, 0x000000ff, 0x7fffffff },
   1920   { 0x00000000, 0x000000ff, 0xffffffff },
   1921   { 0x00000000, 0x000000ff, 0x00007fff },
   1922   { 0x00000000, 0x000000ff, 0x00007fff },
   1923   { 0x00000000, 0x00000055, 0x55555555 },
   1924   { 0x00000000, 0x00000033, 0x33333333 },
   1925   { 0x00000000, 0x000000fd, 0xfffffffd },
   1926   { 0x00000000, 0x00000001, 0x00000001 },
   1927   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1928   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1929   { 0x00000000, 0x00000033, 0x33333333 },
   1930   { 0x00000000, 0x00000003, 0xffff8003 },
   1931   { 0x00000000, 0x000000ff, 0x7fffffff },
   1932   { 0x00000000, 0x00000083, 0xffffff83 },
   1933   { 0x00000000, 0x00000000, 0xffff8000 },
   1934   { 0x00000000, 0x00000055, 0x55555555 },
   1935   { 0x00000000, 0x00000081, 0xffffff81 },
   1936   { 0x00000000, 0x000000fe, 0xfffffffe },
   1937   { 0x00000000, 0x000000ff, 0x7fffffff },
   1938   { 0x00000000, 0x000000ff, 0x7fffffff },
   1939   { 0x00000000, 0x00000003, 0xffff8003 },
   1940   { 0x00000000, 0x000000ff, 0xffffffff },
   1941   { 0x00000000, 0x000000fd, 0x00007ffd },
   1942   { 0x00000000, 0x000000ff, 0x00007fff },
   1943   { 0x00000000, 0x000000ff, 0xffffffff },
   1944   { 0x00000000, 0x00000003, 0xffff8003 },
   1945   { 0x00000000, 0x000000fd, 0xfffffffd },
   1946   { 0x00000000, 0x00000000, 0x80000000 },
   1947   { 0x00000000, 0x00000020, 0x00000020 },
   1948   { 0x00000000, 0x00000002, 0x00000002 },
   1949   { 0x00000000, 0x00000002, 0x00000002 },
   1950   { 0x00000000, 0x000000ff, 0x00007fff },
   1951   { 0x00000000, 0x00000001, 0x00000001 },
   1952   { 0x00000000, 0x000000ff, 0x00007fff },
   1953   { 0x00000000, 0x00000020, 0x00000020 },
   1954   { 0x00000000, 0x000000e0, 0xffffffe0 },
   1955   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1956   { 0x00000000, 0x00000001, 0xffff8001 },
   1957   { 0x00000000, 0x00000001, 0x80000001 },
   1958   { 0x00000000, 0x00000000, 0xffff8000 },
   1959   { 0x00000000, 0x00000001, 0xffff8001 },
   1960   { 0x00000000, 0x00000000, 0x00000000 },
   1961   { 0x00000000, 0x00000033, 0x33333333 },
   1962   { 0x00000000, 0x00000080, 0xffffff80 },
   1963   { 0x00000000, 0x00000055, 0x55555555 },
   1964   { 0x00000000, 0x000000ff, 0xffffffff },
   1965 };
   1966 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r0_r11[] = {
   1967   { 0x00000000, 0x000000cc, 0xcccccccc },
   1968   { 0x00000000, 0x000000fe, 0x00007ffe },
   1969   { 0x00000000, 0x00000020, 0x00000020 },
   1970   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   1971   { 0x00000000, 0x00000082, 0xffffff82 },
   1972   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1973   { 0x00000000, 0x000000fe, 0x00007ffe },
   1974   { 0x00000000, 0x00000000, 0x80000000 },
   1975   { 0x00000000, 0x00000033, 0x33333333 },
   1976   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1977   { 0x00000000, 0x000000cc, 0xcccccccc },
   1978   { 0x00000000, 0x00000055, 0x55555555 },
   1979   { 0x00000000, 0x000000ff, 0xffffffff },
   1980   { 0x00000000, 0x00000002, 0xffff8002 },
   1981   { 0x00000000, 0x000000fd, 0x7ffffffd },
   1982   { 0x00000000, 0x0000007e, 0x0000007e },
   1983   { 0x00000000, 0x00000001, 0xffff8001 },
   1984   { 0x00000000, 0x000000fd, 0x00007ffd },
   1985   { 0x00000000, 0x00000002, 0x00000002 },
   1986   { 0x00000000, 0x00000055, 0x55555555 },
   1987   { 0x00000000, 0x00000080, 0xffffff80 },
   1988   { 0x00000000, 0x00000000, 0xffff8000 },
   1989   { 0x00000000, 0x000000fe, 0x7ffffffe },
   1990   { 0x00000000, 0x00000000, 0x00000000 },
   1991   { 0x00000000, 0x0000007e, 0x0000007e },
   1992   { 0x00000000, 0x000000ff, 0xffffffff },
   1993   { 0x00000000, 0x00000001, 0x80000001 },
   1994   { 0x00000000, 0x0000007f, 0x0000007f },
   1995   { 0x00000000, 0x000000cc, 0xcccccccc },
   1996   { 0x00000000, 0x000000fe, 0x00007ffe },
   1997   { 0x00000000, 0x0000007e, 0x0000007e },
   1998   { 0x00000000, 0x000000cc, 0xcccccccc },
   1999   { 0x00000000, 0x00000002, 0xffff8002 },
   2000   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2001   { 0x00000000, 0x00000001, 0x00000001 },
   2002   { 0x00000000, 0x00000020, 0x00000020 },
   2003   { 0x00000000, 0x00000001, 0xffff8001 },
   2004   { 0x00000000, 0x000000fe, 0xfffffffe },
   2005   { 0x00000000, 0x00000055, 0x55555555 },
   2006   { 0x00000000, 0x00000083, 0xffffff83 },
   2007   { 0x00000000, 0x00000001, 0xffff8001 },
   2008   { 0x00000000, 0x00000000, 0xffff8000 },
   2009   { 0x00000000, 0x00000002, 0x00000002 },
   2010   { 0x00000000, 0x00000000, 0xffff8000 },
   2011   { 0x00000000, 0x00000081, 0xffffff81 },
   2012   { 0x00000000, 0x00000000, 0x00000000 },
   2013   { 0x00000000, 0x00000081, 0xffffff81 },
   2014   { 0x00000000, 0x00000082, 0xffffff82 },
   2015   { 0x00000000, 0x00000003, 0xffff8003 },
   2016   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2017   { 0x00000000, 0x000000fe, 0x00007ffe },
   2018   { 0x00000000, 0x0000007d, 0x0000007d },
   2019   { 0x00000000, 0x000000fd, 0x00007ffd },
   2020   { 0x00000000, 0x00000082, 0xffffff82 },
   2021   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2022   { 0x00000000, 0x00000083, 0xffffff83 },
   2023   { 0x00000000, 0x00000002, 0x00000002 },
   2024   { 0x00000000, 0x00000082, 0xffffff82 },
   2025   { 0x00000000, 0x00000020, 0x00000020 },
   2026   { 0x00000000, 0x00000082, 0xffffff82 },
   2027   { 0x00000000, 0x00000082, 0xffffff82 },
   2028   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2029   { 0x00000000, 0x00000001, 0x00000001 },
   2030   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2031   { 0x00000000, 0x00000083, 0xffffff83 },
   2032   { 0x00000000, 0x00000000, 0x00000000 },
   2033   { 0x00000000, 0x00000000, 0xffff8000 },
   2034   { 0x00000000, 0x000000ff, 0x7fffffff },
   2035   { 0x00000000, 0x00000000, 0x80000000 },
   2036   { 0x00000000, 0x00000001, 0x00000001 },
   2037   { 0x00000000, 0x00000082, 0xffffff82 },
   2038   { 0x00000000, 0x000000fe, 0x00007ffe },
   2039   { 0x00000000, 0x000000fd, 0xfffffffd },
   2040   { 0x00000000, 0x00000033, 0x33333333 },
   2041   { 0x00000000, 0x00000000, 0x80000000 },
   2042   { 0x00000000, 0x000000ff, 0x00007fff },
   2043   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2044   { 0x00000000, 0x0000007f, 0x0000007f },
   2045   { 0x00000000, 0x00000001, 0xffff8001 },
   2046   { 0x00000000, 0x00000001, 0x00000001 },
   2047   { 0x00000000, 0x000000ff, 0xffffffff },
   2048   { 0x00000000, 0x000000cc, 0xcccccccc },
   2049   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2050   { 0x00000000, 0x00000000, 0x00000000 },
   2051   { 0x00000000, 0x000000cc, 0xcccccccc },
   2052   { 0x00000000, 0x00000083, 0xffffff83 },
   2053   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2054   { 0x00000000, 0x000000ff, 0x00007fff },
   2055   { 0x00000000, 0x00000002, 0x00000002 },
   2056   { 0x00000000, 0x000000cc, 0xcccccccc },
   2057   { 0x00000000, 0x00000080, 0xffffff80 },
   2058   { 0x00000000, 0x00000020, 0x00000020 },
   2059   { 0x00000000, 0x000000fe, 0xfffffffe },
   2060   { 0x00000000, 0x00000081, 0xffffff81 },
   2061   { 0x00000000, 0x0000007f, 0x0000007f },
   2062   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2063   { 0x00000000, 0x000000fe, 0xfffffffe },
   2064   { 0x00000000, 0x00000002, 0xffff8002 },
   2065   { 0x00000000, 0x000000ff, 0xffffffff },
   2066   { 0x00000000, 0x00000080, 0xffffff80 },
   2067   { 0x00000000, 0x000000ff, 0x00007fff },
   2068   { 0x00000000, 0x00000001, 0xffff8001 },
   2069   { 0x00000000, 0x00000002, 0xffff8002 },
   2070   { 0x00000000, 0x00000083, 0xffffff83 },
   2071   { 0x00000000, 0x0000007f, 0x0000007f },
   2072   { 0x00000000, 0x000000fe, 0xfffffffe },
   2073   { 0x00000000, 0x00000003, 0xffff8003 },
   2074   { 0x00000000, 0x00000002, 0xffff8002 },
   2075   { 0x00000000, 0x0000007f, 0x0000007f },
   2076   { 0x00000000, 0x00000002, 0x00000002 },
   2077   { 0x00000000, 0x00000001, 0xffff8001 },
   2078   { 0x00000000, 0x00000001, 0x00000001 },
   2079   { 0x00000000, 0x00000002, 0xffff8002 },
   2080   { 0x00000000, 0x000000ff, 0x7fffffff },
   2081   { 0x00000000, 0x00000000, 0xffff8000 },
   2082   { 0x00000000, 0x000000fd, 0x00007ffd },
   2083   { 0x00000000, 0x00000081, 0xffffff81 },
   2084   { 0x00000000, 0x00000055, 0x55555555 },
   2085   { 0x00000000, 0x00000020, 0x00000020 },
   2086   { 0x00000000, 0x00000001, 0x00000001 },
   2087   { 0x00000000, 0x00000002, 0xffff8002 },
   2088   { 0x00000000, 0x000000fe, 0xfffffffe },
   2089   { 0x00000000, 0x000000fd, 0x00007ffd },
   2090   { 0x00000000, 0x000000fd, 0xfffffffd },
   2091   { 0x00000000, 0x00000080, 0xffffff80 },
   2092   { 0x00000000, 0x00000080, 0xffffff80 },
   2093   { 0x00000000, 0x00000002, 0xffff8002 },
   2094   { 0x00000000, 0x00000002, 0xffff8002 },
   2095   { 0x00000000, 0x000000fe, 0x00007ffe },
   2096   { 0x00000000, 0x00000001, 0xffff8001 },
   2097   { 0x00000000, 0x00000080, 0xffffff80 },
   2098   { 0x00000000, 0x00000000, 0x80000000 },
   2099   { 0x00000000, 0x000000fe, 0x00007ffe },
   2100   { 0x00000000, 0x00000000, 0xffff8000 },
   2101   { 0x00000000, 0x000000ff, 0x00007fff },
   2102   { 0x00000000, 0x0000007d, 0x0000007d },
   2103   { 0x00000000, 0x00000000, 0x00000000 },
   2104   { 0x00000000, 0x00000055, 0x55555555 },
   2105   { 0x00000000, 0x00000000, 0x80000000 },
   2106   { 0x00000000, 0x00000080, 0xffffff80 },
   2107   { 0x00000000, 0x00000003, 0xffff8003 },
   2108   { 0x00000000, 0x00000001, 0x80000001 },
   2109   { 0x00000000, 0x00000001, 0xffff8001 },
   2110   { 0x00000000, 0x00000002, 0x00000002 },
   2111   { 0x00000000, 0x00000081, 0xffffff81 },
   2112   { 0x00000000, 0x00000001, 0xffff8001 },
   2113   { 0x00000000, 0x000000fe, 0xfffffffe },
   2114   { 0x00000000, 0x000000fd, 0xfffffffd },
   2115   { 0x00000000, 0x000000ff, 0xffffffff },
   2116   { 0x00000000, 0x00000000, 0x80000000 },
   2117   { 0x00000000, 0x00000001, 0x80000001 },
   2118   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2119   { 0x00000000, 0x00000000, 0x00000000 },
   2120   { 0x00000000, 0x00000001, 0x00000001 },
   2121   { 0x00000000, 0x000000ff, 0x7fffffff },
   2122   { 0x00000000, 0x000000ff, 0xffffffff },
   2123   { 0x00000000, 0x000000ff, 0x00007fff },
   2124   { 0x00000000, 0x000000ff, 0x00007fff },
   2125   { 0x00000000, 0x00000055, 0x55555555 },
   2126   { 0x00000000, 0x00000033, 0x33333333 },
   2127   { 0x00000000, 0x000000fd, 0xfffffffd },
   2128   { 0x00000000, 0x00000001, 0x00000001 },
   2129   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2130   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2131   { 0x00000000, 0x00000033, 0x33333333 },
   2132   { 0x00000000, 0x00000003, 0xffff8003 },
   2133   { 0x00000000, 0x000000ff, 0x7fffffff },
   2134   { 0x00000000, 0x00000083, 0xffffff83 },
   2135   { 0x00000000, 0x00000000, 0xffff8000 },
   2136   { 0x00000000, 0x00000055, 0x55555555 },
   2137   { 0x00000000, 0x00000081, 0xffffff81 },
   2138   { 0x00000000, 0x000000fe, 0xfffffffe },
   2139   { 0x00000000, 0x000000ff, 0x7fffffff },
   2140   { 0x00000000, 0x000000ff, 0x7fffffff },
   2141   { 0x00000000, 0x00000003, 0xffff8003 },
   2142   { 0x00000000, 0x000000ff, 0xffffffff },
   2143   { 0x00000000, 0x000000fd, 0x00007ffd },
   2144   { 0x00000000, 0x000000ff, 0x00007fff },
   2145   { 0x00000000, 0x000000ff, 0xffffffff },
   2146   { 0x00000000, 0x00000003, 0xffff8003 },
   2147   { 0x00000000, 0x000000fd, 0xfffffffd },
   2148   { 0x00000000, 0x00000000, 0x80000000 },
   2149   { 0x00000000, 0x00000020, 0x00000020 },
   2150   { 0x00000000, 0x00000002, 0x00000002 },
   2151   { 0x00000000, 0x00000002, 0x00000002 },
   2152   { 0x00000000, 0x000000ff, 0x00007fff },
   2153   { 0x00000000, 0x00000001, 0x00000001 },
   2154   { 0x00000000, 0x000000ff, 0x00007fff },
   2155   { 0x00000000, 0x00000020, 0x00000020 },
   2156   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2157   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2158   { 0x00000000, 0x00000001, 0xffff8001 },
   2159   { 0x00000000, 0x00000001, 0x80000001 },
   2160   { 0x00000000, 0x00000000, 0xffff8000 },
   2161   { 0x00000000, 0x00000001, 0xffff8001 },
   2162   { 0x00000000, 0x00000000, 0x00000000 },
   2163   { 0x00000000, 0x00000033, 0x33333333 },
   2164   { 0x00000000, 0x00000080, 0xffffff80 },
   2165   { 0x00000000, 0x00000055, 0x55555555 },
   2166   { 0x00000000, 0x000000ff, 0xffffffff },
   2167 };
   2168 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r10_r14[] = {
   2169   { 0x00000000, 0x000000cc, 0xcccccccc },
   2170   { 0x00000000, 0x000000fe, 0x00007ffe },
   2171   { 0x00000000, 0x00000020, 0x00000020 },
   2172   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2173   { 0x00000000, 0x00000082, 0xffffff82 },
   2174   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2175   { 0x00000000, 0x000000fe, 0x00007ffe },
   2176   { 0x00000000, 0x00000000, 0x80000000 },
   2177   { 0x00000000, 0x00000033, 0x33333333 },
   2178   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2179   { 0x00000000, 0x000000cc, 0xcccccccc },
   2180   { 0x00000000, 0x00000055, 0x55555555 },
   2181   { 0x00000000, 0x000000ff, 0xffffffff },
   2182   { 0x00000000, 0x00000002, 0xffff8002 },
   2183   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2184   { 0x00000000, 0x0000007e, 0x0000007e },
   2185   { 0x00000000, 0x00000001, 0xffff8001 },
   2186   { 0x00000000, 0x000000fd, 0x00007ffd },
   2187   { 0x00000000, 0x00000002, 0x00000002 },
   2188   { 0x00000000, 0x00000055, 0x55555555 },
   2189   { 0x00000000, 0x00000080, 0xffffff80 },
   2190   { 0x00000000, 0x00000000, 0xffff8000 },
   2191   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2192   { 0x00000000, 0x00000000, 0x00000000 },
   2193   { 0x00000000, 0x0000007e, 0x0000007e },
   2194   { 0x00000000, 0x000000ff, 0xffffffff },
   2195   { 0x00000000, 0x00000001, 0x80000001 },
   2196   { 0x00000000, 0x0000007f, 0x0000007f },
   2197   { 0x00000000, 0x000000cc, 0xcccccccc },
   2198   { 0x00000000, 0x000000fe, 0x00007ffe },
   2199   { 0x00000000, 0x0000007e, 0x0000007e },
   2200   { 0x00000000, 0x000000cc, 0xcccccccc },
   2201   { 0x00000000, 0x00000002, 0xffff8002 },
   2202   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2203   { 0x00000000, 0x00000001, 0x00000001 },
   2204   { 0x00000000, 0x00000020, 0x00000020 },
   2205   { 0x00000000, 0x00000001, 0xffff8001 },
   2206   { 0x00000000, 0x000000fe, 0xfffffffe },
   2207   { 0x00000000, 0x00000055, 0x55555555 },
   2208   { 0x00000000, 0x00000083, 0xffffff83 },
   2209   { 0x00000000, 0x00000001, 0xffff8001 },
   2210   { 0x00000000, 0x00000000, 0xffff8000 },
   2211   { 0x00000000, 0x00000002, 0x00000002 },
   2212   { 0x00000000, 0x00000000, 0xffff8000 },
   2213   { 0x00000000, 0x00000081, 0xffffff81 },
   2214   { 0x00000000, 0x00000000, 0x00000000 },
   2215   { 0x00000000, 0x00000081, 0xffffff81 },
   2216   { 0x00000000, 0x00000082, 0xffffff82 },
   2217   { 0x00000000, 0x00000003, 0xffff8003 },
   2218   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2219   { 0x00000000, 0x000000fe, 0x00007ffe },
   2220   { 0x00000000, 0x0000007d, 0x0000007d },
   2221   { 0x00000000, 0x000000fd, 0x00007ffd },
   2222   { 0x00000000, 0x00000082, 0xffffff82 },
   2223   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2224   { 0x00000000, 0x00000083, 0xffffff83 },
   2225   { 0x00000000, 0x00000002, 0x00000002 },
   2226   { 0x00000000, 0x00000082, 0xffffff82 },
   2227   { 0x00000000, 0x00000020, 0x00000020 },
   2228   { 0x00000000, 0x00000082, 0xffffff82 },
   2229   { 0x00000000, 0x00000082, 0xffffff82 },
   2230   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2231   { 0x00000000, 0x00000001, 0x00000001 },
   2232   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2233   { 0x00000000, 0x00000083, 0xffffff83 },
   2234   { 0x00000000, 0x00000000, 0x00000000 },
   2235   { 0x00000000, 0x00000000, 0xffff8000 },
   2236   { 0x00000000, 0x000000ff, 0x7fffffff },
   2237   { 0x00000000, 0x00000000, 0x80000000 },
   2238   { 0x00000000, 0x00000001, 0x00000001 },
   2239   { 0x00000000, 0x00000082, 0xffffff82 },
   2240   { 0x00000000, 0x000000fe, 0x00007ffe },
   2241   { 0x00000000, 0x000000fd, 0xfffffffd },
   2242   { 0x00000000, 0x00000033, 0x33333333 },
   2243   { 0x00000000, 0x00000000, 0x80000000 },
   2244   { 0x00000000, 0x000000ff, 0x00007fff },
   2245   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2246   { 0x00000000, 0x0000007f, 0x0000007f },
   2247   { 0x00000000, 0x00000001, 0xffff8001 },
   2248   { 0x00000000, 0x00000001, 0x00000001 },
   2249   { 0x00000000, 0x000000ff, 0xffffffff },
   2250   { 0x00000000, 0x000000cc, 0xcccccccc },
   2251   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2252   { 0x00000000, 0x00000000, 0x00000000 },
   2253   { 0x00000000, 0x000000cc, 0xcccccccc },
   2254   { 0x00000000, 0x00000083, 0xffffff83 },
   2255   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2256   { 0x00000000, 0x000000ff, 0x00007fff },
   2257   { 0x00000000, 0x00000002, 0x00000002 },
   2258   { 0x00000000, 0x000000cc, 0xcccccccc },
   2259   { 0x00000000, 0x00000080, 0xffffff80 },
   2260   { 0x00000000, 0x00000020, 0x00000020 },
   2261   { 0x00000000, 0x000000fe, 0xfffffffe },
   2262   { 0x00000000, 0x00000081, 0xffffff81 },
   2263   { 0x00000000, 0x0000007f, 0x0000007f },
   2264   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2265   { 0x00000000, 0x000000fe, 0xfffffffe },
   2266   { 0x00000000, 0x00000002, 0xffff8002 },
   2267   { 0x00000000, 0x000000ff, 0xffffffff },
   2268   { 0x00000000, 0x00000080, 0xffffff80 },
   2269   { 0x00000000, 0x000000ff, 0x00007fff },
   2270   { 0x00000000, 0x00000001, 0xffff8001 },
   2271   { 0x00000000, 0x00000002, 0xffff8002 },
   2272   { 0x00000000, 0x00000083, 0xffffff83 },
   2273   { 0x00000000, 0x0000007f, 0x0000007f },
   2274   { 0x00000000, 0x000000fe, 0xfffffffe },
   2275   { 0x00000000, 0x00000003, 0xffff8003 },
   2276   { 0x00000000, 0x00000002, 0xffff8002 },
   2277   { 0x00000000, 0x0000007f, 0x0000007f },
   2278   { 0x00000000, 0x00000002, 0x00000002 },
   2279   { 0x00000000, 0x00000001, 0xffff8001 },
   2280   { 0x00000000, 0x00000001, 0x00000001 },
   2281   { 0x00000000, 0x00000002, 0xffff8002 },
   2282   { 0x00000000, 0x000000ff, 0x7fffffff },
   2283   { 0x00000000, 0x00000000, 0xffff8000 },
   2284   { 0x00000000, 0x000000fd, 0x00007ffd },
   2285   { 0x00000000, 0x00000081, 0xffffff81 },
   2286   { 0x00000000, 0x00000055, 0x55555555 },
   2287   { 0x00000000, 0x00000020, 0x00000020 },
   2288   { 0x00000000, 0x00000001, 0x00000001 },
   2289   { 0x00000000, 0x00000002, 0xffff8002 },
   2290   { 0x00000000, 0x000000fe, 0xfffffffe },
   2291   { 0x00000000, 0x000000fd, 0x00007ffd },
   2292   { 0x00000000, 0x000000fd, 0xfffffffd },
   2293   { 0x00000000, 0x00000080, 0xffffff80 },
   2294   { 0x00000000, 0x00000080, 0xffffff80 },
   2295   { 0x00000000, 0x00000002, 0xffff8002 },
   2296   { 0x00000000, 0x00000002, 0xffff8002 },
   2297   { 0x00000000, 0x000000fe, 0x00007ffe },
   2298   { 0x00000000, 0x00000001, 0xffff8001 },
   2299   { 0x00000000, 0x00000080, 0xffffff80 },
   2300   { 0x00000000, 0x00000000, 0x80000000 },
   2301   { 0x00000000, 0x000000fe, 0x00007ffe },
   2302   { 0x00000000, 0x00000000, 0xffff8000 },
   2303   { 0x00000000, 0x000000ff, 0x00007fff },
   2304   { 0x00000000, 0x0000007d, 0x0000007d },
   2305   { 0x00000000, 0x00000000, 0x00000000 },
   2306   { 0x00000000, 0x00000055, 0x55555555 },
   2307   { 0x00000000, 0x00000000, 0x80000000 },
   2308   { 0x00000000, 0x00000080, 0xffffff80 },
   2309   { 0x00000000, 0x00000003, 0xffff8003 },
   2310   { 0x00000000, 0x00000001, 0x80000001 },
   2311   { 0x00000000, 0x00000001, 0xffff8001 },
   2312   { 0x00000000, 0x00000002, 0x00000002 },
   2313   { 0x00000000, 0x00000081, 0xffffff81 },
   2314   { 0x00000000, 0x00000001, 0xffff8001 },
   2315   { 0x00000000, 0x000000fe, 0xfffffffe },
   2316   { 0x00000000, 0x000000fd, 0xfffffffd },
   2317   { 0x00000000, 0x000000ff, 0xffffffff },
   2318   { 0x00000000, 0x00000000, 0x80000000 },
   2319   { 0x00000000, 0x00000001, 0x80000001 },
   2320   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2321   { 0x00000000, 0x00000000, 0x00000000 },
   2322   { 0x00000000, 0x00000001, 0x00000001 },
   2323   { 0x00000000, 0x000000ff, 0x7fffffff },
   2324   { 0x00000000, 0x000000ff, 0xffffffff },
   2325   { 0x00000000, 0x000000ff, 0x00007fff },
   2326   { 0x00000000, 0x000000ff, 0x00007fff },
   2327   { 0x00000000, 0x00000055, 0x55555555 },
   2328   { 0x00000000, 0x00000033, 0x33333333 },
   2329   { 0x00000000, 0x000000fd, 0xfffffffd },
   2330   { 0x00000000, 0x00000001, 0x00000001 },
   2331   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2332   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2333   { 0x00000000, 0x00000033, 0x33333333 },
   2334   { 0x00000000, 0x00000003, 0xffff8003 },
   2335   { 0x00000000, 0x000000ff, 0x7fffffff },
   2336   { 0x00000000, 0x00000083, 0xffffff83 },
   2337   { 0x00000000, 0x00000000, 0xffff8000 },
   2338   { 0x00000000, 0x00000055, 0x55555555 },
   2339   { 0x00000000, 0x00000081, 0xffffff81 },
   2340   { 0x00000000, 0x000000fe, 0xfffffffe },
   2341   { 0x00000000, 0x000000ff, 0x7fffffff },
   2342   { 0x00000000, 0x000000ff, 0x7fffffff },
   2343   { 0x00000000, 0x00000003, 0xffff8003 },
   2344   { 0x00000000, 0x000000ff, 0xffffffff },
   2345   { 0x00000000, 0x000000fd, 0x00007ffd },
   2346   { 0x00000000, 0x000000ff, 0x00007fff },
   2347   { 0x00000000, 0x000000ff, 0xffffffff },
   2348   { 0x00000000, 0x00000003, 0xffff8003 },
   2349   { 0x00000000, 0x000000fd, 0xfffffffd },
   2350   { 0x00000000, 0x00000000, 0x80000000 },
   2351   { 0x00000000, 0x00000020, 0x00000020 },
   2352   { 0x00000000, 0x00000002, 0x00000002 },
   2353   { 0x00000000, 0x00000002, 0x00000002 },
   2354   { 0x00000000, 0x000000ff, 0x00007fff },
   2355   { 0x00000000, 0x00000001, 0x00000001 },
   2356   { 0x00000000, 0x000000ff, 0x00007fff },
   2357   { 0x00000000, 0x00000020, 0x00000020 },
   2358   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2359   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2360   { 0x00000000, 0x00000001, 0xffff8001 },
   2361   { 0x00000000, 0x00000001, 0x80000001 },
   2362   { 0x00000000, 0x00000000, 0xffff8000 },
   2363   { 0x00000000, 0x00000001, 0xffff8001 },
   2364   { 0x00000000, 0x00000000, 0x00000000 },
   2365   { 0x00000000, 0x00000033, 0x33333333 },
   2366   { 0x00000000, 0x00000080, 0xffffff80 },
   2367   { 0x00000000, 0x00000055, 0x55555555 },
   2368   { 0x00000000, 0x000000ff, 0xffffffff },
   2369 };
   2370 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r0_r5[] = {
   2371   { 0x00000000, 0x000000cc, 0xcccccccc },
   2372   { 0x00000000, 0x000000fe, 0x00007ffe },
   2373   { 0x00000000, 0x00000020, 0x00000020 },
   2374   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2375   { 0x00000000, 0x00000082, 0xffffff82 },
   2376   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2377   { 0x00000000, 0x000000fe, 0x00007ffe },
   2378   { 0x00000000, 0x00000000, 0x80000000 },
   2379   { 0x00000000, 0x00000033, 0x33333333 },
   2380   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2381   { 0x00000000, 0x000000cc, 0xcccccccc },
   2382   { 0x00000000, 0x00000055, 0x55555555 },
   2383   { 0x00000000, 0x000000ff, 0xffffffff },
   2384   { 0x00000000, 0x00000002, 0xffff8002 },
   2385   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2386   { 0x00000000, 0x0000007e, 0x0000007e },
   2387   { 0x00000000, 0x00000001, 0xffff8001 },
   2388   { 0x00000000, 0x000000fd, 0x00007ffd },
   2389   { 0x00000000, 0x00000002, 0x00000002 },
   2390   { 0x00000000, 0x00000055, 0x55555555 },
   2391   { 0x00000000, 0x00000080, 0xffffff80 },
   2392   { 0x00000000, 0x00000000, 0xffff8000 },
   2393   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2394   { 0x00000000, 0x00000000, 0x00000000 },
   2395   { 0x00000000, 0x0000007e, 0x0000007e },
   2396   { 0x00000000, 0x000000ff, 0xffffffff },
   2397   { 0x00000000, 0x00000001, 0x80000001 },
   2398   { 0x00000000, 0x0000007f, 0x0000007f },
   2399   { 0x00000000, 0x000000cc, 0xcccccccc },
   2400   { 0x00000000, 0x000000fe, 0x00007ffe },
   2401   { 0x00000000, 0x0000007e, 0x0000007e },
   2402   { 0x00000000, 0x000000cc, 0xcccccccc },
   2403   { 0x00000000, 0x00000002, 0xffff8002 },
   2404   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2405   { 0x00000000, 0x00000001, 0x00000001 },
   2406   { 0x00000000, 0x00000020, 0x00000020 },
   2407   { 0x00000000, 0x00000001, 0xffff8001 },
   2408   { 0x00000000, 0x000000fe, 0xfffffffe },
   2409   { 0x00000000, 0x00000055, 0x55555555 },
   2410   { 0x00000000, 0x00000083, 0xffffff83 },
   2411   { 0x00000000, 0x00000001, 0xffff8001 },
   2412   { 0x00000000, 0x00000000, 0xffff8000 },
   2413   { 0x00000000, 0x00000002, 0x00000002 },
   2414   { 0x00000000, 0x00000000, 0xffff8000 },
   2415   { 0x00000000, 0x00000081, 0xffffff81 },
   2416   { 0x00000000, 0x00000000, 0x00000000 },
   2417   { 0x00000000, 0x00000081, 0xffffff81 },
   2418   { 0x00000000, 0x00000082, 0xffffff82 },
   2419   { 0x00000000, 0x00000003, 0xffff8003 },
   2420   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2421   { 0x00000000, 0x000000fe, 0x00007ffe },
   2422   { 0x00000000, 0x0000007d, 0x0000007d },
   2423   { 0x00000000, 0x000000fd, 0x00007ffd },
   2424   { 0x00000000, 0x00000082, 0xffffff82 },
   2425   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2426   { 0x00000000, 0x00000083, 0xffffff83 },
   2427   { 0x00000000, 0x00000002, 0x00000002 },
   2428   { 0x00000000, 0x00000082, 0xffffff82 },
   2429   { 0x00000000, 0x00000020, 0x00000020 },
   2430   { 0x00000000, 0x00000082, 0xffffff82 },
   2431   { 0x00000000, 0x00000082, 0xffffff82 },
   2432   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2433   { 0x00000000, 0x00000001, 0x00000001 },
   2434   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2435   { 0x00000000, 0x00000083, 0xffffff83 },
   2436   { 0x00000000, 0x00000000, 0x00000000 },
   2437   { 0x00000000, 0x00000000, 0xffff8000 },
   2438   { 0x00000000, 0x000000ff, 0x7fffffff },
   2439   { 0x00000000, 0x00000000, 0x80000000 },
   2440   { 0x00000000, 0x00000001, 0x00000001 },
   2441   { 0x00000000, 0x00000082, 0xffffff82 },
   2442   { 0x00000000, 0x000000fe, 0x00007ffe },
   2443   { 0x00000000, 0x000000fd, 0xfffffffd },
   2444   { 0x00000000, 0x00000033, 0x33333333 },
   2445   { 0x00000000, 0x00000000, 0x80000000 },
   2446   { 0x00000000, 0x000000ff, 0x00007fff },
   2447   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2448   { 0x00000000, 0x0000007f, 0x0000007f },
   2449   { 0x00000000, 0x00000001, 0xffff8001 },
   2450   { 0x00000000, 0x00000001, 0x00000001 },
   2451   { 0x00000000, 0x000000ff, 0xffffffff },
   2452   { 0x00000000, 0x000000cc, 0xcccccccc },
   2453   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2454   { 0x00000000, 0x00000000, 0x00000000 },
   2455   { 0x00000000, 0x000000cc, 0xcccccccc },
   2456   { 0x00000000, 0x00000083, 0xffffff83 },
   2457   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2458   { 0x00000000, 0x000000ff, 0x00007fff },
   2459   { 0x00000000, 0x00000002, 0x00000002 },
   2460   { 0x00000000, 0x000000cc, 0xcccccccc },
   2461   { 0x00000000, 0x00000080, 0xffffff80 },
   2462   { 0x00000000, 0x00000020, 0x00000020 },
   2463   { 0x00000000, 0x000000fe, 0xfffffffe },
   2464   { 0x00000000, 0x00000081, 0xffffff81 },
   2465   { 0x00000000, 0x0000007f, 0x0000007f },
   2466   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2467   { 0x00000000, 0x000000fe, 0xfffffffe },
   2468   { 0x00000000, 0x00000002, 0xffff8002 },
   2469   { 0x00000000, 0x000000ff, 0xffffffff },
   2470   { 0x00000000, 0x00000080, 0xffffff80 },
   2471   { 0x00000000, 0x000000ff, 0x00007fff },
   2472   { 0x00000000, 0x00000001, 0xffff8001 },
   2473   { 0x00000000, 0x00000002, 0xffff8002 },
   2474   { 0x00000000, 0x00000083, 0xffffff83 },
   2475   { 0x00000000, 0x0000007f, 0x0000007f },
   2476   { 0x00000000, 0x000000fe, 0xfffffffe },
   2477   { 0x00000000, 0x00000003, 0xffff8003 },
   2478   { 0x00000000, 0x00000002, 0xffff8002 },
   2479   { 0x00000000, 0x0000007f, 0x0000007f },
   2480   { 0x00000000, 0x00000002, 0x00000002 },
   2481   { 0x00000000, 0x00000001, 0xffff8001 },
   2482   { 0x00000000, 0x00000001, 0x00000001 },
   2483   { 0x00000000, 0x00000002, 0xffff8002 },
   2484   { 0x00000000, 0x000000ff, 0x7fffffff },
   2485   { 0x00000000, 0x00000000, 0xffff8000 },
   2486   { 0x00000000, 0x000000fd, 0x00007ffd },
   2487   { 0x00000000, 0x00000081, 0xffffff81 },
   2488   { 0x00000000, 0x00000055, 0x55555555 },
   2489   { 0x00000000, 0x00000020, 0x00000020 },
   2490   { 0x00000000, 0x00000001, 0x00000001 },
   2491   { 0x00000000, 0x00000002, 0xffff8002 },
   2492   { 0x00000000, 0x000000fe, 0xfffffffe },
   2493   { 0x00000000, 0x000000fd, 0x00007ffd },
   2494   { 0x00000000, 0x000000fd, 0xfffffffd },
   2495   { 0x00000000, 0x00000080, 0xffffff80 },
   2496   { 0x00000000, 0x00000080, 0xffffff80 },
   2497   { 0x00000000, 0x00000002, 0xffff8002 },
   2498   { 0x00000000, 0x00000002, 0xffff8002 },
   2499   { 0x00000000, 0x000000fe, 0x00007ffe },
   2500   { 0x00000000, 0x00000001, 0xffff8001 },
   2501   { 0x00000000, 0x00000080, 0xffffff80 },
   2502   { 0x00000000, 0x00000000, 0x80000000 },
   2503   { 0x00000000, 0x000000fe, 0x00007ffe },
   2504   { 0x00000000, 0x00000000, 0xffff8000 },
   2505   { 0x00000000, 0x000000ff, 0x00007fff },
   2506   { 0x00000000, 0x0000007d, 0x0000007d },
   2507   { 0x00000000, 0x00000000, 0x00000000 },
   2508   { 0x00000000, 0x00000055, 0x55555555 },
   2509   { 0x00000000, 0x00000000, 0x80000000 },
   2510   { 0x00000000, 0x00000080, 0xffffff80 },
   2511   { 0x00000000, 0x00000003, 0xffff8003 },
   2512   { 0x00000000, 0x00000001, 0x80000001 },
   2513   { 0x00000000, 0x00000001, 0xffff8001 },
   2514   { 0x00000000, 0x00000002, 0x00000002 },
   2515   { 0x00000000, 0x00000081, 0xffffff81 },
   2516   { 0x00000000, 0x00000001, 0xffff8001 },
   2517   { 0x00000000, 0x000000fe, 0xfffffffe },
   2518   { 0x00000000, 0x000000fd, 0xfffffffd },
   2519   { 0x00000000, 0x000000ff, 0xffffffff },
   2520   { 0x00000000, 0x00000000, 0x80000000 },
   2521   { 0x00000000, 0x00000001, 0x80000001 },
   2522   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2523   { 0x00000000, 0x00000000, 0x00000000 },
   2524   { 0x00000000, 0x00000001, 0x00000001 },
   2525   { 0x00000000, 0x000000ff, 0x7fffffff },
   2526   { 0x00000000, 0x000000ff, 0xffffffff },
   2527   { 0x00000000, 0x000000ff, 0x00007fff },
   2528   { 0x00000000, 0x000000ff, 0x00007fff },
   2529   { 0x00000000, 0x00000055, 0x55555555 },
   2530   { 0x00000000, 0x00000033, 0x33333333 },
   2531   { 0x00000000, 0x000000fd, 0xfffffffd },
   2532   { 0x00000000, 0x00000001, 0x00000001 },
   2533   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2534   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2535   { 0x00000000, 0x00000033, 0x33333333 },
   2536   { 0x00000000, 0x00000003, 0xffff8003 },
   2537   { 0x00000000, 0x000000ff, 0x7fffffff },
   2538   { 0x00000000, 0x00000083, 0xffffff83 },
   2539   { 0x00000000, 0x00000000, 0xffff8000 },
   2540   { 0x00000000, 0x00000055, 0x55555555 },
   2541   { 0x00000000, 0x00000081, 0xffffff81 },
   2542   { 0x00000000, 0x000000fe, 0xfffffffe },
   2543   { 0x00000000, 0x000000ff, 0x7fffffff },
   2544   { 0x00000000, 0x000000ff, 0x7fffffff },
   2545   { 0x00000000, 0x00000003, 0xffff8003 },
   2546   { 0x00000000, 0x000000ff, 0xffffffff },
   2547   { 0x00000000, 0x000000fd, 0x00007ffd },
   2548   { 0x00000000, 0x000000ff, 0x00007fff },
   2549   { 0x00000000, 0x000000ff, 0xffffffff },
   2550   { 0x00000000, 0x00000003, 0xffff8003 },
   2551   { 0x00000000, 0x000000fd, 0xfffffffd },
   2552   { 0x00000000, 0x00000000, 0x80000000 },
   2553   { 0x00000000, 0x00000020, 0x00000020 },
   2554   { 0x00000000, 0x00000002, 0x00000002 },
   2555   { 0x00000000, 0x00000002, 0x00000002 },
   2556   { 0x00000000, 0x000000ff, 0x00007fff },
   2557   { 0x00000000, 0x00000001, 0x00000001 },
   2558   { 0x00000000, 0x000000ff, 0x00007fff },
   2559   { 0x00000000, 0x00000020, 0x00000020 },
   2560   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2561   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2562   { 0x00000000, 0x00000001, 0xffff8001 },
   2563   { 0x00000000, 0x00000001, 0x80000001 },
   2564   { 0x00000000, 0x00000000, 0xffff8000 },
   2565   { 0x00000000, 0x00000001, 0xffff8001 },
   2566   { 0x00000000, 0x00000000, 0x00000000 },
   2567   { 0x00000000, 0x00000033, 0x33333333 },
   2568   { 0x00000000, 0x00000080, 0xffffff80 },
   2569   { 0x00000000, 0x00000055, 0x55555555 },
   2570   { 0x00000000, 0x000000ff, 0xffffffff },
   2571 };
   2572 const Inputs kOutputs_Uxtb_RdIsNotRn_al_r0_r3[] = {
   2573   { 0x00000000, 0x000000cc, 0xcccccccc },
   2574   { 0x00000000, 0x000000fe, 0x00007ffe },
   2575   { 0x00000000, 0x00000020, 0x00000020 },
   2576   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2577   { 0x00000000, 0x00000082, 0xffffff82 },
   2578   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2579   { 0x00000000, 0x000000fe, 0x00007ffe },
   2580   { 0x00000000, 0x00000000, 0x80000000 },
   2581   { 0x00000000, 0x00000033, 0x33333333 },
   2582   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2583   { 0x00000000, 0x000000cc, 0xcccccccc },
   2584   { 0x00000000, 0x00000055, 0x55555555 },
   2585   { 0x00000000, 0x000000ff, 0xffffffff },
   2586   { 0x00000000, 0x00000002, 0xffff8002 },
   2587   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2588   { 0x00000000, 0x0000007e, 0x0000007e },
   2589   { 0x00000000, 0x00000001, 0xffff8001 },
   2590   { 0x00000000, 0x000000fd, 0x00007ffd },
   2591   { 0x00000000, 0x00000002, 0x00000002 },
   2592   { 0x00000000, 0x00000055, 0x55555555 },
   2593   { 0x00000000, 0x00000080, 0xffffff80 },
   2594   { 0x00000000, 0x00000000, 0xffff8000 },
   2595   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2596   { 0x00000000, 0x00000000, 0x00000000 },
   2597   { 0x00000000, 0x0000007e, 0x0000007e },
   2598   { 0x00000000, 0x000000ff, 0xffffffff },
   2599   { 0x00000000, 0x00000001, 0x80000001 },
   2600   { 0x00000000, 0x0000007f, 0x0000007f },
   2601   { 0x00000000, 0x000000cc, 0xcccccccc },
   2602   { 0x00000000, 0x000000fe, 0x00007ffe },
   2603   { 0x00000000, 0x0000007e, 0x0000007e },
   2604   { 0x00000000, 0x000000cc, 0xcccccccc },
   2605   { 0x00000000, 0x00000002, 0xffff8002 },
   2606   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2607   { 0x00000000, 0x00000001, 0x00000001 },
   2608   { 0x00000000, 0x00000020, 0x00000020 },
   2609   { 0x00000000, 0x00000001, 0xffff8001 },
   2610   { 0x00000000, 0x000000fe, 0xfffffffe },
   2611   { 0x00000000, 0x00000055, 0x55555555 },
   2612   { 0x00000000, 0x00000083, 0xffffff83 },
   2613   { 0x00000000, 0x00000001, 0xffff8001 },
   2614   { 0x00000000, 0x00000000, 0xffff8000 },
   2615   { 0x00000000, 0x00000002, 0x00000002 },
   2616   { 0x00000000, 0x00000000, 0xffff8000 },
   2617   { 0x00000000, 0x00000081, 0xffffff81 },
   2618   { 0x00000000, 0x00000000, 0x00000000 },
   2619   { 0x00000000, 0x00000081, 0xffffff81 },
   2620   { 0x00000000, 0x00000082, 0xffffff82 },
   2621   { 0x00000000, 0x00000003, 0xffff8003 },
   2622   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2623   { 0x00000000, 0x000000fe, 0x00007ffe },
   2624   { 0x00000000, 0x0000007d, 0x0000007d },
   2625   { 0x00000000, 0x000000fd, 0x00007ffd },
   2626   { 0x00000000, 0x00000082, 0xffffff82 },
   2627   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2628   { 0x00000000, 0x00000083, 0xffffff83 },
   2629   { 0x00000000, 0x00000002, 0x00000002 },
   2630   { 0x00000000, 0x00000082, 0xffffff82 },
   2631   { 0x00000000, 0x00000020, 0x00000020 },
   2632   { 0x00000000, 0x00000082, 0xffffff82 },
   2633   { 0x00000000, 0x00000082, 0xffffff82 },
   2634   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2635   { 0x00000000, 0x00000001, 0x00000001 },
   2636   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2637   { 0x00000000, 0x00000083, 0xffffff83 },
   2638   { 0x00000000, 0x00000000, 0x00000000 },
   2639   { 0x00000000, 0x00000000, 0xffff8000 },
   2640   { 0x00000000, 0x000000ff, 0x7fffffff },
   2641   { 0x00000000, 0x00000000, 0x80000000 },
   2642   { 0x00000000, 0x00000001, 0x00000001 },
   2643   { 0x00000000, 0x00000082, 0xffffff82 },
   2644   { 0x00000000, 0x000000fe, 0x00007ffe },
   2645   { 0x00000000, 0x000000fd, 0xfffffffd },
   2646   { 0x00000000, 0x00000033, 0x33333333 },
   2647   { 0x00000000, 0x00000000, 0x80000000 },
   2648   { 0x00000000, 0x000000ff, 0x00007fff },
   2649   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2650   { 0x00000000, 0x0000007f, 0x0000007f },
   2651   { 0x00000000, 0x00000001, 0xffff8001 },
   2652   { 0x00000000, 0x00000001, 0x00000001 },
   2653   { 0x00000000, 0x000000ff, 0xffffffff },
   2654   { 0x00000000, 0x000000cc, 0xcccccccc },
   2655   { 0x00000000, 0x000000fe, 0x7ffffffe },
   2656   { 0x00000000, 0x00000000, 0x00000000 },
   2657   { 0x00000000, 0x000000cc, 0xcccccccc },
   2658   { 0x00000000, 0x00000083, 0xffffff83 },
   2659   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2660   { 0x00000000, 0x000000ff, 0x00007fff },
   2661   { 0x00000000, 0x00000002, 0x00000002 },
   2662   { 0x00000000, 0x000000cc, 0xcccccccc },
   2663   { 0x00000000, 0x00000080, 0xffffff80 },
   2664   { 0x00000000, 0x00000020, 0x00000020 },
   2665   { 0x00000000, 0x000000fe, 0xfffffffe },
   2666   { 0x00000000, 0x00000081, 0xffffff81 },
   2667   { 0x00000000, 0x0000007f, 0x0000007f },
   2668   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2669   { 0x00000000, 0x000000fe, 0xfffffffe },
   2670   { 0x00000000, 0x00000002, 0xffff8002 },
   2671   { 0x00000000, 0x000000ff, 0xffffffff },
   2672   { 0x00000000, 0x00000080, 0xffffff80 },
   2673   { 0x00000000, 0x000000ff, 0x00007fff },
   2674   { 0x00000000, 0x00000001, 0xffff8001 },
   2675   { 0x00000000, 0x00000002, 0xffff8002 },
   2676   { 0x00000000, 0x00000083, 0xffffff83 },
   2677   { 0x00000000, 0x0000007f, 0x0000007f },
   2678   { 0x00000000, 0x000000fe, 0xfffffffe },
   2679   { 0x00000000, 0x00000003, 0xffff8003 },
   2680   { 0x00000000, 0x00000002, 0xffff8002 },
   2681   { 0x00000000, 0x0000007f, 0x0000007f },
   2682   { 0x00000000, 0x00000002, 0x00000002 },
   2683   { 0x00000000, 0x00000001, 0xffff8001 },
   2684   { 0x00000000, 0x00000001, 0x00000001 },
   2685   { 0x00000000, 0x00000002, 0xffff8002 },
   2686   { 0x00000000, 0x000000ff, 0x7fffffff },
   2687   { 0x00000000, 0x00000000, 0xffff8000 },
   2688   { 0x00000000, 0x000000fd, 0x00007ffd },
   2689   { 0x00000000, 0x00000081, 0xffffff81 },
   2690   { 0x00000000, 0x00000055, 0x55555555 },
   2691   { 0x00000000, 0x00000020, 0x00000020 },
   2692   { 0x00000000, 0x00000001, 0x00000001 },
   2693   { 0x00000000, 0x00000002, 0xffff8002 },
   2694   { 0x00000000, 0x000000fe, 0xfffffffe },
   2695   { 0x00000000, 0x000000fd, 0x00007ffd },
   2696   { 0x00000000, 0x000000fd, 0xfffffffd },
   2697   { 0x00000000, 0x00000080, 0xffffff80 },
   2698   { 0x00000000, 0x00000080, 0xffffff80 },
   2699   { 0x00000000, 0x00000002, 0xffff8002 },
   2700   { 0x00000000, 0x00000002, 0xffff8002 },
   2701   { 0x00000000, 0x000000fe, 0x00007ffe },
   2702   { 0x00000000, 0x00000001, 0xffff8001 },
   2703   { 0x00000000, 0x00000080, 0xffffff80 },
   2704   { 0x00000000, 0x00000000, 0x80000000 },
   2705   { 0x00000000, 0x000000fe, 0x00007ffe },
   2706   { 0x00000000, 0x00000000, 0xffff8000 },
   2707   { 0x00000000, 0x000000ff, 0x00007fff },
   2708   { 0x00000000, 0x0000007d, 0x0000007d },
   2709   { 0x00000000, 0x00000000, 0x00000000 },
   2710   { 0x00000000, 0x00000055, 0x55555555 },
   2711   { 0x00000000, 0x00000000, 0x80000000 },
   2712   { 0x00000000, 0x00000080, 0xffffff80 },
   2713   { 0x00000000, 0x00000003, 0xffff8003 },
   2714   { 0x00000000, 0x00000001, 0x80000001 },
   2715   { 0x00000000, 0x00000001, 0xffff8001 },
   2716   { 0x00000000, 0x00000002, 0x00000002 },
   2717   { 0x00000000, 0x00000081, 0xffffff81 },
   2718   { 0x00000000, 0x00000001, 0xffff8001 },
   2719   { 0x00000000, 0x000000fe, 0xfffffffe },
   2720   { 0x00000000, 0x000000fd, 0xfffffffd },
   2721   { 0x00000000, 0x000000ff, 0xffffffff },
   2722   { 0x00000000, 0x00000000, 0x80000000 },
   2723   { 0x00000000, 0x00000001, 0x80000001 },
   2724   { 0x00000000, 0x000000fd, 0x7ffffffd },
   2725   { 0x00000000, 0x00000000, 0x00000000 },
   2726   { 0x00000000, 0x00000001, 0x00000001 },
   2727   { 0x00000000, 0x000000ff, 0x7fffffff },
   2728   { 0x00000000, 0x000000ff, 0xffffffff },
   2729   { 0x00000000, 0x000000ff, 0x00007fff },
   2730   { 0x00000000, 0x000000ff, 0x00007fff },
   2731   { 0x00000000, 0x00000055, 0x55555555 },
   2732   { 0x00000000, 0x00000033, 0x33333333 },
   2733   { 0x00000000, 0x000000fd, 0xfffffffd },
   2734   { 0x00000000, 0x00000001, 0x00000001 },
   2735   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2736   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2737   { 0x00000000, 0x00000033, 0x33333333 },
   2738   { 0x00000000, 0x00000003, 0xffff8003 },
   2739   { 0x00000000, 0x000000ff, 0x7fffffff },
   2740   { 0x00000000, 0x00000083, 0xffffff83 },
   2741   { 0x00000000, 0x00000000, 0xffff8000 },
   2742   { 0x00000000, 0x00000055, 0x55555555 },
   2743   { 0x00000000, 0x00000081, 0xffffff81 },
   2744   { 0x00000000, 0x000000fe, 0xfffffffe },
   2745   { 0x00000000, 0x000000ff, 0x7fffffff },
   2746   { 0x00000000, 0x000000ff, 0x7fffffff },
   2747   { 0x00000000, 0x00000003, 0xffff8003 },
   2748   { 0x00000000, 0x000000ff, 0xffffffff },
   2749   { 0x00000000, 0x000000fd, 0x00007ffd },
   2750   { 0x00000000, 0x000000ff, 0x00007fff },
   2751   { 0x00000000, 0x000000ff, 0xffffffff },
   2752   { 0x00000000, 0x00000003, 0xffff8003 },
   2753   { 0x00000000, 0x000000fd, 0xfffffffd },
   2754   { 0x00000000, 0x00000000, 0x80000000 },
   2755   { 0x00000000, 0x00000020, 0x00000020 },
   2756   { 0x00000000, 0x00000002, 0x00000002 },
   2757   { 0x00000000, 0x00000002, 0x00000002 },
   2758   { 0x00000000, 0x000000ff, 0x00007fff },
   2759   { 0x00000000, 0x00000001, 0x00000001 },
   2760   { 0x00000000, 0x000000ff, 0x00007fff },
   2761   { 0x00000000, 0x00000020, 0x00000020 },
   2762   { 0x00000000, 0x000000e0, 0xffffffe0 },
   2763   { 0x00000000, 0x000000aa, 0xaaaaaaaa },
   2764   { 0x00000000, 0x00000001, 0xffff8001 },
   2765   { 0x00000000, 0x00000001, 0x80000001 },
   2766   { 0x00000000, 0x00000000, 0xffff8000 },
   2767   { 0x00000000, 0x00000001, 0xffff8001 },
   2768   { 0x00000000, 0x00000000, 0x00000000 },
   2769   { 0x00000000, 0x00000033, 0x33333333 },
   2770   { 0x00000000, 0x00000080, 0xffffff80 },
   2771   { 0x00000000, 0x00000055, 0x55555555 },
   2772   { 0x00000000, 0x000000ff, 0xffffffff },
   2773 };
   2774 const TestResult kReferenceUxtb[] = {
   2775   {
   2776     ARRAY_SIZE(kOutputs_Uxtb_Condition_eq_r0_r0),
   2777     kOutputs_Uxtb_Condition_eq_r0_r0,
   2778   },
   2779   {
   2780     ARRAY_SIZE(kOutputs_Uxtb_Condition_ne_r0_r0),
   2781     kOutputs_Uxtb_Condition_ne_r0_r0,
   2782   },
   2783   {
   2784     ARRAY_SIZE(kOutputs_Uxtb_Condition_cs_r0_r0),
   2785     kOutputs_Uxtb_Condition_cs_r0_r0,
   2786   },
   2787   {
   2788     ARRAY_SIZE(kOutputs_Uxtb_Condition_cc_r0_r0),
   2789     kOutputs_Uxtb_Condition_cc_r0_r0,
   2790   },
   2791   {
   2792     ARRAY_SIZE(kOutputs_Uxtb_Condition_mi_r0_r0),
   2793     kOutputs_Uxtb_Condition_mi_r0_r0,
   2794   },
   2795   {
   2796     ARRAY_SIZE(kOutputs_Uxtb_Condition_pl_r0_r0),
   2797     kOutputs_Uxtb_Condition_pl_r0_r0,
   2798   },
   2799   {
   2800     ARRAY_SIZE(kOutputs_Uxtb_Condition_vs_r0_r0),
   2801     kOutputs_Uxtb_Condition_vs_r0_r0,
   2802   },
   2803   {
   2804     ARRAY_SIZE(kOutputs_Uxtb_Condition_vc_r0_r0),
   2805     kOutputs_Uxtb_Condition_vc_r0_r0,
   2806   },
   2807   {
   2808     ARRAY_SIZE(kOutputs_Uxtb_Condition_hi_r0_r0),
   2809     kOutputs_Uxtb_Condition_hi_r0_r0,
   2810   },
   2811   {
   2812     ARRAY_SIZE(kOutputs_Uxtb_Condition_ls_r0_r0),
   2813     kOutputs_Uxtb_Condition_ls_r0_r0,
   2814   },
   2815   {
   2816     ARRAY_SIZE(kOutputs_Uxtb_Condition_ge_r0_r0),
   2817     kOutputs_Uxtb_Condition_ge_r0_r0,
   2818   },
   2819   {
   2820     ARRAY_SIZE(kOutputs_Uxtb_Condition_lt_r0_r0),
   2821     kOutputs_Uxtb_Condition_lt_r0_r0,
   2822   },
   2823   {
   2824     ARRAY_SIZE(kOutputs_Uxtb_Condition_gt_r0_r0),
   2825     kOutputs_Uxtb_Condition_gt_r0_r0,
   2826   },
   2827   {
   2828     ARRAY_SIZE(kOutputs_Uxtb_Condition_le_r0_r0),
   2829     kOutputs_Uxtb_Condition_le_r0_r0,
   2830   },
   2831   {
   2832     ARRAY_SIZE(kOutputs_Uxtb_Condition_al_r0_r0),
   2833     kOutputs_Uxtb_Condition_al_r0_r0,
   2834   },
   2835   {
   2836     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r0_r0),
   2837     kOutputs_Uxtb_RdIsRn_al_r0_r0,
   2838   },
   2839   {
   2840     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r1_r1),
   2841     kOutputs_Uxtb_RdIsRn_al_r1_r1,
   2842   },
   2843   {
   2844     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r2_r2),
   2845     kOutputs_Uxtb_RdIsRn_al_r2_r2,
   2846   },
   2847   {
   2848     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r3_r3),
   2849     kOutputs_Uxtb_RdIsRn_al_r3_r3,
   2850   },
   2851   {
   2852     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r4_r4),
   2853     kOutputs_Uxtb_RdIsRn_al_r4_r4,
   2854   },
   2855   {
   2856     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r5_r5),
   2857     kOutputs_Uxtb_RdIsRn_al_r5_r5,
   2858   },
   2859   {
   2860     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r6_r6),
   2861     kOutputs_Uxtb_RdIsRn_al_r6_r6,
   2862   },
   2863   {
   2864     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r7_r7),
   2865     kOutputs_Uxtb_RdIsRn_al_r7_r7,
   2866   },
   2867   {
   2868     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r8_r8),
   2869     kOutputs_Uxtb_RdIsRn_al_r8_r8,
   2870   },
   2871   {
   2872     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r9_r9),
   2873     kOutputs_Uxtb_RdIsRn_al_r9_r9,
   2874   },
   2875   {
   2876     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r10_r10),
   2877     kOutputs_Uxtb_RdIsRn_al_r10_r10,
   2878   },
   2879   {
   2880     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r11_r11),
   2881     kOutputs_Uxtb_RdIsRn_al_r11_r11,
   2882   },
   2883   {
   2884     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r12_r12),
   2885     kOutputs_Uxtb_RdIsRn_al_r12_r12,
   2886   },
   2887   {
   2888     ARRAY_SIZE(kOutputs_Uxtb_RdIsRn_al_r14_r14),
   2889     kOutputs_Uxtb_RdIsRn_al_r14_r14,
   2890   },
   2891   {
   2892     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r1_r8),
   2893     kOutputs_Uxtb_RdIsNotRn_al_r1_r8,
   2894   },
   2895   {
   2896     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r7_r4),
   2897     kOutputs_Uxtb_RdIsNotRn_al_r7_r4,
   2898   },
   2899   {
   2900     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r14_r10),
   2901     kOutputs_Uxtb_RdIsNotRn_al_r14_r10,
   2902   },
   2903   {
   2904     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r10_r6),
   2905     kOutputs_Uxtb_RdIsNotRn_al_r10_r6,
   2906   },
   2907   {
   2908     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r6_r5),
   2909     kOutputs_Uxtb_RdIsNotRn_al_r6_r5,
   2910   },
   2911   {
   2912     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r12_r2),
   2913     kOutputs_Uxtb_RdIsNotRn_al_r12_r2,
   2914   },
   2915   {
   2916     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r0_r11),
   2917     kOutputs_Uxtb_RdIsNotRn_al_r0_r11,
   2918   },
   2919   {
   2920     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r10_r14),
   2921     kOutputs_Uxtb_RdIsNotRn_al_r10_r14,
   2922   },
   2923   {
   2924     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r0_r5),
   2925     kOutputs_Uxtb_RdIsNotRn_al_r0_r5,
   2926   },
   2927   {
   2928     ARRAY_SIZE(kOutputs_Uxtb_RdIsNotRn_al_r0_r3),
   2929     kOutputs_Uxtb_RdIsNotRn_al_r0_r3,
   2930   },
   2931 };
   2932 
   2933 #endif  // VIXL_SIMULATOR_COND_RD_OPERAND_RN_UXTB_A32_H_
   2934