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_SMLSL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SMLSL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_smlsl2_4S[] = {
38  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
39  0xc0027ffa, 0xc0017fff, 0x00000002, 0x00000020,
40  0xc001fffd, 0x00000001, 0xffff8003, 0x00000020,
41  0x00000000, 0xffff8003, 0xffff0004, 0x00000020,
42  0xffff8003, 0xffff0005, 0xfff80012, 0x00000020,
43  0xffff0006, 0xfff80021, 0xffc1807f, 0x00000020,
44  0xfff80030, 0xffc180fb, 0xffc10080, 0x00000020,
45  0xffc18177, 0xffc100fd, 0xffc08081, 0x00000020,
46  0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
47  0xffc0817d, 0xe666e667, 0xd555d557, 0x00000020,
48  0xe6671999, 0xd5562aab, 0xc001ffff, 0x00000020,
49  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x00000020,
50  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
51  0xc0027ffa, 0xc0017fff, 0x3fff8002, 0x00000020,
52  0xc001fffd, 0x3fff0001, 0x3fff0003, 0x00000020,
53  0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0x00000020,
54  0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0x00000020,
55  0x2aa9fffe, 0x19999999, 0x003fff82, 0x00000020,
56  0x19996664, 0x003fff01, 0x003f7f83, 0x00000020,
57  0x003ffe80, 0x003f7f03, 0x003eff84, 0x00000020,
58  0x003f7e83, 0x003eff05, 0x003e7f85, 0x00000020,
59  0x003efe86, 0x003e7f07, 0x0007fff2, 0x00000020,
60  0x003e7e89, 0x0007ffe1, 0x00017fff, 0x00000020,
61  0x0007ffd0, 0x00017ffb, 0x00010000, 0x00000020,
62  0x00017ffa, 0x0000ffff, 0x00000002, 0x00000020,
63  0x0000fffc, 0x00008000, 0x00000002, 0x0000001f,
64  0x00007ffe, 0x00000001, 0x00000002, 0x0000001e,
65  0x00000000, 0xffff8002, 0x00000002, 0x00000010,
66  0xffff8002, 0xffff0003, 0x00000002, 0xffffffa3,
67  0xffff0004, 0xfff80011, 0x00000002, 0xffffffa2,
68  0xfff80020, 0xffc1807e, 0x00000002, 0xffffffa1,
69  0xffc180fa, 0xffc1007f, 0x00000002, 0xffffcced,
70  0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
71  0xffc080fe, 0xe666b334, 0x00000002, 0xffff8023,
72  0xe666e666, 0xd555d556, 0x00000002, 0xffff8022,
73  0xd5562aaa, 0xc001fffe, 0x00000002, 0xffff8021,
74  0xc0027ffa, 0xc0017fff, 0x00000002, 0x00008020,
75  0xc001fffc, 0xc0010000, 0x00000002, 0x0000801f,
76  0xc0017ffe, 0x3fff8001, 0x00000002, 0x00005576,
77  0x3fff0000, 0x3fff0002, 0x00000002, 0x00003354,
78  0x3ffe8002, 0x2aaaaaab, 0x00000002, 0x000000a0,
79  0x2aaa5554, 0x1999cccd, 0x00000002, 0x0000009f,
80  0x19999998, 0x003fff81, 0x00000002, 0x0000009e,
81  0x003fff00, 0x003f7f82, 0x00000002, 0x0000009d,
82  0x003f7f02, 0x003eff83, 0x00000002, 0x00000030,
83  0x003eff04, 0x003e7f84, 0x00000002, 0x00000023,
84  0x003e7f06, 0x0007fff1, 0x00000002, 0x00000022,
85  0x0007ffe0, 0x00017ffe, 0x00000002, 0x00000021,
86  0x00017ffd, 0x00000001, 0x00000003, 0x00000020,
87  0x0000fffe, 0x00000001, 0x00000002, 0x0000001e,
88  0x00007fff, 0x00000001, 0x00000001, 0x0000001c,
89  0x00000000, 0x00000001, 0x00000000, 0x00000000,
90  0xffff8001, 0x00000001, 0xfffffff2, 0xffffff26,
91  0xffff0002, 0x00000001, 0xffffff85, 0xffffff24,
92  0xfff80010, 0x00000001, 0xffffff84, 0xffffff22,
93  0xffc1807d, 0x00000001, 0xffffff83, 0xffff99ba,
94  0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
95  0xffc0807f, 0x00000001, 0xffffaaad, 0xffff0026,
96  0xe666b333, 0x00000001, 0xffff8005, 0xffff0024,
97  0xd555d555, 0x00000001, 0xffff8004, 0xffff0022,
98  0xc001fffd, 0x00000001, 0xffff8003, 0x00010020,
99  0xc0017ffe, 0x00000001, 0x00008002, 0x0001001e,
100  0xc000ffff, 0x00000001, 0x00008001, 0x0000aacc,
101  0x3fff8000, 0x00000001, 0x00005558, 0x00006688,
102  0x3fff0001, 0x00000001, 0x00003336, 0x00000120,
103  0x2aaaaaaa, 0x00000001, 0x00000082, 0x0000011e,
104  0x1999cccc, 0x00000001, 0x00000081, 0x0000011c,
105  0x003fff80, 0x00000001, 0x00000080, 0x0000011a,
106  0x003f7f81, 0x00000001, 0x0000007f, 0x00000040,
107  0x003eff82, 0x00000001, 0x00000012, 0x00000026,
108  0x003e7f83, 0x00000001, 0x00000005, 0x00000024,
109  0x0007fff0, 0x00000001, 0x00000004, 0x00000022,
110  0x00000000, 0x00000003, 0x00000004, 0x00000020,
111  0x00000000, 0x00000002, 0x00000002, 0x00000010,
112  0x00000000, 0x00000001, 0x00000000, 0x00000000,
113  0x00000000, 0x00000000, 0xfffffffe, 0xffffff20,
114  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
115  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
116  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
117  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
118  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
119  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
120  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
121  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
122  0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
123  0x00000000, 0xffff8002, 0x00010002, 0x00080010,
124  0x00000000, 0x00008001, 0x00010000, 0x00055580,
125  0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
126  0x00000000, 0x00005557, 0x0000666a, 0x00000820,
127  0x00000000, 0x00003335, 0x00000102, 0x00000810,
128  0x00000000, 0x00000081, 0x00000100, 0x00000800,
129  0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
130  0x00000000, 0x0000007f, 0x000000fc, 0x00000120,
131  0x00000000, 0x0000007e, 0x00000022, 0x00000050,
132  0x00000000, 0x00000011, 0x00000008, 0x00000040,
133  0x00000000, 0x00000004, 0x00000006, 0x00000030,
134  0x00000003, 0x00000005, 0x00000012, 0x00000020,
135  0x00000002, 0x00000003, 0x00000002, 0xffffffa3,
136  0x00000001, 0x00000001, 0xfffffff2, 0xffffff26,
137  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
138  0xffffffff, 0xfffffffd, 0xffffff02, 0xffffc317,
139  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
140  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
141  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
142  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
143  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
144  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
145  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
146  0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
147  0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
148  0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
149  0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
150  0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
151  0x00005556, 0x00006669, 0x00000802, 0x00003e23,
152  0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
153  0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
154  0x0000007f, 0x000000fd, 0x000007d2, 0x000007f0,
155  0x0000007e, 0x000000fb, 0x00000102, 0x00000197,
156  0x0000007d, 0x00000021, 0x00000032, 0x0000011a,
157  0x00000010, 0x00000007, 0x00000022, 0x0000009d,
158  0x00000006, 0x00000021, 0x0000007f, 0x00000020,
159  0x00000004, 0x00000011, 0x00000002, 0xffffffa2,
160  0x00000002, 0x00000001, 0xffffff85, 0xffffff24,
161  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
162  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
163  0xfffffffc, 0xffffff01, 0xffffc2f9, 0xffffc21c,
164  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
165  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
166  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
167  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
168  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
169  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
170  0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
171  0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
172  0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
173  0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
174  0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
175  0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
176  0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
177  0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
178  0x000000fe, 0x000007e1, 0x00003d0b, 0x00000800,
179  0x000000fc, 0x000007d1, 0x000007d2, 0x0000019a,
180  0x000000fa, 0x00000101, 0x00000179, 0x0000011c,
181  0x00000020, 0x00000031, 0x000000fc, 0x0000009e,
182  0x00000030, 0x000000fb, 0x00000080, 0x00000020,
183  0x00000020, 0x0000007e, 0x00000002, 0xffffffa1,
184  0x00000010, 0x00000001, 0xffffff84, 0xffffff22,
185  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
186  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
187  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
188  0xffffff00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
189  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
190  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
191  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
192  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
193  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
194  0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
195  0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
196  0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
197  0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
198  0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
199  0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
200  0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
201  0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
202  0x000007f0, 0x00003d87, 0x00003d88, 0x00000810,
203  0x000007e0, 0x00003d0a, 0x000007e2, 0x0000019d,
204  0x000007d0, 0x000007d1, 0x0000017c, 0x0000011e,
205  0x00000100, 0x00000178, 0x000000fe, 0x0000009f,
206  0x00000177, 0x000000fd, 0x00000081, 0x00000020,
207  0x000000fa, 0x0000007f, 0x00000002, 0xffffcced,
208  0x0000007d, 0x00000001, 0xffffff83, 0xffff99ba,
209  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
210  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
211  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
212  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
213  0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xf5c2a3f7,
214  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
215  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
216  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
217  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
218  0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
219  0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
220  0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
221  0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
222  0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
223  0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
224  0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
225  0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
226  0x00003e03, 0x00003e05, 0x00003e05, 0x00033350,
227  0x00003d86, 0x00003d87, 0x000007f2, 0x000099b9,
228  0x00003d09, 0x000007e1, 0x0000017f, 0x00006686,
229  0x000007d0, 0x0000017b, 0x00000100, 0x00003353,
230  0x0000017a, 0x000000ff, 0x00003335, 0x00000020,
231  0x000000fc, 0x00000080, 0x00000002, 0xffffaacb,
232  0x0000007e, 0x00000001, 0xffffcccf, 0xffff5576,
233  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
234  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
235  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
236  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
237  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
238  0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
239  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
240  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
241  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
242  0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
243  0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
244  0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
245  0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
246  0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
247  0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
248  0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
249  0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
250  0x00003e82, 0x00003e83, 0x0018ffe9, 0x00055570,
251  0x00003e04, 0x00003e04, 0x00033332, 0x0001001f,
252  0x00003d86, 0x000007f1, 0x0000999b, 0x0000aaca,
253  0x000007e0, 0x0000017e, 0x00006668, 0x00005575,
254  0x0000017d, 0x00006667, 0x00005557, 0x00000020,
255  0x000000fe, 0x00003334, 0x00000002, 0xffff8023,
256  0x0000007f, 0x00000001, 0xffffaaad, 0xffff0026,
257  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
258  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
259  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
260  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
261  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
262  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
263  0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
264  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
265  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
266  0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
267  0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
268  0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
269  0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
270  0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
271  0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
272  0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
273  0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
274  0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
275  0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
276  0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
277  0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
278  0x00009999, 0x0000aaab, 0x00007fff, 0x00000020,
279  0x00006666, 0x00005556, 0x00000002, 0xffff8022,
280  0x00003333, 0x00000001, 0xffff8005, 0xffff0024,
281  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
282  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
283  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
284  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
285  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
286  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
287  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
288  0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
289  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
290  0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
291  0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
292  0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
293  0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
294  0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
295  0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
296  0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
297  0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
298  0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
299  0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
300  0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
301  0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
302  0x0000ffff, 0x0000fffb, 0x00008000, 0x00000020,
303  0x0000aaaa, 0x00007ffe, 0x00000002, 0xffff8021,
304  0x00005555, 0x00000001, 0xffff8004, 0xffff0022,
305  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
306  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
307  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
308  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
309  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
310  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
311  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
312  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
313  0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
314  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
315  0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
316  0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
317  0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
318  0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
319  0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
320  0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
321  0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
322  0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
323  0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
324  0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
325  0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
326  0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
327  0x0000fffa, 0x00007fff, 0x00000002, 0x00008020,
328  0x00007ffd, 0x00000001, 0xffff8003, 0x00010020,
329  0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
330  0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
331  0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
332  0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
333  0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
334  0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
335  0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
336  0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
337  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
338  0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
339  0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
340  0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
341  0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
342  0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
343  0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
344  0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
345  0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
346  0x003f7e83, 0x003eff05, 0x003e7f85, 0xfff80020,
347  0x003efe86, 0x003e7f07, 0x0007fff2, 0xfffe8020,
348  0x003e7e89, 0x0007ffe1, 0x00017fff, 0xffff0020,
349  0x0007ffd0, 0x00017ffb, 0x00010000, 0xffff8020,
350  0x00017ffa, 0x0000ffff, 0xffff8002, 0x00000020,
351  0x0000fffc, 0x00008000, 0x00000002, 0x0000801f,
352  0x00007ffe, 0x00000001, 0x00008002, 0x0001001e,
353  0x00000000, 0xffff8002, 0x00010002, 0x00080010,
354  0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
355  0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
356  0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
357  0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
358  0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
359  0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
360  0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
361  0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
362  0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
363  0xc001fffc, 0xc0010000, 0xc0000002, 0xc001001f,
364  0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
365  0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
366  0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
367  0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
368  0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
369  0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
370  0x003f7f02, 0x003eff83, 0xffc18002, 0xfff80030,
371  0x003eff04, 0x003e7f84, 0xfff80002, 0xfffe8023,
372  0x003e7f06, 0x0007fff1, 0xfffe8002, 0xffff0022,
373  0x0007ffe0, 0x00017ffe, 0xffff0002, 0xffff8021,
374  0x00017ffd, 0xffff0001, 0xffff8003, 0x00000020,
375  0x0000fffe, 0xffff8001, 0x00000002, 0x00005576,
376  0x00007fff, 0x00000001, 0x00008001, 0x0000aacc,
377  0x00000000, 0x00008001, 0x00010000, 0x00055580,
378  0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
379  0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
380  0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
381  0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
382  0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
383  0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
384  0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
385  0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
386  0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
387  0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
388  0xc000ffff, 0xc0000001, 0xc0010001, 0xe38dc73c,
389  0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
390  0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
391  0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
392  0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
393  0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
394  0x003f7f81, 0xffc10001, 0xffc1807f, 0xfffaaac0,
395  0x003eff82, 0xffc18001, 0xfff80012, 0xffff001e,
396  0x003e7f83, 0xfff80001, 0xfffe8005, 0xffff5574,
397  0x0007fff0, 0xfffe8001, 0xffff0004, 0xffffaaca,
398  0xfffe8000, 0xffff0003, 0xffffaaac, 0x00000020,
399  0xffff0000, 0xffff8002, 0x00000002, 0x00003354,
400  0xffff8000, 0x00000001, 0x00005558, 0x00006688,
401  0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
402  0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
403  0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
404  0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
405  0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
406  0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
407  0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
408  0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
409  0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
410  0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
411  0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
412  0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
413  0xc0000000, 0xc0010000, 0xe38dc71e, 0xf5c23d90,
414  0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
415  0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
416  0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
417  0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
418  0xffc08000, 0xffc1007f, 0xffd65504, 0xfffccce0,
419  0xffc10000, 0xffc1807e, 0xfffaaaa2, 0xffff6684,
420  0xffc18000, 0xfff80011, 0xffff0000, 0xffff99b8,
421  0xfff80000, 0xfffe8004, 0xffff5556, 0xffffccec,
422  0xfffe8003, 0xffff5555, 0xffffccce, 0x00000020,
423  0xffff0002, 0xffffaaab, 0x00000002, 0x000000a0,
424  0xffff8001, 0x00000001, 0x00003336, 0x00000120,
425  0x00000000, 0x00005557, 0x0000666a, 0x00000820,
426  0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
427  0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
428  0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
429  0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
430  0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
431  0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
432  0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
433  0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
434  0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
435  0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
436  0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
437  0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
438  0xc000ffff, 0xe38dc71d, 0xf5c23d72, 0xffffc020,
439  0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
440  0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
441  0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
442  0xffc0807f, 0xffd5ffad, 0xffe6ff9e, 0xfffff820,
443  0xffc1007e, 0xffd65503, 0xfffcccc2, 0xfffffea0,
444  0xffc1807d, 0xfffaaaa1, 0xffff6666, 0xffffff20,
445  0xfff80010, 0xfffeffff, 0xffff999a, 0xffffffa0,
446  0xfffefffe, 0xffff9999, 0xffffff82, 0x00000020,
447  0xffff5554, 0xffffcccd, 0x00000002, 0x0000009f,
448  0xffffaaaa, 0x00000001, 0x00000082, 0x0000011e,
449  0x00000000, 0x00003335, 0x00000102, 0x00000810,
450  0x00005556, 0x00006669, 0x00000802, 0x00003e23,
451  0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
452  0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
453  0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
454  0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
455  0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
456  0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
457  0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
458  0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
459  0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
460  0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
461  0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
462  0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
463  0xe38dc71c, 0xf5c23d71, 0xffffc002, 0xffffc11f,
464  0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
465  0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
466  0xffd5aa56, 0xffe6cc69, 0xffffc182, 0xfffff830,
467  0xffd5ffac, 0xffe6ff9d, 0xfffff802, 0xfffffea3,
468  0xffd65502, 0xfffcccc1, 0xfffffe82, 0xffffff22,
469  0xfffaaaa0, 0xffff6665, 0xffffff02, 0xffffffa1,
470  0xffff6664, 0xffffff01, 0xffffff83, 0x00000020,
471  0xffff9998, 0xffffff81, 0x00000002, 0x0000009e,
472  0xffffcccc, 0x00000001, 0x00000081, 0x0000011c,
473  0x00000000, 0x00000081, 0x00000100, 0x00000800,
474  0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
475  0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
476  0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
477  0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
478  0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
479  0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
480  0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
481  0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
482  0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
483  0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
484  0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
485  0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
486  0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
487  0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
488  0xf5c23d70, 0xffffc001, 0xffffc101, 0xffffc21c,
489  0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
490  0xffe69934, 0xffffc101, 0xffffc1ff, 0xfffff840,
491  0xffe6cc68, 0xffffc181, 0xfffff812, 0xfffffea6,
492  0xffe6ff9c, 0xfffff801, 0xfffffe85, 0xffffff24,
493  0xfffcccc0, 0xfffffe81, 0xffffff04, 0xffffffa2,
494  0xfffffe80, 0xffffff03, 0xffffff84, 0x00000020,
495  0xffffff00, 0xffffff82, 0x00000002, 0x0000009d,
496  0xffffff80, 0x00000001, 0x00000080, 0x0000011a,
497  0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
498  0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
499  0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
500  0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
501  0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
502  0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
503  0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
504  0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
505  0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
506  0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
507  0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
508  0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
509  0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
510  0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
511  0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
512  0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
513  0xffffc000, 0xffffc100, 0xffffc1fe, 0xffffc317,
514  0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff850,
515  0xffffc100, 0xffffc1fe, 0xfffff822, 0xfffffea9,
516  0xffffc180, 0xfffff811, 0xfffffe88, 0xffffff26,
517  0xfffff800, 0xfffffe84, 0xffffff06, 0xffffffa3,
518  0xfffffe83, 0xffffff05, 0xffffff85, 0x00000020,
519  0xffffff02, 0xffffff83, 0x00000002, 0x00000030,
520  0xffffff81, 0x00000001, 0x0000007f, 0x00000040,
521  0x00000000, 0x0000007f, 0x000000fc, 0x00000120,
522  0x0000007f, 0x000000fd, 0x000007d2, 0x000007f0,
523  0x000000fe, 0x000007e1, 0x00003d0b, 0x00000800,
524  0x000007f0, 0x00003d87, 0x00003d88, 0x00000810,
525  0x00003e03, 0x00003e05, 0x00003e05, 0x00033350,
526  0x00003e82, 0x00003e83, 0x0018ffe9, 0x00055570,
527  0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
528  0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
529  0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
530  0x003f7e83, 0x003eff05, 0x003e7f85, 0xfff80020,
531  0x003f7f02, 0x003eff83, 0xffc18002, 0xfff80030,
532  0x003f7f81, 0xffc10001, 0xffc1807f, 0xfffaaac0,
533  0xffc08000, 0xffc1007f, 0xffd65504, 0xfffccce0,
534  0xffc0807f, 0xffd5ffad, 0xffe6ff9e, 0xfffff820,
535  0xffd5aa56, 0xffe6cc69, 0xffffc182, 0xfffff830,
536  0xffe69934, 0xffffc101, 0xffffc1ff, 0xfffff840,
537  0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff850,
538  0xffffc0ff, 0xffffc1fd, 0xffffc2f9, 0xffffff20,
539  0xffffc17e, 0xffffc27b, 0xfffff832, 0xfffffff0,
540  0xffffc1fd, 0xfffff821, 0xfffffe8b, 0x00000000,
541  0xfffff810, 0xfffffe87, 0xffffff08, 0x00000010,
542  0xfffffe86, 0xffffff07, 0xfffffff2, 0x00000020,
543  0xffffff04, 0xffffff84, 0x00000002, 0x00000023,
544  0xffffff82, 0x00000001, 0x00000012, 0x00000026,
545  0x00000000, 0x0000007e, 0x00000022, 0x00000050,
546  0x0000007e, 0x000000fb, 0x00000102, 0x00000197,
547  0x000000fc, 0x000007d1, 0x000007d2, 0x0000019a,
548  0x000007e0, 0x00003d0a, 0x000007e2, 0x0000019d,
549  0x00003d86, 0x00003d87, 0x000007f2, 0x000099b9,
550  0x00003e04, 0x00003e04, 0x00033332, 0x0001001f,
551  0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
552  0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
553  0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
554  0x003efe86, 0x003e7f07, 0x0007fff2, 0xfffe8020,
555  0x003eff04, 0x003e7f84, 0xfff80002, 0xfffe8023,
556  0x003eff82, 0xffc18001, 0xfff80012, 0xffff001e,
557  0xffc10000, 0xffc1807e, 0xfffaaaa2, 0xffff6684,
558  0xffc1007e, 0xffd65503, 0xfffcccc2, 0xfffffea0,
559  0xffd5ffac, 0xffe6ff9d, 0xfffff802, 0xfffffea3,
560  0xffe6cc68, 0xffffc181, 0xfffff812, 0xfffffea6,
561  0xffffc100, 0xffffc1fe, 0xfffff822, 0xfffffea9,
562  0xffffc17e, 0xffffc27b, 0xfffff832, 0xfffffff0,
563  0xffffc1fc, 0xffffc2f8, 0xffffff02, 0x00000017,
564  0xffffc27a, 0xfffff831, 0xffffffd2, 0x0000001a,
565  0xfffff820, 0xfffffe8a, 0xffffffe2, 0x0000001d,
566  0xfffffe89, 0xffffffe1, 0xffffffff, 0x00000020,
567  0xffffff06, 0xfffffff1, 0x00000002, 0x00000022,
568  0xffffff83, 0x00000001, 0x00000005, 0x00000024,
569  0x00000000, 0x00000011, 0x00000008, 0x00000040,
570  0x0000007d, 0x00000021, 0x00000032, 0x0000011a,
571  0x000000fa, 0x00000101, 0x00000179, 0x0000011c,
572  0x000007d0, 0x000007d1, 0x0000017c, 0x0000011e,
573  0x00003d09, 0x000007e1, 0x0000017f, 0x00006686,
574  0x00003d86, 0x000007f1, 0x0000999b, 0x0000aaca,
575  0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
576  0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
577  0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
578  0x003e7e89, 0x0007ffe1, 0x00017fff, 0xffff0020,
579  0x003e7f06, 0x0007fff1, 0xfffe8002, 0xffff0022,
580  0x003e7f83, 0xfff80001, 0xfffe8005, 0xffff5574,
581  0xffc18000, 0xfff80011, 0xffff0000, 0xffff99b8,
582  0xffc1807d, 0xfffaaaa1, 0xffff6666, 0xffffff20,
583  0xffd65502, 0xfffcccc1, 0xfffffe82, 0xffffff22,
584  0xffe6ff9c, 0xfffff801, 0xfffffe85, 0xffffff24,
585  0xffffc180, 0xfffff811, 0xfffffe88, 0xffffff26,
586  0xffffc1fd, 0xfffff821, 0xfffffe8b, 0x00000000,
587  0xffffc27a, 0xfffff831, 0xffffffd2, 0x0000001a,
588  0xffffc2f7, 0xffffff01, 0xfffffff9, 0x0000001c,
589  0xfffff830, 0xffffffd1, 0xfffffffc, 0x0000001e,
590  0xffffffd0, 0xfffffffb, 0x00000000, 0x00000020,
591  0xffffffe0, 0xfffffffe, 0x00000002, 0x00000021,
592  0xfffffff0, 0x00000001, 0x00000004, 0x00000022,
593  0x00000000, 0x00000004, 0x00000006, 0x00000030,
594  0x00000010, 0x00000007, 0x00000022, 0x0000009d,
595  0x00000020, 0x00000031, 0x000000fc, 0x0000009e,
596  0x00000100, 0x00000178, 0x000000fe, 0x0000009f,
597  0x000007d0, 0x0000017b, 0x00000100, 0x00003353,
598  0x000007e0, 0x0000017e, 0x00006668, 0x00005575,
599  0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
600  0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
601  0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
602  0x0007ffd0, 0x00017ffb, 0x00010000, 0xffff8020,
603  0x0007ffe0, 0x00017ffe, 0xffff0002, 0xffff8021,
604  0x0007fff0, 0xfffe8001, 0xffff0004, 0xffffaaca,
605  0xfff80000, 0xfffe8004, 0xffff5556, 0xffffccec,
606  0xfff80010, 0xfffeffff, 0xffff999a, 0xffffffa0,
607  0xfffaaaa0, 0xffff6665, 0xffffff02, 0xffffffa1,
608  0xfffcccc0, 0xfffffe81, 0xffffff04, 0xffffffa2,
609  0xfffff800, 0xfffffe84, 0xffffff06, 0xffffffa3,
610  0xfffff810, 0xfffffe87, 0xffffff08, 0x00000010,
611  0xfffff820, 0xfffffe8a, 0xffffffe2, 0x0000001d,
612  0xfffff830, 0xffffffd1, 0xfffffffc, 0x0000001e,
613  0xffffff00, 0xfffffff8, 0xfffffffe, 0x0000001f,
614};
615const unsigned kExpectedCount_NEON_smlsl2_4S = 576;
616
617#endif  // VIXL_SIM_SMLSL2_4S_TRACE_AARCH64_H_
618