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