• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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_SMULL2_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_SMULL2_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_smull2_4S[] = {
38   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
39   0x3ffd8006, 0x3ffe8002, 0x00000000, 0x00000000,
40   0x3ffe0003, 0x00000000, 0x00007fff, 0x00000000,
41   0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000,
42   0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00000000,
43   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x00000000,
44   0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00000000,
45   0x003e7e89, 0x003eff04, 0x003f7f81, 0x00000000,
46   0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000,
47   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x00000000,
48   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x00000000,
49   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x00000000,
50   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
51   0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x00000000,
52   0x3ffe0003, 0xc0010000, 0xc000ffff, 0x00000000,
53   0xc0018000, 0xc0017ffe, 0xd5555556, 0x00000000,
54   0xc001fffd, 0xd555aaac, 0xe6663334, 0x00000000,
55   0xd5560002, 0xe6666668, 0xffc00080, 0x00000000,
56   0xe666999c, 0xffc00100, 0xffc0807f, 0x00000000,
57   0xffc00180, 0xffc080fe, 0xffc1007e, 0x00000000,
58   0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00000000,
59   0xffc1017a, 0xffc180fa, 0xfff80010, 0x00000000,
60   0xffc18177, 0xfff80020, 0xfffe8003, 0x00000000,
61   0xfff80030, 0xfffe8006, 0xffff0002, 0x00000000,
62   0xfffe8006, 0xffff0002, 0x00000000, 0x00000000,
63   0xffff0004, 0xffff8001, 0x00000000, 0x00000001,
64   0xffff8002, 0x00000000, 0x00000000, 0x00000002,
65   0x00000000, 0x00007fff, 0x00000000, 0x00000010,
66   0x00007ffe, 0x0000fffe, 0x00000000, 0x0000007d,
67   0x0000fffc, 0x0007fff0, 0x00000000, 0x0000007e,
68   0x0007ffe0, 0x003e7f83, 0x00000000, 0x0000007f,
69   0x003e7f06, 0x003eff82, 0x00000000, 0x00003333,
70   0x003eff04, 0x003f7f81, 0x00000000, 0x00005555,
71   0x003f7f02, 0x19994ccd, 0x00000000, 0x00007ffd,
72   0x1999199a, 0x2aaa2aab, 0x00000000, 0x00007ffe,
73   0x2aa9d556, 0x3ffe0003, 0x00000000, 0x00007fff,
74   0x3ffd8006, 0x3ffe8002, 0x00000000, 0xffff8000,
75   0x3ffe0004, 0x3fff0001, 0x00000000, 0xffff8001,
76   0x3ffe8002, 0xc0008000, 0x00000000, 0xffffaaaa,
77   0xc0010000, 0xc000ffff, 0x00000000, 0xffffcccc,
78   0xc0017ffe, 0xd5555556, 0x00000000, 0xffffff80,
79   0xd555aaac, 0xe6663334, 0x00000000, 0xffffff81,
80   0xe6666668, 0xffc00080, 0x00000000, 0xffffff82,
81   0xffc00100, 0xffc0807f, 0x00000000, 0xffffff83,
82   0xffc080fe, 0xffc1007e, 0x00000000, 0xfffffff0,
83   0xffc100fc, 0xffc1807d, 0x00000000, 0xfffffffd,
84   0xffc180fa, 0xfff80010, 0x00000000, 0xfffffffe,
85   0xfff80020, 0xfffe8003, 0x00000000, 0xffffffff,
86   0xfffe8003, 0x00000000, 0xffffffff, 0x00000000,
87   0xffff0002, 0x00000000, 0x00000000, 0x00000002,
88   0xffff8001, 0x00000000, 0x00000001, 0x00000004,
89   0x00000000, 0x00000000, 0x00000002, 0x00000020,
90   0x00007fff, 0x00000000, 0x00000010, 0x000000fa,
91   0x0000fffe, 0x00000000, 0x0000007d, 0x000000fc,
92   0x0007fff0, 0x00000000, 0x0000007e, 0x000000fe,
93   0x003e7f83, 0x00000000, 0x0000007f, 0x00006666,
94   0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa,
95   0x003f7f81, 0x00000000, 0x00005555, 0x0000fffa,
96   0x19994ccd, 0x00000000, 0x00007ffd, 0x0000fffc,
97   0x2aaa2aab, 0x00000000, 0x00007ffe, 0x0000fffe,
98   0x3ffe0003, 0x00000000, 0x00007fff, 0xffff0000,
99   0x3ffe8002, 0x00000000, 0xffff8000, 0xffff0002,
100   0x3fff0001, 0x00000000, 0xffff8001, 0xffff5554,
101   0xc0008000, 0x00000000, 0xffffaaaa, 0xffff9998,
102   0xc000ffff, 0x00000000, 0xffffcccc, 0xffffff00,
103   0xd5555556, 0x00000000, 0xffffff80, 0xffffff02,
104   0xe6663334, 0x00000000, 0xffffff81, 0xffffff04,
105   0xffc00080, 0x00000000, 0xffffff82, 0xffffff06,
106   0xffc0807f, 0x00000000, 0xffffff83, 0xffffffe0,
107   0xffc1007e, 0x00000000, 0xfffffff0, 0xfffffffa,
108   0xffc1807d, 0x00000000, 0xfffffffd, 0xfffffffc,
109   0xfff80010, 0x00000000, 0xfffffffe, 0xfffffffe,
110   0x00000000, 0xfffffffe, 0xfffffffe, 0x00000000,
111   0x00000000, 0xffffffff, 0x00000000, 0x00000010,
112   0x00000000, 0x00000000, 0x00000002, 0x00000020,
113   0x00000000, 0x00000001, 0x00000004, 0x00000100,
114   0x00000000, 0x00000002, 0x00000020, 0x000007d0,
115   0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
116   0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
117   0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
118   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
119   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
120   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
121   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
122   0x00000000, 0x00007ffe, 0x0000fffe, 0xfff80000,
123   0x00000000, 0x00007fff, 0xffff0000, 0xfff80010,
124   0x00000000, 0xffff8000, 0xffff0002, 0xfffaaaa0,
125   0x00000000, 0xffff8001, 0xffff5554, 0xfffcccc0,
126   0x00000000, 0xffffaaaa, 0xffff9998, 0xfffff800,
127   0x00000000, 0xffffcccc, 0xffffff00, 0xfffff810,
128   0x00000000, 0xffffff80, 0xffffff02, 0xfffff820,
129   0x00000000, 0xffffff81, 0xffffff04, 0xfffff830,
130   0x00000000, 0xffffff82, 0xffffff06, 0xffffff00,
131   0x00000000, 0xffffff83, 0xffffffe0, 0xffffffd0,
132   0x00000000, 0xfffffff0, 0xfffffffa, 0xffffffe0,
133   0x00000000, 0xfffffffd, 0xfffffffc, 0xfffffff0,
134   0xfffffffd, 0xfffffffc, 0xfffffff0, 0x00000000,
135   0xfffffffe, 0xfffffffe, 0x00000000, 0x0000007d,
136   0xffffffff, 0x00000000, 0x00000010, 0x000000fa,
137   0x00000000, 0x00000002, 0x00000020, 0x000007d0,
138   0x00000001, 0x00000004, 0x00000100, 0x00003d09,
139   0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
140   0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
141   0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
142   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
143   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
144   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
145   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
146   0x00007ffd, 0x0000fffc, 0x0007fff0, 0xffc18000,
147   0x00007ffe, 0x0000fffe, 0xfff80000, 0xffc1807d,
148   0x00007fff, 0xffff0000, 0xfff80010, 0xffd65502,
149   0xffff8000, 0xffff0002, 0xfffaaaa0, 0xffe6ff9c,
150   0xffff8001, 0xffff5554, 0xfffcccc0, 0xffffc180,
151   0xffffaaaa, 0xffff9998, 0xfffff800, 0xffffc1fd,
152   0xffffcccc, 0xffffff00, 0xfffff810, 0xffffc27a,
153   0xffffff80, 0xffffff02, 0xfffff820, 0xffffc2f7,
154   0xffffff81, 0xffffff04, 0xfffff830, 0xfffff830,
155   0xffffff82, 0xffffff06, 0xffffff00, 0xfffffe89,
156   0xffffff83, 0xffffffe0, 0xffffffd0, 0xffffff06,
157   0xfffffff0, 0xfffffffa, 0xffffffe0, 0xffffff83,
158   0xfffffffa, 0xffffffe0, 0xffffff83, 0x00000000,
159   0xfffffffc, 0xfffffff0, 0x00000000, 0x0000007e,
160   0xfffffffe, 0x00000000, 0x0000007d, 0x000000fc,
161   0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
162   0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
163   0x00000004, 0x00000100, 0x00003d09, 0x00003e04,
164   0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
165   0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
166   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
167   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
168   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
169   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
170   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0xffc10000,
171   0x0000fffc, 0x0007fff0, 0xffc18000, 0xffc1007e,
172   0x0000fffe, 0xfff80000, 0xffc1807d, 0xffd5ffac,
173   0xffff0000, 0xfff80010, 0xffd65502, 0xffe6cc68,
174   0xffff0002, 0xfffaaaa0, 0xffe6ff9c, 0xffffc100,
175   0xffff5554, 0xfffcccc0, 0xffffc180, 0xffffc17e,
176   0xffff9998, 0xfffff800, 0xffffc1fd, 0xffffc1fc,
177   0xffffff00, 0xfffff810, 0xffffc27a, 0xffffc27a,
178   0xffffff02, 0xfffff820, 0xffffc2f7, 0xfffff820,
179   0xffffff04, 0xfffff830, 0xfffff830, 0xfffffe86,
180   0xffffff06, 0xffffff00, 0xfffffe89, 0xffffff04,
181   0xffffffe0, 0xffffffd0, 0xffffff06, 0xffffff82,
182   0xffffffd0, 0xffffff06, 0xffffff82, 0x00000000,
183   0xffffffe0, 0xffffff83, 0x00000000, 0x0000007f,
184   0xfffffff0, 0x00000000, 0x0000007e, 0x000000fe,
185   0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
186   0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
187   0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
188   0x00000100, 0x00003d09, 0x00003e04, 0x00003f01,
189   0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
190   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
191   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
192   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
193   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
194   0x0007ffd0, 0x003e7f06, 0x003eff82, 0xffc08000,
195   0x0007ffe0, 0x003e7f83, 0xffc10000, 0xffc0807f,
196   0x0007fff0, 0xffc18000, 0xffc1007e, 0xffd5aa56,
197   0xfff80000, 0xffc1807d, 0xffd5ffac, 0xffe69934,
198   0xfff80010, 0xffd65502, 0xffe6cc68, 0xffffc080,
199   0xfffaaaa0, 0xffe6ff9c, 0xffffc100, 0xffffc0ff,
200   0xfffcccc0, 0xffffc180, 0xffffc17e, 0xffffc17e,
201   0xfffff800, 0xffffc1fd, 0xffffc1fc, 0xffffc1fd,
202   0xfffff810, 0xffffc27a, 0xffffc27a, 0xfffff810,
203   0xfffff820, 0xffffc2f7, 0xfffff820, 0xfffffe83,
204   0xfffff830, 0xfffff830, 0xfffffe86, 0xffffff02,
205   0xffffff00, 0xfffffe89, 0xffffff04, 0xffffff81,
206   0xfffffe89, 0xffffff04, 0xffffff81, 0x00000000,
207   0xffffff06, 0xffffff82, 0x00000000, 0x00003333,
208   0xffffff83, 0x00000000, 0x0000007f, 0x00006666,
209   0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
210   0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
211   0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
212   0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
213   0x00003d09, 0x00003e04, 0x00003f01, 0x0a3d5c29,
214   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
215   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
216   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
217   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
218   0x003e7e89, 0x003eff04, 0x003f7f81, 0xe6668000,
219   0x003e7f06, 0x003eff82, 0xffc08000, 0xe666b333,
220   0x003e7f83, 0xffc10000, 0xffc0807f, 0xeeeeddde,
221   0xffc18000, 0xffc1007e, 0xffd5aa56, 0xf5c270a4,
222   0xffc1807d, 0xffd5ffac, 0xffe69934, 0xffe66680,
223   0xffd65502, 0xffe6cc68, 0xffffc080, 0xffe699b3,
224   0xffe6ff9c, 0xffffc100, 0xffffc0ff, 0xffe6cce6,
225   0xffffc180, 0xffffc17e, 0xffffc17e, 0xffe70019,
226   0xffffc1fd, 0xffffc1fc, 0xffffc1fd, 0xfffcccd0,
227   0xffffc27a, 0xffffc27a, 0xfffff810, 0xffff6667,
228   0xffffc2f7, 0xfffff820, 0xfffffe83, 0xffff999a,
229   0xfffff830, 0xfffffe86, 0xffffff02, 0xffffcccd,
230   0xfffffe86, 0xffffff02, 0xffffcccd, 0x00000000,
231   0xffffff04, 0xffffff81, 0x00000000, 0x00005555,
232   0xffffff82, 0x00000000, 0x00003333, 0x0000aaaa,
233   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
234   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
235   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
236   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
237   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
238   0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39,
239   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
240   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
241   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
242   0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
243   0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
244   0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
245   0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
246   0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
247   0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
248   0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
249   0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
250   0xffffc17e, 0xffffc17e, 0xffe70019, 0xfffaaab0,
251   0xffffc1fc, 0xffffc1fd, 0xfffcccd0, 0xffff0001,
252   0xffffc27a, 0xfffff810, 0xffff6667, 0xffff5556,
253   0xfffff820, 0xfffffe83, 0xffff999a, 0xffffaaab,
254   0xfffffe83, 0xffff999a, 0xffffaaab, 0x00000000,
255   0xffffff02, 0xffffcccd, 0x00000000, 0x00007ffd,
256   0xffffff81, 0x00000000, 0x00005555, 0x0000fffa,
257   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
258   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
259   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
260   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
261   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
262   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
263   0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009,
264   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
265   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
266   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
267   0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
268   0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
269   0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
270   0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
271   0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
272   0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
273   0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
274   0xffffc0ff, 0xffe6cce6, 0xffd6557f, 0xfff80030,
275   0xffffc17e, 0xffe70019, 0xfffaaab0, 0xfffe8009,
276   0xffffc1fd, 0xfffcccd0, 0xffff0001, 0xffff0006,
277   0xfffff810, 0xffff6667, 0xffff5556, 0xffff8003,
278   0xffff6667, 0xffff5556, 0xffff8003, 0x00000000,
279   0xffff999a, 0xffffaaab, 0x00000000, 0x00007ffe,
280   0xffffcccd, 0x00000000, 0x00007ffd, 0x0000fffc,
281   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
282   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
283   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
284   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
285   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
286   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
287   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
288   0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004,
289   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
290   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
291   0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
292   0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
293   0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
294   0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
295   0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
296   0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
297   0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
298   0xffe699b3, 0xffd6002a, 0xffc18177, 0xfff80020,
299   0xffe6cce6, 0xffd6557f, 0xfff80030, 0xfffe8006,
300   0xffe70019, 0xfffaaab0, 0xfffe8009, 0xffff0004,
301   0xfffcccd0, 0xffff0001, 0xffff0006, 0xffff8002,
302   0xffff0001, 0xffff0006, 0xffff8002, 0x00000000,
303   0xffff5556, 0xffff8003, 0x00000000, 0x00007fff,
304   0xffffaaab, 0x00000000, 0x00007ffe, 0x0000fffe,
305   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
306   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
307   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
308   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
309   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
310   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
311   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
312   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
313   0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001,
314   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
315   0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
316   0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
317   0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
318   0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
319   0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
320   0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
321   0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
322   0xffd5aad5, 0xffc1017a, 0xffc180fa, 0xfff80010,
323   0xffd6002a, 0xffc18177, 0xfff80020, 0xfffe8003,
324   0xffd6557f, 0xfff80030, 0xfffe8006, 0xffff0002,
325   0xfffaaab0, 0xfffe8009, 0xffff0004, 0xffff8001,
326   0xfffe8009, 0xffff0004, 0xffff8001, 0x00000000,
327   0xffff0006, 0xffff8002, 0x00000000, 0xffff8000,
328   0xffff8003, 0x00000000, 0x00007fff, 0xffff0000,
329   0x00000000, 0x00007ffe, 0x0000fffe, 0xfff80000,
330   0x00007ffd, 0x0000fffc, 0x0007fff0, 0xffc18000,
331   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0xffc10000,
332   0x0007ffd0, 0x003e7f06, 0x003eff82, 0xffc08000,
333   0x003e7e89, 0x003eff04, 0x003f7f81, 0xe6668000,
334   0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
335   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
336   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
337   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
338   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x40000000,
339   0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x3fff8000,
340   0x3ffe0003, 0xc0010000, 0xc000ffff, 0x2aab0000,
341   0xc0018000, 0xc0017ffe, 0xd5555556, 0x199a0000,
342   0xc001fffd, 0xd555aaac, 0xe6663334, 0x00400000,
343   0xd5560002, 0xe6666668, 0xffc00080, 0x003f8000,
344   0xe666999c, 0xffc00100, 0xffc0807f, 0x003f0000,
345   0xffc00180, 0xffc080fe, 0xffc1007e, 0x003e8000,
346   0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00080000,
347   0xffc1017a, 0xffc180fa, 0xfff80010, 0x00018000,
348   0xffc18177, 0xfff80020, 0xfffe8003, 0x00010000,
349   0xfff80030, 0xfffe8006, 0xffff0002, 0x00008000,
350   0xfffe8006, 0xffff0002, 0x00008000, 0x00000000,
351   0xffff0004, 0xffff8001, 0x00000000, 0xffff8001,
352   0xffff8002, 0x00000000, 0xffff8000, 0xffff0002,
353   0x00000000, 0x00007fff, 0xffff0000, 0xfff80010,
354   0x00007ffe, 0x0000fffe, 0xfff80000, 0xffc1807d,
355   0x0000fffc, 0x0007fff0, 0xffc18000, 0xffc1007e,
356   0x0007ffe0, 0x003e7f83, 0xffc10000, 0xffc0807f,
357   0x003e7f06, 0x003eff82, 0xffc08000, 0xe666b333,
358   0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
359   0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
360   0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
361   0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
362   0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x3fff8000,
363   0x3ffe0004, 0x3fff0001, 0x40000000, 0x3fff0001,
364   0x3ffe8002, 0xc0008000, 0x3fff8000, 0x2aaaaaaa,
365   0xc0010000, 0xc000ffff, 0x2aab0000, 0x1999cccc,
366   0xc0017ffe, 0xd5555556, 0x199a0000, 0x003fff80,
367   0xd555aaac, 0xe6663334, 0x00400000, 0x003f7f81,
368   0xe6666668, 0xffc00080, 0x003f8000, 0x003eff82,
369   0xffc00100, 0xffc0807f, 0x003f0000, 0x003e7f83,
370   0xffc080fe, 0xffc1007e, 0x003e8000, 0x0007fff0,
371   0xffc100fc, 0xffc1807d, 0x00080000, 0x00017ffd,
372   0xffc180fa, 0xfff80010, 0x00018000, 0x0000fffe,
373   0xfff80020, 0xfffe8003, 0x00010000, 0x00007fff,
374   0xfffe8003, 0x00010000, 0x00007fff, 0x00000000,
375   0xffff0002, 0x00008000, 0x00000000, 0xffffaaaa,
376   0xffff8001, 0x00000000, 0xffff8001, 0xffff5554,
377   0x00000000, 0xffff8000, 0xffff0002, 0xfffaaaa0,
378   0x00007fff, 0xffff0000, 0xfff80010, 0xffd65502,
379   0x0000fffe, 0xfff80000, 0xffc1807d, 0xffd5ffac,
380   0x0007fff0, 0xffc18000, 0xffc1007e, 0xffd5aa56,
381   0x003e7f83, 0xffc10000, 0xffc0807f, 0xeeeeddde,
382   0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
383   0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
384   0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
385   0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
386   0x3ffe0003, 0xc0010000, 0xc000ffff, 0x2aab0000,
387   0x3ffe8002, 0xc0008000, 0x3fff8000, 0x2aaaaaaa,
388   0x3fff0001, 0x40000000, 0x3fff0001, 0x1c7238e4,
389   0xc0008000, 0x3fff8000, 0x2aaaaaaa, 0x11117778,
390   0xc000ffff, 0x2aab0000, 0x1999cccc, 0x002aab00,
391   0xd5555556, 0x199a0000, 0x003fff80, 0x002a55aa,
392   0xe6663334, 0x00400000, 0x003f7f81, 0x002a0054,
393   0xffc00080, 0x003f8000, 0x003eff82, 0x0029aafe,
394   0xffc0807f, 0x003f0000, 0x003e7f83, 0x00055560,
395   0xffc1007e, 0x003e8000, 0x0007fff0, 0x00010002,
396   0xffc1807d, 0x00080000, 0x00017ffd, 0x0000aaac,
397   0xfff80010, 0x00018000, 0x0000fffe, 0x00005556,
398   0x00018000, 0x0000fffe, 0x00005556, 0x00000000,
399   0x00010000, 0x00007fff, 0x00000000, 0xffffcccc,
400   0x00008000, 0x00000000, 0xffffaaaa, 0xffff9998,
401   0x00000000, 0xffff8001, 0xffff5554, 0xfffcccc0,
402   0xffff8000, 0xffff0002, 0xfffaaaa0, 0xffe6ff9c,
403   0xffff0000, 0xfff80010, 0xffd65502, 0xffe6cc68,
404   0xfff80000, 0xffc1807d, 0xffd5ffac, 0xffe69934,
405   0xffc18000, 0xffc1007e, 0xffd5aa56, 0xf5c270a4,
406   0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
407   0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
408   0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
409   0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
410   0xc0018000, 0xc0017ffe, 0xd5555556, 0x199a0000,
411   0xc0010000, 0xc000ffff, 0x2aab0000, 0x1999cccc,
412   0xc0008000, 0x3fff8000, 0x2aaaaaaa, 0x11117778,
413   0x40000000, 0x3fff0001, 0x1c7238e4, 0x0a3dc290,
414   0x3fff8000, 0x2aaaaaaa, 0x11117778, 0x00199a00,
415   0x2aab0000, 0x1999cccc, 0x002aab00, 0x001966cc,
416   0x199a0000, 0x003fff80, 0x002a55aa, 0x00193398,
417   0x00400000, 0x003f7f81, 0x002a0054, 0x00190064,
418   0x003f8000, 0x003eff82, 0x0029aafe, 0x00033340,
419   0x003f0000, 0x003e7f83, 0x00055560, 0x0000999c,
420   0x003e8000, 0x0007fff0, 0x00010002, 0x00006668,
421   0x00080000, 0x00017ffd, 0x0000aaac, 0x00003334,
422   0x00017ffd, 0x0000aaac, 0x00003334, 0x00000000,
423   0x0000fffe, 0x00005556, 0x00000000, 0xffffff80,
424   0x00007fff, 0x00000000, 0xffffcccc, 0xffffff00,
425   0x00000000, 0xffffaaaa, 0xffff9998, 0xfffff800,
426   0xffff8001, 0xffff5554, 0xfffcccc0, 0xffffc180,
427   0xffff0002, 0xfffaaaa0, 0xffe6ff9c, 0xffffc100,
428   0xfff80010, 0xffd65502, 0xffe6cc68, 0xffffc080,
429   0xffc1807d, 0xffd5ffac, 0xffe69934, 0xffe66680,
430   0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
431   0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
432   0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
433   0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
434   0xc001fffd, 0xd555aaac, 0xe6663334, 0x00400000,
435   0xc0017ffe, 0xd5555556, 0x199a0000, 0x003fff80,
436   0xc000ffff, 0x2aab0000, 0x1999cccc, 0x002aab00,
437   0x3fff8000, 0x2aaaaaaa, 0x11117778, 0x00199a00,
438   0x3fff0001, 0x1c7238e4, 0x0a3dc290, 0x00004000,
439   0x2aaaaaaa, 0x11117778, 0x00199a00, 0x00003f80,
440   0x1999cccc, 0x002aab00, 0x001966cc, 0x00003f00,
441   0x003fff80, 0x002a55aa, 0x00193398, 0x00003e80,
442   0x003f7f81, 0x002a0054, 0x00190064, 0x00000800,
443   0x003eff82, 0x0029aafe, 0x00033340, 0x00000180,
444   0x003e7f83, 0x00055560, 0x0000999c, 0x00000100,
445   0x0007fff0, 0x00010002, 0x00006668, 0x00000080,
446   0x00010002, 0x00006668, 0x00000080, 0x00000000,
447   0x0000aaac, 0x00003334, 0x00000000, 0xffffff81,
448   0x00005556, 0x00000000, 0xffffff80, 0xffffff02,
449   0x00000000, 0xffffcccc, 0xffffff00, 0xfffff810,
450   0xffffaaaa, 0xffff9998, 0xfffff800, 0xffffc1fd,
451   0xffff5554, 0xfffcccc0, 0xffffc180, 0xffffc17e,
452   0xfffaaaa0, 0xffe6ff9c, 0xffffc100, 0xffffc0ff,
453   0xffd65502, 0xffe6cc68, 0xffffc080, 0xffe699b3,
454   0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
455   0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
456   0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
457   0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
458   0xd5560002, 0xe6666668, 0xffc00080, 0x003f8000,
459   0xd555aaac, 0xe6663334, 0x00400000, 0x003f7f81,
460   0xd5555556, 0x199a0000, 0x003fff80, 0x002a55aa,
461   0x2aab0000, 0x1999cccc, 0x002aab00, 0x001966cc,
462   0x2aaaaaaa, 0x11117778, 0x00199a00, 0x00003f80,
463   0x1c7238e4, 0x0a3dc290, 0x00004000, 0x00003f01,
464   0x11117778, 0x00199a00, 0x00003f80, 0x00003e82,
465   0x002aab00, 0x001966cc, 0x00003f00, 0x00003e03,
466   0x002a55aa, 0x00193398, 0x00003e80, 0x000007f0,
467   0x002a0054, 0x00190064, 0x00000800, 0x0000017d,
468   0x0029aafe, 0x00033340, 0x00000180, 0x000000fe,
469   0x00055560, 0x0000999c, 0x00000100, 0x0000007f,
470   0x0000999c, 0x00000100, 0x0000007f, 0x00000000,
471   0x00006668, 0x00000080, 0x00000000, 0xffffff82,
472   0x00003334, 0x00000000, 0xffffff81, 0xffffff04,
473   0x00000000, 0xffffff80, 0xffffff02, 0xfffff820,
474   0xffffcccc, 0xffffff00, 0xfffff810, 0xffffc27a,
475   0xffff9998, 0xfffff800, 0xffffc1fd, 0xffffc1fc,
476   0xfffcccc0, 0xffffc180, 0xffffc17e, 0xffffc17e,
477   0xffe6ff9c, 0xffffc100, 0xffffc0ff, 0xffe6cce6,
478   0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
479   0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
480   0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
481   0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
482   0xe666999c, 0xffc00100, 0xffc0807f, 0x003f0000,
483   0xe6666668, 0xffc00080, 0x003f8000, 0x003eff82,
484   0xe6663334, 0x00400000, 0x003f7f81, 0x002a0054,
485   0x199a0000, 0x003fff80, 0x002a55aa, 0x00193398,
486   0x1999cccc, 0x002aab00, 0x001966cc, 0x00003f00,
487   0x11117778, 0x00199a00, 0x00003f80, 0x00003e82,
488   0x0a3dc290, 0x00004000, 0x00003f01, 0x00003e04,
489   0x00199a00, 0x00003f80, 0x00003e82, 0x00003d86,
490   0x001966cc, 0x00003f00, 0x00003e03, 0x000007e0,
491   0x00193398, 0x00003e80, 0x000007f0, 0x0000017a,
492   0x00190064, 0x00000800, 0x0000017d, 0x000000fc,
493   0x00033340, 0x00000180, 0x000000fe, 0x0000007e,
494   0x00000180, 0x000000fe, 0x0000007e, 0x00000000,
495   0x00000100, 0x0000007f, 0x00000000, 0xffffff83,
496   0x00000080, 0x00000000, 0xffffff82, 0xffffff06,
497   0x00000000, 0xffffff81, 0xffffff04, 0xfffff830,
498   0xffffff80, 0xffffff02, 0xfffff820, 0xffffc2f7,
499   0xffffff00, 0xfffff810, 0xffffc27a, 0xffffc27a,
500   0xfffff800, 0xffffc1fd, 0xffffc1fc, 0xffffc1fd,
501   0xffffc180, 0xffffc17e, 0xffffc17e, 0xffe70019,
502   0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
503   0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
504   0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
505   0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
506   0xffc00180, 0xffc080fe, 0xffc1007e, 0x003e8000,
507   0xffc00100, 0xffc0807f, 0x003f0000, 0x003e7f83,
508   0xffc00080, 0x003f8000, 0x003eff82, 0x0029aafe,
509   0x00400000, 0x003f7f81, 0x002a0054, 0x00190064,
510   0x003fff80, 0x002a55aa, 0x00193398, 0x00003e80,
511   0x002aab00, 0x001966cc, 0x00003f00, 0x00003e03,
512   0x00199a00, 0x00003f80, 0x00003e82, 0x00003d86,
513   0x00004000, 0x00003f01, 0x00003e04, 0x00003d09,
514   0x00003f80, 0x00003e82, 0x00003d86, 0x000007d0,
515   0x00003f00, 0x00003e03, 0x000007e0, 0x00000177,
516   0x00003e80, 0x000007f0, 0x0000017a, 0x000000fa,
517   0x00000800, 0x0000017d, 0x000000fc, 0x0000007d,
518   0x0000017d, 0x000000fc, 0x0000007d, 0x00000000,
519   0x000000fe, 0x0000007e, 0x00000000, 0xfffffff0,
520   0x0000007f, 0x00000000, 0xffffff83, 0xffffffe0,
521   0x00000000, 0xffffff82, 0xffffff06, 0xffffff00,
522   0xffffff81, 0xffffff04, 0xfffff830, 0xfffff830,
523   0xffffff02, 0xfffff820, 0xffffc2f7, 0xfffff820,
524   0xfffff810, 0xffffc27a, 0xffffc27a, 0xfffff810,
525   0xffffc1fd, 0xffffc1fc, 0xffffc1fd, 0xfffcccd0,
526   0xffffc17e, 0xffffc17e, 0xffe70019, 0xfffaaab0,
527   0xffffc0ff, 0xffe6cce6, 0xffd6557f, 0xfff80030,
528   0xffe699b3, 0xffd6002a, 0xffc18177, 0xfff80020,
529   0xffd5aad5, 0xffc1017a, 0xffc180fa, 0xfff80010,
530   0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00080000,
531   0xffc080fe, 0xffc1007e, 0x003e8000, 0x0007fff0,
532   0xffc0807f, 0x003f0000, 0x003e7f83, 0x00055560,
533   0x003f8000, 0x003eff82, 0x0029aafe, 0x00033340,
534   0x003f7f81, 0x002a0054, 0x00190064, 0x00000800,
535   0x002a55aa, 0x00193398, 0x00003e80, 0x000007f0,
536   0x001966cc, 0x00003f00, 0x00003e03, 0x000007e0,
537   0x00003f80, 0x00003e82, 0x00003d86, 0x000007d0,
538   0x00003f01, 0x00003e04, 0x00003d09, 0x00000100,
539   0x00003e82, 0x00003d86, 0x000007d0, 0x00000030,
540   0x00003e03, 0x000007e0, 0x00000177, 0x00000020,
541   0x000007f0, 0x0000017a, 0x000000fa, 0x00000010,
542   0x0000017a, 0x000000fa, 0x00000010, 0x00000000,
543   0x000000fc, 0x0000007d, 0x00000000, 0xfffffffd,
544   0x0000007e, 0x00000000, 0xfffffff0, 0xfffffffa,
545   0x00000000, 0xffffff83, 0xffffffe0, 0xffffffd0,
546   0xffffff82, 0xffffff06, 0xffffff00, 0xfffffe89,
547   0xffffff04, 0xfffff830, 0xfffff830, 0xfffffe86,
548   0xfffff820, 0xffffc2f7, 0xfffff820, 0xfffffe83,
549   0xffffc27a, 0xffffc27a, 0xfffff810, 0xffff6667,
550   0xffffc1fc, 0xffffc1fd, 0xfffcccd0, 0xffff0001,
551   0xffffc17e, 0xffe70019, 0xfffaaab0, 0xfffe8009,
552   0xffe6cce6, 0xffd6557f, 0xfff80030, 0xfffe8006,
553   0xffd6002a, 0xffc18177, 0xfff80020, 0xfffe8003,
554   0xffc1017a, 0xffc180fa, 0xfff80010, 0x00018000,
555   0xffc100fc, 0xffc1807d, 0x00080000, 0x00017ffd,
556   0xffc1007e, 0x003e8000, 0x0007fff0, 0x00010002,
557   0x003f0000, 0x003e7f83, 0x00055560, 0x0000999c,
558   0x003eff82, 0x0029aafe, 0x00033340, 0x00000180,
559   0x002a0054, 0x00190064, 0x00000800, 0x0000017d,
560   0x00193398, 0x00003e80, 0x000007f0, 0x0000017a,
561   0x00003f00, 0x00003e03, 0x000007e0, 0x00000177,
562   0x00003e82, 0x00003d86, 0x000007d0, 0x00000030,
563   0x00003e04, 0x00003d09, 0x00000100, 0x00000009,
564   0x00003d86, 0x000007d0, 0x00000030, 0x00000006,
565   0x000007e0, 0x00000177, 0x00000020, 0x00000003,
566   0x00000177, 0x00000020, 0x00000003, 0x00000000,
567   0x000000fa, 0x00000010, 0x00000000, 0xfffffffe,
568   0x0000007d, 0x00000000, 0xfffffffd, 0xfffffffc,
569   0x00000000, 0xfffffff0, 0xfffffffa, 0xffffffe0,
570   0xffffff83, 0xffffffe0, 0xffffffd0, 0xffffff06,
571   0xffffff06, 0xffffff00, 0xfffffe89, 0xffffff04,
572   0xfffff830, 0xfffff830, 0xfffffe86, 0xffffff02,
573   0xffffc2f7, 0xfffff820, 0xfffffe83, 0xffff999a,
574   0xffffc27a, 0xfffff810, 0xffff6667, 0xffff5556,
575   0xffffc1fd, 0xfffcccd0, 0xffff0001, 0xffff0006,
576   0xffe70019, 0xfffaaab0, 0xfffe8009, 0xffff0004,
577   0xffd6557f, 0xfff80030, 0xfffe8006, 0xffff0002,
578   0xffc18177, 0xfff80020, 0xfffe8003, 0x00010000,
579   0xffc180fa, 0xfff80010, 0x00018000, 0x0000fffe,
580   0xffc1807d, 0x00080000, 0x00017ffd, 0x0000aaac,
581   0x003e8000, 0x0007fff0, 0x00010002, 0x00006668,
582   0x003e7f83, 0x00055560, 0x0000999c, 0x00000100,
583   0x0029aafe, 0x00033340, 0x00000180, 0x000000fe,
584   0x00190064, 0x00000800, 0x0000017d, 0x000000fc,
585   0x00003e80, 0x000007f0, 0x0000017a, 0x000000fa,
586   0x00003e03, 0x000007e0, 0x00000177, 0x00000020,
587   0x00003d86, 0x000007d0, 0x00000030, 0x00000006,
588   0x00003d09, 0x00000100, 0x00000009, 0x00000004,
589   0x000007d0, 0x00000030, 0x00000006, 0x00000002,
590   0x00000030, 0x00000006, 0x00000002, 0x00000000,
591   0x00000020, 0x00000003, 0x00000000, 0xffffffff,
592   0x00000010, 0x00000000, 0xfffffffe, 0xfffffffe,
593   0x00000000, 0xfffffffd, 0xfffffffc, 0xfffffff0,
594   0xfffffff0, 0xfffffffa, 0xffffffe0, 0xffffff83,
595   0xffffffe0, 0xffffffd0, 0xffffff06, 0xffffff82,
596   0xffffff00, 0xfffffe89, 0xffffff04, 0xffffff81,
597   0xfffff830, 0xfffffe86, 0xffffff02, 0xffffcccd,
598   0xfffff820, 0xfffffe83, 0xffff999a, 0xffffaaab,
599   0xfffff810, 0xffff6667, 0xffff5556, 0xffff8003,
600   0xfffcccd0, 0xffff0001, 0xffff0006, 0xffff8002,
601   0xfffaaab0, 0xfffe8009, 0xffff0004, 0xffff8001,
602   0xfff80030, 0xfffe8006, 0xffff0002, 0x00008000,
603   0xfff80020, 0xfffe8003, 0x00010000, 0x00007fff,
604   0xfff80010, 0x00018000, 0x0000fffe, 0x00005556,
605   0x00080000, 0x00017ffd, 0x0000aaac, 0x00003334,
606   0x0007fff0, 0x00010002, 0x00006668, 0x00000080,
607   0x00055560, 0x0000999c, 0x00000100, 0x0000007f,
608   0x00033340, 0x00000180, 0x000000fe, 0x0000007e,
609   0x00000800, 0x0000017d, 0x000000fc, 0x0000007d,
610   0x000007f0, 0x0000017a, 0x000000fa, 0x00000010,
611   0x000007e0, 0x00000177, 0x00000020, 0x00000003,
612   0x000007d0, 0x00000030, 0x00000006, 0x00000002,
613   0x00000100, 0x00000009, 0x00000004, 0x00000001,
614 };
615 const unsigned kExpectedCount_NEON_smull2_4S = 576;
616 
617 #endif  // VIXL_SIM_SMULL2_4S_TRACE_AARCH64_H_
618