• 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_SSUBW2_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_SSUBW2_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_ssubw2_4S[] = {
38   0xfffffe03, 0xffffff02, 0x007f7d01, 0x00000000,
39   0xfffffe02, 0xffffff01, 0x007ffd00, 0xffffffff,
40   0xfffffe01, 0x00007f00, 0x007ffcff, 0xfffffffe,
41   0x00007e00, 0x00007eff, 0x007ffcfe, 0xfffffff0,
42   0x00007dff, 0x00007efe, 0x007ffcf0, 0xffffff83,
43   0x00007dfe, 0x00007ef0, 0x007ffc83, 0xffffff82,
44   0x00007df0, 0x00007e83, 0x007ffc82, 0xffffff81,
45   0x00007d83, 0x00007e82, 0x007ffc81, 0xffffcccd,
46   0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
47   0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
48   0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
49   0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
50   0xfffffe03, 0xffffff02, 0x007f7d01, 0x00008000,
51   0xfffffe02, 0xffffff01, 0x00807d00, 0x00007fff,
52   0xfffffe01, 0x0000ff00, 0x00807cff, 0x00005556,
53   0x0000fe00, 0x0000feff, 0x00805256, 0x00003334,
54   0x0000fdff, 0x0000d456, 0x00803034, 0x00000080,
55   0x0000d356, 0x0000b234, 0x007ffd80, 0x0000007f,
56   0x0000b134, 0x00007f80, 0x007ffd7f, 0x0000007e,
57   0x00007e80, 0x00007f7f, 0x007ffd7e, 0x0000007d,
58   0x00007e7f, 0x00007f7e, 0x007ffd7d, 0x00000010,
59   0x00007e7e, 0x00007f7d, 0x007ffd10, 0x00000003,
60   0x00007e7d, 0x00007f10, 0x007ffd03, 0x00000002,
61   0x00007e10, 0x00007f03, 0x007ffd02, 0x00000001,
62   0x00007f03, 0x007ffd02, 0x00000001, 0x00000001,
63   0x00007f02, 0x007ffd01, 0x00000000, 0x00000000,
64   0x00007f01, 0x007ffd00, 0xffffffff, 0xffffffff,
65   0x00007f00, 0x007ffcff, 0xfffffffe, 0xfffffff1,
66   0x00007eff, 0x007ffcfe, 0xfffffff0, 0xffffff84,
67   0x00007efe, 0x007ffcf0, 0xffffff83, 0xffffff83,
68   0x00007ef0, 0x007ffc83, 0xffffff82, 0xffffff82,
69   0x00007e83, 0x007ffc82, 0xffffff81, 0xffffccce,
70   0x00007e82, 0x007ffc81, 0xffffcccd, 0xffffaaac,
71   0x00007e81, 0x007fc9cd, 0xffffaaab, 0xffff8004,
72   0x00004bcd, 0x007fa7ab, 0xffff8003, 0xffff8003,
73   0x000029ab, 0x007f7d03, 0xffff8002, 0xffff8002,
74   0xffffff03, 0x007f7d02, 0xffff8001, 0x00008001,
75   0xffffff02, 0x007f7d01, 0x00008000, 0x00008000,
76   0xffffff01, 0x00807d00, 0x00007fff, 0x00005557,
77   0x0000ff00, 0x00807cff, 0x00005556, 0x00003335,
78   0x0000feff, 0x00805256, 0x00003334, 0x00000081,
79   0x0000d456, 0x00803034, 0x00000080, 0x00000080,
80   0x0000b234, 0x007ffd80, 0x0000007f, 0x0000007f,
81   0x00007f80, 0x007ffd7f, 0x0000007e, 0x0000007e,
82   0x00007f7f, 0x007ffd7e, 0x0000007d, 0x00000011,
83   0x00007f7e, 0x007ffd7d, 0x00000010, 0x00000004,
84   0x00007f7d, 0x007ffd10, 0x00000003, 0x00000003,
85   0x00007f10, 0x007ffd03, 0x00000002, 0x00000002,
86   0x007ffd03, 0x00000002, 0x00000002, 0x00000002,
87   0x007ffd02, 0x00000001, 0x00000001, 0x00000001,
88   0x007ffd01, 0x00000000, 0x00000000, 0x00000000,
89   0x007ffd00, 0xffffffff, 0xffffffff, 0xfffffff2,
90   0x007ffcff, 0xfffffffe, 0xfffffff1, 0xffffff85,
91   0x007ffcfe, 0xfffffff0, 0xffffff84, 0xffffff84,
92   0x007ffcf0, 0xffffff83, 0xffffff83, 0xffffff83,
93   0x007ffc83, 0xffffff82, 0xffffff82, 0xffffcccf,
94   0x007ffc82, 0xffffff81, 0xffffccce, 0xffffaaad,
95   0x007ffc81, 0xffffcccd, 0xffffaaac, 0xffff8005,
96   0x007fc9cd, 0xffffaaab, 0xffff8004, 0xffff8004,
97   0x007fa7ab, 0xffff8003, 0xffff8003, 0xffff8003,
98   0x007f7d03, 0xffff8002, 0xffff8002, 0x00008002,
99   0x007f7d02, 0xffff8001, 0x00008001, 0x00008001,
100   0x007f7d01, 0x00008000, 0x00008000, 0x00005558,
101   0x00807d00, 0x00007fff, 0x00005557, 0x00003336,
102   0x00807cff, 0x00005556, 0x00003335, 0x00000082,
103   0x00805256, 0x00003334, 0x00000081, 0x00000081,
104   0x00803034, 0x00000080, 0x00000080, 0x00000080,
105   0x007ffd80, 0x0000007f, 0x0000007f, 0x0000007f,
106   0x007ffd7f, 0x0000007e, 0x0000007e, 0x00000012,
107   0x007ffd7e, 0x0000007d, 0x00000011, 0x00000005,
108   0x007ffd7d, 0x00000010, 0x00000004, 0x00000004,
109   0x007ffd10, 0x00000003, 0x00000003, 0x00000003,
110   0x00000003, 0x00000003, 0x00000003, 0x00000020,
111   0x00000002, 0x00000002, 0x00000002, 0x0000001f,
112   0x00000001, 0x00000001, 0x00000001, 0x0000001e,
113   0x00000000, 0x00000000, 0x00000000, 0x00000010,
114   0xffffffff, 0xffffffff, 0xfffffff2, 0xffffffa3,
115   0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffffa2,
116   0xfffffff0, 0xffffff84, 0xffffff84, 0xffffffa1,
117   0xffffff83, 0xffffff83, 0xffffff83, 0xffffcced,
118   0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaacb,
119   0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8023,
120   0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8022,
121   0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8021,
122   0xffff8003, 0xffff8003, 0xffff8003, 0x00008020,
123   0xffff8002, 0xffff8002, 0x00008002, 0x0000801f,
124   0xffff8001, 0x00008001, 0x00008001, 0x00005576,
125   0x00008000, 0x00008000, 0x00005558, 0x00003354,
126   0x00007fff, 0x00005557, 0x00003336, 0x000000a0,
127   0x00005556, 0x00003335, 0x00000082, 0x0000009f,
128   0x00003334, 0x00000081, 0x00000081, 0x0000009e,
129   0x00000080, 0x00000080, 0x00000080, 0x0000009d,
130   0x0000007f, 0x0000007f, 0x0000007f, 0x00000030,
131   0x0000007e, 0x0000007e, 0x00000012, 0x00000023,
132   0x0000007d, 0x00000011, 0x00000005, 0x00000022,
133   0x00000010, 0x00000004, 0x00000004, 0x00000021,
134   0x00000004, 0x00000004, 0x00000021, 0x0000007d,
135   0x00000003, 0x00000003, 0x00000020, 0x0000007c,
136   0x00000002, 0x00000002, 0x0000001f, 0x0000007b,
137   0x00000001, 0x00000001, 0x0000001e, 0x0000006d,
138   0x00000000, 0x00000000, 0x00000010, 0x00000000,
139   0xffffffff, 0xfffffff2, 0xffffffa3, 0xffffffff,
140   0xfffffff1, 0xffffff85, 0xffffffa2, 0xfffffffe,
141   0xffffff84, 0xffffff84, 0xffffffa1, 0xffffcd4a,
142   0xffffff83, 0xffffff83, 0xffffcced, 0xffffab28,
143   0xffffff82, 0xffffcccf, 0xffffaacb, 0xffff8080,
144   0xffffccce, 0xffffaaad, 0xffff8023, 0xffff807f,
145   0xffffaaac, 0xffff8005, 0xffff8022, 0xffff807e,
146   0xffff8004, 0xffff8004, 0xffff8021, 0x0000807d,
147   0xffff8003, 0xffff8003, 0x00008020, 0x0000807c,
148   0xffff8002, 0x00008002, 0x0000801f, 0x000055d3,
149   0x00008001, 0x00008001, 0x00005576, 0x000033b1,
150   0x00008000, 0x00005558, 0x00003354, 0x000000fd,
151   0x00005557, 0x00003336, 0x000000a0, 0x000000fc,
152   0x00003335, 0x00000082, 0x0000009f, 0x000000fb,
153   0x00000081, 0x00000081, 0x0000009e, 0x000000fa,
154   0x00000080, 0x00000080, 0x0000009d, 0x0000008d,
155   0x0000007f, 0x0000007f, 0x00000030, 0x00000080,
156   0x0000007e, 0x00000012, 0x00000023, 0x0000007f,
157   0x00000011, 0x00000005, 0x00000022, 0x0000007e,
158   0x00000005, 0x00000022, 0x0000007e, 0x0000007e,
159   0x00000004, 0x00000021, 0x0000007d, 0x0000007d,
160   0x00000003, 0x00000020, 0x0000007c, 0x0000007c,
161   0x00000002, 0x0000001f, 0x0000007b, 0x0000006e,
162   0x00000001, 0x0000001e, 0x0000006d, 0x00000001,
163   0x00000000, 0x00000010, 0x00000000, 0x00000000,
164   0xfffffff2, 0xffffffa3, 0xffffffff, 0xffffffff,
165   0xffffff85, 0xffffffa2, 0xfffffffe, 0xffffcd4b,
166   0xffffff84, 0xffffffa1, 0xffffcd4a, 0xffffab29,
167   0xffffff83, 0xffffcced, 0xffffab28, 0xffff8081,
168   0xffffcccf, 0xffffaacb, 0xffff8080, 0xffff8080,
169   0xffffaaad, 0xffff8023, 0xffff807f, 0xffff807f,
170   0xffff8005, 0xffff8022, 0xffff807e, 0x0000807e,
171   0xffff8004, 0xffff8021, 0x0000807d, 0x0000807d,
172   0xffff8003, 0x00008020, 0x0000807c, 0x000055d4,
173   0x00008002, 0x0000801f, 0x000055d3, 0x000033b2,
174   0x00008001, 0x00005576, 0x000033b1, 0x000000fe,
175   0x00005558, 0x00003354, 0x000000fd, 0x000000fd,
176   0x00003336, 0x000000a0, 0x000000fc, 0x000000fc,
177   0x00000082, 0x0000009f, 0x000000fb, 0x000000fb,
178   0x00000081, 0x0000009e, 0x000000fa, 0x0000008e,
179   0x00000080, 0x0000009d, 0x0000008d, 0x00000081,
180   0x0000007f, 0x00000030, 0x00000080, 0x00000080,
181   0x00000012, 0x00000023, 0x0000007f, 0x0000007f,
182   0x00000023, 0x0000007f, 0x0000007f, 0x0000007f,
183   0x00000022, 0x0000007e, 0x0000007e, 0x0000007e,
184   0x00000021, 0x0000007d, 0x0000007d, 0x0000007d,
185   0x00000020, 0x0000007c, 0x0000007c, 0x0000006f,
186   0x0000001f, 0x0000007b, 0x0000006e, 0x00000002,
187   0x0000001e, 0x0000006d, 0x00000001, 0x00000001,
188   0x00000010, 0x00000000, 0x00000000, 0x00000000,
189   0xffffffa3, 0xffffffff, 0xffffffff, 0xffffcd4c,
190   0xffffffa2, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
191   0xffffffa1, 0xffffcd4a, 0xffffab29, 0xffff8082,
192   0xffffcced, 0xffffab28, 0xffff8081, 0xffff8081,
193   0xffffaacb, 0xffff8080, 0xffff8080, 0xffff8080,
194   0xffff8023, 0xffff807f, 0xffff807f, 0x0000807f,
195   0xffff8022, 0xffff807e, 0x0000807e, 0x0000807e,
196   0xffff8021, 0x0000807d, 0x0000807d, 0x000055d5,
197   0x00008020, 0x0000807c, 0x000055d4, 0x000033b3,
198   0x0000801f, 0x000055d3, 0x000033b2, 0x000000ff,
199   0x00005576, 0x000033b1, 0x000000fe, 0x000000fe,
200   0x00003354, 0x000000fd, 0x000000fd, 0x000000fd,
201   0x000000a0, 0x000000fc, 0x000000fc, 0x000000fc,
202   0x0000009f, 0x000000fb, 0x000000fb, 0x0000008f,
203   0x0000009e, 0x000000fa, 0x0000008e, 0x00000082,
204   0x0000009d, 0x0000008d, 0x00000081, 0x00000081,
205   0x00000030, 0x00000080, 0x00000080, 0x00000080,
206   0x00000080, 0x00000080, 0x00000080, 0x00007ffd,
207   0x0000007f, 0x0000007f, 0x0000007f, 0x00007ffc,
208   0x0000007e, 0x0000007e, 0x0000007e, 0x00007ffb,
209   0x0000007d, 0x0000007d, 0x0000007d, 0x00007fed,
210   0x0000007c, 0x0000007c, 0x0000006f, 0x00007f80,
211   0x0000007b, 0x0000006e, 0x00000002, 0x00007f7f,
212   0x0000006d, 0x00000001, 0x00000001, 0x00007f7e,
213   0x00000000, 0x00000000, 0x00000000, 0x00004cca,
214   0xffffffff, 0xffffffff, 0xffffcd4c, 0x00002aa8,
215   0xfffffffe, 0xffffcd4b, 0xffffab2a, 0x00000000,
216   0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffffff,
217   0xffffab28, 0xffff8081, 0xffff8081, 0xfffffffe,
218   0xffff8080, 0xffff8080, 0xffff8080, 0x0000fffd,
219   0xffff807f, 0xffff807f, 0x0000807f, 0x0000fffc,
220   0xffff807e, 0x0000807e, 0x0000807e, 0x0000d553,
221   0x0000807d, 0x0000807d, 0x000055d5, 0x0000b331,
222   0x0000807c, 0x000055d4, 0x000033b3, 0x0000807d,
223   0x000055d3, 0x000033b2, 0x000000ff, 0x0000807c,
224   0x000033b1, 0x000000fe, 0x000000fe, 0x0000807b,
225   0x000000fd, 0x000000fd, 0x000000fd, 0x0000807a,
226   0x000000fc, 0x000000fc, 0x000000fc, 0x0000800d,
227   0x000000fb, 0x000000fb, 0x0000008f, 0x00008000,
228   0x000000fa, 0x0000008e, 0x00000082, 0x00007fff,
229   0x0000008d, 0x00000081, 0x00000081, 0x00007ffe,
230   0x00000081, 0x00000081, 0x00007ffe, 0x00007ffe,
231   0x00000080, 0x00000080, 0x00007ffd, 0x00007ffd,
232   0x0000007f, 0x0000007f, 0x00007ffc, 0x00007ffc,
233   0x0000007e, 0x0000007e, 0x00007ffb, 0x00007fee,
234   0x0000007d, 0x0000007d, 0x00007fed, 0x00007f81,
235   0x0000007c, 0x0000006f, 0x00007f80, 0x00007f80,
236   0x0000006e, 0x00000002, 0x00007f7f, 0x00007f7f,
237   0x00000001, 0x00000001, 0x00007f7e, 0x00004ccb,
238   0x00000000, 0x00000000, 0x00004cca, 0x00002aa9,
239   0xffffffff, 0xffffcd4c, 0x00002aa8, 0x00000001,
240   0xffffcd4b, 0xffffab2a, 0x00000000, 0x00000000,
241   0xffffab29, 0xffff8082, 0xffffffff, 0xffffffff,
242   0xffff8081, 0xffff8081, 0xfffffffe, 0x0000fffe,
243   0xffff8080, 0xffff8080, 0x0000fffd, 0x0000fffd,
244   0xffff807f, 0x0000807f, 0x0000fffc, 0x0000d554,
245   0x0000807e, 0x0000807e, 0x0000d553, 0x0000b332,
246   0x0000807d, 0x000055d5, 0x0000b331, 0x0000807e,
247   0x000055d4, 0x000033b3, 0x0000807d, 0x0000807d,
248   0x000033b2, 0x000000ff, 0x0000807c, 0x0000807c,
249   0x000000fe, 0x000000fe, 0x0000807b, 0x0000807b,
250   0x000000fd, 0x000000fd, 0x0000807a, 0x0000800e,
251   0x000000fc, 0x000000fc, 0x0000800d, 0x00008001,
252   0x000000fb, 0x0000008f, 0x00008000, 0x00008000,
253   0x0000008e, 0x00000082, 0x00007fff, 0x00007fff,
254   0x00000082, 0x00007fff, 0x00007fff, 0x00007fff,
255   0x00000081, 0x00007ffe, 0x00007ffe, 0x00007ffe,
256   0x00000080, 0x00007ffd, 0x00007ffd, 0x00007ffd,
257   0x0000007f, 0x00007ffc, 0x00007ffc, 0x00007fef,
258   0x0000007e, 0x00007ffb, 0x00007fee, 0x00007f82,
259   0x0000007d, 0x00007fed, 0x00007f81, 0x00007f81,
260   0x0000006f, 0x00007f80, 0x00007f80, 0x00007f80,
261   0x00000002, 0x00007f7f, 0x00007f7f, 0x00004ccc,
262   0x00000001, 0x00007f7e, 0x00004ccb, 0x00002aaa,
263   0x00000000, 0x00004cca, 0x00002aa9, 0x00000002,
264   0xffffcd4c, 0x00002aa8, 0x00000001, 0x00000001,
265   0xffffab2a, 0x00000000, 0x00000000, 0x00000000,
266   0xffff8082, 0xffffffff, 0xffffffff, 0x0000ffff,
267   0xffff8081, 0xfffffffe, 0x0000fffe, 0x0000fffe,
268   0xffff8080, 0x0000fffd, 0x0000fffd, 0x0000d555,
269   0x0000807f, 0x0000fffc, 0x0000d554, 0x0000b333,
270   0x0000807e, 0x0000d553, 0x0000b332, 0x0000807f,
271   0x000055d5, 0x0000b331, 0x0000807e, 0x0000807e,
272   0x000033b3, 0x0000807d, 0x0000807d, 0x0000807d,
273   0x000000ff, 0x0000807c, 0x0000807c, 0x0000807c,
274   0x000000fe, 0x0000807b, 0x0000807b, 0x0000800f,
275   0x000000fd, 0x0000807a, 0x0000800e, 0x00008002,
276   0x000000fc, 0x0000800d, 0x00008001, 0x00008001,
277   0x0000008f, 0x00008000, 0x00008000, 0x00008000,
278   0x00008000, 0x00008000, 0x00008000, 0x33333333,
279   0x00007fff, 0x00007fff, 0x00007fff, 0x33333332,
280   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x33333331,
281   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x33333323,
282   0x00007ffc, 0x00007ffc, 0x00007fef, 0x333332b6,
283   0x00007ffb, 0x00007fee, 0x00007f82, 0x333332b5,
284   0x00007fed, 0x00007f81, 0x00007f81, 0x333332b4,
285   0x00007f80, 0x00007f80, 0x00007f80, 0x33330000,
286   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x3332ddde,
287   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x3332b336,
288   0x00004cca, 0x00002aa9, 0x00000002, 0x3332b335,
289   0x00002aa8, 0x00000001, 0x00000001, 0x3332b334,
290   0x00000000, 0x00000000, 0x00000000, 0x3333b333,
291   0xffffffff, 0xffffffff, 0x0000ffff, 0x3333b332,
292   0xfffffffe, 0x0000fffe, 0x0000fffe, 0x33338889,
293   0x0000fffd, 0x0000fffd, 0x0000d555, 0x33336667,
294   0x0000fffc, 0x0000d554, 0x0000b333, 0x333333b3,
295   0x0000d553, 0x0000b332, 0x0000807f, 0x333333b2,
296   0x0000b331, 0x0000807e, 0x0000807e, 0x333333b1,
297   0x0000807d, 0x0000807d, 0x0000807d, 0x333333b0,
298   0x0000807c, 0x0000807c, 0x0000807c, 0x33333343,
299   0x0000807b, 0x0000807b, 0x0000800f, 0x33333336,
300   0x0000807a, 0x0000800e, 0x00008002, 0x33333335,
301   0x0000800d, 0x00008001, 0x00008001, 0x33333334,
302   0x00008001, 0x00008001, 0x33333334, 0x55555555,
303   0x00008000, 0x00008000, 0x33333333, 0x55555554,
304   0x00007fff, 0x00007fff, 0x33333332, 0x55555553,
305   0x00007ffe, 0x00007ffe, 0x33333331, 0x55555545,
306   0x00007ffd, 0x00007ffd, 0x33333323, 0x555554d8,
307   0x00007ffc, 0x00007fef, 0x333332b6, 0x555554d7,
308   0x00007fee, 0x00007f82, 0x333332b5, 0x555554d6,
309   0x00007f81, 0x00007f81, 0x333332b4, 0x55552222,
310   0x00007f80, 0x00007f80, 0x33330000, 0x55550000,
311   0x00007f7f, 0x00004ccc, 0x3332ddde, 0x5554d558,
312   0x00004ccb, 0x00002aaa, 0x3332b336, 0x5554d557,
313   0x00002aa9, 0x00000002, 0x3332b335, 0x5554d556,
314   0x00000001, 0x00000001, 0x3332b334, 0x5555d555,
315   0x00000000, 0x00000000, 0x3333b333, 0x5555d554,
316   0xffffffff, 0x0000ffff, 0x3333b332, 0x5555aaab,
317   0x0000fffe, 0x0000fffe, 0x33338889, 0x55558889,
318   0x0000fffd, 0x0000d555, 0x33336667, 0x555555d5,
319   0x0000d554, 0x0000b333, 0x333333b3, 0x555555d4,
320   0x0000b332, 0x0000807f, 0x333333b2, 0x555555d3,
321   0x0000807e, 0x0000807e, 0x333333b1, 0x555555d2,
322   0x0000807d, 0x0000807d, 0x333333b0, 0x55555565,
323   0x0000807c, 0x0000807c, 0x33333343, 0x55555558,
324   0x0000807b, 0x0000800f, 0x33333336, 0x55555557,
325   0x0000800e, 0x00008002, 0x33333335, 0x55555556,
326   0x00008002, 0x33333335, 0x55555556, 0x7ffffffd,
327   0x00008001, 0x33333334, 0x55555555, 0x7ffffffc,
328   0x00008000, 0x33333333, 0x55555554, 0x7ffffffb,
329   0x00007fff, 0x33333332, 0x55555553, 0x7fffffed,
330   0x00007ffe, 0x33333331, 0x55555545, 0x7fffff80,
331   0x00007ffd, 0x33333323, 0x555554d8, 0x7fffff7f,
332   0x00007fef, 0x333332b6, 0x555554d7, 0x7fffff7e,
333   0x00007f82, 0x333332b5, 0x555554d6, 0x7fffccca,
334   0x00007f81, 0x333332b4, 0x55552222, 0x7fffaaa8,
335   0x00007f80, 0x33330000, 0x55550000, 0x7fff8000,
336   0x00004ccc, 0x3332ddde, 0x5554d558, 0x7fff7fff,
337   0x00002aaa, 0x3332b336, 0x5554d557, 0x7fff7ffe,
338   0x00000002, 0x3332b335, 0x5554d556, 0x80007ffd,
339   0x00000001, 0x3332b334, 0x5555d555, 0x80007ffc,
340   0x00000000, 0x3333b333, 0x5555d554, 0x80005553,
341   0x0000ffff, 0x3333b332, 0x5555aaab, 0x80003331,
342   0x0000fffe, 0x33338889, 0x55558889, 0x8000007d,
343   0x0000d555, 0x33336667, 0x555555d5, 0x8000007c,
344   0x0000b333, 0x333333b3, 0x555555d4, 0x8000007b,
345   0x0000807f, 0x333333b2, 0x555555d3, 0x8000007a,
346   0x0000807e, 0x333333b1, 0x555555d2, 0x8000000d,
347   0x0000807d, 0x333333b0, 0x55555565, 0x80000000,
348   0x0000807c, 0x33333343, 0x55555558, 0x7fffffff,
349   0x0000800f, 0x33333336, 0x55555557, 0x7ffffffe,
350   0x33333336, 0x55555557, 0x7ffffffe, 0x7ffffffe,
351   0x33333335, 0x55555556, 0x7ffffffd, 0x7ffffffd,
352   0x33333334, 0x55555555, 0x7ffffffc, 0x7ffffffc,
353   0x33333333, 0x55555554, 0x7ffffffb, 0x7fffffee,
354   0x33333332, 0x55555553, 0x7fffffed, 0x7fffff81,
355   0x33333331, 0x55555545, 0x7fffff80, 0x7fffff80,
356   0x33333323, 0x555554d8, 0x7fffff7f, 0x7fffff7f,
357   0x333332b6, 0x555554d7, 0x7fffff7e, 0x7fffcccb,
358   0x333332b5, 0x555554d6, 0x7fffccca, 0x7fffaaa9,
359   0x333332b4, 0x55552222, 0x7fffaaa8, 0x7fff8001,
360   0x33330000, 0x55550000, 0x7fff8000, 0x7fff8000,
361   0x3332ddde, 0x5554d558, 0x7fff7fff, 0x7fff7fff,
362   0x3332b336, 0x5554d557, 0x7fff7ffe, 0x80007ffe,
363   0x3332b335, 0x5554d556, 0x80007ffd, 0x80007ffd,
364   0x3332b334, 0x5555d555, 0x80007ffc, 0x80005554,
365   0x3333b333, 0x5555d554, 0x80005553, 0x80003332,
366   0x3333b332, 0x5555aaab, 0x80003331, 0x8000007e,
367   0x33338889, 0x55558889, 0x8000007d, 0x8000007d,
368   0x33336667, 0x555555d5, 0x8000007c, 0x8000007c,
369   0x333333b3, 0x555555d4, 0x8000007b, 0x8000007b,
370   0x333333b2, 0x555555d3, 0x8000007a, 0x8000000e,
371   0x333333b1, 0x555555d2, 0x8000000d, 0x80000001,
372   0x333333b0, 0x55555565, 0x80000000, 0x80000000,
373   0x33333343, 0x55555558, 0x7fffffff, 0x7fffffff,
374   0x55555558, 0x7fffffff, 0x7fffffff, 0x7fffffff,
375   0x55555557, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
376   0x55555556, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd,
377   0x55555555, 0x7ffffffc, 0x7ffffffc, 0x7fffffef,
378   0x55555554, 0x7ffffffb, 0x7fffffee, 0x7fffff82,
379   0x55555553, 0x7fffffed, 0x7fffff81, 0x7fffff81,
380   0x55555545, 0x7fffff80, 0x7fffff80, 0x7fffff80,
381   0x555554d8, 0x7fffff7f, 0x7fffff7f, 0x7fffcccc,
382   0x555554d7, 0x7fffff7e, 0x7fffcccb, 0x7fffaaaa,
383   0x555554d6, 0x7fffccca, 0x7fffaaa9, 0x7fff8002,
384   0x55552222, 0x7fffaaa8, 0x7fff8001, 0x7fff8001,
385   0x55550000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
386   0x5554d558, 0x7fff7fff, 0x7fff7fff, 0x80007fff,
387   0x5554d557, 0x7fff7ffe, 0x80007ffe, 0x80007ffe,
388   0x5554d556, 0x80007ffd, 0x80007ffd, 0x80005555,
389   0x5555d555, 0x80007ffc, 0x80005554, 0x80003333,
390   0x5555d554, 0x80005553, 0x80003332, 0x8000007f,
391   0x5555aaab, 0x80003331, 0x8000007e, 0x8000007e,
392   0x55558889, 0x8000007d, 0x8000007d, 0x8000007d,
393   0x555555d5, 0x8000007c, 0x8000007c, 0x8000007c,
394   0x555555d4, 0x8000007b, 0x8000007b, 0x8000000f,
395   0x555555d3, 0x8000007a, 0x8000000e, 0x80000002,
396   0x555555d2, 0x8000000d, 0x80000001, 0x80000001,
397   0x55555565, 0x80000000, 0x80000000, 0x80000000,
398   0x80000000, 0x80000000, 0x80000000, 0x80000000,
399   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
400   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
401   0x7ffffffd, 0x7ffffffd, 0x7ffffffd, 0x7ffffff0,
402   0x7ffffffc, 0x7ffffffc, 0x7fffffef, 0x7fffff83,
403   0x7ffffffb, 0x7fffffee, 0x7fffff82, 0x7fffff82,
404   0x7fffffed, 0x7fffff81, 0x7fffff81, 0x7fffff81,
405   0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffcccd,
406   0x7fffff7f, 0x7fffff7f, 0x7fffcccc, 0x7fffaaab,
407   0x7fffff7e, 0x7fffcccb, 0x7fffaaaa, 0x7fff8003,
408   0x7fffccca, 0x7fffaaa9, 0x7fff8002, 0x7fff8002,
409   0x7fffaaa8, 0x7fff8001, 0x7fff8001, 0x7fff8001,
410   0x7fff8000, 0x7fff8000, 0x7fff8000, 0x80008000,
411   0x7fff7fff, 0x7fff7fff, 0x80007fff, 0x80007fff,
412   0x7fff7ffe, 0x80007ffe, 0x80007ffe, 0x80005556,
413   0x80007ffd, 0x80007ffd, 0x80005555, 0x80003334,
414   0x80007ffc, 0x80005554, 0x80003333, 0x80000080,
415   0x80005553, 0x80003332, 0x8000007f, 0x8000007f,
416   0x80003331, 0x8000007e, 0x8000007e, 0x8000007e,
417   0x8000007d, 0x8000007d, 0x8000007d, 0x8000007d,
418   0x8000007c, 0x8000007c, 0x8000007c, 0x80000010,
419   0x8000007b, 0x8000007b, 0x8000000f, 0x80000003,
420   0x8000007a, 0x8000000e, 0x80000002, 0x80000002,
421   0x8000000d, 0x80000001, 0x80000001, 0x80000001,
422   0x80000001, 0x80000001, 0x80000001, 0x80000001,
423   0x80000000, 0x80000000, 0x80000000, 0x80000000,
424   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
425   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffff1,
426   0x7ffffffd, 0x7ffffffd, 0x7ffffff0, 0x7fffff84,
427   0x7ffffffc, 0x7fffffef, 0x7fffff83, 0x7fffff83,
428   0x7fffffee, 0x7fffff82, 0x7fffff82, 0x7fffff82,
429   0x7fffff81, 0x7fffff81, 0x7fffff81, 0x7fffccce,
430   0x7fffff80, 0x7fffff80, 0x7fffcccd, 0x7fffaaac,
431   0x7fffff7f, 0x7fffcccc, 0x7fffaaab, 0x7fff8004,
432   0x7fffcccb, 0x7fffaaaa, 0x7fff8003, 0x7fff8003,
433   0x7fffaaa9, 0x7fff8002, 0x7fff8002, 0x7fff8002,
434   0x7fff8001, 0x7fff8001, 0x7fff8001, 0x80008001,
435   0x7fff8000, 0x7fff8000, 0x80008000, 0x80008000,
436   0x7fff7fff, 0x80007fff, 0x80007fff, 0x80005557,
437   0x80007ffe, 0x80007ffe, 0x80005556, 0x80003335,
438   0x80007ffd, 0x80005555, 0x80003334, 0x80000081,
439   0x80005554, 0x80003333, 0x80000080, 0x80000080,
440   0x80003332, 0x8000007f, 0x8000007f, 0x8000007f,
441   0x8000007e, 0x8000007e, 0x8000007e, 0x8000007e,
442   0x8000007d, 0x8000007d, 0x8000007d, 0x80000011,
443   0x8000007c, 0x8000007c, 0x80000010, 0x80000004,
444   0x8000007b, 0x8000000f, 0x80000003, 0x80000003,
445   0x8000000e, 0x80000002, 0x80000002, 0x80000002,
446   0x80000002, 0x80000002, 0x80000002, 0xaaaaaaaa,
447   0x80000001, 0x80000001, 0x80000001, 0xaaaaaaa9,
448   0x80000000, 0x80000000, 0x80000000, 0xaaaaaaa8,
449   0x7fffffff, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
450   0x7ffffffe, 0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d,
451   0x7ffffffd, 0x7ffffff0, 0x7fffff84, 0xaaaaaa2c,
452   0x7fffffef, 0x7fffff83, 0x7fffff83, 0xaaaaaa2b,
453   0x7fffff82, 0x7fffff82, 0x7fffff82, 0xaaaa7777,
454   0x7fffff81, 0x7fffff81, 0x7fffccce, 0xaaaa5555,
455   0x7fffff80, 0x7fffcccd, 0x7fffaaac, 0xaaaa2aad,
456   0x7fffcccc, 0x7fffaaab, 0x7fff8004, 0xaaaa2aac,
457   0x7fffaaaa, 0x7fff8003, 0x7fff8003, 0xaaaa2aab,
458   0x7fff8002, 0x7fff8002, 0x7fff8002, 0xaaab2aaa,
459   0x7fff8001, 0x7fff8001, 0x80008001, 0xaaab2aa9,
460   0x7fff8000, 0x80008000, 0x80008000, 0xaaab0000,
461   0x80007fff, 0x80007fff, 0x80005557, 0xaaaaddde,
462   0x80007ffe, 0x80005556, 0x80003335, 0xaaaaab2a,
463   0x80005555, 0x80003334, 0x80000081, 0xaaaaab29,
464   0x80003333, 0x80000080, 0x80000080, 0xaaaaab28,
465   0x8000007f, 0x8000007f, 0x8000007f, 0xaaaaab27,
466   0x8000007e, 0x8000007e, 0x8000007e, 0xaaaaaaba,
467   0x8000007d, 0x8000007d, 0x80000011, 0xaaaaaaad,
468   0x8000007c, 0x80000010, 0x80000004, 0xaaaaaaac,
469   0x8000000f, 0x80000003, 0x80000003, 0xaaaaaaab,
470   0x80000003, 0x80000003, 0xaaaaaaab, 0xcccccccc,
471   0x80000002, 0x80000002, 0xaaaaaaaa, 0xcccccccb,
472   0x80000001, 0x80000001, 0xaaaaaaa9, 0xccccccca,
473   0x80000000, 0x80000000, 0xaaaaaaa8, 0xccccccbc,
474   0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xcccccc4f,
475   0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e,
476   0x7ffffff0, 0x7fffff84, 0xaaaaaa2c, 0xcccccc4d,
477   0x7fffff83, 0x7fffff83, 0xaaaaaa2b, 0xcccc9999,
478   0x7fffff82, 0x7fffff82, 0xaaaa7777, 0xcccc7777,
479   0x7fffff81, 0x7fffccce, 0xaaaa5555, 0xcccc4ccf,
480   0x7fffcccd, 0x7fffaaac, 0xaaaa2aad, 0xcccc4cce,
481   0x7fffaaab, 0x7fff8004, 0xaaaa2aac, 0xcccc4ccd,
482   0x7fff8003, 0x7fff8003, 0xaaaa2aab, 0xcccd4ccc,
483   0x7fff8002, 0x7fff8002, 0xaaab2aaa, 0xcccd4ccb,
484   0x7fff8001, 0x80008001, 0xaaab2aa9, 0xcccd2222,
485   0x80008000, 0x80008000, 0xaaab0000, 0xcccd0000,
486   0x80007fff, 0x80005557, 0xaaaaddde, 0xcccccd4c,
487   0x80005556, 0x80003335, 0xaaaaab2a, 0xcccccd4b,
488   0x80003334, 0x80000081, 0xaaaaab29, 0xcccccd4a,
489   0x80000080, 0x80000080, 0xaaaaab28, 0xcccccd49,
490   0x8000007f, 0x8000007f, 0xaaaaab27, 0xccccccdc,
491   0x8000007e, 0x8000007e, 0xaaaaaaba, 0xcccccccf,
492   0x8000007d, 0x80000011, 0xaaaaaaad, 0xccccccce,
493   0x80000010, 0x80000004, 0xaaaaaaac, 0xcccccccd,
494   0x80000004, 0xaaaaaaac, 0xcccccccd, 0xffff8000,
495   0x80000003, 0xaaaaaaab, 0xcccccccc, 0xffff7fff,
496   0x80000002, 0xaaaaaaaa, 0xcccccccb, 0xffff7ffe,
497   0x80000001, 0xaaaaaaa9, 0xccccccca, 0xffff7ff0,
498   0x80000000, 0xaaaaaaa8, 0xccccccbc, 0xffff7f83,
499   0x7fffffff, 0xaaaaaa9a, 0xcccccc4f, 0xffff7f82,
500   0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e, 0xffff7f81,
501   0x7fffff84, 0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd,
502   0x7fffff83, 0xaaaaaa2b, 0xcccc9999, 0xffff2aab,
503   0x7fffff82, 0xaaaa7777, 0xcccc7777, 0xffff0003,
504   0x7fffccce, 0xaaaa5555, 0xcccc4ccf, 0xffff0002,
505   0x7fffaaac, 0xaaaa2aad, 0xcccc4cce, 0xffff0001,
506   0x7fff8004, 0xaaaa2aac, 0xcccc4ccd, 0x00000000,
507   0x7fff8003, 0xaaaa2aab, 0xcccd4ccc, 0xffffffff,
508   0x7fff8002, 0xaaab2aaa, 0xcccd4ccb, 0xffffd556,
509   0x80008001, 0xaaab2aa9, 0xcccd2222, 0xffffb334,
510   0x80008000, 0xaaab0000, 0xcccd0000, 0xffff8080,
511   0x80005557, 0xaaaaddde, 0xcccccd4c, 0xffff807f,
512   0x80003335, 0xaaaaab2a, 0xcccccd4b, 0xffff807e,
513   0x80000081, 0xaaaaab29, 0xcccccd4a, 0xffff807d,
514   0x80000080, 0xaaaaab28, 0xcccccd49, 0xffff8010,
515   0x8000007f, 0xaaaaab27, 0xccccccdc, 0xffff8003,
516   0x8000007e, 0xaaaaaaba, 0xcccccccf, 0xffff8002,
517   0x80000011, 0xaaaaaaad, 0xccccccce, 0xffff8001,
518   0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8001,
519   0xaaaaaaac, 0xcccccccd, 0xffff8000, 0xffff8000,
520   0xaaaaaaab, 0xcccccccc, 0xffff7fff, 0xffff7fff,
521   0xaaaaaaaa, 0xcccccccb, 0xffff7ffe, 0xffff7ff1,
522   0xaaaaaaa9, 0xccccccca, 0xffff7ff0, 0xffff7f84,
523   0xaaaaaaa8, 0xccccccbc, 0xffff7f83, 0xffff7f83,
524   0xaaaaaa9a, 0xcccccc4f, 0xffff7f82, 0xffff7f82,
525   0xaaaaaa2d, 0xcccccc4e, 0xffff7f81, 0xffff4cce,
526   0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd, 0xffff2aac,
527   0xaaaaaa2b, 0xcccc9999, 0xffff2aab, 0xffff0004,
528   0xaaaa7777, 0xcccc7777, 0xffff0003, 0xffff0003,
529   0xaaaa5555, 0xcccc4ccf, 0xffff0002, 0xffff0002,
530   0xaaaa2aad, 0xcccc4cce, 0xffff0001, 0x00000001,
531   0xaaaa2aac, 0xcccc4ccd, 0x00000000, 0x00000000,
532   0xaaaa2aab, 0xcccd4ccc, 0xffffffff, 0xffffd557,
533   0xaaab2aaa, 0xcccd4ccb, 0xffffd556, 0xffffb335,
534   0xaaab2aa9, 0xcccd2222, 0xffffb334, 0xffff8081,
535   0xaaab0000, 0xcccd0000, 0xffff8080, 0xffff8080,
536   0xaaaaddde, 0xcccccd4c, 0xffff807f, 0xffff807f,
537   0xaaaaab2a, 0xcccccd4b, 0xffff807e, 0xffff807e,
538   0xaaaaab29, 0xcccccd4a, 0xffff807d, 0xffff8011,
539   0xaaaaab28, 0xcccccd49, 0xffff8010, 0xffff8004,
540   0xaaaaab27, 0xccccccdc, 0xffff8003, 0xffff8003,
541   0xaaaaaaba, 0xcccccccf, 0xffff8002, 0xffff8002,
542   0xcccccccf, 0xffff8002, 0xffff8002, 0xffff8002,
543   0xccccccce, 0xffff8001, 0xffff8001, 0xffff8001,
544   0xcccccccd, 0xffff8000, 0xffff8000, 0xffff8000,
545   0xcccccccc, 0xffff7fff, 0xffff7fff, 0xffff7ff2,
546   0xcccccccb, 0xffff7ffe, 0xffff7ff1, 0xffff7f85,
547   0xccccccca, 0xffff7ff0, 0xffff7f84, 0xffff7f84,
548   0xccccccbc, 0xffff7f83, 0xffff7f83, 0xffff7f83,
549   0xcccccc4f, 0xffff7f82, 0xffff7f82, 0xffff4ccf,
550   0xcccccc4e, 0xffff7f81, 0xffff4cce, 0xffff2aad,
551   0xcccccc4d, 0xffff4ccd, 0xffff2aac, 0xffff0005,
552   0xcccc9999, 0xffff2aab, 0xffff0004, 0xffff0004,
553   0xcccc7777, 0xffff0003, 0xffff0003, 0xffff0003,
554   0xcccc4ccf, 0xffff0002, 0xffff0002, 0x00000002,
555   0xcccc4cce, 0xffff0001, 0x00000001, 0x00000001,
556   0xcccc4ccd, 0x00000000, 0x00000000, 0xffffd558,
557   0xcccd4ccc, 0xffffffff, 0xffffd557, 0xffffb336,
558   0xcccd4ccb, 0xffffd556, 0xffffb335, 0xffff8082,
559   0xcccd2222, 0xffffb334, 0xffff8081, 0xffff8081,
560   0xcccd0000, 0xffff8080, 0xffff8080, 0xffff8080,
561   0xcccccd4c, 0xffff807f, 0xffff807f, 0xffff807f,
562   0xcccccd4b, 0xffff807e, 0xffff807e, 0xffff8012,
563   0xcccccd4a, 0xffff807d, 0xffff8011, 0xffff8005,
564   0xcccccd49, 0xffff8010, 0xffff8004, 0xffff8004,
565   0xccccccdc, 0xffff8003, 0xffff8003, 0xffff8003,
566   0xffff8003, 0xffff8003, 0xffff8003, 0xffff8003,
567   0xffff8002, 0xffff8002, 0xffff8002, 0xffff8002,
568   0xffff8001, 0xffff8001, 0xffff8001, 0xffff8001,
569   0xffff8000, 0xffff8000, 0xffff8000, 0xffff7ff3,
570   0xffff7fff, 0xffff7fff, 0xffff7ff2, 0xffff7f86,
571   0xffff7ffe, 0xffff7ff1, 0xffff7f85, 0xffff7f85,
572   0xffff7ff0, 0xffff7f84, 0xffff7f84, 0xffff7f84,
573   0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff4cd0,
574   0xffff7f82, 0xffff7f82, 0xffff4ccf, 0xffff2aae,
575   0xffff7f81, 0xffff4cce, 0xffff2aad, 0xffff0006,
576   0xffff4ccd, 0xffff2aac, 0xffff0005, 0xffff0005,
577   0xffff2aab, 0xffff0004, 0xffff0004, 0xffff0004,
578   0xffff0003, 0xffff0003, 0xffff0003, 0x00000003,
579   0xffff0002, 0xffff0002, 0x00000002, 0x00000002,
580   0xffff0001, 0x00000001, 0x00000001, 0xffffd559,
581   0x00000000, 0x00000000, 0xffffd558, 0xffffb337,
582   0xffffffff, 0xffffd557, 0xffffb336, 0xffff8083,
583   0xffffd556, 0xffffb335, 0xffff8082, 0xffff8082,
584   0xffffb334, 0xffff8081, 0xffff8081, 0xffff8081,
585   0xffff8080, 0xffff8080, 0xffff8080, 0xffff8080,
586   0xffff807f, 0xffff807f, 0xffff807f, 0xffff8013,
587   0xffff807e, 0xffff807e, 0xffff8012, 0xffff8006,
588   0xffff807d, 0xffff8011, 0xffff8005, 0xffff8005,
589   0xffff8010, 0xffff8004, 0xffff8004, 0xffff8004,
590   0xffff8004, 0xffff8004, 0xffff8004, 0xffffff80,
591   0xffff8003, 0xffff8003, 0xffff8003, 0xffffff7f,
592   0xffff8002, 0xffff8002, 0xffff8002, 0xffffff7e,
593   0xffff8001, 0xffff8001, 0xffff8001, 0xffffff70,
594   0xffff8000, 0xffff8000, 0xffff7ff3, 0xffffff03,
595   0xffff7fff, 0xffff7ff2, 0xffff7f86, 0xffffff02,
596   0xffff7ff1, 0xffff7f85, 0xffff7f85, 0xffffff01,
597   0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffffcc4d,
598   0xffff7f83, 0xffff7f83, 0xffff4cd0, 0xffffaa2b,
599   0xffff7f82, 0xffff4ccf, 0xffff2aae, 0xffff7f83,
600   0xffff4cce, 0xffff2aad, 0xffff0006, 0xffff7f82,
601   0xffff2aac, 0xffff0005, 0xffff0005, 0xffff7f81,
602   0xffff0004, 0xffff0004, 0xffff0004, 0x00007f80,
603   0xffff0003, 0xffff0003, 0x00000003, 0x00007f7f,
604   0xffff0002, 0x00000002, 0x00000002, 0x000054d6,
605   0x00000001, 0x00000001, 0xffffd559, 0x000032b4,
606   0x00000000, 0xffffd558, 0xffffb337, 0x00000000,
607   0xffffd557, 0xffffb336, 0xffff8083, 0xffffffff,
608   0xffffb335, 0xffff8082, 0xffff8082, 0xfffffffe,
609   0xffff8081, 0xffff8081, 0xffff8081, 0xfffffffd,
610   0xffff8080, 0xffff8080, 0xffff8080, 0xffffff90,
611   0xffff807f, 0xffff807f, 0xffff8013, 0xffffff83,
612   0xffff807e, 0xffff8012, 0xffff8006, 0xffffff82,
613   0xffff8011, 0xffff8005, 0xffff8005, 0xffffff81,
614   0xffff8005, 0xffff8005, 0xffffff81, 0xffffff81,
615   0xffff8004, 0xffff8004, 0xffffff80, 0xffffff80,
616   0xffff8003, 0xffff8003, 0xffffff7f, 0xffffff7f,
617   0xffff8002, 0xffff8002, 0xffffff7e, 0xffffff71,
618   0xffff8001, 0xffff8001, 0xffffff70, 0xffffff04,
619   0xffff8000, 0xffff7ff3, 0xffffff03, 0xffffff03,
620   0xffff7ff2, 0xffff7f86, 0xffffff02, 0xffffff02,
621   0xffff7f85, 0xffff7f85, 0xffffff01, 0xffffcc4e,
622   0xffff7f84, 0xffff7f84, 0xffffcc4d, 0xffffaa2c,
623   0xffff7f83, 0xffff4cd0, 0xffffaa2b, 0xffff7f84,
624   0xffff4ccf, 0xffff2aae, 0xffff7f83, 0xffff7f83,
625   0xffff2aad, 0xffff0006, 0xffff7f82, 0xffff7f82,
626   0xffff0005, 0xffff0005, 0xffff7f81, 0x00007f81,
627   0xffff0004, 0xffff0004, 0x00007f80, 0x00007f80,
628   0xffff0003, 0x00000003, 0x00007f7f, 0x000054d7,
629   0x00000002, 0x00000002, 0x000054d6, 0x000032b5,
630   0x00000001, 0xffffd559, 0x000032b4, 0x00000001,
631   0xffffd558, 0xffffb337, 0x00000000, 0x00000000,
632   0xffffb336, 0xffff8083, 0xffffffff, 0xffffffff,
633   0xffff8082, 0xffff8082, 0xfffffffe, 0xfffffffe,
634   0xffff8081, 0xffff8081, 0xfffffffd, 0xffffff91,
635   0xffff8080, 0xffff8080, 0xffffff90, 0xffffff84,
636   0xffff807f, 0xffff8013, 0xffffff83, 0xffffff83,
637   0xffff8012, 0xffff8006, 0xffffff82, 0xffffff82,
638   0xffff8006, 0xffffff82, 0xffffff82, 0xffffff82,
639   0xffff8005, 0xffffff81, 0xffffff81, 0xffffff81,
640   0xffff8004, 0xffffff80, 0xffffff80, 0xffffff80,
641   0xffff8003, 0xffffff7f, 0xffffff7f, 0xffffff72,
642   0xffff8002, 0xffffff7e, 0xffffff71, 0xffffff05,
643   0xffff8001, 0xffffff70, 0xffffff04, 0xffffff04,
644   0xffff7ff3, 0xffffff03, 0xffffff03, 0xffffff03,
645   0xffff7f86, 0xffffff02, 0xffffff02, 0xffffcc4f,
646   0xffff7f85, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
647   0xffff7f84, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
648   0xffff4cd0, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
649   0xffff2aae, 0xffff7f83, 0xffff7f83, 0xffff7f83,
650   0xffff0006, 0xffff7f82, 0xffff7f82, 0x00007f82,
651   0xffff0005, 0xffff7f81, 0x00007f81, 0x00007f81,
652   0xffff0004, 0x00007f80, 0x00007f80, 0x000054d8,
653   0x00000003, 0x00007f7f, 0x000054d7, 0x000032b6,
654   0x00000002, 0x000054d6, 0x000032b5, 0x00000002,
655   0xffffd559, 0x000032b4, 0x00000001, 0x00000001,
656   0xffffb337, 0x00000000, 0x00000000, 0x00000000,
657   0xffff8083, 0xffffffff, 0xffffffff, 0xffffffff,
658   0xffff8082, 0xfffffffe, 0xfffffffe, 0xffffff92,
659   0xffff8081, 0xfffffffd, 0xffffff91, 0xffffff85,
660   0xffff8080, 0xffffff90, 0xffffff84, 0xffffff84,
661   0xffff8013, 0xffffff83, 0xffffff83, 0xffffff83,
662   0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
663   0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
664   0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
665   0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
666   0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
667   0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
668   0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
669   0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
670   0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
671   0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
672   0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
673   0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
674   0xffff7f83, 0xffff7f83, 0xffff7f83, 0x00007f83,
675   0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
676   0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
677   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
678   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
679   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
680   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
681   0x00000000, 0x00000000, 0x00000000, 0x00000000,
682   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
683   0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
684   0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
685   0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
686   0xffffff84, 0xffffff84, 0xffffff84, 0xffffffe0,
687   0xffffff83, 0xffffff83, 0xffffff83, 0xffffffdf,
688   0xffffff82, 0xffffff82, 0xffffff82, 0xffffffde,
689   0xffffff81, 0xffffff81, 0xffffff81, 0xffffffd0,
690   0xffffff80, 0xffffff80, 0xffffff73, 0xffffff63,
691   0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff62,
692   0xffffff71, 0xffffff05, 0xffffff05, 0xffffff61,
693   0xffffff04, 0xffffff04, 0xffffff04, 0xffffccad,
694   0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa8b,
695   0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7fe3,
696   0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7fe2,
697   0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7fe1,
698   0xffff7f84, 0xffff7f84, 0xffff7f84, 0x00007fe0,
699   0xffff7f83, 0xffff7f83, 0x00007f83, 0x00007fdf,
700   0xffff7f82, 0x00007f82, 0x00007f82, 0x00005536,
701   0x00007f81, 0x00007f81, 0x000054d9, 0x00003314,
702   0x00007f80, 0x000054d8, 0x000032b7, 0x00000060,
703   0x000054d7, 0x000032b6, 0x00000003, 0x0000005f,
704   0x000032b5, 0x00000002, 0x00000002, 0x0000005e,
705   0x00000001, 0x00000001, 0x00000001, 0x0000005d,
706   0x00000000, 0x00000000, 0x00000000, 0xfffffff0,
707   0xffffffff, 0xffffffff, 0xffffff93, 0xffffffe3,
708   0xfffffffe, 0xffffff92, 0xffffff86, 0xffffffe2,
709   0xffffff91, 0xffffff85, 0xffffff85, 0xffffffe1,
710   0xffffff85, 0xffffff85, 0xffffffe1, 0xfffffffd,
711   0xffffff84, 0xffffff84, 0xffffffe0, 0xfffffffc,
712   0xffffff83, 0xffffff83, 0xffffffdf, 0xfffffffb,
713   0xffffff82, 0xffffff82, 0xffffffde, 0xffffffed,
714   0xffffff81, 0xffffff81, 0xffffffd0, 0xffffff80,
715   0xffffff80, 0xffffff73, 0xffffff63, 0xffffff7f,
716   0xffffff72, 0xffffff06, 0xffffff62, 0xffffff7e,
717   0xffffff05, 0xffffff05, 0xffffff61, 0xffffccca,
718   0xffffff04, 0xffffff04, 0xffffccad, 0xffffaaa8,
719   0xffffff03, 0xffffcc50, 0xffffaa8b, 0xffff8000,
720   0xffffcc4f, 0xffffaa2e, 0xffff7fe3, 0xffff7fff,
721   0xffffaa2d, 0xffff7f86, 0xffff7fe2, 0xffff7ffe,
722   0xffff7f85, 0xffff7f85, 0xffff7fe1, 0x00007ffd,
723   0xffff7f84, 0xffff7f84, 0x00007fe0, 0x00007ffc,
724   0xffff7f83, 0x00007f83, 0x00007fdf, 0x00005553,
725   0x00007f82, 0x00007f82, 0x00005536, 0x00003331,
726   0x00007f81, 0x000054d9, 0x00003314, 0x0000007d,
727   0x000054d8, 0x000032b7, 0x00000060, 0x0000007c,
728   0x000032b6, 0x00000003, 0x0000005f, 0x0000007b,
729   0x00000002, 0x00000002, 0x0000005e, 0x0000007a,
730   0x00000001, 0x00000001, 0x0000005d, 0x0000000d,
731   0x00000000, 0x00000000, 0xfffffff0, 0x00000000,
732   0xffffffff, 0xffffff93, 0xffffffe3, 0xffffffff,
733   0xffffff92, 0xffffff86, 0xffffffe2, 0xfffffffe,
734   0xffffff86, 0xffffffe2, 0xfffffffe, 0xfffffffe,
735   0xffffff85, 0xffffffe1, 0xfffffffd, 0xfffffffd,
736   0xffffff84, 0xffffffe0, 0xfffffffc, 0xfffffffc,
737   0xffffff83, 0xffffffdf, 0xfffffffb, 0xffffffee,
738   0xffffff82, 0xffffffde, 0xffffffed, 0xffffff81,
739   0xffffff81, 0xffffffd0, 0xffffff80, 0xffffff80,
740   0xffffff73, 0xffffff63, 0xffffff7f, 0xffffff7f,
741   0xffffff06, 0xffffff62, 0xffffff7e, 0xffffcccb,
742   0xffffff05, 0xffffff61, 0xffffccca, 0xffffaaa9,
743   0xffffff04, 0xffffccad, 0xffffaaa8, 0xffff8001,
744   0xffffcc50, 0xffffaa8b, 0xffff8000, 0xffff8000,
745   0xffffaa2e, 0xffff7fe3, 0xffff7fff, 0xffff7fff,
746   0xffff7f86, 0xffff7fe2, 0xffff7ffe, 0x00007ffe,
747   0xffff7f85, 0xffff7fe1, 0x00007ffd, 0x00007ffd,
748   0xffff7f84, 0x00007fe0, 0x00007ffc, 0x00005554,
749   0x00007f83, 0x00007fdf, 0x00005553, 0x00003332,
750   0x00007f82, 0x00005536, 0x00003331, 0x0000007e,
751   0x000054d9, 0x00003314, 0x0000007d, 0x0000007d,
752   0x000032b7, 0x00000060, 0x0000007c, 0x0000007c,
753   0x00000003, 0x0000005f, 0x0000007b, 0x0000007b,
754   0x00000002, 0x0000005e, 0x0000007a, 0x0000000e,
755   0x00000001, 0x0000005d, 0x0000000d, 0x00000001,
756   0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
757   0xffffff93, 0xffffffe3, 0xffffffff, 0xffffffff,
758   0xffffffe3, 0xffffffff, 0xffffffff, 0xffffffff,
759   0xffffffe2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
760   0xffffffe1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
761   0xffffffe0, 0xfffffffc, 0xfffffffc, 0xffffffef,
762   0xffffffdf, 0xfffffffb, 0xffffffee, 0xffffff82,
763   0xffffffde, 0xffffffed, 0xffffff81, 0xffffff81,
764   0xffffffd0, 0xffffff80, 0xffffff80, 0xffffff80,
765   0xffffff63, 0xffffff7f, 0xffffff7f, 0xffffcccc,
766   0xffffff62, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
767   0xffffff61, 0xffffccca, 0xffffaaa9, 0xffff8002,
768   0xffffccad, 0xffffaaa8, 0xffff8001, 0xffff8001,
769   0xffffaa8b, 0xffff8000, 0xffff8000, 0xffff8000,
770   0xffff7fe3, 0xffff7fff, 0xffff7fff, 0x00007fff,
771   0xffff7fe2, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
772   0xffff7fe1, 0x00007ffd, 0x00007ffd, 0x00005555,
773   0x00007fe0, 0x00007ffc, 0x00005554, 0x00003333,
774   0x00007fdf, 0x00005553, 0x00003332, 0x0000007f,
775   0x00005536, 0x00003331, 0x0000007e, 0x0000007e,
776   0x00003314, 0x0000007d, 0x0000007d, 0x0000007d,
777   0x00000060, 0x0000007c, 0x0000007c, 0x0000007c,
778   0x0000005f, 0x0000007b, 0x0000007b, 0x0000000f,
779   0x0000005e, 0x0000007a, 0x0000000e, 0x00000002,
780   0x0000005d, 0x0000000d, 0x00000001, 0x00000001,
781   0xfffffff0, 0x00000000, 0x00000000, 0x00000000,
782 };
783 const unsigned kExpectedCount_NEON_ssubw2_4S = 744;
784 
785 #endif  // VIXL_SIM_SSUBW2_4S_TRACE_AARCH64_H_
786