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
37const 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};
783const unsigned kExpectedCount_NEON_saddw_4S = 744;
784
785#endif  // VIXL_SIM_SADDW_4S_TRACE_AARCH64_H_
786