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_USUBL2_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_USUBL2_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_usubl2_8H[] = {
38  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
39  0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff,
40  0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe,
41  0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8,
42  0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd,
43  0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab,
44  0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83,
45  0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82,
46  0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81,
47  0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080, 0x0080, 0xff80,
48  0x007b, 0x0077, 0x0077, 0x007b, 0x007f, 0x007f, 0x007f, 0xff7f,
49  0x0050, 0x0055, 0x004f, 0x007a, 0x007e, 0x007e, 0x007e, 0xff7e,
50  0x002e, 0x002d, 0x004e, 0x0079, 0x007d, 0x007d, 0x007d, 0xff7d,
51  0x0006, 0x002c, 0x004d, 0x0078, 0x007c, 0x007c, 0x007c, 0xff56,
52  0x0005, 0x002b, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0xff34,
53  0x0004, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0xff08,
54  0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0xff03,
55  0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0xff02,
56  0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0xff01,
57  0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0xff01, 0x0001,
58  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
59  0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff, 0xffff,
60  0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9,
61  0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce,
62  0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac,
63  0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84,
64  0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83,
65  0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82,
66  0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81, 0xff81,
67  0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080, 0x0080, 0xff80, 0xff80,
68  0x0077, 0x0077, 0x007b, 0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f,
69  0x0055, 0x004f, 0x007a, 0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e,
70  0x002d, 0x004e, 0x0079, 0x007d, 0x007d, 0x007d, 0xff7d, 0xff57,
71  0x002c, 0x004d, 0x0078, 0x007c, 0x007c, 0x007c, 0xff56, 0xff35,
72  0x002b, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0xff34, 0xff09,
73  0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0xff08, 0xff04,
74  0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0xff03, 0xff03,
75  0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0xff02, 0xff02,
76  0x0049, 0x004e, 0x0031, 0x0006, 0x0002, 0xff02, 0xff02, 0x0002,
77  0x0022, 0x002c, 0x0005, 0x0001, 0x0001, 0xff01, 0x0001, 0x0001,
78  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
79  0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa,
80  0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf,
81  0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad,
82  0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85,
83  0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84,
84  0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83,
85  0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82, 0xff82,
86  0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81, 0xff81, 0xff81,
87  0x0099, 0x00a3, 0x0080, 0x0080, 0x0080, 0xff80, 0xff80, 0xff80,
88  0x0077, 0x007b, 0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f,
89  0x004f, 0x007a, 0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58,
90  0x004e, 0x0079, 0x007d, 0x007d, 0x007d, 0xff7d, 0xff57, 0xff36,
91  0x004d, 0x0078, 0x007c, 0x007c, 0x007c, 0xff56, 0xff35, 0xff0a,
92  0x004c, 0x0077, 0x007b, 0x007b, 0x0055, 0xff34, 0xff09, 0xff05,
93  0x004b, 0x0076, 0x007a, 0x0054, 0x0033, 0xff08, 0xff04, 0xff04,
94  0x004a, 0x0075, 0x0053, 0x0032, 0x0007, 0xff03, 0xff03, 0xff03,
95  0x0075, 0x0053, 0x0032, 0x0007, 0xff03, 0xff03, 0xff03, 0x0008,
96  0x004e, 0x0031, 0x0006, 0x0002, 0xff02, 0xff02, 0x0002, 0x0007,
97  0x002c, 0x0005, 0x0001, 0x0001, 0xff01, 0x0001, 0x0001, 0x0006,
98  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
99  0xfffb, 0xffff, 0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5,
100  0xfffa, 0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3,
101  0xfff9, 0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b,
102  0x00f8, 0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a,
103  0x00f7, 0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84, 0xff89,
104  0x00f6, 0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83, 0xff88,
105  0x00f0, 0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82, 0xff82, 0xff87,
106  0x00c5, 0x00a8, 0x0081, 0x0081, 0xff81, 0xff81, 0xff81, 0xff86,
107  0x00a3, 0x0080, 0x0080, 0x0080, 0xff80, 0xff80, 0xff80, 0xff85,
108  0x007b, 0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e,
109  0x007a, 0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c,
110  0x0079, 0x007d, 0x007d, 0x007d, 0xff7d, 0xff57, 0xff36, 0xff10,
111  0x0078, 0x007c, 0x007c, 0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b,
112  0x0077, 0x007b, 0x007b, 0x0055, 0xff34, 0xff09, 0xff05, 0xff0a,
113  0x0076, 0x007a, 0x0054, 0x0033, 0xff08, 0xff04, 0xff04, 0xff09,
114  0x007a, 0x0054, 0x0033, 0xff08, 0xff04, 0xff04, 0xff09, 0x0033,
115  0x0053, 0x0032, 0x0007, 0xff03, 0xff03, 0xff03, 0x0008, 0x0032,
116  0x0031, 0x0006, 0x0002, 0xff02, 0xff02, 0x0002, 0x0007, 0x0031,
117  0x0005, 0x0001, 0x0001, 0xff01, 0x0001, 0x0001, 0x0006, 0x002b,
118  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
119  0xffff, 0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde,
120  0xfffe, 0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6,
121  0x00fd, 0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5,
122  0x00fc, 0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4,
123  0x00fb, 0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84, 0xff89, 0xffb3,
124  0x00f5, 0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83, 0xff88, 0xffb2,
125  0x00ca, 0x00a9, 0x0082, 0xff82, 0xff82, 0xff82, 0xff87, 0xffb1,
126  0x00a8, 0x0081, 0x0081, 0xff81, 0xff81, 0xff81, 0xff86, 0xffb0,
127  0x0080, 0x0080, 0x0080, 0xff80, 0xff80, 0xff80, 0xff85, 0xff89,
128  0x007f, 0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67,
129  0x007e, 0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b,
130  0x007d, 0x007d, 0x007d, 0xff7d, 0xff57, 0xff36, 0xff10, 0xff36,
131  0x007c, 0x007c, 0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35,
132  0x007b, 0x007b, 0x0055, 0xff34, 0xff09, 0xff05, 0xff0a, 0xff34,
133  0x007b, 0x0055, 0xff34, 0xff09, 0xff05, 0xff0a, 0xff34, 0x0055,
134  0x0054, 0x0033, 0xff08, 0xff04, 0xff04, 0xff09, 0x0033, 0x0054,
135  0x0032, 0x0007, 0xff03, 0xff03, 0xff03, 0x0008, 0x0032, 0x0053,
136  0x0006, 0x0002, 0xff02, 0xff02, 0x0002, 0x0007, 0x0031, 0x004d,
137  0x0001, 0x0001, 0xff01, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022,
138  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
139  0xffff, 0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8,
140  0x00fe, 0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7,
141  0x00fd, 0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6,
142  0x00fc, 0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5,
143  0x00f6, 0x00cc, 0xffab, 0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4,
144  0x00cb, 0x00aa, 0xff83, 0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3,
145  0x00a9, 0x0082, 0xff82, 0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2,
146  0x0081, 0x0081, 0xff81, 0xff81, 0xff81, 0xff86, 0xffb0, 0xffab,
147  0x0080, 0x0080, 0xff80, 0xff80, 0xff80, 0xff85, 0xff89, 0xff89,
148  0x007f, 0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d,
149  0x007e, 0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58,
150  0x007d, 0x007d, 0xff7d, 0xff57, 0xff36, 0xff10, 0xff36, 0xff57,
151  0x007c, 0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56,
152  0x007c, 0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d,
153  0x0055, 0xff34, 0xff09, 0xff05, 0xff0a, 0xff34, 0x0055, 0x007c,
154  0x0033, 0xff08, 0xff04, 0xff04, 0xff09, 0x0033, 0x0054, 0x007b,
155  0x0007, 0xff03, 0xff03, 0xff03, 0x0008, 0x0032, 0x0053, 0x0075,
156  0x0002, 0xff02, 0xff02, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a,
157  0x0001, 0xff01, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028,
158  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
159  0x00ff, 0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff,
160  0x00fe, 0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe,
161  0x00fd, 0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd,
162  0x00f7, 0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc,
163  0x00cc, 0xffab, 0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb,
164  0x00aa, 0xff83, 0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa,
165  0x0082, 0xff82, 0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3,
166  0x0081, 0xff81, 0xff81, 0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1,
167  0x0080, 0xff80, 0xff80, 0xff80, 0xff85, 0xff89, 0xff89, 0xff85,
168  0x007f, 0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80,
169  0x007e, 0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f,
170  0x007d, 0xff7d, 0xff57, 0xff36, 0xff10, 0xff36, 0xff57, 0xff7e,
171  0xff7d, 0xff57, 0xff36, 0xff10, 0xff36, 0xff57, 0xff7e, 0x007e,
172  0xff56, 0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d, 0x007d,
173  0xff34, 0xff09, 0xff05, 0xff0a, 0xff34, 0x0055, 0x007c, 0x007c,
174  0xff08, 0xff04, 0xff04, 0xff09, 0x0033, 0x0054, 0x007b, 0x0076,
175  0xff03, 0xff03, 0xff03, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b,
176  0xff02, 0xff02, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029,
177  0xff01, 0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001,
178  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
179  0xffff, 0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff,
180  0xfffe, 0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe,
181  0xfff8, 0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd,
182  0xffcd, 0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc,
183  0xffab, 0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb,
184  0xff83, 0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4,
185  0xff82, 0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2,
186  0xff81, 0xff81, 0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86,
187  0xff80, 0xff80, 0xff80, 0xff85, 0xff89, 0xff89, 0xff85, 0xff81,
188  0xff7f, 0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80,
189  0xff7e, 0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f,
190  0xff7e, 0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f,
191  0xff57, 0xff36, 0xff10, 0xff36, 0xff57, 0xff7e, 0x007e, 0x007e,
192  0xff35, 0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d, 0x007d, 0x007d,
193  0xff09, 0xff05, 0xff0a, 0xff34, 0x0055, 0x007c, 0x007c, 0x0077,
194  0xff04, 0xff04, 0xff09, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c,
195  0xff03, 0xff03, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a,
196  0xff02, 0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002,
197  0x0001, 0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001,
198  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
199  0xffff, 0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff, 0xffff,
200  0xfff9, 0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe,
201  0xffce, 0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd,
202  0xffac, 0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc,
203  0xff84, 0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5,
204  0xff83, 0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3,
205  0xff82, 0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87,
206  0xff81, 0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82,
207  0xff80, 0xff80, 0xff85, 0xff89, 0xff89, 0xff85, 0xff81, 0xff81,
208  0xff7f, 0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80, 0xff80,
209  0xff7f, 0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80, 0xff80, 0x0080,
210  0xff58, 0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f,
211  0xff36, 0xff10, 0xff36, 0xff57, 0xff7e, 0x007e, 0x007e, 0x007e,
212  0xff0a, 0xff0b, 0xff35, 0xff56, 0x007d, 0x007d, 0x007d, 0x0078,
213  0xff05, 0xff0a, 0xff34, 0x0055, 0x007c, 0x007c, 0x0077, 0x004d,
214  0xff04, 0xff09, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x002b,
215  0xff03, 0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x0003,
216  0x0002, 0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x0002,
217  0x0001, 0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x0001,
218  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
219  0xfffa, 0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff, 0xffff, 0xffff,
220  0xffcf, 0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe,
221  0xffad, 0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd,
222  0xff85, 0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6,
223  0xff84, 0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4,
224  0xff83, 0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88,
225  0xff82, 0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83,
226  0xff81, 0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82, 0xff82,
227  0xff80, 0xff85, 0xff89, 0xff89, 0xff85, 0xff81, 0xff81, 0xff81,
228  0xff85, 0xff89, 0xff89, 0xff85, 0xff81, 0xff81, 0xff81, 0x0081,
229  0xff5e, 0xff67, 0xff5d, 0xff80, 0xff80, 0xff80, 0x0080, 0x0080,
230  0xff3c, 0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f,
231  0xff10, 0xff36, 0xff57, 0xff7e, 0x007e, 0x007e, 0x007e, 0x0079,
232  0xff0b, 0xff35, 0xff56, 0x007d, 0x007d, 0x007d, 0x0078, 0x004e,
233  0xff0a, 0xff34, 0x0055, 0x007c, 0x007c, 0x0077, 0x004d, 0x002c,
234  0xff09, 0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x002b, 0x0004,
235  0x0008, 0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x0003, 0x0003,
236  0x0007, 0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x0002, 0x0002,
237  0x0006, 0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x0001, 0x0001,
238  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
239  0xffd5, 0xffde, 0xffd8, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
240  0xffb3, 0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe,
241  0xff8b, 0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7,
242  0xff8a, 0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5,
243  0xff89, 0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89,
244  0xff88, 0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84,
245  0xff87, 0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83,
246  0xff86, 0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82, 0xff82, 0xff82,
247  0xffb0, 0xffab, 0xffb1, 0xff86, 0xff82, 0xff82, 0xff82, 0x0082,
248  0xff89, 0xff89, 0xff85, 0xff81, 0xff81, 0xff81, 0x0081, 0x0081,
249  0xff67, 0xff5d, 0xff80, 0xff80, 0xff80, 0x0080, 0x0080, 0x0080,
250  0xff3b, 0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f, 0x007a,
251  0xff36, 0xff57, 0xff7e, 0x007e, 0x007e, 0x007e, 0x0079, 0x004f,
252  0xff35, 0xff56, 0x007d, 0x007d, 0x007d, 0x0078, 0x004e, 0x002d,
253  0xff34, 0x0055, 0x007c, 0x007c, 0x0077, 0x004d, 0x002c, 0x0005,
254  0x0033, 0x0054, 0x007b, 0x0076, 0x004c, 0x002b, 0x0004, 0x0004,
255  0x0032, 0x0053, 0x0075, 0x004b, 0x002a, 0x0003, 0x0003, 0x0003,
256  0x0031, 0x004d, 0x004a, 0x0029, 0x0002, 0x0002, 0x0002, 0x0002,
257  0x002b, 0x0022, 0x0028, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
258  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
259  0xffde, 0xffd8, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
260  0xffb6, 0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8,
261  0xffb5, 0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6,
262  0xffb4, 0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a,
263  0xffb3, 0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85,
264  0xffb2, 0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84,
265  0xffb1, 0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83, 0xff83,
266  0xffd2, 0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83, 0xff83, 0x0083,
267  0xffab, 0xffb1, 0xff86, 0xff82, 0xff82, 0xff82, 0x0082, 0x0082,
268  0xff89, 0xff85, 0xff81, 0xff81, 0xff81, 0x0081, 0x0081, 0x0081,
269  0xff5d, 0xff80, 0xff80, 0xff80, 0x0080, 0x0080, 0x0080, 0x007b,
270  0xff58, 0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f, 0x007a, 0x0050,
271  0xff57, 0xff7e, 0x007e, 0x007e, 0x007e, 0x0079, 0x004f, 0x002e,
272  0xff56, 0x007d, 0x007d, 0x007d, 0x0078, 0x004e, 0x002d, 0x0006,
273  0x0055, 0x007c, 0x007c, 0x0077, 0x004d, 0x002c, 0x0005, 0x0005,
274  0x0054, 0x007b, 0x0076, 0x004c, 0x002b, 0x0004, 0x0004, 0x0004,
275  0x0053, 0x0075, 0x004b, 0x002a, 0x0003, 0x0003, 0x0003, 0x0003,
276  0x004d, 0x004a, 0x0029, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
277  0x0022, 0x0028, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
278  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
279  0xffd8, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffd9,
280  0xffd7, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7,
281  0xffd6, 0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b,
282  0xffd5, 0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86,
283  0xffd4, 0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85,
284  0xffd3, 0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84, 0xff84,
285  0xfffa, 0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84, 0xff84, 0x00aa,
286  0xffd3, 0xffb2, 0xff87, 0xff83, 0xff83, 0xff83, 0x0083, 0x00a9,
287  0xffb1, 0xff86, 0xff82, 0xff82, 0xff82, 0x0082, 0x0082, 0x00a8,
288  0xff85, 0xff81, 0xff81, 0xff81, 0x0081, 0x0081, 0x0081, 0x00a2,
289  0xff80, 0xff80, 0xff80, 0x0080, 0x0080, 0x0080, 0x007b, 0x0077,
290  0xff7f, 0xff7f, 0x007f, 0x007f, 0x007f, 0x007a, 0x0050, 0x0055,
291  0xff7e, 0x007e, 0x007e, 0x007e, 0x0079, 0x004f, 0x002e, 0x002d,
292  0x007d, 0x007d, 0x007d, 0x0078, 0x004e, 0x002d, 0x0006, 0x002c,
293  0x007c, 0x007c, 0x0077, 0x004d, 0x002c, 0x0005, 0x0005, 0x002b,
294  0x007b, 0x0076, 0x004c, 0x002b, 0x0004, 0x0004, 0x0004, 0x002a,
295  0x0075, 0x004b, 0x002a, 0x0003, 0x0003, 0x0003, 0x0003, 0x0029,
296  0x004a, 0x0029, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0028,
297  0x0028, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0027,
298  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
299  0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffd9, 0xffde,
300  0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2,
301  0xfffd, 0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad,
302  0xfffc, 0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac,
303  0xfffb, 0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85, 0xffab,
304  0xfffb, 0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85, 0xffab, 0x00cc,
305  0xffd4, 0xffb3, 0xff88, 0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb,
306  0xffb2, 0xff87, 0xff83, 0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca,
307  0xff86, 0xff82, 0xff82, 0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4,
308  0xff81, 0xff81, 0xff81, 0x0081, 0x0081, 0x0081, 0x00a2, 0x0099,
309  0xff80, 0xff80, 0x0080, 0x0080, 0x0080, 0x007b, 0x0077, 0x0077,
310  0xff7f, 0x007f, 0x007f, 0x007f, 0x007a, 0x0050, 0x0055, 0x004f,
311  0x007e, 0x007e, 0x007e, 0x0079, 0x004f, 0x002e, 0x002d, 0x004e,
312  0x007d, 0x007d, 0x0078, 0x004e, 0x002d, 0x0006, 0x002c, 0x004d,
313  0x007c, 0x0077, 0x004d, 0x002c, 0x0005, 0x0005, 0x002b, 0x004c,
314  0x0076, 0x004c, 0x002b, 0x0004, 0x0004, 0x0004, 0x002a, 0x004b,
315  0x004b, 0x002a, 0x0003, 0x0003, 0x0003, 0x0003, 0x0029, 0x004a,
316  0x0029, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0028, 0x0049,
317  0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022,
318  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
319  0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4,
320  0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf,
321  0xfffd, 0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce,
322  0xfffc, 0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd,
323  0xfffc, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8,
324  0xffd5, 0xffb4, 0xff89, 0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7,
325  0xffb3, 0xff88, 0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6,
326  0xff87, 0xff83, 0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0,
327  0xff82, 0xff82, 0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5,
328  0xff81, 0xff81, 0x0081, 0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3,
329  0xff80, 0x0080, 0x0080, 0x0080, 0x007b, 0x0077, 0x0077, 0x007b,
330  0x007f, 0x007f, 0x007f, 0x007a, 0x0050, 0x0055, 0x004f, 0x007a,
331  0x007e, 0x007e, 0x0079, 0x004f, 0x002e, 0x002d, 0x004e, 0x0079,
332  0x007d, 0x0078, 0x004e, 0x002d, 0x0006, 0x002c, 0x004d, 0x0078,
333  0x0077, 0x004d, 0x002c, 0x0005, 0x0005, 0x002b, 0x004c, 0x0077,
334  0x004c, 0x002b, 0x0004, 0x0004, 0x0004, 0x002a, 0x004b, 0x0076,
335  0x002a, 0x0003, 0x0003, 0x0003, 0x0003, 0x0029, 0x004a, 0x0075,
336  0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e,
337  0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0xffff, 0xffff, 0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb,
340  0xfffe, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa,
341  0xfffd, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9,
342  0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd,
343  0xffd6, 0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc,
344  0xffb4, 0xff89, 0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb,
345  0xff88, 0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5,
346  0xff83, 0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca,
347  0xff82, 0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8,
348  0xff81, 0x0081, 0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080,
349  0x0080, 0x0080, 0x0080, 0x007b, 0x0077, 0x0077, 0x007b, 0x007f,
350  0x007f, 0x007f, 0x007a, 0x0050, 0x0055, 0x004f, 0x007a, 0x007e,
351  0x007e, 0x0079, 0x004f, 0x002e, 0x002d, 0x004e, 0x0079, 0x007d,
352  0x0078, 0x004e, 0x002d, 0x0006, 0x002c, 0x004d, 0x0078, 0x007c,
353  0x004d, 0x002c, 0x0005, 0x0005, 0x002b, 0x004c, 0x0077, 0x007b,
354  0x002b, 0x0004, 0x0004, 0x0004, 0x002a, 0x004b, 0x0076, 0x007a,
355  0x0003, 0x0003, 0x0003, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053,
356  0x0002, 0x0002, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031,
357  0x0001, 0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005,
358  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
359  0xffff, 0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff,
360  0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe,
361  0xfffe, 0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe,
362  0xffd7, 0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd,
363  0xffb5, 0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc,
364  0xff89, 0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6,
365  0xff84, 0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb,
366  0xff83, 0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9,
367  0xff82, 0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081,
368  0x0081, 0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080,
369  0x0080, 0x0080, 0x007b, 0x0077, 0x0077, 0x007b, 0x007f, 0x007f,
370  0x007f, 0x007a, 0x0050, 0x0055, 0x004f, 0x007a, 0x007e, 0x007e,
371  0x0079, 0x004f, 0x002e, 0x002d, 0x004e, 0x0079, 0x007d, 0x007d,
372  0x004e, 0x002d, 0x0006, 0x002c, 0x004d, 0x0078, 0x007c, 0x007c,
373  0x002c, 0x0005, 0x0005, 0x002b, 0x004c, 0x0077, 0x007b, 0x007b,
374  0x0004, 0x0004, 0x0004, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054,
375  0x0003, 0x0003, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032,
376  0x0002, 0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006,
377  0x0001, 0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001,
378  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
379  0xffff, 0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff,
380  0xffff, 0xffd9, 0xffde, 0xffd4, 0xfffb, 0xffff, 0xffff, 0x00ff,
381  0xffd8, 0xffb7, 0xffb2, 0xffcf, 0xfffa, 0xfffe, 0x00fe, 0x00fe,
382  0xffb6, 0xff8b, 0xffad, 0xffce, 0xfff9, 0x00fd, 0x00fd, 0x00fd,
383  0xff8a, 0xff86, 0xffac, 0xffcd, 0x00f8, 0x00fc, 0x00fc, 0x00f7,
384  0xff85, 0xff85, 0xffab, 0x00cc, 0x00f7, 0x00fb, 0x00f6, 0x00cc,
385  0xff84, 0xff84, 0x00aa, 0x00cb, 0x00f6, 0x00f5, 0x00cb, 0x00aa,
386  0xff83, 0x0083, 0x00a9, 0x00ca, 0x00f0, 0x00ca, 0x00a9, 0x0082,
387  0x0082, 0x0082, 0x00a8, 0x00c4, 0x00c5, 0x00a8, 0x0081, 0x0081,
388  0x0081, 0x0081, 0x00a2, 0x0099, 0x00a3, 0x0080, 0x0080, 0x0080,
389  0x0080, 0x007b, 0x0077, 0x0077, 0x007b, 0x007f, 0x007f, 0x007f,
390  0x007a, 0x0050, 0x0055, 0x004f, 0x007a, 0x007e, 0x007e, 0x007e,
391  0x004f, 0x002e, 0x002d, 0x004e, 0x0079, 0x007d, 0x007d, 0x007d,
392  0x002d, 0x0006, 0x002c, 0x004d, 0x0078, 0x007c, 0x007c, 0x007c,
393  0x0005, 0x0005, 0x002b, 0x004c, 0x0077, 0x007b, 0x007b, 0x0055,
394  0x0004, 0x0004, 0x002a, 0x004b, 0x0076, 0x007a, 0x0054, 0x0033,
395  0x0003, 0x0003, 0x0029, 0x004a, 0x0075, 0x0053, 0x0032, 0x0007,
396  0x0002, 0x0002, 0x0028, 0x0049, 0x004e, 0x0031, 0x0006, 0x0002,
397  0x0001, 0x0001, 0x0027, 0x0022, 0x002c, 0x0005, 0x0001, 0x0001,
398  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
399};
400const unsigned kExpectedCount_NEON_usubl2_8H = 361;
401
402#endif  // VIXL_SIM_USUBL2_8H_TRACE_AARCH64_H_
403