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_SABDL_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SABDL_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_sabdl_8H[] = {
38  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
39  0x0022, 0x0028, 0x0001, 0x0001, 0x00ff, 0x0001, 0x0001, 0x0001,
40  0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028,
41  0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a,
42  0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076,
43  0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b,
44  0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c,
45  0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d, 0x007d,
46  0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e, 0x007e, 0x007e,
47  0x0089, 0x0089, 0x0085, 0x0081, 0x0081, 0x007f, 0x007f, 0x007f,
48  0x0067, 0x005d, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
49  0x003b, 0x0058, 0x007f, 0x007f, 0x007f, 0x0081, 0x0081, 0x0086,
50  0x0036, 0x0057, 0x007e, 0x007e, 0x007e, 0x0082, 0x0087, 0x00b1,
51  0x0035, 0x0056, 0x007d, 0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3,
52  0x0034, 0x0055, 0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb,
53  0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc,
54  0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd,
55  0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002,
56  0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x00ff, 0x0001, 0x0001,
57  0x0022, 0x0028, 0x0001, 0x0001, 0x00ff, 0x0001, 0x0001, 0x0001,
58  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
59  0x0028, 0x0001, 0x0001, 0x00ff, 0x0001, 0x0001, 0x0001, 0x0027,
60  0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028, 0x0049,
61  0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a, 0x0075,
62  0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076, 0x007a,
63  0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b, 0x007b,
64  0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c, 0x007c,
65  0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d, 0x007d, 0x007d,
66  0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e, 0x007e, 0x007e, 0x007e,
67  0x0089, 0x0085, 0x0081, 0x0081, 0x007f, 0x007f, 0x007f, 0x007f,
68  0x005d, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0085,
69  0x0058, 0x007f, 0x007f, 0x007f, 0x0081, 0x0081, 0x0086, 0x00b0,
70  0x0057, 0x007e, 0x007e, 0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2,
71  0x0056, 0x007d, 0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa,
72  0x0055, 0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb,
73  0x0054, 0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc,
74  0x0053, 0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003,
75  0x004d, 0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002,
76  0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028,
77  0x0028, 0x0001, 0x0001, 0x00ff, 0x0001, 0x0001, 0x0001, 0x0027,
78  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
79  0x0001, 0x0001, 0x00ff, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022,
80  0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e,
81  0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053,
82  0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054,
83  0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055,
84  0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c, 0x007c, 0x0056,
85  0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d, 0x007d, 0x007d, 0x0057,
86  0x00b1, 0x0086, 0x0082, 0x007e, 0x007e, 0x007e, 0x007e, 0x0058,
87  0x0085, 0x0081, 0x0081, 0x007f, 0x007f, 0x007f, 0x007f, 0x005e,
88  0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0085, 0x0089,
89  0x007f, 0x007f, 0x007f, 0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab,
90  0x007e, 0x007e, 0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3,
91  0x007d, 0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4,
92  0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5,
93  0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a,
94  0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029,
95  0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a,
96  0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028, 0x0049,
97  0x0001, 0x0001, 0x00ff, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022,
98  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
99  0x0001, 0x00ff, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c,
100  0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031,
101  0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032,
102  0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033,
103  0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0x0034,
104  0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c, 0x007c, 0x0056, 0x0035,
105  0x00b2, 0x0087, 0x007d, 0x007d, 0x007d, 0x007d, 0x0057, 0x0036,
106  0x0086, 0x0082, 0x007e, 0x007e, 0x007e, 0x007e, 0x0058, 0x003c,
107  0x0081, 0x0081, 0x007f, 0x007f, 0x007f, 0x007f, 0x005e, 0x0067,
108  0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0085, 0x0089, 0x0089,
109  0x007f, 0x007f, 0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1,
110  0x007e, 0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2,
111  0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3,
112  0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c,
113  0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b,
114  0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076,
115  0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a, 0x0075,
116  0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e,
117  0x0001, 0x00ff, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c,
118  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
119  0x00ff, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005,
120  0x00fe, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006,
121  0x00fd, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007,
122  0x00fc, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0x0008,
123  0x00d5, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0x0034, 0x0009,
124  0x00b3, 0x0078, 0x007c, 0x007c, 0x007c, 0x0056, 0x0035, 0x000a,
125  0x0087, 0x007d, 0x007d, 0x007d, 0x007d, 0x0057, 0x0036, 0x0010,
126  0x0082, 0x007e, 0x007e, 0x007e, 0x007e, 0x0058, 0x003c, 0x003b,
127  0x0081, 0x007f, 0x007f, 0x007f, 0x007f, 0x005e, 0x0067, 0x005d,
128  0x0080, 0x0080, 0x0080, 0x0080, 0x0085, 0x0089, 0x0089, 0x0085,
129  0x007f, 0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086,
130  0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087,
131  0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078,
132  0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077,
133  0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b,
134  0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076, 0x007a,
135  0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053,
136  0x00fe, 0x00fe, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031,
137  0x00ff, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005,
138  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
139  0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001,
140  0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002,
141  0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0x0003,
142  0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0x0008, 0x0004,
143  0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0x0034, 0x0009, 0x0005,
144  0x0078, 0x007c, 0x007c, 0x007c, 0x0056, 0x0035, 0x000a, 0x000b,
145  0x007d, 0x007d, 0x007d, 0x007d, 0x0057, 0x0036, 0x0010, 0x0036,
146  0x007e, 0x007e, 0x007e, 0x007e, 0x0058, 0x003c, 0x003b, 0x0058,
147  0x007f, 0x007f, 0x007f, 0x007f, 0x005e, 0x0067, 0x005d, 0x0080,
148  0x0080, 0x0080, 0x0080, 0x0085, 0x0089, 0x0089, 0x0085, 0x0081,
149  0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082,
150  0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d,
151  0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c,
152  0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c,
153  0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b, 0x007b,
154  0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054,
155  0x00fd, 0x00fd, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032,
156  0x00fe, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006,
157  0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001,
158  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
159  0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001,
160  0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0x0002,
161  0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0x0003, 0x0003,
162  0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0x0008, 0x0004, 0x0004,
163  0x0077, 0x007b, 0x007b, 0x0055, 0x0034, 0x0009, 0x0005, 0x000a,
164  0x007c, 0x007c, 0x007c, 0x0056, 0x0035, 0x000a, 0x000b, 0x0035,
165  0x007d, 0x007d, 0x007d, 0x0057, 0x0036, 0x0010, 0x0036, 0x0057,
166  0x007e, 0x007e, 0x007e, 0x0058, 0x003c, 0x003b, 0x0058, 0x007f,
167  0x007f, 0x007f, 0x007f, 0x005e, 0x0067, 0x005d, 0x0080, 0x0080,
168  0x0080, 0x0080, 0x0085, 0x0089, 0x0089, 0x0085, 0x0081, 0x0081,
169  0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e,
170  0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d,
171  0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d, 0x007d,
172  0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c, 0x007c,
173  0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055,
174  0x00fc, 0x00fc, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033,
175  0x00fd, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007,
176  0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002,
177  0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001,
178  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
179  0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0x0001,
180  0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0x0002, 0x0002,
181  0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0x0003, 0x0003, 0x0003,
182  0x0076, 0x007a, 0x0054, 0x0033, 0x0008, 0x0004, 0x0004, 0x0009,
183  0x007b, 0x007b, 0x0055, 0x0034, 0x0009, 0x0005, 0x000a, 0x0034,
184  0x007c, 0x007c, 0x0056, 0x0035, 0x000a, 0x000b, 0x0035, 0x0056,
185  0x007d, 0x007d, 0x0057, 0x0036, 0x0010, 0x0036, 0x0057, 0x007e,
186  0x007e, 0x007e, 0x0058, 0x003c, 0x003b, 0x0058, 0x007f, 0x007f,
187  0x007f, 0x007f, 0x005e, 0x0067, 0x005d, 0x0080, 0x0080, 0x0080,
188  0x0080, 0x0085, 0x0089, 0x0089, 0x0085, 0x0081, 0x0081, 0x007f,
189  0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e, 0x007e,
190  0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e, 0x007e, 0x007e,
191  0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d, 0x007d, 0x007d,
192  0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c, 0x007c, 0x0056,
193  0x00fb, 0x00d5, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0x0034,
194  0x00fc, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0x0008,
195  0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0x0003,
196  0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0x0002,
197  0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0x0001,
198  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
199  0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0x0001, 0x0001,
200  0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0x0002, 0x0002, 0x0002,
201  0x0075, 0x0053, 0x0032, 0x0007, 0x0003, 0x0003, 0x0003, 0x0008,
202  0x007a, 0x0054, 0x0033, 0x0008, 0x0004, 0x0004, 0x0009, 0x0033,
203  0x007b, 0x0055, 0x0034, 0x0009, 0x0005, 0x000a, 0x0034, 0x0055,
204  0x007c, 0x0056, 0x0035, 0x000a, 0x000b, 0x0035, 0x0056, 0x007d,
205  0x007d, 0x0057, 0x0036, 0x0010, 0x0036, 0x0057, 0x007e, 0x007e,
206  0x007e, 0x0058, 0x003c, 0x003b, 0x0058, 0x007f, 0x007f, 0x007f,
207  0x007f, 0x005e, 0x0067, 0x005d, 0x0080, 0x0080, 0x0080, 0x0080,
208  0x0085, 0x0089, 0x0089, 0x0085, 0x0081, 0x0081, 0x007f, 0x007f,
209  0x0089, 0x0089, 0x0085, 0x0081, 0x0081, 0x007f, 0x007f, 0x007f,
210  0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e, 0x007e, 0x007e, 0x007e,
211  0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d, 0x007d, 0x007d, 0x0057,
212  0x00d4, 0x00b3, 0x0078, 0x007c, 0x007c, 0x007c, 0x0056, 0x0035,
213  0x00d5, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0x0034, 0x0009,
214  0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0x0008, 0x0004,
215  0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0x0003, 0x0003,
216  0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0x0002, 0x0002,
217  0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0x0001, 0x0001,
218  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
219  0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
220  0x004e, 0x0031, 0x0006, 0x0002, 0x0002, 0x0002, 0x0002, 0x0007,
221  0x0053, 0x0032, 0x0007, 0x0003, 0x0003, 0x0003, 0x0008, 0x0032,
222  0x0054, 0x0033, 0x0008, 0x0004, 0x0004, 0x0009, 0x0033, 0x0054,
223  0x0055, 0x0034, 0x0009, 0x0005, 0x000a, 0x0034, 0x0055, 0x007c,
224  0x0056, 0x0035, 0x000a, 0x000b, 0x0035, 0x0056, 0x007d, 0x007d,
225  0x0057, 0x0036, 0x0010, 0x0036, 0x0057, 0x007e, 0x007e, 0x007e,
226  0x0058, 0x003c, 0x003b, 0x0058, 0x007f, 0x007f, 0x007f, 0x0081,
227  0x005e, 0x0067, 0x005d, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
228  0x0067, 0x005d, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
229  0x0089, 0x0085, 0x0081, 0x0081, 0x007f, 0x007f, 0x007f, 0x007f,
230  0x00b1, 0x0086, 0x0082, 0x007e, 0x007e, 0x007e, 0x007e, 0x0058,
231  0x00b2, 0x0087, 0x007d, 0x007d, 0x007d, 0x007d, 0x0057, 0x0036,
232  0x00b3, 0x0078, 0x007c, 0x007c, 0x007c, 0x0056, 0x0035, 0x000a,
233  0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0x0034, 0x0009, 0x0005,
234  0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0x0008, 0x0004, 0x0004,
235  0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0x0003, 0x0003, 0x0003,
236  0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0x0002, 0x0002, 0x0002,
237  0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
238  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
239  0x002c, 0x0005, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0006,
240  0x0031, 0x0006, 0x0002, 0x0002, 0x0002, 0x0002, 0x0007, 0x0031,
241  0x0032, 0x0007, 0x0003, 0x0003, 0x0003, 0x0008, 0x0032, 0x0053,
242  0x0033, 0x0008, 0x0004, 0x0004, 0x0009, 0x0033, 0x0054, 0x007b,
243  0x0034, 0x0009, 0x0005, 0x000a, 0x0034, 0x0055, 0x007c, 0x007c,
244  0x0035, 0x000a, 0x000b, 0x0035, 0x0056, 0x007d, 0x007d, 0x007d,
245  0x0036, 0x0010, 0x0036, 0x0057, 0x007e, 0x007e, 0x007e, 0x0082,
246  0x003c, 0x003b, 0x0058, 0x007f, 0x007f, 0x007f, 0x0081, 0x0081,
247  0x003b, 0x0058, 0x007f, 0x007f, 0x007f, 0x0081, 0x0081, 0x0086,
248  0x005d, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0085,
249  0x0085, 0x0081, 0x0081, 0x007f, 0x007f, 0x007f, 0x007f, 0x005e,
250  0x0086, 0x0082, 0x007e, 0x007e, 0x007e, 0x007e, 0x0058, 0x003c,
251  0x0087, 0x007d, 0x007d, 0x007d, 0x007d, 0x0057, 0x0036, 0x0010,
252  0x0078, 0x007c, 0x007c, 0x007c, 0x0056, 0x0035, 0x000a, 0x000b,
253  0x0077, 0x007b, 0x007b, 0x0055, 0x0034, 0x0009, 0x0005, 0x000a,
254  0x0076, 0x007a, 0x0054, 0x0033, 0x0008, 0x0004, 0x0004, 0x0009,
255  0x0075, 0x0053, 0x0032, 0x0007, 0x0003, 0x0003, 0x0003, 0x0008,
256  0x004e, 0x0031, 0x0006, 0x0002, 0x0002, 0x0002, 0x0002, 0x0007,
257  0x002c, 0x0005, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0006,
258  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
259  0x0005, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0006, 0x002b,
260  0x0006, 0x0002, 0x0002, 0x0002, 0x0002, 0x0007, 0x0031, 0x004d,
261  0x0007, 0x0003, 0x0003, 0x0003, 0x0008, 0x0032, 0x0053, 0x0075,
262  0x0008, 0x0004, 0x0004, 0x0009, 0x0033, 0x0054, 0x007b, 0x0076,
263  0x0009, 0x0005, 0x000a, 0x0034, 0x0055, 0x007c, 0x007c, 0x0077,
264  0x000a, 0x000b, 0x0035, 0x0056, 0x007d, 0x007d, 0x007d, 0x0088,
265  0x0010, 0x0036, 0x0057, 0x007e, 0x007e, 0x007e, 0x0082, 0x0087,
266  0x0036, 0x0057, 0x007e, 0x007e, 0x007e, 0x0082, 0x0087, 0x00b1,
267  0x0058, 0x007f, 0x007f, 0x007f, 0x0081, 0x0081, 0x0086, 0x00b0,
268  0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0085, 0x0089,
269  0x0081, 0x0081, 0x007f, 0x007f, 0x007f, 0x007f, 0x005e, 0x0067,
270  0x0082, 0x007e, 0x007e, 0x007e, 0x007e, 0x0058, 0x003c, 0x003b,
271  0x007d, 0x007d, 0x007d, 0x007d, 0x0057, 0x0036, 0x0010, 0x0036,
272  0x007c, 0x007c, 0x007c, 0x0056, 0x0035, 0x000a, 0x000b, 0x0035,
273  0x007b, 0x007b, 0x0055, 0x0034, 0x0009, 0x0005, 0x000a, 0x0034,
274  0x007a, 0x0054, 0x0033, 0x0008, 0x0004, 0x0004, 0x0009, 0x0033,
275  0x0053, 0x0032, 0x0007, 0x0003, 0x0003, 0x0003, 0x0008, 0x0032,
276  0x0031, 0x0006, 0x0002, 0x0002, 0x0002, 0x0002, 0x0007, 0x0031,
277  0x0005, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0006, 0x002b,
278  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
279  0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022,
280  0x0002, 0x0002, 0x0002, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a,
281  0x0003, 0x0003, 0x0003, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b,
282  0x0004, 0x0004, 0x0009, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c,
283  0x0005, 0x000a, 0x0034, 0x0055, 0x007c, 0x007c, 0x0077, 0x00b3,
284  0x000b, 0x0035, 0x0056, 0x007d, 0x007d, 0x007d, 0x0088, 0x00b2,
285  0x0035, 0x0056, 0x007d, 0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3,
286  0x0057, 0x007e, 0x007e, 0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2,
287  0x007f, 0x007f, 0x007f, 0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab,
288  0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0085, 0x0089, 0x0089,
289  0x0081, 0x007f, 0x007f, 0x007f, 0x007f, 0x005e, 0x0067, 0x005d,
290  0x007e, 0x007e, 0x007e, 0x007e, 0x0058, 0x003c, 0x003b, 0x0058,
291  0x007d, 0x007d, 0x007d, 0x0057, 0x0036, 0x0010, 0x0036, 0x0057,
292  0x007c, 0x007c, 0x0056, 0x0035, 0x000a, 0x000b, 0x0035, 0x0056,
293  0x007b, 0x0055, 0x0034, 0x0009, 0x0005, 0x000a, 0x0034, 0x0055,
294  0x0054, 0x0033, 0x0008, 0x0004, 0x0004, 0x0009, 0x0033, 0x0054,
295  0x0032, 0x0007, 0x0003, 0x0003, 0x0003, 0x0008, 0x0032, 0x0053,
296  0x0006, 0x0002, 0x0002, 0x0002, 0x0002, 0x0007, 0x0031, 0x004d,
297  0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022,
298  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
299  0x0001, 0x0001, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028,
300  0x0002, 0x0002, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029,
301  0x0003, 0x0003, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a,
302  0x0004, 0x0009, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x00d5,
303  0x000a, 0x0034, 0x0055, 0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4,
304  0x0034, 0x0055, 0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb,
305  0x0056, 0x007d, 0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa,
306  0x007e, 0x007e, 0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3,
307  0x007f, 0x007f, 0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1,
308  0x0080, 0x0080, 0x0080, 0x0080, 0x0085, 0x0089, 0x0089, 0x0085,
309  0x007f, 0x007f, 0x007f, 0x007f, 0x005e, 0x0067, 0x005d, 0x0080,
310  0x007e, 0x007e, 0x007e, 0x0058, 0x003c, 0x003b, 0x0058, 0x007f,
311  0x007d, 0x007d, 0x0057, 0x0036, 0x0010, 0x0036, 0x0057, 0x007e,
312  0x007c, 0x0056, 0x0035, 0x000a, 0x000b, 0x0035, 0x0056, 0x007d,
313  0x0055, 0x0034, 0x0009, 0x0005, 0x000a, 0x0034, 0x0055, 0x007c,
314  0x0033, 0x0008, 0x0004, 0x0004, 0x0009, 0x0033, 0x0054, 0x007b,
315  0x0007, 0x0003, 0x0003, 0x0003, 0x0008, 0x0032, 0x0053, 0x0075,
316  0x0002, 0x0002, 0x0002, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a,
317  0x0001, 0x0001, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028,
318  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
319  0x0001, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001,
320  0x0002, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002,
321  0x0003, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x00fd,
322  0x0009, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc,
323  0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc,
324  0x0055, 0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb,
325  0x007d, 0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4,
326  0x007e, 0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2,
327  0x007f, 0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086,
328  0x0080, 0x0080, 0x0080, 0x0085, 0x0089, 0x0089, 0x0085, 0x0081,
329  0x007f, 0x007f, 0x007f, 0x005e, 0x0067, 0x005d, 0x0080, 0x0080,
330  0x007e, 0x007e, 0x0058, 0x003c, 0x003b, 0x0058, 0x007f, 0x007f,
331  0x007d, 0x0057, 0x0036, 0x0010, 0x0036, 0x0057, 0x007e, 0x007e,
332  0x0056, 0x0035, 0x000a, 0x000b, 0x0035, 0x0056, 0x007d, 0x007d,
333  0x0034, 0x0009, 0x0005, 0x000a, 0x0034, 0x0055, 0x007c, 0x007c,
334  0x0008, 0x0004, 0x0004, 0x0009, 0x0033, 0x0054, 0x007b, 0x0076,
335  0x0003, 0x0003, 0x0003, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b,
336  0x0002, 0x0002, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029,
337  0x0001, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001,
340  0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x00fe,
341  0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd,
342  0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd,
343  0x0054, 0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc,
344  0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5,
345  0x007d, 0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3,
346  0x007e, 0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087,
347  0x0081, 0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082,
348  0x0080, 0x0080, 0x0085, 0x0089, 0x0089, 0x0085, 0x0081, 0x0081,
349  0x007f, 0x007f, 0x005e, 0x0067, 0x005d, 0x0080, 0x0080, 0x0080,
350  0x007e, 0x0058, 0x003c, 0x003b, 0x0058, 0x007f, 0x007f, 0x007f,
351  0x0057, 0x0036, 0x0010, 0x0036, 0x0057, 0x007e, 0x007e, 0x007e,
352  0x0035, 0x000a, 0x000b, 0x0035, 0x0056, 0x007d, 0x007d, 0x007d,
353  0x0009, 0x0005, 0x000a, 0x0034, 0x0055, 0x007c, 0x007c, 0x0077,
354  0x0004, 0x0004, 0x0009, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c,
355  0x0003, 0x0003, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a,
356  0x0002, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002,
357  0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001,
358  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
359  0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x00ff,
360  0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe,
361  0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002,
362  0x0053, 0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003,
363  0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a,
364  0x007c, 0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c,
365  0x007d, 0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078,
366  0x0082, 0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d,
367  0x0081, 0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e,
368  0x0080, 0x0085, 0x0089, 0x0089, 0x0085, 0x0081, 0x0081, 0x007f,
369  0x007f, 0x005e, 0x0067, 0x005d, 0x0080, 0x0080, 0x0080, 0x0080,
370  0x0058, 0x003c, 0x003b, 0x0058, 0x007f, 0x007f, 0x007f, 0x0081,
371  0x0036, 0x0010, 0x0036, 0x0057, 0x007e, 0x007e, 0x007e, 0x0082,
372  0x000a, 0x000b, 0x0035, 0x0056, 0x007d, 0x007d, 0x007d, 0x0088,
373  0x0005, 0x000a, 0x0034, 0x0055, 0x007c, 0x007c, 0x0077, 0x00b3,
374  0x0004, 0x0009, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x00d5,
375  0x0003, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x00fd,
376  0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x00fe,
377  0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x00ff,
378  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
379  0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x00ff, 0x0001,
380  0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x00ff, 0x0001, 0x0001,
381  0x004d, 0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe, 0x0002, 0x0002,
382  0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd, 0x00fd, 0x0003, 0x0029,
383  0x0076, 0x004c, 0x00d5, 0x00fc, 0x00fc, 0x00fc, 0x002a, 0x004b,
384  0x0077, 0x00b3, 0x00d4, 0x00fb, 0x00fb, 0x00d5, 0x004c, 0x0077,
385  0x0088, 0x00b2, 0x00d3, 0x00fa, 0x00d4, 0x00b3, 0x0078, 0x007c,
386  0x0087, 0x00b1, 0x00d2, 0x00d3, 0x00b2, 0x0087, 0x007d, 0x007d,
387  0x0086, 0x00b0, 0x00ab, 0x00b1, 0x0086, 0x0082, 0x007e, 0x007e,
388  0x0085, 0x0089, 0x0089, 0x0085, 0x0081, 0x0081, 0x007f, 0x007f,
389  0x005e, 0x0067, 0x005d, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
390  0x003c, 0x003b, 0x0058, 0x007f, 0x007f, 0x007f, 0x0081, 0x0081,
391  0x0010, 0x0036, 0x0057, 0x007e, 0x007e, 0x007e, 0x0082, 0x0087,
392  0x000b, 0x0035, 0x0056, 0x007d, 0x007d, 0x007d, 0x0088, 0x00b2,
393  0x000a, 0x0034, 0x0055, 0x007c, 0x007c, 0x0077, 0x00b3, 0x00d4,
394  0x0009, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x00d5, 0x00fc,
395  0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x00fd, 0x00fd,
396  0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x00fe, 0x00fe,
397  0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x00ff, 0x0001,
398  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
399};
400const unsigned kExpectedCount_NEON_sabdl_8H = 361;
401
402#endif  // VIXL_SIM_SABDL_8H_TRACE_AARCH64_H_
403