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_SABDL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SABDL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sabdl2_4S[] = {
38  0x00000000, 0x00000000, 0x00000000, 0x00000000,
39  0x00000001, 0x00000001, 0x00007fff, 0x00000001,
40  0x00000002, 0x00007ffe, 0x00007ffe, 0x00000002,
41  0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00000010,
42  0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000007d,
43  0x00007ffb, 0x00007fee, 0x00007f82, 0x0000007e,
44  0x00007fed, 0x00007f81, 0x00007f81, 0x0000007f,
45  0x00007f80, 0x00007f80, 0x00007f80, 0x00003333,
46  0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00005555,
47  0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00007ffd,
48  0x00004cca, 0x00002aa9, 0x00000002, 0x00007ffe,
49  0x00002aa8, 0x00000001, 0x00000001, 0x00007fff,
50  0x00000000, 0x00000000, 0x00000000, 0x00008000,
51  0x00000001, 0x00000001, 0x0000ffff, 0x00007fff,
52  0x00000002, 0x0000fffe, 0x0000fffe, 0x00005556,
53  0x0000fffd, 0x0000fffd, 0x0000d555, 0x00003334,
54  0x0000fffc, 0x0000d554, 0x0000b333, 0x00000080,
55  0x0000d553, 0x0000b332, 0x0000807f, 0x0000007f,
56  0x0000b331, 0x0000807e, 0x0000807e, 0x0000007e,
57  0x0000807d, 0x0000807d, 0x0000807d, 0x0000007d,
58  0x0000807c, 0x0000807c, 0x0000807c, 0x00000010,
59  0x0000807b, 0x0000807b, 0x0000800f, 0x00000003,
60  0x0000807a, 0x0000800e, 0x00008002, 0x00000002,
61  0x0000800d, 0x00008001, 0x00008001, 0x00000001,
62  0x00008001, 0x00008001, 0x00000001, 0x00000001,
63  0x00008000, 0x00008000, 0x00000000, 0x00000000,
64  0x00007fff, 0x00007fff, 0x00000001, 0x00000001,
65  0x00007ffe, 0x00007ffe, 0x00000002, 0x0000000f,
66  0x00007ffd, 0x00007ffd, 0x00000010, 0x0000007c,
67  0x00007ffc, 0x00007fef, 0x0000007d, 0x0000007d,
68  0x00007fee, 0x00007f82, 0x0000007e, 0x0000007e,
69  0x00007f81, 0x00007f81, 0x0000007f, 0x00003332,
70  0x00007f80, 0x00007f80, 0x00003333, 0x00005554,
71  0x00007f7f, 0x00004ccc, 0x00005555, 0x00007ffc,
72  0x00004ccb, 0x00002aaa, 0x00007ffd, 0x00007ffd,
73  0x00002aa9, 0x00000002, 0x00007ffe, 0x00007ffe,
74  0x00000001, 0x00000001, 0x00007fff, 0x00008001,
75  0x00000000, 0x00000000, 0x00008000, 0x00008000,
76  0x00000001, 0x0000ffff, 0x00007fff, 0x00005557,
77  0x0000fffe, 0x0000fffe, 0x00005556, 0x00003335,
78  0x0000fffd, 0x0000d555, 0x00003334, 0x00000081,
79  0x0000d554, 0x0000b333, 0x00000080, 0x00000080,
80  0x0000b332, 0x0000807f, 0x0000007f, 0x0000007f,
81  0x0000807e, 0x0000807e, 0x0000007e, 0x0000007e,
82  0x0000807d, 0x0000807d, 0x0000007d, 0x00000011,
83  0x0000807c, 0x0000807c, 0x00000010, 0x00000004,
84  0x0000807b, 0x0000800f, 0x00000003, 0x00000003,
85  0x0000800e, 0x00008002, 0x00000002, 0x00000002,
86  0x00008002, 0x00000002, 0x00000002, 0x00000002,
87  0x00008001, 0x00000001, 0x00000001, 0x00000001,
88  0x00008000, 0x00000000, 0x00000000, 0x00000000,
89  0x00007fff, 0x00000001, 0x00000001, 0x0000000e,
90  0x00007ffe, 0x00000002, 0x0000000f, 0x0000007b,
91  0x00007ffd, 0x00000010, 0x0000007c, 0x0000007c,
92  0x00007fef, 0x0000007d, 0x0000007d, 0x0000007d,
93  0x00007f82, 0x0000007e, 0x0000007e, 0x00003331,
94  0x00007f81, 0x0000007f, 0x00003332, 0x00005553,
95  0x00007f80, 0x00003333, 0x00005554, 0x00007ffb,
96  0x00004ccc, 0x00005555, 0x00007ffc, 0x00007ffc,
97  0x00002aaa, 0x00007ffd, 0x00007ffd, 0x00007ffd,
98  0x00000002, 0x00007ffe, 0x00007ffe, 0x00008002,
99  0x00000001, 0x00007fff, 0x00008001, 0x00008001,
100  0x00000000, 0x00008000, 0x00008000, 0x00005558,
101  0x0000ffff, 0x00007fff, 0x00005557, 0x00003336,
102  0x0000fffe, 0x00005556, 0x00003335, 0x00000082,
103  0x0000d555, 0x00003334, 0x00000081, 0x00000081,
104  0x0000b333, 0x00000080, 0x00000080, 0x00000080,
105  0x0000807f, 0x0000007f, 0x0000007f, 0x0000007f,
106  0x0000807e, 0x0000007e, 0x0000007e, 0x00000012,
107  0x0000807d, 0x0000007d, 0x00000011, 0x00000005,
108  0x0000807c, 0x00000010, 0x00000004, 0x00000004,
109  0x0000800f, 0x00000003, 0x00000003, 0x00000003,
110  0x00000003, 0x00000003, 0x00000003, 0x00000010,
111  0x00000002, 0x00000002, 0x00000002, 0x0000000f,
112  0x00000001, 0x00000001, 0x00000001, 0x0000000e,
113  0x00000000, 0x00000000, 0x00000000, 0x00000000,
114  0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
115  0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
116  0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
117  0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
118  0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
119  0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
120  0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
121  0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
122  0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00008010,
123  0x00007ffe, 0x00007ffe, 0x00008002, 0x0000800f,
124  0x00007fff, 0x00008001, 0x00008001, 0x00005566,
125  0x00008000, 0x00008000, 0x00005558, 0x00003344,
126  0x00007fff, 0x00005557, 0x00003336, 0x00000090,
127  0x00005556, 0x00003335, 0x00000082, 0x0000008f,
128  0x00003334, 0x00000081, 0x00000081, 0x0000008e,
129  0x00000080, 0x00000080, 0x00000080, 0x0000008d,
130  0x0000007f, 0x0000007f, 0x0000007f, 0x00000020,
131  0x0000007e, 0x0000007e, 0x00000012, 0x00000013,
132  0x0000007d, 0x00000011, 0x00000005, 0x00000012,
133  0x00000010, 0x00000004, 0x00000004, 0x00000011,
134  0x00000004, 0x00000004, 0x00000011, 0x0000007d,
135  0x00000003, 0x00000003, 0x00000010, 0x0000007c,
136  0x00000002, 0x00000002, 0x0000000f, 0x0000007b,
137  0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
138  0x00000000, 0x00000000, 0x00000000, 0x00000000,
139  0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
140  0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
141  0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
142  0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
143  0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
144  0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
145  0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
146  0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000807d,
147  0x00007ffd, 0x00007ffd, 0x00008010, 0x0000807c,
148  0x00007ffe, 0x00008002, 0x0000800f, 0x000055d3,
149  0x00008001, 0x00008001, 0x00005566, 0x000033b1,
150  0x00008000, 0x00005558, 0x00003344, 0x000000fd,
151  0x00005557, 0x00003336, 0x00000090, 0x000000fc,
152  0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
153  0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
154  0x00000080, 0x00000080, 0x0000008d, 0x0000008d,
155  0x0000007f, 0x0000007f, 0x00000020, 0x00000080,
156  0x0000007e, 0x00000012, 0x00000013, 0x0000007f,
157  0x00000011, 0x00000005, 0x00000012, 0x0000007e,
158  0x00000005, 0x00000012, 0x0000007e, 0x0000007e,
159  0x00000004, 0x00000011, 0x0000007d, 0x0000007d,
160  0x00000003, 0x00000010, 0x0000007c, 0x0000007c,
161  0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
162  0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
163  0x00000000, 0x00000000, 0x00000000, 0x00000000,
164  0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
165  0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
166  0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
167  0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
168  0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
169  0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
170  0x00007ffb, 0x00007fee, 0x00007f82, 0x0000807e,
171  0x00007ffc, 0x00007fef, 0x0000807d, 0x0000807d,
172  0x00007ffd, 0x00008010, 0x0000807c, 0x000055d4,
173  0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
174  0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
175  0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
176  0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
177  0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
178  0x00000081, 0x0000008e, 0x000000fa, 0x0000008e,
179  0x00000080, 0x0000008d, 0x0000008d, 0x00000081,
180  0x0000007f, 0x00000020, 0x00000080, 0x00000080,
181  0x00000012, 0x00000013, 0x0000007f, 0x0000007f,
182  0x00000013, 0x0000007f, 0x0000007f, 0x0000007f,
183  0x00000012, 0x0000007e, 0x0000007e, 0x0000007e,
184  0x00000011, 0x0000007d, 0x0000007d, 0x0000007d,
185  0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
186  0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
187  0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
188  0x00000000, 0x00000000, 0x00000000, 0x00000000,
189  0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
190  0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
191  0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
192  0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
193  0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
194  0x00007fed, 0x00007f81, 0x00007f81, 0x0000807f,
195  0x00007fee, 0x00007f82, 0x0000807e, 0x0000807e,
196  0x00007fef, 0x0000807d, 0x0000807d, 0x000055d5,
197  0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
198  0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
199  0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
200  0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
201  0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
202  0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f,
203  0x0000008e, 0x000000fa, 0x0000008e, 0x00000082,
204  0x0000008d, 0x0000008d, 0x00000081, 0x00000081,
205  0x00000020, 0x00000080, 0x00000080, 0x00000080,
206  0x00000080, 0x00000080, 0x00000080, 0x00003333,
207  0x0000007f, 0x0000007f, 0x0000007f, 0x00003332,
208  0x0000007e, 0x0000007e, 0x0000007e, 0x00003331,
209  0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
210  0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
211  0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
212  0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
213  0x00000000, 0x00000000, 0x00000000, 0x00000000,
214  0x00000001, 0x00000001, 0x000032b4, 0x00002222,
215  0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
216  0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
217  0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
218  0x00007f80, 0x00007f80, 0x00007f80, 0x0000b333,
219  0x00007f81, 0x00007f81, 0x0000807f, 0x0000b332,
220  0x00007f82, 0x0000807e, 0x0000807e, 0x00008889,
221  0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
222  0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
223  0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
224  0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
225  0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
226  0x000000fc, 0x000000fc, 0x000000fc, 0x00003343,
227  0x000000fb, 0x000000fb, 0x0000008f, 0x00003336,
228  0x000000fa, 0x0000008e, 0x00000082, 0x00003335,
229  0x0000008d, 0x00000081, 0x00000081, 0x00003334,
230  0x00000081, 0x00000081, 0x00003334, 0x00005555,
231  0x00000080, 0x00000080, 0x00003333, 0x00005554,
232  0x0000007f, 0x0000007f, 0x00003332, 0x00005553,
233  0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
234  0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
235  0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
236  0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
237  0x00000001, 0x00000001, 0x000032b4, 0x00002222,
238  0x00000000, 0x00000000, 0x00000000, 0x00000000,
239  0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
240  0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
241  0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
242  0x00007f7f, 0x00007f7f, 0x00004ccc, 0x0000d555,
243  0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554,
244  0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab,
245  0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
246  0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
247  0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
248  0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
249  0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
250  0x000000fd, 0x000000fd, 0x000033b0, 0x00005565,
251  0x000000fc, 0x000000fc, 0x00003343, 0x00005558,
252  0x000000fb, 0x0000008f, 0x00003336, 0x00005557,
253  0x0000008e, 0x00000082, 0x00003335, 0x00005556,
254  0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
255  0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
256  0x00000080, 0x00003333, 0x00005554, 0x00007ffb,
257  0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
258  0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
259  0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
260  0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
261  0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
262  0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
263  0x00000000, 0x00000000, 0x00000000, 0x00000000,
264  0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
265  0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
266  0x00007f7e, 0x00004ccb, 0x00002aaa, 0x0000fffd,
267  0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc,
268  0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553,
269  0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
270  0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
271  0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
272  0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
273  0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
274  0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
275  0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
276  0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
277  0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
278  0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
279  0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
280  0x00003334, 0x00005555, 0x00007ffc, 0x00007ffc,
281  0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
282  0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
283  0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
284  0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
285  0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
286  0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
287  0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
288  0x00000000, 0x00000000, 0x00000000, 0x00000000,
289  0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
290  0x00004cca, 0x00002aa9, 0x00000002, 0x0000fffe,
291  0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd,
292  0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554,
293  0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
294  0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
295  0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
296  0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
297  0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
298  0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
299  0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
300  0x000033b0, 0x00005565, 0x00008000, 0x00008000,
301  0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
302  0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
303  0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
304  0x00005556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
305  0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
306  0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
307  0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
308  0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
309  0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
310  0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
311  0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
312  0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
313  0x00000000, 0x00000000, 0x00000000, 0x00000000,
314  0x00002aa8, 0x00000001, 0x00000001, 0x0000ffff,
315  0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe,
316  0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555,
317  0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
318  0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
319  0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
320  0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
321  0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
322  0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
323  0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
324  0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
325  0x00005565, 0x00008000, 0x00008000, 0x00008000,
326  0x00008000, 0x00008000, 0x00008000, 0x00008000,
327  0x00007fff, 0x00007fff, 0x00007fff, 0x00008001,
328  0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00008002,
329  0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00008010,
330  0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000807d,
331  0x00007ffb, 0x00007fee, 0x00007f82, 0x0000807e,
332  0x00007fed, 0x00007f81, 0x00007f81, 0x0000807f,
333  0x00007f80, 0x00007f80, 0x00007f80, 0x0000b333,
334  0x00007f7f, 0x00007f7f, 0x00004ccc, 0x0000d555,
335  0x00007f7e, 0x00004ccb, 0x00002aaa, 0x0000fffd,
336  0x00004cca, 0x00002aa9, 0x00000002, 0x0000fffe,
337  0x00002aa8, 0x00000001, 0x00000001, 0x0000ffff,
338  0x00000000, 0x00000000, 0x00000000, 0x00000000,
339  0x00000001, 0x00000001, 0x0000ffff, 0x00000001,
340  0x00000002, 0x0000fffe, 0x0000fffe, 0x00002aaa,
341  0x0000fffd, 0x0000fffd, 0x0000d555, 0x00004ccc,
342  0x0000fffc, 0x0000d554, 0x0000b333, 0x00007f80,
343  0x0000d553, 0x0000b332, 0x0000807f, 0x00007f81,
344  0x0000b331, 0x0000807e, 0x0000807e, 0x00007f82,
345  0x0000807d, 0x0000807d, 0x0000807d, 0x00007f83,
346  0x0000807c, 0x0000807c, 0x0000807c, 0x00007ff0,
347  0x0000807b, 0x0000807b, 0x0000800f, 0x00007ffd,
348  0x0000807a, 0x0000800e, 0x00008002, 0x00007ffe,
349  0x0000800d, 0x00008001, 0x00008001, 0x00007fff,
350  0x00008001, 0x00008001, 0x00007fff, 0x00007fff,
351  0x00008000, 0x00008000, 0x00008000, 0x00008000,
352  0x00007fff, 0x00007fff, 0x00008001, 0x00008001,
353  0x00007ffe, 0x00007ffe, 0x00008002, 0x0000800f,
354  0x00007ffd, 0x00007ffd, 0x00008010, 0x0000807c,
355  0x00007ffc, 0x00007fef, 0x0000807d, 0x0000807d,
356  0x00007fee, 0x00007f82, 0x0000807e, 0x0000807e,
357  0x00007f81, 0x00007f81, 0x0000807f, 0x0000b332,
358  0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554,
359  0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc,
360  0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd,
361  0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe,
362  0x00000001, 0x00000001, 0x0000ffff, 0x00000001,
363  0x00000000, 0x00000000, 0x00000000, 0x00000000,
364  0x00000001, 0x0000ffff, 0x00000001, 0x00002aa9,
365  0x0000fffe, 0x0000fffe, 0x00002aaa, 0x00004ccb,
366  0x0000fffd, 0x0000d555, 0x00004ccc, 0x00007f7f,
367  0x0000d554, 0x0000b333, 0x00007f80, 0x00007f80,
368  0x0000b332, 0x0000807f, 0x00007f81, 0x00007f81,
369  0x0000807e, 0x0000807e, 0x00007f82, 0x00007f82,
370  0x0000807d, 0x0000807d, 0x00007f83, 0x00007fef,
371  0x0000807c, 0x0000807c, 0x00007ff0, 0x00007ffc,
372  0x0000807b, 0x0000800f, 0x00007ffd, 0x00007ffd,
373  0x0000800e, 0x00008002, 0x00007ffe, 0x00007ffe,
374  0x00008002, 0x00007ffe, 0x00007ffe, 0x00005556,
375  0x00008001, 0x00007fff, 0x00007fff, 0x00005557,
376  0x00008000, 0x00008000, 0x00008000, 0x00005558,
377  0x00007fff, 0x00008001, 0x00008001, 0x00005566,
378  0x00007ffe, 0x00008002, 0x0000800f, 0x000055d3,
379  0x00007ffd, 0x00008010, 0x0000807c, 0x000055d4,
380  0x00007fef, 0x0000807d, 0x0000807d, 0x000055d5,
381  0x00007f82, 0x0000807e, 0x0000807e, 0x00008889,
382  0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab,
383  0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553,
384  0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554,
385  0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555,
386  0x00000002, 0x0000fffe, 0x0000fffe, 0x00002aaa,
387  0x00000001, 0x0000ffff, 0x00000001, 0x00002aa9,
388  0x00000000, 0x00000000, 0x00000000, 0x00000000,
389  0x0000ffff, 0x00000001, 0x00002aa9, 0x00002222,
390  0x0000fffe, 0x00002aaa, 0x00004ccb, 0x000054d6,
391  0x0000d555, 0x00004ccc, 0x00007f7f, 0x000054d7,
392  0x0000b333, 0x00007f80, 0x00007f80, 0x000054d8,
393  0x0000807f, 0x00007f81, 0x00007f81, 0x000054d9,
394  0x0000807e, 0x00007f82, 0x00007f82, 0x00005546,
395  0x0000807d, 0x00007f83, 0x00007fef, 0x00005553,
396  0x0000807c, 0x00007ff0, 0x00007ffc, 0x00005554,
397  0x0000800f, 0x00007ffd, 0x00007ffd, 0x00005555,
398  0x00007ffd, 0x00007ffd, 0x00005555, 0x00003334,
399  0x00007ffe, 0x00007ffe, 0x00005556, 0x00003335,
400  0x00007fff, 0x00007fff, 0x00005557, 0x00003336,
401  0x00008000, 0x00008000, 0x00005558, 0x00003344,
402  0x00008001, 0x00008001, 0x00005566, 0x000033b1,
403  0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
404  0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
405  0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
406  0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
407  0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
408  0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
409  0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
410  0x0000fffd, 0x0000fffd, 0x0000d555, 0x00004ccc,
411  0x0000fffe, 0x0000fffe, 0x00002aaa, 0x00004ccb,
412  0x0000ffff, 0x00000001, 0x00002aa9, 0x00002222,
413  0x00000000, 0x00000000, 0x00000000, 0x00000000,
414  0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
415  0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
416  0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
417  0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
418  0x00007f81, 0x00007f81, 0x000054d9, 0x00003324,
419  0x00007f82, 0x00007f82, 0x00005546, 0x00003331,
420  0x00007f83, 0x00007fef, 0x00005553, 0x00003332,
421  0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333,
422  0x00007ffc, 0x00005554, 0x00003333, 0x00000080,
423  0x00007ffd, 0x00005555, 0x00003334, 0x00000081,
424  0x00007ffe, 0x00005556, 0x00003335, 0x00000082,
425  0x00007fff, 0x00005557, 0x00003336, 0x00000090,
426  0x00008000, 0x00005558, 0x00003344, 0x000000fd,
427  0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
428  0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
429  0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
430  0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
431  0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
432  0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
433  0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
434  0x0000fffc, 0x0000d554, 0x0000b333, 0x00007f80,
435  0x0000fffd, 0x0000d555, 0x00004ccc, 0x00007f7f,
436  0x0000fffe, 0x00002aaa, 0x00004ccb, 0x000054d6,
437  0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
438  0x00000000, 0x00000000, 0x00000000, 0x00000000,
439  0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
440  0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
441  0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
442  0x00007f80, 0x000054d8, 0x000032b7, 0x00000070,
443  0x00007f81, 0x000054d9, 0x00003324, 0x0000007d,
444  0x00007f82, 0x00005546, 0x00003331, 0x0000007e,
445  0x00007fef, 0x00005553, 0x00003332, 0x0000007f,
446  0x00005553, 0x00003332, 0x0000007f, 0x0000007f,
447  0x00005554, 0x00003333, 0x00000080, 0x00000080,
448  0x00005555, 0x00003334, 0x00000081, 0x00000081,
449  0x00005556, 0x00003335, 0x00000082, 0x0000008f,
450  0x00005557, 0x00003336, 0x00000090, 0x000000fc,
451  0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
452  0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
453  0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
454  0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
455  0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
456  0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
457  0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
458  0x0000d553, 0x0000b332, 0x0000807f, 0x00007f81,
459  0x0000d554, 0x0000b333, 0x00007f80, 0x00007f80,
460  0x0000d555, 0x00004ccc, 0x00007f7f, 0x000054d7,
461  0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
462  0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
463  0x00000000, 0x00000000, 0x00000000, 0x00000000,
464  0x00002222, 0x000032b4, 0x00000001, 0x00000001,
465  0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
466  0x000054d7, 0x000032b6, 0x00000003, 0x0000006f,
467  0x000054d8, 0x000032b7, 0x00000070, 0x0000007c,
468  0x000054d9, 0x00003324, 0x0000007d, 0x0000007d,
469  0x00005546, 0x00003331, 0x0000007e, 0x0000007e,
470  0x00003331, 0x0000007e, 0x0000007e, 0x0000007e,
471  0x00003332, 0x0000007f, 0x0000007f, 0x0000007f,
472  0x00003333, 0x00000080, 0x00000080, 0x00000080,
473  0x00003334, 0x00000081, 0x00000081, 0x0000008e,
474  0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
475  0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
476  0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
477  0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
478  0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
479  0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
480  0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
481  0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
482  0x0000b331, 0x0000807e, 0x0000807e, 0x00007f82,
483  0x0000b332, 0x0000807f, 0x00007f81, 0x00007f81,
484  0x0000b333, 0x00007f80, 0x00007f80, 0x000054d8,
485  0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
486  0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
487  0x00002222, 0x000032b4, 0x00000001, 0x00000001,
488  0x00000000, 0x00000000, 0x00000000, 0x00000000,
489  0x000032b4, 0x00000001, 0x00000001, 0x00000001,
490  0x000032b5, 0x00000002, 0x00000002, 0x0000006e,
491  0x000032b6, 0x00000003, 0x0000006f, 0x0000007b,
492  0x000032b7, 0x00000070, 0x0000007c, 0x0000007c,
493  0x00003324, 0x0000007d, 0x0000007d, 0x0000007d,
494  0x0000007d, 0x0000007d, 0x0000007d, 0x0000007d,
495  0x0000007e, 0x0000007e, 0x0000007e, 0x0000007e,
496  0x0000007f, 0x0000007f, 0x0000007f, 0x0000007f,
497  0x00000080, 0x00000080, 0x00000080, 0x0000008d,
498  0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
499  0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
500  0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
501  0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
502  0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
503  0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
504  0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
505  0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
506  0x0000807d, 0x0000807d, 0x0000807d, 0x00007f83,
507  0x0000807e, 0x0000807e, 0x00007f82, 0x00007f82,
508  0x0000807f, 0x00007f81, 0x00007f81, 0x000054d9,
509  0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
510  0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
511  0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
512  0x000032b4, 0x00000001, 0x00000001, 0x00000001,
513  0x00000000, 0x00000000, 0x00000000, 0x00000000,
514  0x00000001, 0x00000001, 0x00000001, 0x0000006d,
515  0x00000002, 0x00000002, 0x0000006e, 0x0000007a,
516  0x00000003, 0x0000006f, 0x0000007b, 0x0000007b,
517  0x00000070, 0x0000007c, 0x0000007c, 0x0000007c,
518  0x0000007c, 0x0000007c, 0x0000007c, 0x00000010,
519  0x0000007d, 0x0000007d, 0x0000007d, 0x00000011,
520  0x0000007e, 0x0000007e, 0x0000007e, 0x00000012,
521  0x0000007f, 0x0000007f, 0x0000007f, 0x00000020,
522  0x00000080, 0x00000080, 0x0000008d, 0x0000008d,
523  0x00000081, 0x0000008e, 0x000000fa, 0x0000008e,
524  0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f,
525  0x000000fc, 0x000000fc, 0x000000fc, 0x00003343,
526  0x000000fd, 0x000000fd, 0x000033b0, 0x00005565,
527  0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
528  0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
529  0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
530  0x0000807c, 0x0000807c, 0x0000807c, 0x00007ff0,
531  0x0000807d, 0x0000807d, 0x00007f83, 0x00007fef,
532  0x0000807e, 0x00007f82, 0x00007f82, 0x00005546,
533  0x00007f81, 0x00007f81, 0x000054d9, 0x00003324,
534  0x00007f80, 0x000054d8, 0x000032b7, 0x00000070,
535  0x000054d7, 0x000032b6, 0x00000003, 0x0000006f,
536  0x000032b5, 0x00000002, 0x00000002, 0x0000006e,
537  0x00000001, 0x00000001, 0x00000001, 0x0000006d,
538  0x00000000, 0x00000000, 0x00000000, 0x00000000,
539  0x00000001, 0x00000001, 0x0000006d, 0x0000000d,
540  0x00000002, 0x0000006e, 0x0000007a, 0x0000000e,
541  0x0000006f, 0x0000007b, 0x0000007b, 0x0000000f,
542  0x0000007b, 0x0000007b, 0x0000000f, 0x00000003,
543  0x0000007c, 0x0000007c, 0x00000010, 0x00000004,
544  0x0000007d, 0x0000007d, 0x00000011, 0x00000005,
545  0x0000007e, 0x0000007e, 0x00000012, 0x00000013,
546  0x0000007f, 0x0000007f, 0x00000020, 0x00000080,
547  0x00000080, 0x0000008d, 0x0000008d, 0x00000081,
548  0x0000008e, 0x000000fa, 0x0000008e, 0x00000082,
549  0x000000fb, 0x000000fb, 0x0000008f, 0x00003336,
550  0x000000fc, 0x000000fc, 0x00003343, 0x00005558,
551  0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
552  0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
553  0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
554  0x0000807b, 0x0000807b, 0x0000800f, 0x00007ffd,
555  0x0000807c, 0x0000807c, 0x00007ff0, 0x00007ffc,
556  0x0000807d, 0x00007f83, 0x00007fef, 0x00005553,
557  0x00007f82, 0x00007f82, 0x00005546, 0x00003331,
558  0x00007f81, 0x000054d9, 0x00003324, 0x0000007d,
559  0x000054d8, 0x000032b7, 0x00000070, 0x0000007c,
560  0x000032b6, 0x00000003, 0x0000006f, 0x0000007b,
561  0x00000002, 0x00000002, 0x0000006e, 0x0000007a,
562  0x00000001, 0x00000001, 0x0000006d, 0x0000000d,
563  0x00000000, 0x00000000, 0x00000000, 0x00000000,
564  0x00000001, 0x0000006d, 0x0000000d, 0x00000001,
565  0x0000006e, 0x0000007a, 0x0000000e, 0x00000002,
566  0x0000007a, 0x0000000e, 0x00000002, 0x00000002,
567  0x0000007b, 0x0000000f, 0x00000003, 0x00000003,
568  0x0000007c, 0x00000010, 0x00000004, 0x00000004,
569  0x0000007d, 0x00000011, 0x00000005, 0x00000012,
570  0x0000007e, 0x00000012, 0x00000013, 0x0000007f,
571  0x0000007f, 0x00000020, 0x00000080, 0x00000080,
572  0x0000008d, 0x0000008d, 0x00000081, 0x00000081,
573  0x000000fa, 0x0000008e, 0x00000082, 0x00003335,
574  0x000000fb, 0x0000008f, 0x00003336, 0x00005557,
575  0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
576  0x000033b0, 0x00005565, 0x00008000, 0x00008000,
577  0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
578  0x0000807a, 0x0000800e, 0x00008002, 0x00007ffe,
579  0x0000807b, 0x0000800f, 0x00007ffd, 0x00007ffd,
580  0x0000807c, 0x00007ff0, 0x00007ffc, 0x00005554,
581  0x00007f83, 0x00007fef, 0x00005553, 0x00003332,
582  0x00007f82, 0x00005546, 0x00003331, 0x0000007e,
583  0x000054d9, 0x00003324, 0x0000007d, 0x0000007d,
584  0x000032b7, 0x00000070, 0x0000007c, 0x0000007c,
585  0x00000003, 0x0000006f, 0x0000007b, 0x0000007b,
586  0x00000002, 0x0000006e, 0x0000007a, 0x0000000e,
587  0x00000001, 0x0000006d, 0x0000000d, 0x00000001,
588  0x00000000, 0x00000000, 0x00000000, 0x00000000,
589  0x0000006d, 0x0000000d, 0x00000001, 0x00000001,
590  0x0000000d, 0x00000001, 0x00000001, 0x00000001,
591  0x0000000e, 0x00000002, 0x00000002, 0x00000002,
592  0x0000000f, 0x00000003, 0x00000003, 0x00000003,
593  0x00000010, 0x00000004, 0x00000004, 0x00000011,
594  0x00000011, 0x00000005, 0x00000012, 0x0000007e,
595  0x00000012, 0x00000013, 0x0000007f, 0x0000007f,
596  0x00000020, 0x00000080, 0x00000080, 0x00000080,
597  0x0000008d, 0x00000081, 0x00000081, 0x00003334,
598  0x0000008e, 0x00000082, 0x00003335, 0x00005556,
599  0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
600  0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
601  0x00005565, 0x00008000, 0x00008000, 0x00008000,
602  0x0000800d, 0x00008001, 0x00008001, 0x00007fff,
603  0x0000800e, 0x00008002, 0x00007ffe, 0x00007ffe,
604  0x0000800f, 0x00007ffd, 0x00007ffd, 0x00005555,
605  0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333,
606  0x00007fef, 0x00005553, 0x00003332, 0x0000007f,
607  0x00005546, 0x00003331, 0x0000007e, 0x0000007e,
608  0x00003324, 0x0000007d, 0x0000007d, 0x0000007d,
609  0x00000070, 0x0000007c, 0x0000007c, 0x0000007c,
610  0x0000006f, 0x0000007b, 0x0000007b, 0x0000000f,
611  0x0000006e, 0x0000007a, 0x0000000e, 0x00000002,
612  0x0000006d, 0x0000000d, 0x00000001, 0x00000001,
613  0x00000000, 0x00000000, 0x00000000, 0x00000000,
614};
615const unsigned kExpectedCount_NEON_sabdl2_4S = 576;
616
617#endif  // VIXL_SIM_SABDL2_4S_TRACE_AARCH64_H_
618