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_SSHLL2_4S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SSHLL2_4S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sshll2_4S_2OPIMM[] = {
38  0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
39  0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
40  0xfffffff4, 0xfffffff8, 0xfffffffc, 0x00000000,
41  0xffffffe8, 0xfffffff0, 0xfffffff8, 0x00000000,
42  0xffffffd0, 0xffffffe0, 0xfffffff0, 0x00000000,
43  0xffffffa0, 0xffffffc0, 0xffffffe0, 0x00000000,
44  0xffffff40, 0xffffff80, 0xffffffc0, 0x00000000,
45  0xfffffe80, 0xffffff00, 0xffffff80, 0x00000000,
46  0xfffffd00, 0xfffffe00, 0xffffff00, 0x00000000,
47  0xfffffa00, 0xfffffc00, 0xfffffe00, 0x00000000,
48  0xfffff400, 0xfffff800, 0xfffffc00, 0x00000000,
49  0xffffe800, 0xfffff000, 0xfffff800, 0x00000000,
50  0xffffd000, 0xffffe000, 0xfffff000, 0x00000000,
51  0xffffa000, 0xffffc000, 0xffffe000, 0x00000000,
52  0xffff4000, 0xffff8000, 0xffffc000, 0x00000000,
53  0xfffe8000, 0xffff0000, 0xffff8000, 0x00000000,
54  0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
55  0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
56  0xfffffff8, 0xfffffffc, 0x00000000, 0x00000004,
57  0xfffffff0, 0xfffffff8, 0x00000000, 0x00000008,
58  0xffffffe0, 0xfffffff0, 0x00000000, 0x00000010,
59  0xffffffc0, 0xffffffe0, 0x00000000, 0x00000020,
60  0xffffff80, 0xffffffc0, 0x00000000, 0x00000040,
61  0xffffff00, 0xffffff80, 0x00000000, 0x00000080,
62  0xfffffe00, 0xffffff00, 0x00000000, 0x00000100,
63  0xfffffc00, 0xfffffe00, 0x00000000, 0x00000200,
64  0xfffff800, 0xfffffc00, 0x00000000, 0x00000400,
65  0xfffff000, 0xfffff800, 0x00000000, 0x00000800,
66  0xffffe000, 0xfffff000, 0x00000000, 0x00001000,
67  0xffffc000, 0xffffe000, 0x00000000, 0x00002000,
68  0xffff8000, 0xffffc000, 0x00000000, 0x00004000,
69  0xffff0000, 0xffff8000, 0x00000000, 0x00008000,
70  0xffffffff, 0x00000000, 0x00000001, 0x00000002,
71  0xfffffffe, 0x00000000, 0x00000002, 0x00000004,
72  0xfffffffc, 0x00000000, 0x00000004, 0x00000008,
73  0xfffffff8, 0x00000000, 0x00000008, 0x00000010,
74  0xfffffff0, 0x00000000, 0x00000010, 0x00000020,
75  0xffffffe0, 0x00000000, 0x00000020, 0x00000040,
76  0xffffffc0, 0x00000000, 0x00000040, 0x00000080,
77  0xffffff80, 0x00000000, 0x00000080, 0x00000100,
78  0xffffff00, 0x00000000, 0x00000100, 0x00000200,
79  0xfffffe00, 0x00000000, 0x00000200, 0x00000400,
80  0xfffffc00, 0x00000000, 0x00000400, 0x00000800,
81  0xfffff800, 0x00000000, 0x00000800, 0x00001000,
82  0xfffff000, 0x00000000, 0x00001000, 0x00002000,
83  0xffffe000, 0x00000000, 0x00002000, 0x00004000,
84  0xffffc000, 0x00000000, 0x00004000, 0x00008000,
85  0xffff8000, 0x00000000, 0x00008000, 0x00010000,
86  0x00000000, 0x00000001, 0x00000002, 0x00000010,
87  0x00000000, 0x00000002, 0x00000004, 0x00000020,
88  0x00000000, 0x00000004, 0x00000008, 0x00000040,
89  0x00000000, 0x00000008, 0x00000010, 0x00000080,
90  0x00000000, 0x00000010, 0x00000020, 0x00000100,
91  0x00000000, 0x00000020, 0x00000040, 0x00000200,
92  0x00000000, 0x00000040, 0x00000080, 0x00000400,
93  0x00000000, 0x00000080, 0x00000100, 0x00000800,
94  0x00000000, 0x00000100, 0x00000200, 0x00001000,
95  0x00000000, 0x00000200, 0x00000400, 0x00002000,
96  0x00000000, 0x00000400, 0x00000800, 0x00004000,
97  0x00000000, 0x00000800, 0x00001000, 0x00008000,
98  0x00000000, 0x00001000, 0x00002000, 0x00010000,
99  0x00000000, 0x00002000, 0x00004000, 0x00020000,
100  0x00000000, 0x00004000, 0x00008000, 0x00040000,
101  0x00000000, 0x00008000, 0x00010000, 0x00080000,
102  0x00000001, 0x00000002, 0x00000010, 0x0000007d,
103  0x00000002, 0x00000004, 0x00000020, 0x000000fa,
104  0x00000004, 0x00000008, 0x00000040, 0x000001f4,
105  0x00000008, 0x00000010, 0x00000080, 0x000003e8,
106  0x00000010, 0x00000020, 0x00000100, 0x000007d0,
107  0x00000020, 0x00000040, 0x00000200, 0x00000fa0,
108  0x00000040, 0x00000080, 0x00000400, 0x00001f40,
109  0x00000080, 0x00000100, 0x00000800, 0x00003e80,
110  0x00000100, 0x00000200, 0x00001000, 0x00007d00,
111  0x00000200, 0x00000400, 0x00002000, 0x0000fa00,
112  0x00000400, 0x00000800, 0x00004000, 0x0001f400,
113  0x00000800, 0x00001000, 0x00008000, 0x0003e800,
114  0x00001000, 0x00002000, 0x00010000, 0x0007d000,
115  0x00002000, 0x00004000, 0x00020000, 0x000fa000,
116  0x00004000, 0x00008000, 0x00040000, 0x001f4000,
117  0x00008000, 0x00010000, 0x00080000, 0x003e8000,
118  0x00000002, 0x00000010, 0x0000007d, 0x0000007e,
119  0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
120  0x00000008, 0x00000040, 0x000001f4, 0x000001f8,
121  0x00000010, 0x00000080, 0x000003e8, 0x000003f0,
122  0x00000020, 0x00000100, 0x000007d0, 0x000007e0,
123  0x00000040, 0x00000200, 0x00000fa0, 0x00000fc0,
124  0x00000080, 0x00000400, 0x00001f40, 0x00001f80,
125  0x00000100, 0x00000800, 0x00003e80, 0x00003f00,
126  0x00000200, 0x00001000, 0x00007d00, 0x00007e00,
127  0x00000400, 0x00002000, 0x0000fa00, 0x0000fc00,
128  0x00000800, 0x00004000, 0x0001f400, 0x0001f800,
129  0x00001000, 0x00008000, 0x0003e800, 0x0003f000,
130  0x00002000, 0x00010000, 0x0007d000, 0x0007e000,
131  0x00004000, 0x00020000, 0x000fa000, 0x000fc000,
132  0x00008000, 0x00040000, 0x001f4000, 0x001f8000,
133  0x00010000, 0x00080000, 0x003e8000, 0x003f0000,
134  0x00000010, 0x0000007d, 0x0000007e, 0x0000007f,
135  0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
136  0x00000040, 0x000001f4, 0x000001f8, 0x000001fc,
137  0x00000080, 0x000003e8, 0x000003f0, 0x000003f8,
138  0x00000100, 0x000007d0, 0x000007e0, 0x000007f0,
139  0x00000200, 0x00000fa0, 0x00000fc0, 0x00000fe0,
140  0x00000400, 0x00001f40, 0x00001f80, 0x00001fc0,
141  0x00000800, 0x00003e80, 0x00003f00, 0x00003f80,
142  0x00001000, 0x00007d00, 0x00007e00, 0x00007f00,
143  0x00002000, 0x0000fa00, 0x0000fc00, 0x0000fe00,
144  0x00004000, 0x0001f400, 0x0001f800, 0x0001fc00,
145  0x00008000, 0x0003e800, 0x0003f000, 0x0003f800,
146  0x00010000, 0x0007d000, 0x0007e000, 0x0007f000,
147  0x00020000, 0x000fa000, 0x000fc000, 0x000fe000,
148  0x00040000, 0x001f4000, 0x001f8000, 0x001fc000,
149  0x00080000, 0x003e8000, 0x003f0000, 0x003f8000,
150  0x0000007d, 0x0000007e, 0x0000007f, 0x00003333,
151  0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
152  0x000001f4, 0x000001f8, 0x000001fc, 0x0000cccc,
153  0x000003e8, 0x000003f0, 0x000003f8, 0x00019998,
154  0x000007d0, 0x000007e0, 0x000007f0, 0x00033330,
155  0x00000fa0, 0x00000fc0, 0x00000fe0, 0x00066660,
156  0x00001f40, 0x00001f80, 0x00001fc0, 0x000cccc0,
157  0x00003e80, 0x00003f00, 0x00003f80, 0x00199980,
158  0x00007d00, 0x00007e00, 0x00007f00, 0x00333300,
159  0x0000fa00, 0x0000fc00, 0x0000fe00, 0x00666600,
160  0x0001f400, 0x0001f800, 0x0001fc00, 0x00cccc00,
161  0x0003e800, 0x0003f000, 0x0003f800, 0x01999800,
162  0x0007d000, 0x0007e000, 0x0007f000, 0x03333000,
163  0x000fa000, 0x000fc000, 0x000fe000, 0x06666000,
164  0x001f4000, 0x001f8000, 0x001fc000, 0x0cccc000,
165  0x003e8000, 0x003f0000, 0x003f8000, 0x19998000,
166  0x0000007e, 0x0000007f, 0x00003333, 0x00005555,
167  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
168  0x000001f8, 0x000001fc, 0x0000cccc, 0x00015554,
169  0x000003f0, 0x000003f8, 0x00019998, 0x0002aaa8,
170  0x000007e0, 0x000007f0, 0x00033330, 0x00055550,
171  0x00000fc0, 0x00000fe0, 0x00066660, 0x000aaaa0,
172  0x00001f80, 0x00001fc0, 0x000cccc0, 0x00155540,
173  0x00003f00, 0x00003f80, 0x00199980, 0x002aaa80,
174  0x00007e00, 0x00007f00, 0x00333300, 0x00555500,
175  0x0000fc00, 0x0000fe00, 0x00666600, 0x00aaaa00,
176  0x0001f800, 0x0001fc00, 0x00cccc00, 0x01555400,
177  0x0003f000, 0x0003f800, 0x01999800, 0x02aaa800,
178  0x0007e000, 0x0007f000, 0x03333000, 0x05555000,
179  0x000fc000, 0x000fe000, 0x06666000, 0x0aaaa000,
180  0x001f8000, 0x001fc000, 0x0cccc000, 0x15554000,
181  0x003f0000, 0x003f8000, 0x19998000, 0x2aaa8000,
182  0x0000007f, 0x00003333, 0x00005555, 0x00007ffd,
183  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
184  0x000001fc, 0x0000cccc, 0x00015554, 0x0001fff4,
185  0x000003f8, 0x00019998, 0x0002aaa8, 0x0003ffe8,
186  0x000007f0, 0x00033330, 0x00055550, 0x0007ffd0,
187  0x00000fe0, 0x00066660, 0x000aaaa0, 0x000fffa0,
188  0x00001fc0, 0x000cccc0, 0x00155540, 0x001fff40,
189  0x00003f80, 0x00199980, 0x002aaa80, 0x003ffe80,
190  0x00007f00, 0x00333300, 0x00555500, 0x007ffd00,
191  0x0000fe00, 0x00666600, 0x00aaaa00, 0x00fffa00,
192  0x0001fc00, 0x00cccc00, 0x01555400, 0x01fff400,
193  0x0003f800, 0x01999800, 0x02aaa800, 0x03ffe800,
194  0x0007f000, 0x03333000, 0x05555000, 0x07ffd000,
195  0x000fe000, 0x06666000, 0x0aaaa000, 0x0fffa000,
196  0x001fc000, 0x0cccc000, 0x15554000, 0x1fff4000,
197  0x003f8000, 0x19998000, 0x2aaa8000, 0x3ffe8000,
198  0x00003333, 0x00005555, 0x00007ffd, 0x00007ffe,
199  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
200  0x0000cccc, 0x00015554, 0x0001fff4, 0x0001fff8,
201  0x00019998, 0x0002aaa8, 0x0003ffe8, 0x0003fff0,
202  0x00033330, 0x00055550, 0x0007ffd0, 0x0007ffe0,
203  0x00066660, 0x000aaaa0, 0x000fffa0, 0x000fffc0,
204  0x000cccc0, 0x00155540, 0x001fff40, 0x001fff80,
205  0x00199980, 0x002aaa80, 0x003ffe80, 0x003fff00,
206  0x00333300, 0x00555500, 0x007ffd00, 0x007ffe00,
207  0x00666600, 0x00aaaa00, 0x00fffa00, 0x00fffc00,
208  0x00cccc00, 0x01555400, 0x01fff400, 0x01fff800,
209  0x01999800, 0x02aaa800, 0x03ffe800, 0x03fff000,
210  0x03333000, 0x05555000, 0x07ffd000, 0x07ffe000,
211  0x06666000, 0x0aaaa000, 0x0fffa000, 0x0fffc000,
212  0x0cccc000, 0x15554000, 0x1fff4000, 0x1fff8000,
213  0x19998000, 0x2aaa8000, 0x3ffe8000, 0x3fff0000,
214  0x00005555, 0x00007ffd, 0x00007ffe, 0x00007fff,
215  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
216  0x00015554, 0x0001fff4, 0x0001fff8, 0x0001fffc,
217  0x0002aaa8, 0x0003ffe8, 0x0003fff0, 0x0003fff8,
218  0x00055550, 0x0007ffd0, 0x0007ffe0, 0x0007fff0,
219  0x000aaaa0, 0x000fffa0, 0x000fffc0, 0x000fffe0,
220  0x00155540, 0x001fff40, 0x001fff80, 0x001fffc0,
221  0x002aaa80, 0x003ffe80, 0x003fff00, 0x003fff80,
222  0x00555500, 0x007ffd00, 0x007ffe00, 0x007fff00,
223  0x00aaaa00, 0x00fffa00, 0x00fffc00, 0x00fffe00,
224  0x01555400, 0x01fff400, 0x01fff800, 0x01fffc00,
225  0x02aaa800, 0x03ffe800, 0x03fff000, 0x03fff800,
226  0x05555000, 0x07ffd000, 0x07ffe000, 0x07fff000,
227  0x0aaaa000, 0x0fffa000, 0x0fffc000, 0x0fffe000,
228  0x15554000, 0x1fff4000, 0x1fff8000, 0x1fffc000,
229  0x2aaa8000, 0x3ffe8000, 0x3fff0000, 0x3fff8000,
230  0x00007ffd, 0x00007ffe, 0x00007fff, 0xffff8000,
231  0x0000fffa, 0x0000fffc, 0x0000fffe, 0xffff0000,
232  0x0001fff4, 0x0001fff8, 0x0001fffc, 0xfffe0000,
233  0x0003ffe8, 0x0003fff0, 0x0003fff8, 0xfffc0000,
234  0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0xfff80000,
235  0x000fffa0, 0x000fffc0, 0x000fffe0, 0xfff00000,
236  0x001fff40, 0x001fff80, 0x001fffc0, 0xffe00000,
237  0x003ffe80, 0x003fff00, 0x003fff80, 0xffc00000,
238  0x007ffd00, 0x007ffe00, 0x007fff00, 0xff800000,
239  0x00fffa00, 0x00fffc00, 0x00fffe00, 0xff000000,
240  0x01fff400, 0x01fff800, 0x01fffc00, 0xfe000000,
241  0x03ffe800, 0x03fff000, 0x03fff800, 0xfc000000,
242  0x07ffd000, 0x07ffe000, 0x07fff000, 0xf8000000,
243  0x0fffa000, 0x0fffc000, 0x0fffe000, 0xf0000000,
244  0x1fff4000, 0x1fff8000, 0x1fffc000, 0xe0000000,
245  0x3ffe8000, 0x3fff0000, 0x3fff8000, 0xc0000000,
246  0x00007ffe, 0x00007fff, 0xffff8000, 0xffff8001,
247  0x0000fffc, 0x0000fffe, 0xffff0000, 0xffff0002,
248  0x0001fff8, 0x0001fffc, 0xfffe0000, 0xfffe0004,
249  0x0003fff0, 0x0003fff8, 0xfffc0000, 0xfffc0008,
250  0x0007ffe0, 0x0007fff0, 0xfff80000, 0xfff80010,
251  0x000fffc0, 0x000fffe0, 0xfff00000, 0xfff00020,
252  0x001fff80, 0x001fffc0, 0xffe00000, 0xffe00040,
253  0x003fff00, 0x003fff80, 0xffc00000, 0xffc00080,
254  0x007ffe00, 0x007fff00, 0xff800000, 0xff800100,
255  0x00fffc00, 0x00fffe00, 0xff000000, 0xff000200,
256  0x01fff800, 0x01fffc00, 0xfe000000, 0xfe000400,
257  0x03fff000, 0x03fff800, 0xfc000000, 0xfc000800,
258  0x07ffe000, 0x07fff000, 0xf8000000, 0xf8001000,
259  0x0fffc000, 0x0fffe000, 0xf0000000, 0xf0002000,
260  0x1fff8000, 0x1fffc000, 0xe0000000, 0xe0004000,
261  0x3fff0000, 0x3fff8000, 0xc0000000, 0xc0008000,
262  0x00007fff, 0xffff8000, 0xffff8001, 0xffffaaaa,
263  0x0000fffe, 0xffff0000, 0xffff0002, 0xffff5554,
264  0x0001fffc, 0xfffe0000, 0xfffe0004, 0xfffeaaa8,
265  0x0003fff8, 0xfffc0000, 0xfffc0008, 0xfffd5550,
266  0x0007fff0, 0xfff80000, 0xfff80010, 0xfffaaaa0,
267  0x000fffe0, 0xfff00000, 0xfff00020, 0xfff55540,
268  0x001fffc0, 0xffe00000, 0xffe00040, 0xffeaaa80,
269  0x003fff80, 0xffc00000, 0xffc00080, 0xffd55500,
270  0x007fff00, 0xff800000, 0xff800100, 0xffaaaa00,
271  0x00fffe00, 0xff000000, 0xff000200, 0xff555400,
272  0x01fffc00, 0xfe000000, 0xfe000400, 0xfeaaa800,
273  0x03fff800, 0xfc000000, 0xfc000800, 0xfd555000,
274  0x07fff000, 0xf8000000, 0xf8001000, 0xfaaaa000,
275  0x0fffe000, 0xf0000000, 0xf0002000, 0xf5554000,
276  0x1fffc000, 0xe0000000, 0xe0004000, 0xeaaa8000,
277  0x3fff8000, 0xc0000000, 0xc0008000, 0xd5550000,
278  0xffff8000, 0xffff8001, 0xffffaaaa, 0xffffcccc,
279  0xffff0000, 0xffff0002, 0xffff5554, 0xffff9998,
280  0xfffe0000, 0xfffe0004, 0xfffeaaa8, 0xffff3330,
281  0xfffc0000, 0xfffc0008, 0xfffd5550, 0xfffe6660,
282  0xfff80000, 0xfff80010, 0xfffaaaa0, 0xfffcccc0,
283  0xfff00000, 0xfff00020, 0xfff55540, 0xfff99980,
284  0xffe00000, 0xffe00040, 0xffeaaa80, 0xfff33300,
285  0xffc00000, 0xffc00080, 0xffd55500, 0xffe66600,
286  0xff800000, 0xff800100, 0xffaaaa00, 0xffcccc00,
287  0xff000000, 0xff000200, 0xff555400, 0xff999800,
288  0xfe000000, 0xfe000400, 0xfeaaa800, 0xff333000,
289  0xfc000000, 0xfc000800, 0xfd555000, 0xfe666000,
290  0xf8000000, 0xf8001000, 0xfaaaa000, 0xfcccc000,
291  0xf0000000, 0xf0002000, 0xf5554000, 0xf9998000,
292  0xe0000000, 0xe0004000, 0xeaaa8000, 0xf3330000,
293  0xc0000000, 0xc0008000, 0xd5550000, 0xe6660000,
294  0xffff8001, 0xffffaaaa, 0xffffcccc, 0xffffff80,
295  0xffff0002, 0xffff5554, 0xffff9998, 0xffffff00,
296  0xfffe0004, 0xfffeaaa8, 0xffff3330, 0xfffffe00,
297  0xfffc0008, 0xfffd5550, 0xfffe6660, 0xfffffc00,
298  0xfff80010, 0xfffaaaa0, 0xfffcccc0, 0xfffff800,
299  0xfff00020, 0xfff55540, 0xfff99980, 0xfffff000,
300  0xffe00040, 0xffeaaa80, 0xfff33300, 0xffffe000,
301  0xffc00080, 0xffd55500, 0xffe66600, 0xffffc000,
302  0xff800100, 0xffaaaa00, 0xffcccc00, 0xffff8000,
303  0xff000200, 0xff555400, 0xff999800, 0xffff0000,
304  0xfe000400, 0xfeaaa800, 0xff333000, 0xfffe0000,
305  0xfc000800, 0xfd555000, 0xfe666000, 0xfffc0000,
306  0xf8001000, 0xfaaaa000, 0xfcccc000, 0xfff80000,
307  0xf0002000, 0xf5554000, 0xf9998000, 0xfff00000,
308  0xe0004000, 0xeaaa8000, 0xf3330000, 0xffe00000,
309  0xc0008000, 0xd5550000, 0xe6660000, 0xffc00000,
310  0xffffaaaa, 0xffffcccc, 0xffffff80, 0xffffff81,
311  0xffff5554, 0xffff9998, 0xffffff00, 0xffffff02,
312  0xfffeaaa8, 0xffff3330, 0xfffffe00, 0xfffffe04,
313  0xfffd5550, 0xfffe6660, 0xfffffc00, 0xfffffc08,
314  0xfffaaaa0, 0xfffcccc0, 0xfffff800, 0xfffff810,
315  0xfff55540, 0xfff99980, 0xfffff000, 0xfffff020,
316  0xffeaaa80, 0xfff33300, 0xffffe000, 0xffffe040,
317  0xffd55500, 0xffe66600, 0xffffc000, 0xffffc080,
318  0xffaaaa00, 0xffcccc00, 0xffff8000, 0xffff8100,
319  0xff555400, 0xff999800, 0xffff0000, 0xffff0200,
320  0xfeaaa800, 0xff333000, 0xfffe0000, 0xfffe0400,
321  0xfd555000, 0xfe666000, 0xfffc0000, 0xfffc0800,
322  0xfaaaa000, 0xfcccc000, 0xfff80000, 0xfff81000,
323  0xf5554000, 0xf9998000, 0xfff00000, 0xfff02000,
324  0xeaaa8000, 0xf3330000, 0xffe00000, 0xffe04000,
325  0xd5550000, 0xe6660000, 0xffc00000, 0xffc08000,
326  0xffffcccc, 0xffffff80, 0xffffff81, 0xffffff82,
327  0xffff9998, 0xffffff00, 0xffffff02, 0xffffff04,
328  0xffff3330, 0xfffffe00, 0xfffffe04, 0xfffffe08,
329  0xfffe6660, 0xfffffc00, 0xfffffc08, 0xfffffc10,
330  0xfffcccc0, 0xfffff800, 0xfffff810, 0xfffff820,
331  0xfff99980, 0xfffff000, 0xfffff020, 0xfffff040,
332  0xfff33300, 0xffffe000, 0xffffe040, 0xffffe080,
333  0xffe66600, 0xffffc000, 0xffffc080, 0xffffc100,
334  0xffcccc00, 0xffff8000, 0xffff8100, 0xffff8200,
335  0xff999800, 0xffff0000, 0xffff0200, 0xffff0400,
336  0xff333000, 0xfffe0000, 0xfffe0400, 0xfffe0800,
337  0xfe666000, 0xfffc0000, 0xfffc0800, 0xfffc1000,
338  0xfcccc000, 0xfff80000, 0xfff81000, 0xfff82000,
339  0xf9998000, 0xfff00000, 0xfff02000, 0xfff04000,
340  0xf3330000, 0xffe00000, 0xffe04000, 0xffe08000,
341  0xe6660000, 0xffc00000, 0xffc08000, 0xffc10000,
342  0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
343  0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
344  0xfffffe00, 0xfffffe04, 0xfffffe08, 0xfffffe0c,
345  0xfffffc00, 0xfffffc08, 0xfffffc10, 0xfffffc18,
346  0xfffff800, 0xfffff810, 0xfffff820, 0xfffff830,
347  0xfffff000, 0xfffff020, 0xfffff040, 0xfffff060,
348  0xffffe000, 0xffffe040, 0xffffe080, 0xffffe0c0,
349  0xffffc000, 0xffffc080, 0xffffc100, 0xffffc180,
350  0xffff8000, 0xffff8100, 0xffff8200, 0xffff8300,
351  0xffff0000, 0xffff0200, 0xffff0400, 0xffff0600,
352  0xfffe0000, 0xfffe0400, 0xfffe0800, 0xfffe0c00,
353  0xfffc0000, 0xfffc0800, 0xfffc1000, 0xfffc1800,
354  0xfff80000, 0xfff81000, 0xfff82000, 0xfff83000,
355  0xfff00000, 0xfff02000, 0xfff04000, 0xfff06000,
356  0xffe00000, 0xffe04000, 0xffe08000, 0xffe0c000,
357  0xffc00000, 0xffc08000, 0xffc10000, 0xffc18000,
358  0xffffff81, 0xffffff82, 0xffffff83, 0xfffffff0,
359  0xffffff02, 0xffffff04, 0xffffff06, 0xffffffe0,
360  0xfffffe04, 0xfffffe08, 0xfffffe0c, 0xffffffc0,
361  0xfffffc08, 0xfffffc10, 0xfffffc18, 0xffffff80,
362  0xfffff810, 0xfffff820, 0xfffff830, 0xffffff00,
363  0xfffff020, 0xfffff040, 0xfffff060, 0xfffffe00,
364  0xffffe040, 0xffffe080, 0xffffe0c0, 0xfffffc00,
365  0xffffc080, 0xffffc100, 0xffffc180, 0xfffff800,
366  0xffff8100, 0xffff8200, 0xffff8300, 0xfffff000,
367  0xffff0200, 0xffff0400, 0xffff0600, 0xffffe000,
368  0xfffe0400, 0xfffe0800, 0xfffe0c00, 0xffffc000,
369  0xfffc0800, 0xfffc1000, 0xfffc1800, 0xffff8000,
370  0xfff81000, 0xfff82000, 0xfff83000, 0xffff0000,
371  0xfff02000, 0xfff04000, 0xfff06000, 0xfffe0000,
372  0xffe04000, 0xffe08000, 0xffe0c000, 0xfffc0000,
373  0xffc08000, 0xffc10000, 0xffc18000, 0xfff80000,
374  0xffffff82, 0xffffff83, 0xfffffff0, 0xfffffffd,
375  0xffffff04, 0xffffff06, 0xffffffe0, 0xfffffffa,
376  0xfffffe08, 0xfffffe0c, 0xffffffc0, 0xfffffff4,
377  0xfffffc10, 0xfffffc18, 0xffffff80, 0xffffffe8,
378  0xfffff820, 0xfffff830, 0xffffff00, 0xffffffd0,
379  0xfffff040, 0xfffff060, 0xfffffe00, 0xffffffa0,
380  0xffffe080, 0xffffe0c0, 0xfffffc00, 0xffffff40,
381  0xffffc100, 0xffffc180, 0xfffff800, 0xfffffe80,
382  0xffff8200, 0xffff8300, 0xfffff000, 0xfffffd00,
383  0xffff0400, 0xffff0600, 0xffffe000, 0xfffffa00,
384  0xfffe0800, 0xfffe0c00, 0xffffc000, 0xfffff400,
385  0xfffc1000, 0xfffc1800, 0xffff8000, 0xffffe800,
386  0xfff82000, 0xfff83000, 0xffff0000, 0xffffd000,
387  0xfff04000, 0xfff06000, 0xfffe0000, 0xffffa000,
388  0xffe08000, 0xffe0c000, 0xfffc0000, 0xffff4000,
389  0xffc10000, 0xffc18000, 0xfff80000, 0xfffe8000,
390  0xffffff83, 0xfffffff0, 0xfffffffd, 0xfffffffe,
391  0xffffff06, 0xffffffe0, 0xfffffffa, 0xfffffffc,
392  0xfffffe0c, 0xffffffc0, 0xfffffff4, 0xfffffff8,
393  0xfffffc18, 0xffffff80, 0xffffffe8, 0xfffffff0,
394  0xfffff830, 0xffffff00, 0xffffffd0, 0xffffffe0,
395  0xfffff060, 0xfffffe00, 0xffffffa0, 0xffffffc0,
396  0xffffe0c0, 0xfffffc00, 0xffffff40, 0xffffff80,
397  0xffffc180, 0xfffff800, 0xfffffe80, 0xffffff00,
398  0xffff8300, 0xfffff000, 0xfffffd00, 0xfffffe00,
399  0xffff0600, 0xffffe000, 0xfffffa00, 0xfffffc00,
400  0xfffe0c00, 0xffffc000, 0xfffff400, 0xfffff800,
401  0xfffc1800, 0xffff8000, 0xffffe800, 0xfffff000,
402  0xfff83000, 0xffff0000, 0xffffd000, 0xffffe000,
403  0xfff06000, 0xfffe0000, 0xffffa000, 0xffffc000,
404  0xffe0c000, 0xfffc0000, 0xffff4000, 0xffff8000,
405  0xffc18000, 0xfff80000, 0xfffe8000, 0xffff0000,
406  0xfffffff0, 0xfffffffd, 0xfffffffe, 0xffffffff,
407  0xffffffe0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
408  0xffffffc0, 0xfffffff4, 0xfffffff8, 0xfffffffc,
409  0xffffff80, 0xffffffe8, 0xfffffff0, 0xfffffff8,
410  0xffffff00, 0xffffffd0, 0xffffffe0, 0xfffffff0,
411  0xfffffe00, 0xffffffa0, 0xffffffc0, 0xffffffe0,
412  0xfffffc00, 0xffffff40, 0xffffff80, 0xffffffc0,
413  0xfffff800, 0xfffffe80, 0xffffff00, 0xffffff80,
414  0xfffff000, 0xfffffd00, 0xfffffe00, 0xffffff00,
415  0xffffe000, 0xfffffa00, 0xfffffc00, 0xfffffe00,
416  0xffffc000, 0xfffff400, 0xfffff800, 0xfffffc00,
417  0xffff8000, 0xffffe800, 0xfffff000, 0xfffff800,
418  0xffff0000, 0xffffd000, 0xffffe000, 0xfffff000,
419  0xfffe0000, 0xffffa000, 0xffffc000, 0xffffe000,
420  0xfffc0000, 0xffff4000, 0xffff8000, 0xffffc000,
421  0xfff80000, 0xfffe8000, 0xffff0000, 0xffff8000,
422};
423const unsigned kExpectedCount_NEON_sshll2_4S_2OPIMM = 384;
424
425#endif  // VIXL_SIM_SSHLL2_4S_2OPIMM_TRACE_AARCH64_H_
426