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