Home | History | Annotate | Download | only in a64
      1 // Copyright 2015, ARM Limited
      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_SIM_USUBL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_USUBL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_usubl_8H[] = {
     38   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     39   0xffde, 0xffd8, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
     40   0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8,
     41   0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6,
     42   0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a,
     43   0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85,
     44   0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84,
     45   0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83, 0xff83,
     46   0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82, 0xff82, 0xff82, 0x0082,
     47   0xff89, 0xff89, 0xff85, 0xff81, 0xff81, 0xff81, 0x0081, 0x0081,
     48   0xff67, 0xff5d, 0xff80, 0xff80, 0xff80, 0x0080, 0x0080, 0x0080,
     49   0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f, 0x007a,
     50   0xff36, 0xff57, 0xff7e, 0x007e, 0x007e, 0x007e, 0x0079, 0x004f,
     51   0xff35, 0xff56, 0x007d, 0x007d, 0x007d, 0x0078, 0x004e, 0x002d,
     52   0xff34, 0x0055, 0x007c, 0x007c, 0x0077, 0x004d, 0x002c, 0x0005,
     53   0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x002b, 0x0004, 0x0004,
     54   0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x0003, 0x0003, 0x0003,
     55   0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x0002, 0x0002, 0x0002,
     56   0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
     57   0x0022, 0x0028, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
     58   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     59   0xffd8, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffd9,
     60   0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7,
     61   0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b,
     62   0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86,
     63   0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85,
     64   0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84, 0xff84,
     65   0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83, 0xff83, 0x0083,
     66   0xffab, 0xffb1, 0xff86, 0xff82, 0xff82, 0xff82, 0x0082, 0x0082,
     67   0xff89, 0xff85, 0xff81, 0xff81, 0xff81, 0x0081, 0x0081, 0x0081,
     68   0xff5d, 0xff80, 0xff80, 0xff80, 0x0080, 0x0080, 0x0080, 0x007b,
     69   0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f, 0x007a, 0x0050,
     70   0xff57, 0xff7e, 0x007e, 0x007e, 0x007e, 0x0079, 0x004f, 0x002e,
     71   0xff56, 0x007d, 0x007d, 0x007d, 0x0078, 0x004e, 0x002d, 0x0006,
     72   0x0055, 0x007c, 0x007c, 0x0077, 0x004d, 0x002c, 0x0005, 0x0005,
     73   0x0054, 0x007b, 0x0076, 0x004c, 0x002b, 0x0004, 0x0004, 0x0004,
     74   0x0053, 0x0075, 0x004b, 0x002a, 0x0003, 0x0003, 0x0003, 0x0003,
     75   0x004d, 0x004a, 0x0029, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
     76   0x004a, 0x0029, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0028,
     77   0x0028, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0027,
     78   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     79   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffd9, 0xffde,
     80   0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2,
     81   0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad,
     82   0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac,
     83   0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85, 0xffab,
     84   0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84, 0xff84, 0x00aa,
     85   0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83, 0xff83, 0x0083, 0x00a9,
     86   0xffb1, 0xff86, 0xff82, 0xff82, 0xff82, 0x0082, 0x0082, 0x00a8,
     87   0xff85, 0xff81, 0xff81, 0xff81, 0x0081, 0x0081, 0x0081, 0x00a2,
     88   0xff80, 0xff80, 0xff80, 0x0080, 0x0080, 0x0080, 0x007b, 0x0077,
     89   0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f, 0x007a, 0x0050, 0x0055,
     90   0xff7e, 0x007e, 0x007e, 0x007e, 0x0079, 0x004f, 0x002e, 0x002d,
     91   0x007d, 0x007d, 0x007d, 0x0078, 0x004e, 0x002d, 0x0006, 0x002c,
     92   0x007c, 0x007c, 0x0077, 0x004d, 0x002c, 0x0005, 0x0005, 0x002b,
     93   0x007b, 0x0076, 0x004c, 0x002b, 0x0004, 0x0004, 0x0004, 0x002a,
     94   0x0075, 0x004b, 0x002a, 0x0003, 0x0003, 0x0003, 0x0003, 0x0029,
     95   0x004b, 0x002a, 0x0003, 0x0003, 0x0003, 0x0003, 0x0029, 0x004a,
     96   0x0029, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0028, 0x0049,
     97   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022,
     98   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     99   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4,
    100   0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf,
    101   0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce,
    102   0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd,
    103   0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85, 0xffab, 0x00cc,
    104   0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb,
    105   0xffb2, 0xff87, 0xff83, 0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca,
    106   0xff86, 0xff82, 0xff82, 0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4,
    107   0xff81, 0xff81, 0xff81, 0x0081, 0x0081, 0x0081, 0x00a2, 0x0099,
    108   0xff80, 0xff80, 0x0080, 0x0080, 0x0080, 0x007b, 0x0077, 0x0077,
    109   0xff7f, 0x007f, 0x007f, 0x007f, 0x007a, 0x0050, 0x0055, 0x004f,
    110   0x007e, 0x007e, 0x007e, 0x0079, 0x004f, 0x002e, 0x002d, 0x004e,
    111   0x007d, 0x007d, 0x0078, 0x004e, 0x002d, 0x0006, 0x002c, 0x004d,
    112   0x007c, 0x0077, 0x004d, 0x002c, 0x0005, 0x0005, 0x002b, 0x004c,
    113   0x0076, 0x004c, 0x002b, 0x0004, 0x0004, 0x0004, 0x002a, 0x004b,
    114   0x004c, 0x002b, 0x0004, 0x0004, 0x0004, 0x002a, 0x004b, 0x0076,
    115   0x002a, 0x0003, 0x0003, 0x0003, 0x0003, 0x0029, 0x004a, 0x0075,
    116   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e,
    117   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c,
    118   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    119   0xffff, 0xffff, 0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb,
    120   0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa,
    121   0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9,
    122   0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8,
    123   0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7,
    124   0xffb3, 0xff88, 0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6,
    125   0xff87, 0xff83, 0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0,
    126   0xff82, 0xff82, 0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5,
    127   0xff81, 0xff81, 0x0081, 0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3,
    128   0xff80, 0x0080, 0x0080, 0x0080, 0x007b, 0x0077, 0x0077, 0x007b,
    129   0x007f, 0x007f, 0x007f, 0x007a, 0x0050, 0x0055, 0x004f, 0x007a,
    130   0x007e, 0x007e, 0x0079, 0x004f, 0x002e, 0x002d, 0x004e, 0x0079,
    131   0x007d, 0x0078, 0x004e, 0x002d, 0x0006, 0x002c, 0x004d, 0x0078,
    132   0x0077, 0x004d, 0x002c, 0x0005, 0x0005, 0x002b, 0x004c, 0x0077,
    133   0x004d, 0x002c, 0x0005, 0x0005, 0x002b, 0x004c, 0x0077, 0x007b,
    134   0x002b, 0x0004, 0x0004, 0x0004, 0x002a, 0x004b, 0x0076, 0x007a,
    135   0x0003, 0x0003, 0x0003, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053,
    136   0x0002, 0x0002, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031,
    137   0x0001, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005,
    138   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    139   0xffff, 0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff,
    140   0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe,
    141   0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd,
    142   0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc,
    143   0xffb4, 0xff89, 0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb,
    144   0xff88, 0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5,
    145   0xff83, 0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca,
    146   0xff82, 0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8,
    147   0xff81, 0x0081, 0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080,
    148   0x0080, 0x0080, 0x0080, 0x007b, 0x0077, 0x0077, 0x007b, 0x007f,
    149   0x007f, 0x007f, 0x007a, 0x0050, 0x0055, 0x004f, 0x007a, 0x007e,
    150   0x007e, 0x0079, 0x004f, 0x002e, 0x002d, 0x004e, 0x0079, 0x007d,
    151   0x0078, 0x004e, 0x002d, 0x0006, 0x002c, 0x004d, 0x0078, 0x007c,
    152   0x004e, 0x002d, 0x0006, 0x002c, 0x004d, 0x0078, 0x007c, 0x007c,
    153   0x002c, 0x0005, 0x0005, 0x002b, 0x004c, 0x0077, 0x007b, 0x007b,
    154   0x0004, 0x0004, 0x0004, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054,
    155   0x0003, 0x0003, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032,
    156   0x0002, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006,
    157   0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001,
    158   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    159   0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff,
    160   0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe,
    161   0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd,
    162   0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc,
    163   0xff89, 0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6,
    164   0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb,
    165   0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9,
    166   0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081,
    167   0x0081, 0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080,
    168   0x0080, 0x0080, 0x007b, 0x0077, 0x0077, 0x007b, 0x007f, 0x007f,
    169   0x007f, 0x007a, 0x0050, 0x0055, 0x004f, 0x007a, 0x007e, 0x007e,
    170   0x0079, 0x004f, 0x002e, 0x002d, 0x004e, 0x0079, 0x007d, 0x007d,
    171   0x004f, 0x002e, 0x002d, 0x004e, 0x0079, 0x007d, 0x007d, 0x007d,
    172   0x002d, 0x0006, 0x002c, 0x004d, 0x0078, 0x007c, 0x007c, 0x007c,
    173   0x0005, 0x0005, 0x002b, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055,
    174   0x0004, 0x0004, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033,
    175   0x0003, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007,
    176   0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002,
    177   0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001,
    178   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    179   0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff,
    180   0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe,
    181   0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd,
    182   0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7,
    183   0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc,
    184   0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa,
    185   0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082,
    186   0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081,
    187   0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080, 0x0080,
    188   0x0080, 0x007b, 0x0077, 0x0077, 0x007b, 0x007f, 0x007f, 0x007f,
    189   0x007a, 0x0050, 0x0055, 0x004f, 0x007a, 0x007e, 0x007e, 0x007e,
    190   0x0050, 0x0055, 0x004f, 0x007a, 0x007e, 0x007e, 0x007e, 0xff7e,
    191   0x002e, 0x002d, 0x004e, 0x0079, 0x007d, 0x007d, 0x007d, 0xff7d,
    192   0x0006, 0x002c, 0x004d, 0x0078, 0x007c, 0x007c, 0x007c, 0xff56,
    193   0x0005, 0x002b, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0xff34,
    194   0x0004, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0xff08,
    195   0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0xff03,
    196   0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0xff02,
    197   0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0xff01,
    198   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    199   0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff,
    200   0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe,
    201   0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8,
    202   0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd,
    203   0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab,
    204   0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83,
    205   0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82,
    206   0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81,
    207   0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080, 0x0080, 0xff80,
    208   0x007b, 0x0077, 0x0077, 0x007b, 0x007f, 0x007f, 0x007f, 0xff7f,
    209   0x0077, 0x0077, 0x007b, 0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f,
    210   0x0055, 0x004f, 0x007a, 0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e,
    211   0x002d, 0x004e, 0x0079, 0x007d, 0x007d, 0x007d, 0xff7d, 0xff57,
    212   0x002c, 0x004d, 0x0078, 0x007c, 0x007c, 0x007c, 0xff56, 0xff35,
    213   0x002b, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0xff34, 0xff09,
    214   0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0xff08, 0xff04,
    215   0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0xff03, 0xff03,
    216   0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0xff02, 0xff02,
    217   0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0xff01, 0x0001,
    218   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    219   0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff, 0xffff,
    220   0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9,
    221   0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce,
    222   0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac,
    223   0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84,
    224   0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83,
    225   0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82,
    226   0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81, 0xff81,
    227   0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080, 0x0080, 0xff80, 0xff80,
    228   0x0099, 0x00a3, 0x0080, 0x0080, 0x0080, 0xff80, 0xff80, 0xff80,
    229   0x0077, 0x007b, 0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f,
    230   0x004f, 0x007a, 0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58,
    231   0x004e, 0x0079, 0x007d, 0x007d, 0x007d, 0xff7d, 0xff57, 0xff36,
    232   0x004d, 0x0078, 0x007c, 0x007c, 0x007c, 0xff56, 0xff35, 0xff0a,
    233   0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0xff34, 0xff09, 0xff05,
    234   0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0xff08, 0xff04, 0xff04,
    235   0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0xff03, 0xff03, 0xff03,
    236   0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0xff02, 0xff02, 0x0002,
    237   0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0xff01, 0x0001, 0x0001,
    238   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    239   0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa,
    240   0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf,
    241   0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad,
    242   0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85,
    243   0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84,
    244   0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83,
    245   0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82, 0xff82,
    246   0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81, 0xff81, 0xff81,
    247   0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81, 0xff81, 0xff81, 0xff86,
    248   0x00a3, 0x0080, 0x0080, 0x0080, 0xff80, 0xff80, 0xff80, 0xff85,
    249   0x007b, 0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e,
    250   0x007a, 0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c,
    251   0x0079, 0x007d, 0x007d, 0x007d, 0xff7d, 0xff57, 0xff36, 0xff10,
    252   0x0078, 0x007c, 0x007c, 0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b,
    253   0x0077, 0x007b, 0x007b, 0x0055, 0xff34, 0xff09, 0xff05, 0xff0a,
    254   0x0076, 0x007a, 0x0054, 0x0033, 0xff08, 0xff04, 0xff04, 0xff09,
    255   0x0075, 0x0053, 0x0032, 0x0007, 0xff03, 0xff03, 0xff03, 0x0008,
    256   0x004e, 0x0031, 0x0006, 0x0002, 0xff02, 0xff02, 0x0002, 0x0007,
    257   0x002c, 0x0005, 0x0001, 0x0001, 0xff01, 0x0001, 0x0001, 0x0006,
    258   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    259   0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5,
    260   0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3,
    261   0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b,
    262   0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a,
    263   0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84, 0xff89,
    264   0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83, 0xff88,
    265   0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82, 0xff82, 0xff87,
    266   0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82, 0xff82, 0xff87, 0xffb1,
    267   0x00a8, 0x0081, 0x0081, 0xff81, 0xff81, 0xff81, 0xff86, 0xffb0,
    268   0x0080, 0x0080, 0x0080, 0xff80, 0xff80, 0xff80, 0xff85, 0xff89,
    269   0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67,
    270   0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b,
    271   0x007d, 0x007d, 0x007d, 0xff7d, 0xff57, 0xff36, 0xff10, 0xff36,
    272   0x007c, 0x007c, 0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35,
    273   0x007b, 0x007b, 0x0055, 0xff34, 0xff09, 0xff05, 0xff0a, 0xff34,
    274   0x007a, 0x0054, 0x0033, 0xff08, 0xff04, 0xff04, 0xff09, 0x0033,
    275   0x0053, 0x0032, 0x0007, 0xff03, 0xff03, 0xff03, 0x0008, 0x0032,
    276   0x0031, 0x0006, 0x0002, 0xff02, 0xff02, 0x0002, 0x0007, 0x0031,
    277   0x0005, 0x0001, 0x0001, 0xff01, 0x0001, 0x0001, 0x0006, 0x002b,
    278   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    279   0xffff, 0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde,
    280   0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6,
    281   0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5,
    282   0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4,
    283   0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84, 0xff89, 0xffb3,
    284   0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83, 0xff88, 0xffb2,
    285   0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3,
    286   0x00a9, 0x0082, 0xff82, 0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2,
    287   0x0081, 0x0081, 0xff81, 0xff81, 0xff81, 0xff86, 0xffb0, 0xffab,
    288   0x0080, 0x0080, 0xff80, 0xff80, 0xff80, 0xff85, 0xff89, 0xff89,
    289   0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d,
    290   0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58,
    291   0x007d, 0x007d, 0xff7d, 0xff57, 0xff36, 0xff10, 0xff36, 0xff57,
    292   0x007c, 0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56,
    293   0x007b, 0x0055, 0xff34, 0xff09, 0xff05, 0xff0a, 0xff34, 0x0055,
    294   0x0054, 0x0033, 0xff08, 0xff04, 0xff04, 0xff09, 0x0033, 0x0054,
    295   0x0032, 0x0007, 0xff03, 0xff03, 0xff03, 0x0008, 0x0032, 0x0053,
    296   0x0006, 0x0002, 0xff02, 0xff02, 0x0002, 0x0007, 0x0031, 0x004d,
    297   0x0001, 0x0001, 0xff01, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022,
    298   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    299   0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8,
    300   0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7,
    301   0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6,
    302   0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5,
    303   0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4,
    304   0x00cc, 0xffab, 0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb,
    305   0x00aa, 0xff83, 0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa,
    306   0x0082, 0xff82, 0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3,
    307   0x0081, 0xff81, 0xff81, 0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1,
    308   0x0080, 0xff80, 0xff80, 0xff80, 0xff85, 0xff89, 0xff89, 0xff85,
    309   0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80,
    310   0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f,
    311   0x007d, 0xff7d, 0xff57, 0xff36, 0xff10, 0xff36, 0xff57, 0xff7e,
    312   0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d,
    313   0x0055, 0xff34, 0xff09, 0xff05, 0xff0a, 0xff34, 0x0055, 0x007c,
    314   0x0033, 0xff08, 0xff04, 0xff04, 0xff09, 0x0033, 0x0054, 0x007b,
    315   0x0007, 0xff03, 0xff03, 0xff03, 0x0008, 0x0032, 0x0053, 0x0075,
    316   0x0002, 0xff02, 0xff02, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a,
    317   0x0001, 0xff01, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028,
    318   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    319   0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff,
    320   0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe,
    321   0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd,
    322   0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc,
    323   0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc,
    324   0xffab, 0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb,
    325   0xff83, 0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4,
    326   0xff82, 0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2,
    327   0xff81, 0xff81, 0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86,
    328   0xff80, 0xff80, 0xff80, 0xff85, 0xff89, 0xff89, 0xff85, 0xff81,
    329   0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80,
    330   0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f,
    331   0xff7d, 0xff57, 0xff36, 0xff10, 0xff36, 0xff57, 0xff7e, 0x007e,
    332   0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d, 0x007d,
    333   0xff34, 0xff09, 0xff05, 0xff0a, 0xff34, 0x0055, 0x007c, 0x007c,
    334   0xff08, 0xff04, 0xff04, 0xff09, 0x0033, 0x0054, 0x007b, 0x0076,
    335   0xff03, 0xff03, 0xff03, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b,
    336   0xff02, 0xff02, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029,
    337   0xff01, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001,
    338   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    339   0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff,
    340   0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe,
    341   0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd,
    342   0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd,
    343   0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc,
    344   0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5,
    345   0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3,
    346   0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87,
    347   0xff81, 0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82,
    348   0xff80, 0xff80, 0xff85, 0xff89, 0xff89, 0xff85, 0xff81, 0xff81,
    349   0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80, 0xff80,
    350   0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f,
    351   0xff57, 0xff36, 0xff10, 0xff36, 0xff57, 0xff7e, 0x007e, 0x007e,
    352   0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d, 0x007d, 0x007d,
    353   0xff09, 0xff05, 0xff0a, 0xff34, 0x0055, 0x007c, 0x007c, 0x0077,
    354   0xff04, 0xff04, 0xff09, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c,
    355   0xff03, 0xff03, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a,
    356   0xff02, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002,
    357   0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001,
    358   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    359   0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff, 0xffff,
    360   0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe,
    361   0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe,
    362   0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd,
    363   0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6,
    364   0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4,
    365   0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88,
    366   0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83,
    367   0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82, 0xff82,
    368   0xff80, 0xff85, 0xff89, 0xff89, 0xff85, 0xff81, 0xff81, 0xff81,
    369   0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80, 0xff80, 0x0080,
    370   0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f,
    371   0xff36, 0xff10, 0xff36, 0xff57, 0xff7e, 0x007e, 0x007e, 0x007e,
    372   0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d, 0x007d, 0x007d, 0x0078,
    373   0xff05, 0xff0a, 0xff34, 0x0055, 0x007c, 0x007c, 0x0077, 0x004d,
    374   0xff04, 0xff09, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x002b,
    375   0xff03, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x0003,
    376   0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x0002,
    377   0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x0001,
    378   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    379   0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff, 0xffff, 0xffff,
    380   0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    381   0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe,
    382   0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7,
    383   0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5,
    384   0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89,
    385   0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84,
    386   0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83,
    387   0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82, 0xff82, 0xff82,
    388   0xff85, 0xff89, 0xff89, 0xff85, 0xff81, 0xff81, 0xff81, 0x0081,
    389   0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80, 0xff80, 0x0080, 0x0080,
    390   0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f,
    391   0xff10, 0xff36, 0xff57, 0xff7e, 0x007e, 0x007e, 0x007e, 0x0079,
    392   0xff0b, 0xff35, 0xff56, 0x007d, 0x007d, 0x007d, 0x0078, 0x004e,
    393   0xff0a, 0xff34, 0x0055, 0x007c, 0x007c, 0x0077, 0x004d, 0x002c,
    394   0xff09, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x002b, 0x0004,
    395   0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x0003, 0x0003,
    396   0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x0002, 0x0002,
    397   0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x0001, 0x0001,
    398   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    399 };
    400 const unsigned kExpectedCount_NEON_usubl_8H = 361;
    401 
    402 #endif  // VIXL_SIM_USUBL_8H_TRACE_A64_H_
    403