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_SABAL2_8H_TRACE_A64_H_
     35 #define VIXL_SIM_SABAL2_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_sabal2_8H[] = {
     38   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     39   0x0027, 0x0023, 0x002e, 0x0015, 0x007e, 0x007f, 0x0080, 0x3334,
     40   0x0049, 0x004f, 0x0033, 0x0016, 0x007f, 0x0080, 0x0081, 0x3335,
     41   0x0075, 0x0054, 0x0034, 0x0017, 0x0080, 0x0081, 0x0082, 0x333b,
     42   0x007a, 0x0055, 0x0035, 0x0018, 0x0081, 0x0082, 0x0088, 0x3366,
     43   0x007b, 0x0056, 0x0036, 0x0019, 0x0082, 0x0088, 0x00b3, 0x3388,
     44   0x007c, 0x0057, 0x0037, 0x001a, 0x0088, 0x00b3, 0x00d5, 0x33b0,
     45   0x007d, 0x0058, 0x0038, 0x0020, 0x00b3, 0x00d5, 0x00fd, 0x33b1,
     46   0x007e, 0x0059, 0x003e, 0x004b, 0x00d5, 0x00fd, 0x00fe, 0x33b2,
     47   0x007f, 0x005f, 0x0069, 0x006d, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
     48   0x0085, 0x008a, 0x008b, 0x0095, 0x00fe, 0x00ff, 0x00fe, 0x33b2,
     49   0x00b0, 0x00ac, 0x00b3, 0x0096, 0x00ff, 0x00fc, 0x00fd, 0x33b1,
     50   0x00d2, 0x00d4, 0x00b4, 0x0097, 0x00fa, 0x00fb, 0x00fc, 0x33b0,
     51   0x00fa, 0x00d5, 0x00b5, 0x0088, 0x00f9, 0x00fa, 0x00fb, 0x3389,
     52   0x00fb, 0x00d6, 0x004e, 0x0087, 0x00f8, 0x00f9, 0x00d4, 0x3367,
     53   0x00fc, 0x002b, 0x004d, 0x0086, 0x00f7, 0x00d2, 0x00b2, 0x333b,
     54   0x0003, 0x002a, 0x004c, 0x0085, 0x00d0, 0x00b0, 0x0086, 0x3336,
     55   0x0002, 0x0029, 0x004b, 0x005e, 0x00ae, 0x0084, 0x0081, 0x3335,
     56   0x0001, 0x0028, 0x0024, 0x003c, 0x0082, 0x007f, 0x0080, 0x3334,
     57   0x0027, 0x0023, 0x002e, 0x0015, 0x007e, 0x007f, 0x0080, 0x3334,
     58   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     59   0x0022, 0x002d, 0x0007, 0x0011, 0x007e, 0x007f, 0x0080, 0x3334,
     60   0x004e, 0x0032, 0x0008, 0x0012, 0x007f, 0x0080, 0x0081, 0x333a,
     61   0x0053, 0x0033, 0x0009, 0x0013, 0x0080, 0x0081, 0x0087, 0x3365,
     62   0x0054, 0x0034, 0x000a, 0x0014, 0x0081, 0x0087, 0x00b2, 0x3387,
     63   0x0055, 0x0035, 0x000b, 0x0015, 0x0087, 0x00b2, 0x00d4, 0x33af,
     64   0x0056, 0x0036, 0x000c, 0x001b, 0x00b2, 0x00d4, 0x00fc, 0x33b0,
     65   0x0057, 0x0037, 0x0012, 0x0046, 0x00d4, 0x00fc, 0x00fd, 0x33b1,
     66   0x0058, 0x003d, 0x003d, 0x0068, 0x00fc, 0x00fd, 0x00fe, 0x33b4,
     67   0x005e, 0x0068, 0x005f, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
     68   0x0089, 0x008a, 0x0087, 0x0091, 0x00fe, 0x00fd, 0x00fe, 0x33b2,
     69   0x00ab, 0x00b2, 0x0088, 0x0092, 0x00fb, 0x00fc, 0x00fd, 0x33b1,
     70   0x00d3, 0x00b3, 0x0089, 0x008d, 0x00fa, 0x00fb, 0x00fc, 0x338a,
     71   0x00d4, 0x00b4, 0x007a, 0x008c, 0x00f9, 0x00fa, 0x00d5, 0x3368,
     72   0x00d5, 0x004d, 0x0079, 0x008b, 0x00f8, 0x00d3, 0x00b3, 0x333c,
     73   0x002a, 0x004c, 0x0078, 0x008a, 0x00d1, 0x00b1, 0x0087, 0x3337,
     74   0x0029, 0x004b, 0x0077, 0x0063, 0x00af, 0x0085, 0x0082, 0x3336,
     75   0x0028, 0x004a, 0x0050, 0x0041, 0x0083, 0x0080, 0x0081, 0x3335,
     76   0x0049, 0x004f, 0x0033, 0x0016, 0x007f, 0x0080, 0x0081, 0x3335,
     77   0x0022, 0x002d, 0x0007, 0x0011, 0x007e, 0x007f, 0x0080, 0x3334,
     78   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     79   0x002c, 0x0006, 0x0003, 0x0011, 0x007e, 0x007f, 0x0080, 0x3339,
     80   0x0031, 0x0007, 0x0004, 0x0012, 0x007f, 0x0080, 0x0086, 0x3364,
     81   0x0032, 0x0008, 0x0005, 0x0013, 0x0080, 0x0086, 0x00b1, 0x3386,
     82   0x0033, 0x0009, 0x0006, 0x0014, 0x0086, 0x00b1, 0x00d3, 0x33ae,
     83   0x0034, 0x000a, 0x0007, 0x001a, 0x00b1, 0x00d3, 0x00fb, 0x33af,
     84   0x0035, 0x000b, 0x000d, 0x0045, 0x00d3, 0x00fb, 0x00fc, 0x33b0,
     85   0x0036, 0x0011, 0x0038, 0x0067, 0x00fb, 0x00fc, 0x00fd, 0x33b5,
     86   0x003c, 0x003c, 0x005a, 0x008f, 0x00fc, 0x00fd, 0x0100, 0x33b4,
     87   0x0067, 0x005e, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
     88   0x0089, 0x0086, 0x0083, 0x0091, 0x00fc, 0x00fd, 0x00fe, 0x33b2,
     89   0x00b1, 0x0087, 0x0084, 0x008e, 0x00fb, 0x00fc, 0x00fd, 0x338b,
     90   0x00b2, 0x0088, 0x007f, 0x008d, 0x00fa, 0x00fb, 0x00d6, 0x3369,
     91   0x00b3, 0x0079, 0x007e, 0x008c, 0x00f9, 0x00d4, 0x00b4, 0x333d,
     92   0x004c, 0x0078, 0x007d, 0x008b, 0x00d2, 0x00b2, 0x0088, 0x3338,
     93   0x004b, 0x0077, 0x007c, 0x0064, 0x00b0, 0x0086, 0x0083, 0x3337,
     94   0x004a, 0x0076, 0x0055, 0x0042, 0x0084, 0x0081, 0x0082, 0x3336,
     95   0x0075, 0x0054, 0x0034, 0x0017, 0x0080, 0x0081, 0x0082, 0x333b,
     96   0x004e, 0x0032, 0x0008, 0x0012, 0x007f, 0x0080, 0x0081, 0x333a,
     97   0x002c, 0x0006, 0x0003, 0x0011, 0x007e, 0x007f, 0x0080, 0x3339,
     98   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     99   0x0005, 0x0002, 0x0003, 0x0011, 0x007e, 0x007f, 0x0085, 0x335e,
    100   0x0006, 0x0003, 0x0004, 0x0012, 0x007f, 0x0085, 0x00b0, 0x3380,
    101   0x0007, 0x0004, 0x0005, 0x0013, 0x0085, 0x00b0, 0x00d2, 0x33a8,
    102   0x0008, 0x0005, 0x0006, 0x0019, 0x00b0, 0x00d2, 0x00fa, 0x33a9,
    103   0x0009, 0x0006, 0x000c, 0x0044, 0x00d2, 0x00fa, 0x00fb, 0x33aa,
    104   0x000a, 0x000c, 0x0037, 0x0066, 0x00fa, 0x00fb, 0x00fc, 0x33bb,
    105   0x0010, 0x0037, 0x0059, 0x008e, 0x00fb, 0x00fc, 0x0101, 0x33ba,
    106   0x003b, 0x0059, 0x0081, 0x008f, 0x00fc, 0x00ff, 0x0100, 0x33b9,
    107   0x005d, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b8,
    108   0x0085, 0x0082, 0x0083, 0x008f, 0x00fc, 0x00fd, 0x00fe, 0x3391,
    109   0x0086, 0x0083, 0x0080, 0x008e, 0x00fb, 0x00fc, 0x00d7, 0x336f,
    110   0x0087, 0x007e, 0x007f, 0x008d, 0x00fa, 0x00d5, 0x00b5, 0x3343,
    111   0x0078, 0x007d, 0x007e, 0x008c, 0x00d3, 0x00b3, 0x0089, 0x333e,
    112   0x0077, 0x007c, 0x007d, 0x0065, 0x00b1, 0x0087, 0x0084, 0x333d,
    113   0x0076, 0x007b, 0x0056, 0x0043, 0x0085, 0x0082, 0x0083, 0x333c,
    114   0x007a, 0x0055, 0x0035, 0x0018, 0x0081, 0x0082, 0x0088, 0x3366,
    115   0x0053, 0x0033, 0x0009, 0x0013, 0x0080, 0x0081, 0x0087, 0x3365,
    116   0x0031, 0x0007, 0x0004, 0x0012, 0x007f, 0x0080, 0x0086, 0x3364,
    117   0x0005, 0x0002, 0x0003, 0x0011, 0x007e, 0x007f, 0x0085, 0x335e,
    118   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    119   0x0001, 0x0002, 0x0003, 0x0011, 0x007e, 0x0084, 0x00aa, 0x3355,
    120   0x0002, 0x0003, 0x0004, 0x0012, 0x0084, 0x00af, 0x00cc, 0x337d,
    121   0x0003, 0x0004, 0x0005, 0x0018, 0x00af, 0x00d1, 0x00f4, 0x337e,
    122   0x0004, 0x0005, 0x000b, 0x0043, 0x00d1, 0x00f9, 0x00f5, 0x337f,
    123   0x0005, 0x000b, 0x0036, 0x0065, 0x00f9, 0x00fa, 0x00f6, 0x33e6,
    124   0x000b, 0x0036, 0x0058, 0x008d, 0x00fa, 0x00fb, 0x0107, 0x33e5,
    125   0x0036, 0x0058, 0x0080, 0x008e, 0x00fb, 0x0100, 0x0106, 0x33e4,
    126   0x0058, 0x0080, 0x0081, 0x008f, 0x00fe, 0x00ff, 0x0105, 0x33e3,
    127   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x0104, 0x33bc,
    128   0x0081, 0x0082, 0x0081, 0x008f, 0x00fc, 0x00fd, 0x00dd, 0x339a,
    129   0x0082, 0x007f, 0x0080, 0x008e, 0x00fb, 0x00d6, 0x00bb, 0x336e,
    130   0x007d, 0x007e, 0x007f, 0x008d, 0x00d4, 0x00b4, 0x008f, 0x3369,
    131   0x007c, 0x007d, 0x007e, 0x0066, 0x00b2, 0x0088, 0x008a, 0x3368,
    132   0x007b, 0x007c, 0x0057, 0x0044, 0x0086, 0x0083, 0x0089, 0x3367,
    133   0x007b, 0x0056, 0x0036, 0x0019, 0x0082, 0x0088, 0x00b3, 0x3388,
    134   0x0054, 0x0034, 0x000a, 0x0014, 0x0081, 0x0087, 0x00b2, 0x3387,
    135   0x0032, 0x0008, 0x0005, 0x0013, 0x0080, 0x0086, 0x00b1, 0x3386,
    136   0x0006, 0x0003, 0x0004, 0x0012, 0x007f, 0x0085, 0x00b0, 0x3380,
    137   0x0001, 0x0002, 0x0003, 0x0011, 0x007e, 0x0084, 0x00aa, 0x3355,
    138   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    139   0x0001, 0x0002, 0x0003, 0x0011, 0x0083, 0x00a9, 0x00a1, 0x335b,
    140   0x0002, 0x0003, 0x0004, 0x0017, 0x00ae, 0x00cb, 0x00c9, 0x335c,
    141   0x0003, 0x0004, 0x000a, 0x0042, 0x00d0, 0x00f3, 0x00ca, 0x335d,
    142   0x0004, 0x000a, 0x0035, 0x0064, 0x00f8, 0x00f4, 0x00cb, 0x3408,
    143   0x000a, 0x0035, 0x0057, 0x008c, 0x00f9, 0x00f5, 0x0132, 0x3407,
    144   0x0035, 0x0057, 0x007f, 0x008d, 0x00fa, 0x0106, 0x0131, 0x3406,
    145   0x0057, 0x007f, 0x0080, 0x008e, 0x00ff, 0x0105, 0x0130, 0x3405,
    146   0x007f, 0x0080, 0x0081, 0x0091, 0x00fe, 0x0104, 0x012f, 0x33de,
    147   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x0103, 0x0108, 0x33bc,
    148   0x0081, 0x0080, 0x0081, 0x008f, 0x00fc, 0x00dc, 0x00e6, 0x3390,
    149   0x007e, 0x007f, 0x0080, 0x008e, 0x00d5, 0x00ba, 0x00ba, 0x338b,
    150   0x007d, 0x007e, 0x007f, 0x0067, 0x00b3, 0x008e, 0x00b5, 0x338a,
    151   0x007c, 0x007d, 0x0058, 0x0045, 0x0087, 0x0089, 0x00b4, 0x3389,
    152   0x007c, 0x0057, 0x0037, 0x001a, 0x0088, 0x00b3, 0x00d5, 0x33b0,
    153   0x0055, 0x0035, 0x000b, 0x0015, 0x0087, 0x00b2, 0x00d4, 0x33af,
    154   0x0033, 0x0009, 0x0006, 0x0014, 0x0086, 0x00b1, 0x00d3, 0x33ae,
    155   0x0007, 0x0004, 0x0005, 0x0013, 0x0085, 0x00b0, 0x00d2, 0x33a8,
    156   0x0002, 0x0003, 0x0004, 0x0012, 0x0084, 0x00af, 0x00cc, 0x337d,
    157   0x0001, 0x0002, 0x0003, 0x0011, 0x0083, 0x00a9, 0x00a1, 0x335b,
    158   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    159   0x0001, 0x0002, 0x0003, 0x0016, 0x00a8, 0x00a0, 0x00a7, 0x3334,
    160   0x0002, 0x0003, 0x0009, 0x0041, 0x00ca, 0x00c8, 0x00a8, 0x3335,
    161   0x0003, 0x0009, 0x0034, 0x0063, 0x00f2, 0x00c9, 0x00a9, 0x3430,
    162   0x0009, 0x0034, 0x0056, 0x008b, 0x00f3, 0x00ca, 0x0154, 0x342f,
    163   0x0034, 0x0056, 0x007e, 0x008c, 0x00f4, 0x0131, 0x0153, 0x342e,
    164   0x0056, 0x007e, 0x007f, 0x008d, 0x0105, 0x0130, 0x0152, 0x342d,
    165   0x007e, 0x007f, 0x0080, 0x0092, 0x0104, 0x012f, 0x0151, 0x3406,
    166   0x007f, 0x0080, 0x0083, 0x0091, 0x0103, 0x012e, 0x012a, 0x33e4,
    167   0x0080, 0x0081, 0x0082, 0x0090, 0x0102, 0x0107, 0x0108, 0x33b8,
    168   0x007f, 0x0080, 0x0081, 0x008f, 0x00db, 0x00e5, 0x00dc, 0x33b3,
    169   0x007e, 0x007f, 0x0080, 0x0068, 0x00b9, 0x00b9, 0x00d7, 0x33b2,
    170   0x007d, 0x007e, 0x0059, 0x0046, 0x008d, 0x00b4, 0x00d6, 0x33b1,
    171   0x007d, 0x0058, 0x0038, 0x0020, 0x00b3, 0x00d5, 0x00fd, 0x33b1,
    172   0x0056, 0x0036, 0x000c, 0x001b, 0x00b2, 0x00d4, 0x00fc, 0x33b0,
    173   0x0034, 0x000a, 0x0007, 0x001a, 0x00b1, 0x00d3, 0x00fb, 0x33af,
    174   0x0008, 0x0005, 0x0006, 0x0019, 0x00b0, 0x00d2, 0x00fa, 0x33a9,
    175   0x0003, 0x0004, 0x0005, 0x0018, 0x00af, 0x00d1, 0x00f4, 0x337e,
    176   0x0002, 0x0003, 0x0004, 0x0017, 0x00ae, 0x00cb, 0x00c9, 0x335c,
    177   0x0001, 0x0002, 0x0003, 0x0016, 0x00a8, 0x00a0, 0x00a7, 0x3334,
    178   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    179   0x0001, 0x0002, 0x0008, 0x003b, 0x009f, 0x00a6, 0x0080, 0x3334,
    180   0x0002, 0x0008, 0x0033, 0x005d, 0x00c7, 0x00a7, 0x0081, 0x3431,
    181   0x0008, 0x0033, 0x0055, 0x0085, 0x00c8, 0x00a8, 0x017c, 0x3430,
    182   0x0033, 0x0055, 0x007d, 0x0086, 0x00c9, 0x0153, 0x017b, 0x342f,
    183   0x0055, 0x007d, 0x007e, 0x0087, 0x0130, 0x0152, 0x017a, 0x342e,
    184   0x007d, 0x007e, 0x007f, 0x0098, 0x012f, 0x0151, 0x0179, 0x3407,
    185   0x007e, 0x007f, 0x0084, 0x0097, 0x012e, 0x0150, 0x0152, 0x33e5,
    186   0x007f, 0x0082, 0x0083, 0x0096, 0x012d, 0x0129, 0x0130, 0x33b9,
    187   0x0080, 0x0081, 0x0082, 0x0095, 0x0106, 0x0107, 0x0104, 0x33b4,
    188   0x007f, 0x0080, 0x0081, 0x006e, 0x00e4, 0x00db, 0x00ff, 0x33b3,
    189   0x007e, 0x007f, 0x005a, 0x004c, 0x00b8, 0x00d6, 0x00fe, 0x33b2,
    190   0x007e, 0x0059, 0x003e, 0x004b, 0x00d5, 0x00fd, 0x00fe, 0x33b2,
    191   0x0057, 0x0037, 0x0012, 0x0046, 0x00d4, 0x00fc, 0x00fd, 0x33b1,
    192   0x0035, 0x000b, 0x000d, 0x0045, 0x00d3, 0x00fb, 0x00fc, 0x33b0,
    193   0x0009, 0x0006, 0x000c, 0x0044, 0x00d2, 0x00fa, 0x00fb, 0x33aa,
    194   0x0004, 0x0005, 0x000b, 0x0043, 0x00d1, 0x00f9, 0x00f5, 0x337f,
    195   0x0003, 0x0004, 0x000a, 0x0042, 0x00d0, 0x00f3, 0x00ca, 0x335d,
    196   0x0002, 0x0003, 0x0009, 0x0041, 0x00ca, 0x00c8, 0x00a8, 0x3335,
    197   0x0001, 0x0002, 0x0008, 0x003b, 0x009f, 0x00a6, 0x0080, 0x3334,
    198   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    199   0x0001, 0x0007, 0x002d, 0x0032, 0x00a5, 0x007f, 0x0080, 0x3432,
    200   0x0007, 0x0032, 0x004f, 0x005a, 0x00a6, 0x0080, 0x017d, 0x3431,
    201   0x0032, 0x0054, 0x0077, 0x005b, 0x00a7, 0x017b, 0x017c, 0x3430,
    202   0x0054, 0x007c, 0x0078, 0x005c, 0x0152, 0x017a, 0x017b, 0x342f,
    203   0x007c, 0x007d, 0x0079, 0x00c3, 0x0151, 0x0179, 0x017a, 0x3408,
    204   0x007d, 0x007e, 0x008a, 0x00c2, 0x0150, 0x0178, 0x0153, 0x33e6,
    205   0x007e, 0x0083, 0x0089, 0x00c1, 0x014f, 0x0151, 0x0131, 0x33ba,
    206   0x0081, 0x0082, 0x0088, 0x00c0, 0x0128, 0x012f, 0x0105, 0x33b5,
    207   0x0080, 0x0081, 0x0087, 0x0099, 0x0106, 0x0103, 0x0100, 0x33b4,
    208   0x007f, 0x0080, 0x0060, 0x0077, 0x00da, 0x00fe, 0x00ff, 0x33b3,
    209   0x007f, 0x005f, 0x0069, 0x006d, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    210   0x0058, 0x003d, 0x003d, 0x0068, 0x00fc, 0x00fd, 0x00fe, 0x33b4,
    211   0x0036, 0x0011, 0x0038, 0x0067, 0x00fb, 0x00fc, 0x00fd, 0x33b5,
    212   0x000a, 0x000c, 0x0037, 0x0066, 0x00fa, 0x00fb, 0x00fc, 0x33bb,
    213   0x0005, 0x000b, 0x0036, 0x0065, 0x00f9, 0x00fa, 0x00f6, 0x33e6,
    214   0x0004, 0x000a, 0x0035, 0x0064, 0x00f8, 0x00f4, 0x00cb, 0x3408,
    215   0x0003, 0x0009, 0x0034, 0x0063, 0x00f2, 0x00c9, 0x00a9, 0x3430,
    216   0x0002, 0x0008, 0x0033, 0x005d, 0x00c7, 0x00a7, 0x0081, 0x3431,
    217   0x0001, 0x0007, 0x002d, 0x0032, 0x00a5, 0x007f, 0x0080, 0x3432,
    218   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    219   0x0006, 0x002c, 0x0024, 0x0038, 0x007e, 0x007f, 0x017e, 0x3334,
    220   0x0031, 0x004e, 0x004c, 0x0039, 0x007f, 0x017c, 0x017d, 0x3335,
    221   0x0053, 0x0076, 0x004d, 0x003a, 0x017a, 0x017b, 0x017c, 0x3336,
    222   0x007b, 0x0077, 0x004e, 0x00e5, 0x0179, 0x017a, 0x017b, 0x335d,
    223   0x007c, 0x0078, 0x00b5, 0x00e4, 0x0178, 0x0179, 0x0154, 0x337f,
    224   0x007d, 0x0089, 0x00b4, 0x00e3, 0x0177, 0x0152, 0x0132, 0x33ab,
    225   0x0082, 0x0088, 0x00b3, 0x00e2, 0x0150, 0x0130, 0x0106, 0x33b0,
    226   0x0081, 0x0087, 0x00b2, 0x00bb, 0x012e, 0x0104, 0x0101, 0x33b1,
    227   0x0080, 0x0086, 0x008b, 0x0099, 0x0102, 0x00ff, 0x0100, 0x33b2,
    228   0x0085, 0x008a, 0x008b, 0x0095, 0x00fe, 0x00ff, 0x00fe, 0x33b2,
    229   0x005e, 0x0068, 0x005f, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    230   0x003c, 0x003c, 0x005a, 0x008f, 0x00fc, 0x00fd, 0x0100, 0x33b4,
    231   0x0010, 0x0037, 0x0059, 0x008e, 0x00fb, 0x00fc, 0x0101, 0x33ba,
    232   0x000b, 0x0036, 0x0058, 0x008d, 0x00fa, 0x00fb, 0x0107, 0x33e5,
    233   0x000a, 0x0035, 0x0057, 0x008c, 0x00f9, 0x00f5, 0x0132, 0x3407,
    234   0x0009, 0x0034, 0x0056, 0x008b, 0x00f3, 0x00ca, 0x0154, 0x342f,
    235   0x0008, 0x0033, 0x0055, 0x0085, 0x00c8, 0x00a8, 0x017c, 0x3430,
    236   0x0007, 0x0032, 0x004f, 0x005a, 0x00a6, 0x0080, 0x017d, 0x3431,
    237   0x0006, 0x002c, 0x0024, 0x0038, 0x007e, 0x007f, 0x017e, 0x3334,
    238   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    239   0x002b, 0x0023, 0x002a, 0x0011, 0x007e, 0x017d, 0x0080, 0x3334,
    240   0x004d, 0x004b, 0x002b, 0x0012, 0x017b, 0x017c, 0x0081, 0x3335,
    241   0x0075, 0x004c, 0x002c, 0x010d, 0x017a, 0x017b, 0x0082, 0x335c,
    242   0x0076, 0x004d, 0x00d7, 0x010c, 0x0179, 0x017a, 0x00a9, 0x337e,
    243   0x0077, 0x00b4, 0x00d6, 0x010b, 0x0178, 0x0153, 0x00cb, 0x33aa,
    244   0x0088, 0x00b3, 0x00d5, 0x010a, 0x0151, 0x0131, 0x00f7, 0x33af,
    245   0x0087, 0x00b2, 0x00d4, 0x00e3, 0x012f, 0x0105, 0x00fc, 0x33b0,
    246   0x0086, 0x00b1, 0x00ad, 0x00c1, 0x0103, 0x0100, 0x00fd, 0x33b1,
    247   0x00b0, 0x00ac, 0x00b3, 0x0096, 0x00ff, 0x00fc, 0x00fd, 0x33b1,
    248   0x0089, 0x008a, 0x0087, 0x0091, 0x00fe, 0x00fd, 0x00fe, 0x33b2,
    249   0x0067, 0x005e, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    250   0x003b, 0x0059, 0x0081, 0x008f, 0x00fc, 0x00ff, 0x0100, 0x33b9,
    251   0x0036, 0x0058, 0x0080, 0x008e, 0x00fb, 0x0100, 0x0106, 0x33e4,
    252   0x0035, 0x0057, 0x007f, 0x008d, 0x00fa, 0x0106, 0x0131, 0x3406,
    253   0x0034, 0x0056, 0x007e, 0x008c, 0x00f4, 0x0131, 0x0153, 0x342e,
    254   0x0033, 0x0055, 0x007d, 0x0086, 0x00c9, 0x0153, 0x017b, 0x342f,
    255   0x0032, 0x0054, 0x0077, 0x005b, 0x00a7, 0x017b, 0x017c, 0x3430,
    256   0x0031, 0x004e, 0x004c, 0x0039, 0x007f, 0x017c, 0x017d, 0x3335,
    257   0x002b, 0x0023, 0x002a, 0x0011, 0x007e, 0x017d, 0x0080, 0x3334,
    258   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    259   0x0022, 0x0029, 0x0003, 0x0011, 0x017c, 0x007f, 0x0080, 0x3334,
    260   0x004a, 0x002a, 0x0004, 0x010e, 0x017b, 0x0080, 0x0081, 0x335b,
    261   0x004b, 0x002b, 0x00ff, 0x010d, 0x017a, 0x0081, 0x00a8, 0x337d,
    262   0x004c, 0x00d6, 0x00fe, 0x010c, 0x0179, 0x00a8, 0x00ca, 0x33a9,
    263   0x00b3, 0x00d5, 0x00fd, 0x010b, 0x0152, 0x00ca, 0x00f6, 0x33ae,
    264   0x00b2, 0x00d4, 0x00fc, 0x00e4, 0x0130, 0x00f6, 0x00fb, 0x33af,
    265   0x00b1, 0x00d3, 0x00d5, 0x00c2, 0x0104, 0x00fb, 0x00fc, 0x33b0,
    266   0x00d2, 0x00d4, 0x00b4, 0x0097, 0x00fa, 0x00fb, 0x00fc, 0x33b0,
    267   0x00ab, 0x00b2, 0x0088, 0x0092, 0x00fb, 0x00fc, 0x00fd, 0x33b1,
    268   0x0089, 0x0086, 0x0083, 0x0091, 0x00fc, 0x00fd, 0x00fe, 0x33b2,
    269   0x005d, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b8,
    270   0x0058, 0x0080, 0x0081, 0x008f, 0x00fe, 0x00ff, 0x0105, 0x33e3,
    271   0x0057, 0x007f, 0x0080, 0x008e, 0x00ff, 0x0105, 0x0130, 0x3405,
    272   0x0056, 0x007e, 0x007f, 0x008d, 0x0105, 0x0130, 0x0152, 0x342d,
    273   0x0055, 0x007d, 0x007e, 0x0087, 0x0130, 0x0152, 0x017a, 0x342e,
    274   0x0054, 0x007c, 0x0078, 0x005c, 0x0152, 0x017a, 0x017b, 0x342f,
    275   0x0053, 0x0076, 0x004d, 0x003a, 0x017a, 0x017b, 0x017c, 0x3336,
    276   0x004d, 0x004b, 0x002b, 0x0012, 0x017b, 0x017c, 0x0081, 0x3335,
    277   0x0022, 0x0029, 0x0003, 0x0011, 0x017c, 0x007f, 0x0080, 0x3334,
    278   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    279   0x0028, 0x0002, 0x0003, 0x010f, 0x007e, 0x007f, 0x0080, 0x335a,
    280   0x0029, 0x0003, 0x0100, 0x010e, 0x007f, 0x0080, 0x00a7, 0x337c,
    281   0x002a, 0x00fe, 0x00ff, 0x010d, 0x0080, 0x00a7, 0x00c9, 0x33a8,
    282   0x00d5, 0x00fd, 0x00fe, 0x010c, 0x00a7, 0x00c9, 0x00f5, 0x33ad,
    283   0x00d4, 0x00fc, 0x00fd, 0x00e5, 0x00c9, 0x00f5, 0x00fa, 0x33ae,
    284   0x00d3, 0x00fb, 0x00d6, 0x00c3, 0x00f5, 0x00fa, 0x00fb, 0x33af,
    285   0x00fa, 0x00d5, 0x00b5, 0x0088, 0x00f9, 0x00fa, 0x00fb, 0x3389,
    286   0x00d3, 0x00b3, 0x0089, 0x008d, 0x00fa, 0x00fb, 0x00fc, 0x338a,
    287   0x00b1, 0x0087, 0x0084, 0x008e, 0x00fb, 0x00fc, 0x00fd, 0x338b,
    288   0x0085, 0x0082, 0x0083, 0x008f, 0x00fc, 0x00fd, 0x00fe, 0x3391,
    289   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x0104, 0x33bc,
    290   0x007f, 0x0080, 0x0081, 0x0091, 0x00fe, 0x0104, 0x012f, 0x33de,
    291   0x007e, 0x007f, 0x0080, 0x0092, 0x0104, 0x012f, 0x0151, 0x3406,
    292   0x007d, 0x007e, 0x007f, 0x0098, 0x012f, 0x0151, 0x0179, 0x3407,
    293   0x007c, 0x007d, 0x0079, 0x00c3, 0x0151, 0x0179, 0x017a, 0x3408,
    294   0x007b, 0x0077, 0x004e, 0x00e5, 0x0179, 0x017a, 0x017b, 0x335d,
    295   0x0075, 0x004c, 0x002c, 0x010d, 0x017a, 0x017b, 0x0082, 0x335c,
    296   0x004a, 0x002a, 0x0004, 0x010e, 0x017b, 0x0080, 0x0081, 0x335b,
    297   0x0028, 0x0002, 0x0003, 0x010f, 0x007e, 0x007f, 0x0080, 0x335a,
    298   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    299   0x0001, 0x0002, 0x0101, 0x0011, 0x007e, 0x007f, 0x00a6, 0x3355,
    300   0x0002, 0x00ff, 0x0100, 0x0012, 0x007f, 0x00a6, 0x00c8, 0x3381,
    301   0x00fd, 0x00fe, 0x00ff, 0x0013, 0x00a6, 0x00c8, 0x00f4, 0x3386,
    302   0x00fc, 0x00fd, 0x00fe, 0x003a, 0x00c8, 0x00f4, 0x00f9, 0x3387,
    303   0x00fb, 0x00fc, 0x00d7, 0x005c, 0x00f4, 0x00f9, 0x00fa, 0x3388,
    304   0x00fb, 0x00d6, 0x004e, 0x0087, 0x00f8, 0x00f9, 0x00d4, 0x3367,
    305   0x00d4, 0x00b4, 0x007a, 0x008c, 0x00f9, 0x00fa, 0x00d5, 0x3368,
    306   0x00b2, 0x0088, 0x007f, 0x008d, 0x00fa, 0x00fb, 0x00d6, 0x3369,
    307   0x0086, 0x0083, 0x0080, 0x008e, 0x00fb, 0x00fc, 0x00d7, 0x336f,
    308   0x0081, 0x0082, 0x0081, 0x008f, 0x00fc, 0x00fd, 0x00dd, 0x339a,
    309   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x0103, 0x0108, 0x33bc,
    310   0x007f, 0x0080, 0x0083, 0x0091, 0x0103, 0x012e, 0x012a, 0x33e4,
    311   0x007e, 0x007f, 0x0084, 0x0097, 0x012e, 0x0150, 0x0152, 0x33e5,
    312   0x007d, 0x007e, 0x008a, 0x00c2, 0x0150, 0x0178, 0x0153, 0x33e6,
    313   0x007c, 0x0078, 0x00b5, 0x00e4, 0x0178, 0x0179, 0x0154, 0x337f,
    314   0x0076, 0x004d, 0x00d7, 0x010c, 0x0179, 0x017a, 0x00a9, 0x337e,
    315   0x004b, 0x002b, 0x00ff, 0x010d, 0x017a, 0x0081, 0x00a8, 0x337d,
    316   0x0029, 0x0003, 0x0100, 0x010e, 0x007f, 0x0080, 0x00a7, 0x337c,
    317   0x0001, 0x0002, 0x0101, 0x0011, 0x007e, 0x007f, 0x00a6, 0x3355,
    318   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    319   0x0001, 0x0100, 0x0003, 0x0011, 0x007e, 0x00a5, 0x00a1, 0x335f,
    320   0x00fe, 0x00ff, 0x0004, 0x0012, 0x00a5, 0x00c7, 0x00cd, 0x3364,
    321   0x00fd, 0x00fe, 0x0005, 0x0039, 0x00c7, 0x00f3, 0x00d2, 0x3365,
    322   0x00fc, 0x00fd, 0x002c, 0x005b, 0x00f3, 0x00f8, 0x00d3, 0x3366,
    323   0x00fc, 0x002b, 0x004d, 0x0086, 0x00f7, 0x00d2, 0x00b2, 0x333b,
    324   0x00d5, 0x004d, 0x0079, 0x008b, 0x00f8, 0x00d3, 0x00b3, 0x333c,
    325   0x00b3, 0x0079, 0x007e, 0x008c, 0x00f9, 0x00d4, 0x00b4, 0x333d,
    326   0x0087, 0x007e, 0x007f, 0x008d, 0x00fa, 0x00d5, 0x00b5, 0x3343,
    327   0x0082, 0x007f, 0x0080, 0x008e, 0x00fb, 0x00d6, 0x00bb, 0x336e,
    328   0x0081, 0x0080, 0x0081, 0x008f, 0x00fc, 0x00dc, 0x00e6, 0x3390,
    329   0x0080, 0x0081, 0x0082, 0x0090, 0x0102, 0x0107, 0x0108, 0x33b8,
    330   0x007f, 0x0082, 0x0083, 0x0096, 0x012d, 0x0129, 0x0130, 0x33b9,
    331   0x007e, 0x0083, 0x0089, 0x00c1, 0x014f, 0x0151, 0x0131, 0x33ba,
    332   0x007d, 0x0089, 0x00b4, 0x00e3, 0x0177, 0x0152, 0x0132, 0x33ab,
    333   0x0077, 0x00b4, 0x00d6, 0x010b, 0x0178, 0x0153, 0x00cb, 0x33aa,
    334   0x004c, 0x00d6, 0x00fe, 0x010c, 0x0179, 0x00a8, 0x00ca, 0x33a9,
    335   0x002a, 0x00fe, 0x00ff, 0x010d, 0x0080, 0x00a7, 0x00c9, 0x33a8,
    336   0x0002, 0x00ff, 0x0100, 0x0012, 0x007f, 0x00a6, 0x00c8, 0x3381,
    337   0x0001, 0x0100, 0x0003, 0x0011, 0x007e, 0x00a5, 0x00a1, 0x335f,
    338   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    339   0x00ff, 0x0002, 0x0003, 0x0011, 0x00a4, 0x00a0, 0x00ab, 0x3338,
    340   0x00fe, 0x0003, 0x0004, 0x0038, 0x00c6, 0x00cc, 0x00b0, 0x3339,
    341   0x00fd, 0x0004, 0x002b, 0x005a, 0x00f2, 0x00d1, 0x00b1, 0x333a,
    342   0x0003, 0x002a, 0x004c, 0x0085, 0x00d0, 0x00b0, 0x0086, 0x3336,
    343   0x002a, 0x004c, 0x0078, 0x008a, 0x00d1, 0x00b1, 0x0087, 0x3337,
    344   0x004c, 0x0078, 0x007d, 0x008b, 0x00d2, 0x00b2, 0x0088, 0x3338,
    345   0x0078, 0x007d, 0x007e, 0x008c, 0x00d3, 0x00b3, 0x0089, 0x333e,
    346   0x007d, 0x007e, 0x007f, 0x008d, 0x00d4, 0x00b4, 0x008f, 0x3369,
    347   0x007e, 0x007f, 0x0080, 0x008e, 0x00d5, 0x00ba, 0x00ba, 0x338b,
    348   0x007f, 0x0080, 0x0081, 0x008f, 0x00db, 0x00e5, 0x00dc, 0x33b3,
    349   0x0080, 0x0081, 0x0082, 0x0095, 0x0106, 0x0107, 0x0104, 0x33b4,
    350   0x0081, 0x0082, 0x0088, 0x00c0, 0x0128, 0x012f, 0x0105, 0x33b5,
    351   0x0082, 0x0088, 0x00b3, 0x00e2, 0x0150, 0x0130, 0x0106, 0x33b0,
    352   0x0088, 0x00b3, 0x00d5, 0x010a, 0x0151, 0x0131, 0x00f7, 0x33af,
    353   0x00b3, 0x00d5, 0x00fd, 0x010b, 0x0152, 0x00ca, 0x00f6, 0x33ae,
    354   0x00d5, 0x00fd, 0x00fe, 0x010c, 0x00a7, 0x00c9, 0x00f5, 0x33ad,
    355   0x00fd, 0x00fe, 0x00ff, 0x0013, 0x00a6, 0x00c8, 0x00f4, 0x3386,
    356   0x00fe, 0x00ff, 0x0004, 0x0012, 0x00a5, 0x00c7, 0x00cd, 0x3364,
    357   0x00ff, 0x0002, 0x0003, 0x0011, 0x00a4, 0x00a0, 0x00ab, 0x3338,
    358   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    359   0x0001, 0x0002, 0x0003, 0x0037, 0x009f, 0x00aa, 0x0084, 0x3334,
    360   0x0002, 0x0003, 0x002a, 0x0059, 0x00cb, 0x00af, 0x0085, 0x3335,
    361   0x0002, 0x0029, 0x004b, 0x005e, 0x00ae, 0x0084, 0x0081, 0x3335,
    362   0x0029, 0x004b, 0x0077, 0x0063, 0x00af, 0x0085, 0x0082, 0x3336,
    363   0x004b, 0x0077, 0x007c, 0x0064, 0x00b0, 0x0086, 0x0083, 0x3337,
    364   0x0077, 0x007c, 0x007d, 0x0065, 0x00b1, 0x0087, 0x0084, 0x333d,
    365   0x007c, 0x007d, 0x007e, 0x0066, 0x00b2, 0x0088, 0x008a, 0x3368,
    366   0x007d, 0x007e, 0x007f, 0x0067, 0x00b3, 0x008e, 0x00b5, 0x338a,
    367   0x007e, 0x007f, 0x0080, 0x0068, 0x00b9, 0x00b9, 0x00d7, 0x33b2,
    368   0x007f, 0x0080, 0x0081, 0x006e, 0x00e4, 0x00db, 0x00ff, 0x33b3,
    369   0x0080, 0x0081, 0x0087, 0x0099, 0x0106, 0x0103, 0x0100, 0x33b4,
    370   0x0081, 0x0087, 0x00b2, 0x00bb, 0x012e, 0x0104, 0x0101, 0x33b1,
    371   0x0087, 0x00b2, 0x00d4, 0x00e3, 0x012f, 0x0105, 0x00fc, 0x33b0,
    372   0x00b2, 0x00d4, 0x00fc, 0x00e4, 0x0130, 0x00f6, 0x00fb, 0x33af,
    373   0x00d4, 0x00fc, 0x00fd, 0x00e5, 0x00c9, 0x00f5, 0x00fa, 0x33ae,
    374   0x00fc, 0x00fd, 0x00fe, 0x003a, 0x00c8, 0x00f4, 0x00f9, 0x3387,
    375   0x00fd, 0x00fe, 0x0005, 0x0039, 0x00c7, 0x00f3, 0x00d2, 0x3365,
    376   0x00fe, 0x0003, 0x0004, 0x0038, 0x00c6, 0x00cc, 0x00b0, 0x3339,
    377   0x0001, 0x0002, 0x0003, 0x0037, 0x009f, 0x00aa, 0x0084, 0x3334,
    378   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    379   0x0001, 0x0002, 0x0029, 0x0032, 0x00a9, 0x0083, 0x0080, 0x3334,
    380   0x0001, 0x0028, 0x0024, 0x003c, 0x0082, 0x007f, 0x0080, 0x3334,
    381   0x0028, 0x004a, 0x0050, 0x0041, 0x0083, 0x0080, 0x0081, 0x3335,
    382   0x004a, 0x0076, 0x0055, 0x0042, 0x0084, 0x0081, 0x0082, 0x3336,
    383   0x0076, 0x007b, 0x0056, 0x0043, 0x0085, 0x0082, 0x0083, 0x333c,
    384   0x007b, 0x007c, 0x0057, 0x0044, 0x0086, 0x0083, 0x0089, 0x3367,
    385   0x007c, 0x007d, 0x0058, 0x0045, 0x0087, 0x0089, 0x00b4, 0x3389,
    386   0x007d, 0x007e, 0x0059, 0x0046, 0x008d, 0x00b4, 0x00d6, 0x33b1,
    387   0x007e, 0x007f, 0x005a, 0x004c, 0x00b8, 0x00d6, 0x00fe, 0x33b2,
    388   0x007f, 0x0080, 0x0060, 0x0077, 0x00da, 0x00fe, 0x00ff, 0x33b3,
    389   0x0080, 0x0086, 0x008b, 0x0099, 0x0102, 0x00ff, 0x0100, 0x33b2,
    390   0x0086, 0x00b1, 0x00ad, 0x00c1, 0x0103, 0x0100, 0x00fd, 0x33b1,
    391   0x00b1, 0x00d3, 0x00d5, 0x00c2, 0x0104, 0x00fb, 0x00fc, 0x33b0,
    392   0x00d3, 0x00fb, 0x00d6, 0x00c3, 0x00f5, 0x00fa, 0x00fb, 0x33af,
    393   0x00fb, 0x00fc, 0x00d7, 0x005c, 0x00f4, 0x00f9, 0x00fa, 0x3388,
    394   0x00fc, 0x00fd, 0x002c, 0x005b, 0x00f3, 0x00f8, 0x00d3, 0x3366,
    395   0x00fd, 0x0004, 0x002b, 0x005a, 0x00f2, 0x00d1, 0x00b1, 0x333a,
    396   0x0002, 0x0003, 0x002a, 0x0059, 0x00cb, 0x00af, 0x0085, 0x3335,
    397   0x0001, 0x0002, 0x0029, 0x0032, 0x00a9, 0x0083, 0x0080, 0x3334,
    398   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    399 };
    400 const unsigned kExpectedCount_NEON_sabal2_8H = 361;
    401 
    402 #endif  // VIXL_SIM_SABAL2_8H_TRACE_A64_H_
    403