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_SLI_4H_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SLI_4H_2OPIMM_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_sli_4H_2OPIMM[] = {
38  0xff81, 0xff82, 0xff83, 0xfff0,
39  0xff03, 0xff04, 0xff07, 0xffe0,
40  0xfe07, 0xfe08, 0xfe0f, 0xffc0,
41  0xfc0f, 0xfc10, 0xfc1f, 0xff80,
42  0xf81f, 0xf820, 0xf83f, 0xff00,
43  0xf03f, 0xf040, 0xf07f, 0xfe00,
44  0xe07f, 0xe080, 0xe0ff, 0xfc00,
45  0xc0ff, 0xc100, 0xc1ff, 0xf800,
46  0x81ff, 0x8200, 0x83ff, 0xf000,
47  0x03ff, 0x0400, 0x07ff, 0xe000,
48  0x07ff, 0x0800, 0x0fff, 0xc000,
49  0x0fff, 0x1000, 0x1fff, 0x8000,
50  0x1fff, 0x2000, 0x3fff, 0x0000,
51  0x3fff, 0x4000, 0x7fff, 0x0000,
52  0x7fff, 0x8000, 0xffff, 0x0000,
53  0xffff, 0x0000, 0xffff, 0x0000,
54  0xff82, 0xff83, 0xfff0, 0xfffd,
55  0xff04, 0xff07, 0xffe0, 0xfffb,
56  0xfe08, 0xfe0f, 0xffc0, 0xfff7,
57  0xfc10, 0xfc1f, 0xff80, 0xffef,
58  0xf820, 0xf83f, 0xff00, 0xffdf,
59  0xf040, 0xf07f, 0xfe00, 0xffbf,
60  0xe080, 0xe0ff, 0xfc00, 0xff7f,
61  0xc100, 0xc1ff, 0xf800, 0xfeff,
62  0x8200, 0x83ff, 0xf000, 0xfdff,
63  0x0400, 0x07ff, 0xe000, 0xfbff,
64  0x0800, 0x0fff, 0xc000, 0xf7ff,
65  0x1000, 0x1fff, 0x8000, 0xefff,
66  0x2000, 0x3fff, 0x0000, 0xdfff,
67  0x4000, 0x7fff, 0x0000, 0xbfff,
68  0x8000, 0xffff, 0x0000, 0x7fff,
69  0x0000, 0xffff, 0x0000, 0xffff,
70  0xff83, 0xfff0, 0xfffd, 0xfffe,
71  0xff07, 0xffe0, 0xfffb, 0xfffc,
72  0xfe0f, 0xffc0, 0xfff7, 0xfff8,
73  0xfc1f, 0xff80, 0xffef, 0xfff0,
74  0xf83f, 0xff00, 0xffdf, 0xffe0,
75  0xf07f, 0xfe00, 0xffbf, 0xffc0,
76  0xe0ff, 0xfc00, 0xff7f, 0xff80,
77  0xc1ff, 0xf800, 0xfeff, 0xff00,
78  0x83ff, 0xf000, 0xfdff, 0xfe00,
79  0x07ff, 0xe000, 0xfbff, 0xfc00,
80  0x0fff, 0xc000, 0xf7ff, 0xf800,
81  0x1fff, 0x8000, 0xefff, 0xf000,
82  0x3fff, 0x0000, 0xdfff, 0xe000,
83  0x7fff, 0x0000, 0xbfff, 0xc000,
84  0xffff, 0x0000, 0x7fff, 0x8000,
85  0xffff, 0x0000, 0xffff, 0x0000,
86  0xfff0, 0xfffd, 0xfffe, 0xffff,
87  0xffe0, 0xfffb, 0xfffc, 0xffff,
88  0xffc0, 0xfff7, 0xfff8, 0xffff,
89  0xff80, 0xffef, 0xfff0, 0xffff,
90  0xff00, 0xffdf, 0xffe0, 0xffff,
91  0xfe00, 0xffbf, 0xffc0, 0xffff,
92  0xfc00, 0xff7f, 0xff80, 0xffff,
93  0xf800, 0xfeff, 0xff00, 0xffff,
94  0xf000, 0xfdff, 0xfe00, 0xffff,
95  0xe000, 0xfbff, 0xfc00, 0xffff,
96  0xc000, 0xf7ff, 0xf800, 0xffff,
97  0x8000, 0xefff, 0xf000, 0xffff,
98  0x0000, 0xdfff, 0xe000, 0xffff,
99  0x0000, 0xbfff, 0xc000, 0xffff,
100  0x0000, 0x7fff, 0x8000, 0xffff,
101  0x0000, 0xffff, 0x0000, 0xffff,
102  0xfffd, 0xfffe, 0xffff, 0x0000,
103  0xfffb, 0xfffc, 0xffff, 0x0000,
104  0xfff7, 0xfff8, 0xffff, 0x0000,
105  0xffef, 0xfff0, 0xffff, 0x0000,
106  0xffdf, 0xffe0, 0xffff, 0x0000,
107  0xffbf, 0xffc0, 0xffff, 0x0000,
108  0xff7f, 0xff80, 0xffff, 0x0000,
109  0xfeff, 0xff00, 0xffff, 0x0000,
110  0xfdff, 0xfe00, 0xffff, 0x0000,
111  0xfbff, 0xfc00, 0xffff, 0x0000,
112  0xf7ff, 0xf800, 0xffff, 0x0000,
113  0xefff, 0xf000, 0xffff, 0x0000,
114  0xdfff, 0xe000, 0xffff, 0x0000,
115  0xbfff, 0xc000, 0xffff, 0x0000,
116  0x7fff, 0x8000, 0xffff, 0x0000,
117  0xffff, 0x0000, 0xffff, 0x0000,
118  0xfffe, 0xffff, 0x0000, 0x0001,
119  0xfffc, 0xffff, 0x0000, 0x0003,
120  0xfff8, 0xffff, 0x0000, 0x0007,
121  0xfff0, 0xffff, 0x0000, 0x000f,
122  0xffe0, 0xffff, 0x0000, 0x001f,
123  0xffc0, 0xffff, 0x0000, 0x003f,
124  0xff80, 0xffff, 0x0000, 0x007f,
125  0xff00, 0xffff, 0x0000, 0x00ff,
126  0xfe00, 0xffff, 0x0000, 0x01ff,
127  0xfc00, 0xffff, 0x0000, 0x03ff,
128  0xf800, 0xffff, 0x0000, 0x07ff,
129  0xf000, 0xffff, 0x0000, 0x0fff,
130  0xe000, 0xffff, 0x0000, 0x1fff,
131  0xc000, 0xffff, 0x0000, 0x3fff,
132  0x8000, 0xffff, 0x0000, 0x7fff,
133  0x0000, 0xffff, 0x0000, 0xffff,
134  0xffff, 0x0000, 0x0001, 0x0002,
135  0xffff, 0x0000, 0x0003, 0x0004,
136  0xffff, 0x0000, 0x0007, 0x0008,
137  0xffff, 0x0000, 0x000f, 0x0010,
138  0xffff, 0x0000, 0x001f, 0x0020,
139  0xffff, 0x0000, 0x003f, 0x0040,
140  0xffff, 0x0000, 0x007f, 0x0080,
141  0xffff, 0x0000, 0x00ff, 0x0100,
142  0xffff, 0x0000, 0x01ff, 0x0200,
143  0xffff, 0x0000, 0x03ff, 0x0400,
144  0xffff, 0x0000, 0x07ff, 0x0800,
145  0xffff, 0x0000, 0x0fff, 0x1000,
146  0xffff, 0x0000, 0x1fff, 0x2000,
147  0xffff, 0x0000, 0x3fff, 0x4000,
148  0xffff, 0x0000, 0x7fff, 0x8000,
149  0xffff, 0x0000, 0xffff, 0x0000,
150  0x0000, 0x0001, 0x0002, 0x0010,
151  0x0000, 0x0003, 0x0004, 0x0020,
152  0x0000, 0x0007, 0x0008, 0x0040,
153  0x0000, 0x000f, 0x0010, 0x0080,
154  0x0000, 0x001f, 0x0020, 0x0100,
155  0x0000, 0x003f, 0x0040, 0x0200,
156  0x0000, 0x007f, 0x0080, 0x0400,
157  0x0000, 0x00ff, 0x0100, 0x0800,
158  0x0000, 0x01ff, 0x0200, 0x1000,
159  0x0000, 0x03ff, 0x0400, 0x2000,
160  0x0000, 0x07ff, 0x0800, 0x4000,
161  0x0000, 0x0fff, 0x1000, 0x8000,
162  0x0000, 0x1fff, 0x2000, 0x0000,
163  0x0000, 0x3fff, 0x4000, 0x0000,
164  0x0000, 0x7fff, 0x8000, 0x0000,
165  0x0000, 0xffff, 0x0000, 0x0000,
166  0x0001, 0x0002, 0x0010, 0x007d,
167  0x0003, 0x0004, 0x0020, 0x00fb,
168  0x0007, 0x0008, 0x0040, 0x01f7,
169  0x000f, 0x0010, 0x0080, 0x03ef,
170  0x001f, 0x0020, 0x0100, 0x07df,
171  0x003f, 0x0040, 0x0200, 0x0fbf,
172  0x007f, 0x0080, 0x0400, 0x1f7f,
173  0x00ff, 0x0100, 0x0800, 0x3eff,
174  0x01ff, 0x0200, 0x1000, 0x7dff,
175  0x03ff, 0x0400, 0x2000, 0xfbff,
176  0x07ff, 0x0800, 0x4000, 0xf7ff,
177  0x0fff, 0x1000, 0x8000, 0xefff,
178  0x1fff, 0x2000, 0x0000, 0xdfff,
179  0x3fff, 0x4000, 0x0000, 0xbfff,
180  0x7fff, 0x8000, 0x0000, 0x7fff,
181  0xffff, 0x0000, 0x0000, 0xffff,
182  0x0002, 0x0010, 0x007d, 0x007e,
183  0x0004, 0x0020, 0x00fb, 0x00fc,
184  0x0008, 0x0040, 0x01f7, 0x01f8,
185  0x0010, 0x0080, 0x03ef, 0x03f0,
186  0x0020, 0x0100, 0x07df, 0x07e0,
187  0x0040, 0x0200, 0x0fbf, 0x0fc0,
188  0x0080, 0x0400, 0x1f7f, 0x1f80,
189  0x0100, 0x0800, 0x3eff, 0x3f00,
190  0x0200, 0x1000, 0x7dff, 0x7e00,
191  0x0400, 0x2000, 0xfbff, 0xfc00,
192  0x0800, 0x4000, 0xf7ff, 0xf800,
193  0x1000, 0x8000, 0xefff, 0xf000,
194  0x2000, 0x0000, 0xdfff, 0xe000,
195  0x4000, 0x0000, 0xbfff, 0xc000,
196  0x8000, 0x0000, 0x7fff, 0x8000,
197  0x0000, 0x0000, 0xffff, 0x0000,
198  0x0010, 0x007d, 0x007e, 0x007f,
199  0x0020, 0x00fb, 0x00fc, 0x00ff,
200  0x0040, 0x01f7, 0x01f8, 0x01ff,
201  0x0080, 0x03ef, 0x03f0, 0x03ff,
202  0x0100, 0x07df, 0x07e0, 0x07ff,
203  0x0200, 0x0fbf, 0x0fc0, 0x0fff,
204  0x0400, 0x1f7f, 0x1f80, 0x1fff,
205  0x0800, 0x3eff, 0x3f00, 0x3fff,
206  0x1000, 0x7dff, 0x7e00, 0x7fff,
207  0x2000, 0xfbff, 0xfc00, 0xffff,
208  0x4000, 0xf7ff, 0xf800, 0xffff,
209  0x8000, 0xefff, 0xf000, 0xffff,
210  0x0000, 0xdfff, 0xe000, 0xffff,
211  0x0000, 0xbfff, 0xc000, 0xffff,
212  0x0000, 0x7fff, 0x8000, 0xffff,
213  0x0000, 0xffff, 0x0000, 0xffff,
214  0x007d, 0x007e, 0x007f, 0x3333,
215  0x00fb, 0x00fc, 0x00ff, 0x6667,
216  0x01f7, 0x01f8, 0x01ff, 0xcccf,
217  0x03ef, 0x03f0, 0x03ff, 0x999f,
218  0x07df, 0x07e0, 0x07ff, 0x333f,
219  0x0fbf, 0x0fc0, 0x0fff, 0x667f,
220  0x1f7f, 0x1f80, 0x1fff, 0xccff,
221  0x3eff, 0x3f00, 0x3fff, 0x99ff,
222  0x7dff, 0x7e00, 0x7fff, 0x33ff,
223  0xfbff, 0xfc00, 0xffff, 0x67ff,
224  0xf7ff, 0xf800, 0xffff, 0xcfff,
225  0xefff, 0xf000, 0xffff, 0x9fff,
226  0xdfff, 0xe000, 0xffff, 0x3fff,
227  0xbfff, 0xc000, 0xffff, 0x7fff,
228  0x7fff, 0x8000, 0xffff, 0xffff,
229  0xffff, 0x0000, 0xffff, 0xffff,
230  0x007e, 0x007f, 0x3333, 0x5555,
231  0x00fc, 0x00ff, 0x6667, 0xaaab,
232  0x01f8, 0x01ff, 0xcccf, 0x5557,
233  0x03f0, 0x03ff, 0x999f, 0xaaaf,
234  0x07e0, 0x07ff, 0x333f, 0x555f,
235  0x0fc0, 0x0fff, 0x667f, 0xaabf,
236  0x1f80, 0x1fff, 0xccff, 0x557f,
237  0x3f00, 0x3fff, 0x99ff, 0xaaff,
238  0x7e00, 0x7fff, 0x33ff, 0x55ff,
239  0xfc00, 0xffff, 0x67ff, 0xabff,
240  0xf800, 0xffff, 0xcfff, 0x57ff,
241  0xf000, 0xffff, 0x9fff, 0xafff,
242  0xe000, 0xffff, 0x3fff, 0x5fff,
243  0xc000, 0xffff, 0x7fff, 0xbfff,
244  0x8000, 0xffff, 0xffff, 0x7fff,
245  0x0000, 0xffff, 0xffff, 0xffff,
246  0x007f, 0x3333, 0x5555, 0x7ffd,
247  0x00ff, 0x6667, 0xaaab, 0xfffb,
248  0x01ff, 0xcccf, 0x5557, 0xfff7,
249  0x03ff, 0x999f, 0xaaaf, 0xffef,
250  0x07ff, 0x333f, 0x555f, 0xffdf,
251  0x0fff, 0x667f, 0xaabf, 0xffbf,
252  0x1fff, 0xccff, 0x557f, 0xff7f,
253  0x3fff, 0x99ff, 0xaaff, 0xfeff,
254  0x7fff, 0x33ff, 0x55ff, 0xfdff,
255  0xffff, 0x67ff, 0xabff, 0xfbff,
256  0xffff, 0xcfff, 0x57ff, 0xf7ff,
257  0xffff, 0x9fff, 0xafff, 0xefff,
258  0xffff, 0x3fff, 0x5fff, 0xdfff,
259  0xffff, 0x7fff, 0xbfff, 0xbfff,
260  0xffff, 0xffff, 0x7fff, 0x7fff,
261  0xffff, 0xffff, 0xffff, 0xffff,
262  0x3333, 0x5555, 0x7ffd, 0x7ffe,
263  0x6667, 0xaaab, 0xfffb, 0xfffc,
264  0xcccf, 0x5557, 0xfff7, 0xfff8,
265  0x999f, 0xaaaf, 0xffef, 0xfff0,
266  0x333f, 0x555f, 0xffdf, 0xffe0,
267  0x667f, 0xaabf, 0xffbf, 0xffc0,
268  0xccff, 0x557f, 0xff7f, 0xff80,
269  0x99ff, 0xaaff, 0xfeff, 0xff00,
270  0x33ff, 0x55ff, 0xfdff, 0xfe00,
271  0x67ff, 0xabff, 0xfbff, 0xfc00,
272  0xcfff, 0x57ff, 0xf7ff, 0xf800,
273  0x9fff, 0xafff, 0xefff, 0xf000,
274  0x3fff, 0x5fff, 0xdfff, 0xe000,
275  0x7fff, 0xbfff, 0xbfff, 0xc000,
276  0xffff, 0x7fff, 0x7fff, 0x8000,
277  0xffff, 0xffff, 0xffff, 0x0000,
278  0x5555, 0x7ffd, 0x7ffe, 0x7fff,
279  0xaaab, 0xfffb, 0xfffc, 0xffff,
280  0x5557, 0xfff7, 0xfff8, 0xffff,
281  0xaaaf, 0xffef, 0xfff0, 0xffff,
282  0x555f, 0xffdf, 0xffe0, 0xffff,
283  0xaabf, 0xffbf, 0xffc0, 0xffff,
284  0x557f, 0xff7f, 0xff80, 0xffff,
285  0xaaff, 0xfeff, 0xff00, 0xffff,
286  0x55ff, 0xfdff, 0xfe00, 0xffff,
287  0xabff, 0xfbff, 0xfc00, 0xffff,
288  0x57ff, 0xf7ff, 0xf800, 0xffff,
289  0xafff, 0xefff, 0xf000, 0xffff,
290  0x5fff, 0xdfff, 0xe000, 0xffff,
291  0xbfff, 0xbfff, 0xc000, 0xffff,
292  0x7fff, 0x7fff, 0x8000, 0xffff,
293  0xffff, 0xffff, 0x0000, 0xffff,
294  0x7ffd, 0x7ffe, 0x7fff, 0x8000,
295  0xfffb, 0xfffc, 0xffff, 0x0000,
296  0xfff7, 0xfff8, 0xffff, 0x0000,
297  0xffef, 0xfff0, 0xffff, 0x0000,
298  0xffdf, 0xffe0, 0xffff, 0x0000,
299  0xffbf, 0xffc0, 0xffff, 0x0000,
300  0xff7f, 0xff80, 0xffff, 0x0000,
301  0xfeff, 0xff00, 0xffff, 0x0000,
302  0xfdff, 0xfe00, 0xffff, 0x0000,
303  0xfbff, 0xfc00, 0xffff, 0x0000,
304  0xf7ff, 0xf800, 0xffff, 0x0000,
305  0xefff, 0xf000, 0xffff, 0x0000,
306  0xdfff, 0xe000, 0xffff, 0x0000,
307  0xbfff, 0xc000, 0xffff, 0x0000,
308  0x7fff, 0x8000, 0xffff, 0x0000,
309  0xffff, 0x0000, 0xffff, 0x0000,
310  0x7ffe, 0x7fff, 0x8000, 0x8001,
311  0xfffc, 0xffff, 0x0000, 0x0003,
312  0xfff8, 0xffff, 0x0000, 0x0007,
313  0xfff0, 0xffff, 0x0000, 0x000f,
314  0xffe0, 0xffff, 0x0000, 0x001f,
315  0xffc0, 0xffff, 0x0000, 0x003f,
316  0xff80, 0xffff, 0x0000, 0x007f,
317  0xff00, 0xffff, 0x0000, 0x00ff,
318  0xfe00, 0xffff, 0x0000, 0x01ff,
319  0xfc00, 0xffff, 0x0000, 0x03ff,
320  0xf800, 0xffff, 0x0000, 0x07ff,
321  0xf000, 0xffff, 0x0000, 0x0fff,
322  0xe000, 0xffff, 0x0000, 0x1fff,
323  0xc000, 0xffff, 0x0000, 0x3fff,
324  0x8000, 0xffff, 0x0000, 0x7fff,
325  0x0000, 0xffff, 0x0000, 0xffff,
326  0x7fff, 0x8000, 0x8001, 0xaaaa,
327  0xffff, 0x0000, 0x0003, 0x5554,
328  0xffff, 0x0000, 0x0007, 0xaaa8,
329  0xffff, 0x0000, 0x000f, 0x5550,
330  0xffff, 0x0000, 0x001f, 0xaaa0,
331  0xffff, 0x0000, 0x003f, 0x5540,
332  0xffff, 0x0000, 0x007f, 0xaa80,
333  0xffff, 0x0000, 0x00ff, 0x5500,
334  0xffff, 0x0000, 0x01ff, 0xaa00,
335  0xffff, 0x0000, 0x03ff, 0x5400,
336  0xffff, 0x0000, 0x07ff, 0xa800,
337  0xffff, 0x0000, 0x0fff, 0x5000,
338  0xffff, 0x0000, 0x1fff, 0xa000,
339  0xffff, 0x0000, 0x3fff, 0x4000,
340  0xffff, 0x0000, 0x7fff, 0x8000,
341  0xffff, 0x0000, 0xffff, 0x0000,
342  0x8000, 0x8001, 0xaaaa, 0xcccc,
343  0x0000, 0x0003, 0x5554, 0x9998,
344  0x0000, 0x0007, 0xaaa8, 0x3330,
345  0x0000, 0x000f, 0x5550, 0x6660,
346  0x0000, 0x001f, 0xaaa0, 0xccc0,
347  0x0000, 0x003f, 0x5540, 0x9980,
348  0x0000, 0x007f, 0xaa80, 0x3300,
349  0x0000, 0x00ff, 0x5500, 0x6600,
350  0x0000, 0x01ff, 0xaa00, 0xcc00,
351  0x0000, 0x03ff, 0x5400, 0x9800,
352  0x0000, 0x07ff, 0xa800, 0x3000,
353  0x0000, 0x0fff, 0x5000, 0x6000,
354  0x0000, 0x1fff, 0xa000, 0xc000,
355  0x0000, 0x3fff, 0x4000, 0x8000,
356  0x0000, 0x7fff, 0x8000, 0x0000,
357  0x0000, 0xffff, 0x0000, 0x0000,
358  0x8001, 0xaaaa, 0xcccc, 0xff80,
359  0x0003, 0x5554, 0x9998, 0xff00,
360  0x0007, 0xaaa8, 0x3330, 0xfe00,
361  0x000f, 0x5550, 0x6660, 0xfc00,
362  0x001f, 0xaaa0, 0xccc0, 0xf800,
363  0x003f, 0x5540, 0x9980, 0xf000,
364  0x007f, 0xaa80, 0x3300, 0xe000,
365  0x00ff, 0x5500, 0x6600, 0xc000,
366  0x01ff, 0xaa00, 0xcc00, 0x8000,
367  0x03ff, 0x5400, 0x9800, 0x0000,
368  0x07ff, 0xa800, 0x3000, 0x0000,
369  0x0fff, 0x5000, 0x6000, 0x0000,
370  0x1fff, 0xa000, 0xc000, 0x0000,
371  0x3fff, 0x4000, 0x8000, 0x0000,
372  0x7fff, 0x8000, 0x0000, 0x0000,
373  0xffff, 0x0000, 0x0000, 0x0000,
374  0xaaaa, 0xcccc, 0xff80, 0xff81,
375  0x5554, 0x9998, 0xff00, 0xff03,
376  0xaaa8, 0x3330, 0xfe00, 0xfe07,
377  0x5550, 0x6660, 0xfc00, 0xfc0f,
378  0xaaa0, 0xccc0, 0xf800, 0xf81f,
379  0x5540, 0x9980, 0xf000, 0xf03f,
380  0xaa80, 0x3300, 0xe000, 0xe07f,
381  0x5500, 0x6600, 0xc000, 0xc0ff,
382  0xaa00, 0xcc00, 0x8000, 0x81ff,
383  0x5400, 0x9800, 0x0000, 0x03ff,
384  0xa800, 0x3000, 0x0000, 0x07ff,
385  0x5000, 0x6000, 0x0000, 0x0fff,
386  0xa000, 0xc000, 0x0000, 0x1fff,
387  0x4000, 0x8000, 0x0000, 0x3fff,
388  0x8000, 0x0000, 0x0000, 0x7fff,
389  0x0000, 0x0000, 0x0000, 0xffff,
390  0xcccc, 0xff80, 0xff81, 0xff82,
391  0x9998, 0xff00, 0xff03, 0xff04,
392  0x3330, 0xfe00, 0xfe07, 0xfe08,
393  0x6660, 0xfc00, 0xfc0f, 0xfc10,
394  0xccc0, 0xf800, 0xf81f, 0xf820,
395  0x9980, 0xf000, 0xf03f, 0xf040,
396  0x3300, 0xe000, 0xe07f, 0xe080,
397  0x6600, 0xc000, 0xc0ff, 0xc100,
398  0xcc00, 0x8000, 0x81ff, 0x8200,
399  0x9800, 0x0000, 0x03ff, 0x0400,
400  0x3000, 0x0000, 0x07ff, 0x0800,
401  0x6000, 0x0000, 0x0fff, 0x1000,
402  0xc000, 0x0000, 0x1fff, 0x2000,
403  0x8000, 0x0000, 0x3fff, 0x4000,
404  0x0000, 0x0000, 0x7fff, 0x8000,
405  0x0000, 0x0000, 0xffff, 0x0000,
406  0xff80, 0xff81, 0xff82, 0xff83,
407  0xff00, 0xff03, 0xff04, 0xff07,
408  0xfe00, 0xfe07, 0xfe08, 0xfe0f,
409  0xfc00, 0xfc0f, 0xfc10, 0xfc1f,
410  0xf800, 0xf81f, 0xf820, 0xf83f,
411  0xf000, 0xf03f, 0xf040, 0xf07f,
412  0xe000, 0xe07f, 0xe080, 0xe0ff,
413  0xc000, 0xc0ff, 0xc100, 0xc1ff,
414  0x8000, 0x81ff, 0x8200, 0x83ff,
415  0x0000, 0x03ff, 0x0400, 0x07ff,
416  0x0000, 0x07ff, 0x0800, 0x0fff,
417  0x0000, 0x0fff, 0x1000, 0x1fff,
418  0x0000, 0x1fff, 0x2000, 0x3fff,
419  0x0000, 0x3fff, 0x4000, 0x7fff,
420  0x0000, 0x7fff, 0x8000, 0xffff,
421  0x0000, 0xffff, 0x0000, 0xffff,
422};
423const unsigned kExpectedCount_NEON_sli_4H_2OPIMM = 384;
424
425#endif  // VIXL_SIM_SLI_4H_2OPIMM_TRACE_AARCH64_H_
426