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