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