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