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_UQRSHRN_4H_2OPIMM_TRACE_AARCH64_H_
35 #define VIXL_SIM_UQRSHRN_4H_2OPIMM_TRACE_AARCH64_H_
36 
37 const uint16_t kExpected_NEON_uqrshrn_4H_2OPIMM[] = {
38   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
39   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
40   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
41   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
42   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
43   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
44   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
45   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
46   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
47   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
48   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
49   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
50   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
51   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
52   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
53   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
54   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000001,
55   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
56   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
57   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
58   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
59   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
60   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
61   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
62   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
63   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
64   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
65   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
66   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
67   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
68   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
69   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
70   0x0000ffff, 0x00000000, 0x00000001, 0x00000001,
71   0x0000ffff, 0x00000000, 0x00000000, 0x00000001,
72   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
73   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
74   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
75   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
76   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
77   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
78   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
79   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
80   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
81   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
82   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
83   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
84   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
85   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
86   0x00000000, 0x00000001, 0x00000001, 0x00000010,
87   0x00000000, 0x00000000, 0x00000001, 0x00000008,
88   0x00000000, 0x00000000, 0x00000000, 0x00000004,
89   0x00000000, 0x00000000, 0x00000000, 0x00000002,
90   0x00000000, 0x00000000, 0x00000000, 0x00000001,
91   0x00000000, 0x00000000, 0x00000000, 0x00000001,
92   0x00000000, 0x00000000, 0x00000000, 0x00000000,
93   0x00000000, 0x00000000, 0x00000000, 0x00000000,
94   0x00000000, 0x00000000, 0x00000000, 0x00000000,
95   0x00000000, 0x00000000, 0x00000000, 0x00000000,
96   0x00000000, 0x00000000, 0x00000000, 0x00000000,
97   0x00000000, 0x00000000, 0x00000000, 0x00000000,
98   0x00000000, 0x00000000, 0x00000000, 0x00000000,
99   0x00000000, 0x00000000, 0x00000000, 0x00000000,
100   0x00000000, 0x00000000, 0x00000000, 0x00000000,
101   0x00000000, 0x00000000, 0x00000000, 0x00000000,
102   0x00000001, 0x00000001, 0x00000010, 0x0000003f,
103   0x00000000, 0x00000001, 0x00000008, 0x0000001f,
104   0x00000000, 0x00000000, 0x00000004, 0x00000010,
105   0x00000000, 0x00000000, 0x00000002, 0x00000008,
106   0x00000000, 0x00000000, 0x00000001, 0x00000004,
107   0x00000000, 0x00000000, 0x00000001, 0x00000002,
108   0x00000000, 0x00000000, 0x00000000, 0x00000001,
109   0x00000000, 0x00000000, 0x00000000, 0x00000000,
110   0x00000000, 0x00000000, 0x00000000, 0x00000000,
111   0x00000000, 0x00000000, 0x00000000, 0x00000000,
112   0x00000000, 0x00000000, 0x00000000, 0x00000000,
113   0x00000000, 0x00000000, 0x00000000, 0x00000000,
114   0x00000000, 0x00000000, 0x00000000, 0x00000000,
115   0x00000000, 0x00000000, 0x00000000, 0x00000000,
116   0x00000000, 0x00000000, 0x00000000, 0x00000000,
117   0x00000000, 0x00000000, 0x00000000, 0x00000000,
118   0x00000001, 0x00000010, 0x0000003f, 0x0000003f,
119   0x00000001, 0x00000008, 0x0000001f, 0x00000020,
120   0x00000000, 0x00000004, 0x00000010, 0x00000010,
121   0x00000000, 0x00000002, 0x00000008, 0x00000008,
122   0x00000000, 0x00000001, 0x00000004, 0x00000004,
123   0x00000000, 0x00000001, 0x00000002, 0x00000002,
124   0x00000000, 0x00000000, 0x00000001, 0x00000001,
125   0x00000000, 0x00000000, 0x00000000, 0x00000000,
126   0x00000000, 0x00000000, 0x00000000, 0x00000000,
127   0x00000000, 0x00000000, 0x00000000, 0x00000000,
128   0x00000000, 0x00000000, 0x00000000, 0x00000000,
129   0x00000000, 0x00000000, 0x00000000, 0x00000000,
130   0x00000000, 0x00000000, 0x00000000, 0x00000000,
131   0x00000000, 0x00000000, 0x00000000, 0x00000000,
132   0x00000000, 0x00000000, 0x00000000, 0x00000000,
133   0x00000000, 0x00000000, 0x00000000, 0x00000000,
134   0x00000010, 0x0000003f, 0x0000003f, 0x00000040,
135   0x00000008, 0x0000001f, 0x00000020, 0x00000020,
136   0x00000004, 0x00000010, 0x00000010, 0x00000010,
137   0x00000002, 0x00000008, 0x00000008, 0x00000008,
138   0x00000001, 0x00000004, 0x00000004, 0x00000004,
139   0x00000001, 0x00000002, 0x00000002, 0x00000002,
140   0x00000000, 0x00000001, 0x00000001, 0x00000001,
141   0x00000000, 0x00000000, 0x00000000, 0x00000000,
142   0x00000000, 0x00000000, 0x00000000, 0x00000000,
143   0x00000000, 0x00000000, 0x00000000, 0x00000000,
144   0x00000000, 0x00000000, 0x00000000, 0x00000000,
145   0x00000000, 0x00000000, 0x00000000, 0x00000000,
146   0x00000000, 0x00000000, 0x00000000, 0x00000000,
147   0x00000000, 0x00000000, 0x00000000, 0x00000000,
148   0x00000000, 0x00000000, 0x00000000, 0x00000000,
149   0x00000000, 0x00000000, 0x00000000, 0x00000000,
150   0x0000003f, 0x0000003f, 0x00000040, 0x00003fff,
151   0x0000001f, 0x00000020, 0x00000020, 0x00001fff,
152   0x00000010, 0x00000010, 0x00000010, 0x00001000,
153   0x00000008, 0x00000008, 0x00000008, 0x00000800,
154   0x00000004, 0x00000004, 0x00000004, 0x00000400,
155   0x00000002, 0x00000002, 0x00000002, 0x00000200,
156   0x00000001, 0x00000001, 0x00000001, 0x00000100,
157   0x00000000, 0x00000000, 0x00000000, 0x00000080,
158   0x00000000, 0x00000000, 0x00000000, 0x00000040,
159   0x00000000, 0x00000000, 0x00000000, 0x00000020,
160   0x00000000, 0x00000000, 0x00000000, 0x00000010,
161   0x00000000, 0x00000000, 0x00000000, 0x00000008,
162   0x00000000, 0x00000000, 0x00000000, 0x00000004,
163   0x00000000, 0x00000000, 0x00000000, 0x00000002,
164   0x00000000, 0x00000000, 0x00000000, 0x00000001,
165   0x00000000, 0x00000000, 0x00000000, 0x00000000,
166   0x0000003f, 0x00000040, 0x00003fff, 0x00003fff,
167   0x00000020, 0x00000020, 0x00001fff, 0x00002000,
168   0x00000010, 0x00000010, 0x00001000, 0x00001000,
169   0x00000008, 0x00000008, 0x00000800, 0x00000800,
170   0x00000004, 0x00000004, 0x00000400, 0x00000400,
171   0x00000002, 0x00000002, 0x00000200, 0x00000200,
172   0x00000001, 0x00000001, 0x00000100, 0x00000100,
173   0x00000000, 0x00000000, 0x00000080, 0x00000080,
174   0x00000000, 0x00000000, 0x00000040, 0x00000040,
175   0x00000000, 0x00000000, 0x00000020, 0x00000020,
176   0x00000000, 0x00000000, 0x00000010, 0x00000010,
177   0x00000000, 0x00000000, 0x00000008, 0x00000008,
178   0x00000000, 0x00000000, 0x00000004, 0x00000004,
179   0x00000000, 0x00000000, 0x00000002, 0x00000002,
180   0x00000000, 0x00000000, 0x00000001, 0x00000001,
181   0x00000000, 0x00000000, 0x00000000, 0x00000000,
182   0x00000040, 0x00003fff, 0x00003fff, 0x00004000,
183   0x00000020, 0x00001fff, 0x00002000, 0x00002000,
184   0x00000010, 0x00001000, 0x00001000, 0x00001000,
185   0x00000008, 0x00000800, 0x00000800, 0x00000800,
186   0x00000004, 0x00000400, 0x00000400, 0x00000400,
187   0x00000002, 0x00000200, 0x00000200, 0x00000200,
188   0x00000001, 0x00000100, 0x00000100, 0x00000100,
189   0x00000000, 0x00000080, 0x00000080, 0x00000080,
190   0x00000000, 0x00000040, 0x00000040, 0x00000040,
191   0x00000000, 0x00000020, 0x00000020, 0x00000020,
192   0x00000000, 0x00000010, 0x00000010, 0x00000010,
193   0x00000000, 0x00000008, 0x00000008, 0x00000008,
194   0x00000000, 0x00000004, 0x00000004, 0x00000004,
195   0x00000000, 0x00000002, 0x00000002, 0x00000002,
196   0x00000000, 0x00000001, 0x00000001, 0x00000001,
197   0x00000000, 0x00000000, 0x00000000, 0x00000000,
198   0x00003fff, 0x00003fff, 0x00004000, 0x0000ffff,
199   0x00001fff, 0x00002000, 0x00002000, 0x0000ffff,
200   0x00001000, 0x00001000, 0x00001000, 0x0000ffff,
201   0x00000800, 0x00000800, 0x00000800, 0x0000ffff,
202   0x00000400, 0x00000400, 0x00000400, 0x0000ffff,
203   0x00000200, 0x00000200, 0x00000200, 0x0000ffff,
204   0x00000100, 0x00000100, 0x00000100, 0x0000ffff,
205   0x00000080, 0x00000080, 0x00000080, 0x0000ffff,
206   0x00000040, 0x00000040, 0x00000040, 0x0000ffff,
207   0x00000020, 0x00000020, 0x00000020, 0x0000ffff,
208   0x00000010, 0x00000010, 0x00000010, 0x0000ffff,
209   0x00000008, 0x00000008, 0x00000008, 0x0000ffff,
210   0x00000004, 0x00000004, 0x00000004, 0x0000ffff,
211   0x00000002, 0x00000002, 0x00000002, 0x0000cccd,
212   0x00000001, 0x00000001, 0x00000001, 0x00006666,
213   0x00000000, 0x00000000, 0x00000000, 0x00003333,
214   0x00003fff, 0x00004000, 0x0000ffff, 0x0000ffff,
215   0x00002000, 0x00002000, 0x0000ffff, 0x0000ffff,
216   0x00001000, 0x00001000, 0x0000ffff, 0x0000ffff,
217   0x00000800, 0x00000800, 0x0000ffff, 0x0000ffff,
218   0x00000400, 0x00000400, 0x0000ffff, 0x0000ffff,
219   0x00000200, 0x00000200, 0x0000ffff, 0x0000ffff,
220   0x00000100, 0x00000100, 0x0000ffff, 0x0000ffff,
221   0x00000080, 0x00000080, 0x0000ffff, 0x0000ffff,
222   0x00000040, 0x00000040, 0x0000ffff, 0x0000ffff,
223   0x00000020, 0x00000020, 0x0000ffff, 0x0000ffff,
224   0x00000010, 0x00000010, 0x0000ffff, 0x0000ffff,
225   0x00000008, 0x00000008, 0x0000ffff, 0x0000ffff,
226   0x00000004, 0x00000004, 0x0000ffff, 0x0000ffff,
227   0x00000002, 0x00000002, 0x0000cccd, 0x0000ffff,
228   0x00000001, 0x00000001, 0x00006666, 0x0000aaab,
229   0x00000000, 0x00000000, 0x00003333, 0x00005555,
230   0x00004000, 0x0000ffff, 0x0000ffff, 0x0000ffff,
231   0x00002000, 0x0000ffff, 0x0000ffff, 0x0000ffff,
232   0x00001000, 0x0000ffff, 0x0000ffff, 0x0000ffff,
233   0x00000800, 0x0000ffff, 0x0000ffff, 0x0000ffff,
234   0x00000400, 0x0000ffff, 0x0000ffff, 0x0000ffff,
235   0x00000200, 0x0000ffff, 0x0000ffff, 0x0000ffff,
236   0x00000100, 0x0000ffff, 0x0000ffff, 0x0000ffff,
237   0x00000080, 0x0000ffff, 0x0000ffff, 0x0000ffff,
238   0x00000040, 0x0000ffff, 0x0000ffff, 0x0000ffff,
239   0x00000020, 0x0000ffff, 0x0000ffff, 0x0000ffff,
240   0x00000010, 0x0000ffff, 0x0000ffff, 0x0000ffff,
241   0x00000008, 0x0000ffff, 0x0000ffff, 0x0000ffff,
242   0x00000004, 0x0000ffff, 0x0000ffff, 0x0000ffff,
243   0x00000002, 0x0000cccd, 0x0000ffff, 0x0000ffff,
244   0x00000001, 0x00006666, 0x0000aaab, 0x0000ffff,
245   0x00000000, 0x00003333, 0x00005555, 0x00008000,
246   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
247   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
248   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
249   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
250   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
251   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
252   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
253   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
254   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
255   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
256   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
257   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
258   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
259   0x0000cccd, 0x0000ffff, 0x0000ffff, 0x0000ffff,
260   0x00006666, 0x0000aaab, 0x0000ffff, 0x0000ffff,
261   0x00003333, 0x00005555, 0x00008000, 0x00008000,
262   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
263   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
264   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
265   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
266   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
267   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
268   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
269   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
270   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
271   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
272   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
273   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
274   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
275   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
276   0x0000aaab, 0x0000ffff, 0x0000ffff, 0x0000ffff,
277   0x00005555, 0x00008000, 0x00008000, 0x00008000,
278   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
279   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
280   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
281   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
282   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
283   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
284   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
285   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
286   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
287   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
288   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
289   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
290   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
291   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
292   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
293   0x00008000, 0x00008000, 0x00008000, 0x00008000,
294   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
295   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
296   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
297   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
298   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
299   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
300   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
301   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
302   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
303   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
304   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
305   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
306   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
307   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
308   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
309   0x00008000, 0x00008000, 0x00008000, 0x00008000,
310   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
311   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
312   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
313   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
314   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
315   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
316   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
317   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
318   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
319   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
320   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
321   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
322   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
323   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
324   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
325   0x00008000, 0x00008000, 0x00008000, 0x0000aaab,
326   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
327   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
328   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
329   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
330   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
331   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
332   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
333   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
334   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
335   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
336   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
337   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
338   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
339   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
340   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
341   0x00008000, 0x00008000, 0x0000aaab, 0x0000cccd,
342   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
343   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
344   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
345   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
346   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
347   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
348   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
349   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
350   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
351   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
352   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
353   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
354   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
355   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
356   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
357   0x00008000, 0x0000aaab, 0x0000cccd, 0x0000ffff,
358   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
359   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
360   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
361   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
362   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
363   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
364   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
365   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
366   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
367   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
368   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
369   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
370   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
371   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
372   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
373   0x0000aaab, 0x0000cccd, 0x0000ffff, 0x0000ffff,
374   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
375   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
376   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
377   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
378   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
379   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
380   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
381   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
382   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
383   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
384   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
385   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
386   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
387   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
388   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
389   0x0000cccd, 0x0000ffff, 0x0000ffff, 0x0000ffff,
390   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
391   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
392   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
393   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
394   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
395   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
396   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
397   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
398   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
399   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
400   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
401   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
402   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
403   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
404   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
405   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
406   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
407   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
408   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
409   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
410   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
411   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
412   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
413   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
414   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
415   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
416   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
417   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
418   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
419   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
420   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
421   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
422   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
423   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
424   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
425   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
426   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
427   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
428   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
429   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
430   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
431   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
432   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
433   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
434   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
435   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
436   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
437   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
438   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
439   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
440   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
441   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
442   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
443   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
444   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
445   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
446   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
447   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
448   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
449   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
450   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
451   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
452   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
453   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
454   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
455   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
456   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
457   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
458   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
459   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
460   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
461   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
462   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
463   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
464   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
465   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
466   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
467   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
468   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
469   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
470   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
471   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
472   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
473   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
474   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
475   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
476   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
477   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
478   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
479   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
480   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
481   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
482   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
483   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
484   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
485   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
486   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
487   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
488   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
489   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
490   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
491   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
492   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
493   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
494   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
495   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
496   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
497   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
498   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
499   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
500   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
501   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
502   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
503   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
504   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
505   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
506   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
507   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
508   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
509   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
510   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
511   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
512   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
513   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
514   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
515   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
516   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
517   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
518   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
519   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
520   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
521   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
522   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
523   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
524   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
525   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
526   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
527   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
528   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
529   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
530   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
531   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
532   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
533   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
534 };
535 const unsigned kExpectedCount_NEON_uqrshrn_4H_2OPIMM = 496;
536 
537 #endif  // VIXL_SIM_UQRSHRN_4H_2OPIMM_TRACE_AARCH64_H_
538