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