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_SABAL2_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SABAL2_8H_TRACE_AARCH64_H_
36
37const 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};
400const unsigned kExpectedCount_NEON_sabal2_8H = 361;
401
402#endif  // VIXL_SIM_SABAL2_8H_TRACE_AARCH64_H_
403