1 // Copyright 2015, ARM Limited 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_USHLL2_2D_2OPIMM_TRACE_A64_H_ 35 #define VIXL_SIM_USHLL2_2D_2OPIMM_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_ushll2_2D_2OPIMM[] = { 38 0x00000000ffffffff, 0x0000000000000000, 39 0x00000001fffffffe, 0x0000000000000000, 40 0x00000003fffffffc, 0x0000000000000000, 41 0x00000007fffffff8, 0x0000000000000000, 42 0x0000000ffffffff0, 0x0000000000000000, 43 0x0000001fffffffe0, 0x0000000000000000, 44 0x0000003fffffffc0, 0x0000000000000000, 45 0x0000007fffffff80, 0x0000000000000000, 46 0x000000ffffffff00, 0x0000000000000000, 47 0x000001fffffffe00, 0x0000000000000000, 48 0x000003fffffffc00, 0x0000000000000000, 49 0x000007fffffff800, 0x0000000000000000, 50 0x00000ffffffff000, 0x0000000000000000, 51 0x00001fffffffe000, 0x0000000000000000, 52 0x00003fffffffc000, 0x0000000000000000, 53 0x00007fffffff8000, 0x0000000000000000, 54 0x0000ffffffff0000, 0x0000000000000000, 55 0x0001fffffffe0000, 0x0000000000000000, 56 0x0003fffffffc0000, 0x0000000000000000, 57 0x0007fffffff80000, 0x0000000000000000, 58 0x000ffffffff00000, 0x0000000000000000, 59 0x001fffffffe00000, 0x0000000000000000, 60 0x003fffffffc00000, 0x0000000000000000, 61 0x007fffffff800000, 0x0000000000000000, 62 0x00ffffffff000000, 0x0000000000000000, 63 0x01fffffffe000000, 0x0000000000000000, 64 0x03fffffffc000000, 0x0000000000000000, 65 0x07fffffff8000000, 0x0000000000000000, 66 0x0ffffffff0000000, 0x0000000000000000, 67 0x1fffffffe0000000, 0x0000000000000000, 68 0x3fffffffc0000000, 0x0000000000000000, 69 0x7fffffff80000000, 0x0000000000000000, 70 0x0000000000000000, 0x0000000000000001, 71 0x0000000000000000, 0x0000000000000002, 72 0x0000000000000000, 0x0000000000000004, 73 0x0000000000000000, 0x0000000000000008, 74 0x0000000000000000, 0x0000000000000010, 75 0x0000000000000000, 0x0000000000000020, 76 0x0000000000000000, 0x0000000000000040, 77 0x0000000000000000, 0x0000000000000080, 78 0x0000000000000000, 0x0000000000000100, 79 0x0000000000000000, 0x0000000000000200, 80 0x0000000000000000, 0x0000000000000400, 81 0x0000000000000000, 0x0000000000000800, 82 0x0000000000000000, 0x0000000000001000, 83 0x0000000000000000, 0x0000000000002000, 84 0x0000000000000000, 0x0000000000004000, 85 0x0000000000000000, 0x0000000000008000, 86 0x0000000000000000, 0x0000000000010000, 87 0x0000000000000000, 0x0000000000020000, 88 0x0000000000000000, 0x0000000000040000, 89 0x0000000000000000, 0x0000000000080000, 90 0x0000000000000000, 0x0000000000100000, 91 0x0000000000000000, 0x0000000000200000, 92 0x0000000000000000, 0x0000000000400000, 93 0x0000000000000000, 0x0000000000800000, 94 0x0000000000000000, 0x0000000001000000, 95 0x0000000000000000, 0x0000000002000000, 96 0x0000000000000000, 0x0000000004000000, 97 0x0000000000000000, 0x0000000008000000, 98 0x0000000000000000, 0x0000000010000000, 99 0x0000000000000000, 0x0000000020000000, 100 0x0000000000000000, 0x0000000040000000, 101 0x0000000000000000, 0x0000000080000000, 102 0x0000000000000001, 0x0000000000000002, 103 0x0000000000000002, 0x0000000000000004, 104 0x0000000000000004, 0x0000000000000008, 105 0x0000000000000008, 0x0000000000000010, 106 0x0000000000000010, 0x0000000000000020, 107 0x0000000000000020, 0x0000000000000040, 108 0x0000000000000040, 0x0000000000000080, 109 0x0000000000000080, 0x0000000000000100, 110 0x0000000000000100, 0x0000000000000200, 111 0x0000000000000200, 0x0000000000000400, 112 0x0000000000000400, 0x0000000000000800, 113 0x0000000000000800, 0x0000000000001000, 114 0x0000000000001000, 0x0000000000002000, 115 0x0000000000002000, 0x0000000000004000, 116 0x0000000000004000, 0x0000000000008000, 117 0x0000000000008000, 0x0000000000010000, 118 0x0000000000010000, 0x0000000000020000, 119 0x0000000000020000, 0x0000000000040000, 120 0x0000000000040000, 0x0000000000080000, 121 0x0000000000080000, 0x0000000000100000, 122 0x0000000000100000, 0x0000000000200000, 123 0x0000000000200000, 0x0000000000400000, 124 0x0000000000400000, 0x0000000000800000, 125 0x0000000000800000, 0x0000000001000000, 126 0x0000000001000000, 0x0000000002000000, 127 0x0000000002000000, 0x0000000004000000, 128 0x0000000004000000, 0x0000000008000000, 129 0x0000000008000000, 0x0000000010000000, 130 0x0000000010000000, 0x0000000020000000, 131 0x0000000020000000, 0x0000000040000000, 132 0x0000000040000000, 0x0000000080000000, 133 0x0000000080000000, 0x0000000100000000, 134 0x0000000000000002, 0x0000000000000020, 135 0x0000000000000004, 0x0000000000000040, 136 0x0000000000000008, 0x0000000000000080, 137 0x0000000000000010, 0x0000000000000100, 138 0x0000000000000020, 0x0000000000000200, 139 0x0000000000000040, 0x0000000000000400, 140 0x0000000000000080, 0x0000000000000800, 141 0x0000000000000100, 0x0000000000001000, 142 0x0000000000000200, 0x0000000000002000, 143 0x0000000000000400, 0x0000000000004000, 144 0x0000000000000800, 0x0000000000008000, 145 0x0000000000001000, 0x0000000000010000, 146 0x0000000000002000, 0x0000000000020000, 147 0x0000000000004000, 0x0000000000040000, 148 0x0000000000008000, 0x0000000000080000, 149 0x0000000000010000, 0x0000000000100000, 150 0x0000000000020000, 0x0000000000200000, 151 0x0000000000040000, 0x0000000000400000, 152 0x0000000000080000, 0x0000000000800000, 153 0x0000000000100000, 0x0000000001000000, 154 0x0000000000200000, 0x0000000002000000, 155 0x0000000000400000, 0x0000000004000000, 156 0x0000000000800000, 0x0000000008000000, 157 0x0000000001000000, 0x0000000010000000, 158 0x0000000002000000, 0x0000000020000000, 159 0x0000000004000000, 0x0000000040000000, 160 0x0000000008000000, 0x0000000080000000, 161 0x0000000010000000, 0x0000000100000000, 162 0x0000000020000000, 0x0000000200000000, 163 0x0000000040000000, 0x0000000400000000, 164 0x0000000080000000, 0x0000000800000000, 165 0x0000000100000000, 0x0000001000000000, 166 0x0000000000000020, 0x000000000000007d, 167 0x0000000000000040, 0x00000000000000fa, 168 0x0000000000000080, 0x00000000000001f4, 169 0x0000000000000100, 0x00000000000003e8, 170 0x0000000000000200, 0x00000000000007d0, 171 0x0000000000000400, 0x0000000000000fa0, 172 0x0000000000000800, 0x0000000000001f40, 173 0x0000000000001000, 0x0000000000003e80, 174 0x0000000000002000, 0x0000000000007d00, 175 0x0000000000004000, 0x000000000000fa00, 176 0x0000000000008000, 0x000000000001f400, 177 0x0000000000010000, 0x000000000003e800, 178 0x0000000000020000, 0x000000000007d000, 179 0x0000000000040000, 0x00000000000fa000, 180 0x0000000000080000, 0x00000000001f4000, 181 0x0000000000100000, 0x00000000003e8000, 182 0x0000000000200000, 0x00000000007d0000, 183 0x0000000000400000, 0x0000000000fa0000, 184 0x0000000000800000, 0x0000000001f40000, 185 0x0000000001000000, 0x0000000003e80000, 186 0x0000000002000000, 0x0000000007d00000, 187 0x0000000004000000, 0x000000000fa00000, 188 0x0000000008000000, 0x000000001f400000, 189 0x0000000010000000, 0x000000003e800000, 190 0x0000000020000000, 0x000000007d000000, 191 0x0000000040000000, 0x00000000fa000000, 192 0x0000000080000000, 0x00000001f4000000, 193 0x0000000100000000, 0x00000003e8000000, 194 0x0000000200000000, 0x00000007d0000000, 195 0x0000000400000000, 0x0000000fa0000000, 196 0x0000000800000000, 0x0000001f40000000, 197 0x0000001000000000, 0x0000003e80000000, 198 0x000000000000007d, 0x000000000000007e, 199 0x00000000000000fa, 0x00000000000000fc, 200 0x00000000000001f4, 0x00000000000001f8, 201 0x00000000000003e8, 0x00000000000003f0, 202 0x00000000000007d0, 0x00000000000007e0, 203 0x0000000000000fa0, 0x0000000000000fc0, 204 0x0000000000001f40, 0x0000000000001f80, 205 0x0000000000003e80, 0x0000000000003f00, 206 0x0000000000007d00, 0x0000000000007e00, 207 0x000000000000fa00, 0x000000000000fc00, 208 0x000000000001f400, 0x000000000001f800, 209 0x000000000003e800, 0x000000000003f000, 210 0x000000000007d000, 0x000000000007e000, 211 0x00000000000fa000, 0x00000000000fc000, 212 0x00000000001f4000, 0x00000000001f8000, 213 0x00000000003e8000, 0x00000000003f0000, 214 0x00000000007d0000, 0x00000000007e0000, 215 0x0000000000fa0000, 0x0000000000fc0000, 216 0x0000000001f40000, 0x0000000001f80000, 217 0x0000000003e80000, 0x0000000003f00000, 218 0x0000000007d00000, 0x0000000007e00000, 219 0x000000000fa00000, 0x000000000fc00000, 220 0x000000001f400000, 0x000000001f800000, 221 0x000000003e800000, 0x000000003f000000, 222 0x000000007d000000, 0x000000007e000000, 223 0x00000000fa000000, 0x00000000fc000000, 224 0x00000001f4000000, 0x00000001f8000000, 225 0x00000003e8000000, 0x00000003f0000000, 226 0x00000007d0000000, 0x00000007e0000000, 227 0x0000000fa0000000, 0x0000000fc0000000, 228 0x0000001f40000000, 0x0000001f80000000, 229 0x0000003e80000000, 0x0000003f00000000, 230 0x000000000000007e, 0x000000000000007f, 231 0x00000000000000fc, 0x00000000000000fe, 232 0x00000000000001f8, 0x00000000000001fc, 233 0x00000000000003f0, 0x00000000000003f8, 234 0x00000000000007e0, 0x00000000000007f0, 235 0x0000000000000fc0, 0x0000000000000fe0, 236 0x0000000000001f80, 0x0000000000001fc0, 237 0x0000000000003f00, 0x0000000000003f80, 238 0x0000000000007e00, 0x0000000000007f00, 239 0x000000000000fc00, 0x000000000000fe00, 240 0x000000000001f800, 0x000000000001fc00, 241 0x000000000003f000, 0x000000000003f800, 242 0x000000000007e000, 0x000000000007f000, 243 0x00000000000fc000, 0x00000000000fe000, 244 0x00000000001f8000, 0x00000000001fc000, 245 0x00000000003f0000, 0x00000000003f8000, 246 0x00000000007e0000, 0x00000000007f0000, 247 0x0000000000fc0000, 0x0000000000fe0000, 248 0x0000000001f80000, 0x0000000001fc0000, 249 0x0000000003f00000, 0x0000000003f80000, 250 0x0000000007e00000, 0x0000000007f00000, 251 0x000000000fc00000, 0x000000000fe00000, 252 0x000000001f800000, 0x000000001fc00000, 253 0x000000003f000000, 0x000000003f800000, 254 0x000000007e000000, 0x000000007f000000, 255 0x00000000fc000000, 0x00000000fe000000, 256 0x00000001f8000000, 0x00000001fc000000, 257 0x00000003f0000000, 0x00000003f8000000, 258 0x00000007e0000000, 0x00000007f0000000, 259 0x0000000fc0000000, 0x0000000fe0000000, 260 0x0000001f80000000, 0x0000001fc0000000, 261 0x0000003f00000000, 0x0000003f80000000, 262 0x000000000000007f, 0x0000000000007ffd, 263 0x00000000000000fe, 0x000000000000fffa, 264 0x00000000000001fc, 0x000000000001fff4, 265 0x00000000000003f8, 0x000000000003ffe8, 266 0x00000000000007f0, 0x000000000007ffd0, 267 0x0000000000000fe0, 0x00000000000fffa0, 268 0x0000000000001fc0, 0x00000000001fff40, 269 0x0000000000003f80, 0x00000000003ffe80, 270 0x0000000000007f00, 0x00000000007ffd00, 271 0x000000000000fe00, 0x0000000000fffa00, 272 0x000000000001fc00, 0x0000000001fff400, 273 0x000000000003f800, 0x0000000003ffe800, 274 0x000000000007f000, 0x0000000007ffd000, 275 0x00000000000fe000, 0x000000000fffa000, 276 0x00000000001fc000, 0x000000001fff4000, 277 0x00000000003f8000, 0x000000003ffe8000, 278 0x00000000007f0000, 0x000000007ffd0000, 279 0x0000000000fe0000, 0x00000000fffa0000, 280 0x0000000001fc0000, 0x00000001fff40000, 281 0x0000000003f80000, 0x00000003ffe80000, 282 0x0000000007f00000, 0x00000007ffd00000, 283 0x000000000fe00000, 0x0000000fffa00000, 284 0x000000001fc00000, 0x0000001fff400000, 285 0x000000003f800000, 0x0000003ffe800000, 286 0x000000007f000000, 0x0000007ffd000000, 287 0x00000000fe000000, 0x000000fffa000000, 288 0x00000001fc000000, 0x000001fff4000000, 289 0x00000003f8000000, 0x000003ffe8000000, 290 0x00000007f0000000, 0x000007ffd0000000, 291 0x0000000fe0000000, 0x00000fffa0000000, 292 0x0000001fc0000000, 0x00001fff40000000, 293 0x0000003f80000000, 0x00003ffe80000000, 294 0x0000000000007ffd, 0x0000000000007ffe, 295 0x000000000000fffa, 0x000000000000fffc, 296 0x000000000001fff4, 0x000000000001fff8, 297 0x000000000003ffe8, 0x000000000003fff0, 298 0x000000000007ffd0, 0x000000000007ffe0, 299 0x00000000000fffa0, 0x00000000000fffc0, 300 0x00000000001fff40, 0x00000000001fff80, 301 0x00000000003ffe80, 0x00000000003fff00, 302 0x00000000007ffd00, 0x00000000007ffe00, 303 0x0000000000fffa00, 0x0000000000fffc00, 304 0x0000000001fff400, 0x0000000001fff800, 305 0x0000000003ffe800, 0x0000000003fff000, 306 0x0000000007ffd000, 0x0000000007ffe000, 307 0x000000000fffa000, 0x000000000fffc000, 308 0x000000001fff4000, 0x000000001fff8000, 309 0x000000003ffe8000, 0x000000003fff0000, 310 0x000000007ffd0000, 0x000000007ffe0000, 311 0x00000000fffa0000, 0x00000000fffc0000, 312 0x00000001fff40000, 0x00000001fff80000, 313 0x00000003ffe80000, 0x00000003fff00000, 314 0x00000007ffd00000, 0x00000007ffe00000, 315 0x0000000fffa00000, 0x0000000fffc00000, 316 0x0000001fff400000, 0x0000001fff800000, 317 0x0000003ffe800000, 0x0000003fff000000, 318 0x0000007ffd000000, 0x0000007ffe000000, 319 0x000000fffa000000, 0x000000fffc000000, 320 0x000001fff4000000, 0x000001fff8000000, 321 0x000003ffe8000000, 0x000003fff0000000, 322 0x000007ffd0000000, 0x000007ffe0000000, 323 0x00000fffa0000000, 0x00000fffc0000000, 324 0x00001fff40000000, 0x00001fff80000000, 325 0x00003ffe80000000, 0x00003fff00000000, 326 0x0000000000007ffe, 0x0000000000007fff, 327 0x000000000000fffc, 0x000000000000fffe, 328 0x000000000001fff8, 0x000000000001fffc, 329 0x000000000003fff0, 0x000000000003fff8, 330 0x000000000007ffe0, 0x000000000007fff0, 331 0x00000000000fffc0, 0x00000000000fffe0, 332 0x00000000001fff80, 0x00000000001fffc0, 333 0x00000000003fff00, 0x00000000003fff80, 334 0x00000000007ffe00, 0x00000000007fff00, 335 0x0000000000fffc00, 0x0000000000fffe00, 336 0x0000000001fff800, 0x0000000001fffc00, 337 0x0000000003fff000, 0x0000000003fff800, 338 0x0000000007ffe000, 0x0000000007fff000, 339 0x000000000fffc000, 0x000000000fffe000, 340 0x000000001fff8000, 0x000000001fffc000, 341 0x000000003fff0000, 0x000000003fff8000, 342 0x000000007ffe0000, 0x000000007fff0000, 343 0x00000000fffc0000, 0x00000000fffe0000, 344 0x00000001fff80000, 0x00000001fffc0000, 345 0x00000003fff00000, 0x00000003fff80000, 346 0x00000007ffe00000, 0x00000007fff00000, 347 0x0000000fffc00000, 0x0000000fffe00000, 348 0x0000001fff800000, 0x0000001fffc00000, 349 0x0000003fff000000, 0x0000003fff800000, 350 0x0000007ffe000000, 0x0000007fff000000, 351 0x000000fffc000000, 0x000000fffe000000, 352 0x000001fff8000000, 0x000001fffc000000, 353 0x000003fff0000000, 0x000003fff8000000, 354 0x000007ffe0000000, 0x000007fff0000000, 355 0x00000fffc0000000, 0x00000fffe0000000, 356 0x00001fff80000000, 0x00001fffc0000000, 357 0x00003fff00000000, 0x00003fff80000000, 358 0x0000000000007fff, 0x0000000033333333, 359 0x000000000000fffe, 0x0000000066666666, 360 0x000000000001fffc, 0x00000000cccccccc, 361 0x000000000003fff8, 0x0000000199999998, 362 0x000000000007fff0, 0x0000000333333330, 363 0x00000000000fffe0, 0x0000000666666660, 364 0x00000000001fffc0, 0x0000000cccccccc0, 365 0x00000000003fff80, 0x0000001999999980, 366 0x00000000007fff00, 0x0000003333333300, 367 0x0000000000fffe00, 0x0000006666666600, 368 0x0000000001fffc00, 0x000000cccccccc00, 369 0x0000000003fff800, 0x0000019999999800, 370 0x0000000007fff000, 0x0000033333333000, 371 0x000000000fffe000, 0x0000066666666000, 372 0x000000001fffc000, 0x00000cccccccc000, 373 0x000000003fff8000, 0x0000199999998000, 374 0x000000007fff0000, 0x0000333333330000, 375 0x00000000fffe0000, 0x0000666666660000, 376 0x00000001fffc0000, 0x0000cccccccc0000, 377 0x00000003fff80000, 0x0001999999980000, 378 0x00000007fff00000, 0x0003333333300000, 379 0x0000000fffe00000, 0x0006666666600000, 380 0x0000001fffc00000, 0x000cccccccc00000, 381 0x0000003fff800000, 0x0019999999800000, 382 0x0000007fff000000, 0x0033333333000000, 383 0x000000fffe000000, 0x0066666666000000, 384 0x000001fffc000000, 0x00cccccccc000000, 385 0x000003fff8000000, 0x0199999998000000, 386 0x000007fff0000000, 0x0333333330000000, 387 0x00000fffe0000000, 0x0666666660000000, 388 0x00001fffc0000000, 0x0cccccccc0000000, 389 0x00003fff80000000, 0x1999999980000000, 390 0x0000000033333333, 0x0000000055555555, 391 0x0000000066666666, 0x00000000aaaaaaaa, 392 0x00000000cccccccc, 0x0000000155555554, 393 0x0000000199999998, 0x00000002aaaaaaa8, 394 0x0000000333333330, 0x0000000555555550, 395 0x0000000666666660, 0x0000000aaaaaaaa0, 396 0x0000000cccccccc0, 0x0000001555555540, 397 0x0000001999999980, 0x0000002aaaaaaa80, 398 0x0000003333333300, 0x0000005555555500, 399 0x0000006666666600, 0x000000aaaaaaaa00, 400 0x000000cccccccc00, 0x0000015555555400, 401 0x0000019999999800, 0x000002aaaaaaa800, 402 0x0000033333333000, 0x0000055555555000, 403 0x0000066666666000, 0x00000aaaaaaaa000, 404 0x00000cccccccc000, 0x0000155555554000, 405 0x0000199999998000, 0x00002aaaaaaa8000, 406 0x0000333333330000, 0x0000555555550000, 407 0x0000666666660000, 0x0000aaaaaaaa0000, 408 0x0000cccccccc0000, 0x0001555555540000, 409 0x0001999999980000, 0x0002aaaaaaa80000, 410 0x0003333333300000, 0x0005555555500000, 411 0x0006666666600000, 0x000aaaaaaaa00000, 412 0x000cccccccc00000, 0x0015555555400000, 413 0x0019999999800000, 0x002aaaaaaa800000, 414 0x0033333333000000, 0x0055555555000000, 415 0x0066666666000000, 0x00aaaaaaaa000000, 416 0x00cccccccc000000, 0x0155555554000000, 417 0x0199999998000000, 0x02aaaaaaa8000000, 418 0x0333333330000000, 0x0555555550000000, 419 0x0666666660000000, 0x0aaaaaaaa0000000, 420 0x0cccccccc0000000, 0x1555555540000000, 421 0x1999999980000000, 0x2aaaaaaa80000000, 422 0x0000000055555555, 0x000000007ffffffd, 423 0x00000000aaaaaaaa, 0x00000000fffffffa, 424 0x0000000155555554, 0x00000001fffffff4, 425 0x00000002aaaaaaa8, 0x00000003ffffffe8, 426 0x0000000555555550, 0x00000007ffffffd0, 427 0x0000000aaaaaaaa0, 0x0000000fffffffa0, 428 0x0000001555555540, 0x0000001fffffff40, 429 0x0000002aaaaaaa80, 0x0000003ffffffe80, 430 0x0000005555555500, 0x0000007ffffffd00, 431 0x000000aaaaaaaa00, 0x000000fffffffa00, 432 0x0000015555555400, 0x000001fffffff400, 433 0x000002aaaaaaa800, 0x000003ffffffe800, 434 0x0000055555555000, 0x000007ffffffd000, 435 0x00000aaaaaaaa000, 0x00000fffffffa000, 436 0x0000155555554000, 0x00001fffffff4000, 437 0x00002aaaaaaa8000, 0x00003ffffffe8000, 438 0x0000555555550000, 0x00007ffffffd0000, 439 0x0000aaaaaaaa0000, 0x0000fffffffa0000, 440 0x0001555555540000, 0x0001fffffff40000, 441 0x0002aaaaaaa80000, 0x0003ffffffe80000, 442 0x0005555555500000, 0x0007ffffffd00000, 443 0x000aaaaaaaa00000, 0x000fffffffa00000, 444 0x0015555555400000, 0x001fffffff400000, 445 0x002aaaaaaa800000, 0x003ffffffe800000, 446 0x0055555555000000, 0x007ffffffd000000, 447 0x00aaaaaaaa000000, 0x00fffffffa000000, 448 0x0155555554000000, 0x01fffffff4000000, 449 0x02aaaaaaa8000000, 0x03ffffffe8000000, 450 0x0555555550000000, 0x07ffffffd0000000, 451 0x0aaaaaaaa0000000, 0x0fffffffa0000000, 452 0x1555555540000000, 0x1fffffff40000000, 453 0x2aaaaaaa80000000, 0x3ffffffe80000000, 454 0x000000007ffffffd, 0x000000007ffffffe, 455 0x00000000fffffffa, 0x00000000fffffffc, 456 0x00000001fffffff4, 0x00000001fffffff8, 457 0x00000003ffffffe8, 0x00000003fffffff0, 458 0x00000007ffffffd0, 0x00000007ffffffe0, 459 0x0000000fffffffa0, 0x0000000fffffffc0, 460 0x0000001fffffff40, 0x0000001fffffff80, 461 0x0000003ffffffe80, 0x0000003fffffff00, 462 0x0000007ffffffd00, 0x0000007ffffffe00, 463 0x000000fffffffa00, 0x000000fffffffc00, 464 0x000001fffffff400, 0x000001fffffff800, 465 0x000003ffffffe800, 0x000003fffffff000, 466 0x000007ffffffd000, 0x000007ffffffe000, 467 0x00000fffffffa000, 0x00000fffffffc000, 468 0x00001fffffff4000, 0x00001fffffff8000, 469 0x00003ffffffe8000, 0x00003fffffff0000, 470 0x00007ffffffd0000, 0x00007ffffffe0000, 471 0x0000fffffffa0000, 0x0000fffffffc0000, 472 0x0001fffffff40000, 0x0001fffffff80000, 473 0x0003ffffffe80000, 0x0003fffffff00000, 474 0x0007ffffffd00000, 0x0007ffffffe00000, 475 0x000fffffffa00000, 0x000fffffffc00000, 476 0x001fffffff400000, 0x001fffffff800000, 477 0x003ffffffe800000, 0x003fffffff000000, 478 0x007ffffffd000000, 0x007ffffffe000000, 479 0x00fffffffa000000, 0x00fffffffc000000, 480 0x01fffffff4000000, 0x01fffffff8000000, 481 0x03ffffffe8000000, 0x03fffffff0000000, 482 0x07ffffffd0000000, 0x07ffffffe0000000, 483 0x0fffffffa0000000, 0x0fffffffc0000000, 484 0x1fffffff40000000, 0x1fffffff80000000, 485 0x3ffffffe80000000, 0x3fffffff00000000, 486 0x000000007ffffffe, 0x000000007fffffff, 487 0x00000000fffffffc, 0x00000000fffffffe, 488 0x00000001fffffff8, 0x00000001fffffffc, 489 0x00000003fffffff0, 0x00000003fffffff8, 490 0x00000007ffffffe0, 0x00000007fffffff0, 491 0x0000000fffffffc0, 0x0000000fffffffe0, 492 0x0000001fffffff80, 0x0000001fffffffc0, 493 0x0000003fffffff00, 0x0000003fffffff80, 494 0x0000007ffffffe00, 0x0000007fffffff00, 495 0x000000fffffffc00, 0x000000fffffffe00, 496 0x000001fffffff800, 0x000001fffffffc00, 497 0x000003fffffff000, 0x000003fffffff800, 498 0x000007ffffffe000, 0x000007fffffff000, 499 0x00000fffffffc000, 0x00000fffffffe000, 500 0x00001fffffff8000, 0x00001fffffffc000, 501 0x00003fffffff0000, 0x00003fffffff8000, 502 0x00007ffffffe0000, 0x00007fffffff0000, 503 0x0000fffffffc0000, 0x0000fffffffe0000, 504 0x0001fffffff80000, 0x0001fffffffc0000, 505 0x0003fffffff00000, 0x0003fffffff80000, 506 0x0007ffffffe00000, 0x0007fffffff00000, 507 0x000fffffffc00000, 0x000fffffffe00000, 508 0x001fffffff800000, 0x001fffffffc00000, 509 0x003fffffff000000, 0x003fffffff800000, 510 0x007ffffffe000000, 0x007fffffff000000, 511 0x00fffffffc000000, 0x00fffffffe000000, 512 0x01fffffff8000000, 0x01fffffffc000000, 513 0x03fffffff0000000, 0x03fffffff8000000, 514 0x07ffffffe0000000, 0x07fffffff0000000, 515 0x0fffffffc0000000, 0x0fffffffe0000000, 516 0x1fffffff80000000, 0x1fffffffc0000000, 517 0x3fffffff00000000, 0x3fffffff80000000, 518 0x000000007fffffff, 0x0000000080000000, 519 0x00000000fffffffe, 0x0000000100000000, 520 0x00000001fffffffc, 0x0000000200000000, 521 0x00000003fffffff8, 0x0000000400000000, 522 0x00000007fffffff0, 0x0000000800000000, 523 0x0000000fffffffe0, 0x0000001000000000, 524 0x0000001fffffffc0, 0x0000002000000000, 525 0x0000003fffffff80, 0x0000004000000000, 526 0x0000007fffffff00, 0x0000008000000000, 527 0x000000fffffffe00, 0x0000010000000000, 528 0x000001fffffffc00, 0x0000020000000000, 529 0x000003fffffff800, 0x0000040000000000, 530 0x000007fffffff000, 0x0000080000000000, 531 0x00000fffffffe000, 0x0000100000000000, 532 0x00001fffffffc000, 0x0000200000000000, 533 0x00003fffffff8000, 0x0000400000000000, 534 0x00007fffffff0000, 0x0000800000000000, 535 0x0000fffffffe0000, 0x0001000000000000, 536 0x0001fffffffc0000, 0x0002000000000000, 537 0x0003fffffff80000, 0x0004000000000000, 538 0x0007fffffff00000, 0x0008000000000000, 539 0x000fffffffe00000, 0x0010000000000000, 540 0x001fffffffc00000, 0x0020000000000000, 541 0x003fffffff800000, 0x0040000000000000, 542 0x007fffffff000000, 0x0080000000000000, 543 0x00fffffffe000000, 0x0100000000000000, 544 0x01fffffffc000000, 0x0200000000000000, 545 0x03fffffff8000000, 0x0400000000000000, 546 0x07fffffff0000000, 0x0800000000000000, 547 0x0fffffffe0000000, 0x1000000000000000, 548 0x1fffffffc0000000, 0x2000000000000000, 549 0x3fffffff80000000, 0x4000000000000000, 550 0x0000000080000000, 0x0000000080000001, 551 0x0000000100000000, 0x0000000100000002, 552 0x0000000200000000, 0x0000000200000004, 553 0x0000000400000000, 0x0000000400000008, 554 0x0000000800000000, 0x0000000800000010, 555 0x0000001000000000, 0x0000001000000020, 556 0x0000002000000000, 0x0000002000000040, 557 0x0000004000000000, 0x0000004000000080, 558 0x0000008000000000, 0x0000008000000100, 559 0x0000010000000000, 0x0000010000000200, 560 0x0000020000000000, 0x0000020000000400, 561 0x0000040000000000, 0x0000040000000800, 562 0x0000080000000000, 0x0000080000001000, 563 0x0000100000000000, 0x0000100000002000, 564 0x0000200000000000, 0x0000200000004000, 565 0x0000400000000000, 0x0000400000008000, 566 0x0000800000000000, 0x0000800000010000, 567 0x0001000000000000, 0x0001000000020000, 568 0x0002000000000000, 0x0002000000040000, 569 0x0004000000000000, 0x0004000000080000, 570 0x0008000000000000, 0x0008000000100000, 571 0x0010000000000000, 0x0010000000200000, 572 0x0020000000000000, 0x0020000000400000, 573 0x0040000000000000, 0x0040000000800000, 574 0x0080000000000000, 0x0080000001000000, 575 0x0100000000000000, 0x0100000002000000, 576 0x0200000000000000, 0x0200000004000000, 577 0x0400000000000000, 0x0400000008000000, 578 0x0800000000000000, 0x0800000010000000, 579 0x1000000000000000, 0x1000000020000000, 580 0x2000000000000000, 0x2000000040000000, 581 0x4000000000000000, 0x4000000080000000, 582 0x0000000080000001, 0x00000000aaaaaaaa, 583 0x0000000100000002, 0x0000000155555554, 584 0x0000000200000004, 0x00000002aaaaaaa8, 585 0x0000000400000008, 0x0000000555555550, 586 0x0000000800000010, 0x0000000aaaaaaaa0, 587 0x0000001000000020, 0x0000001555555540, 588 0x0000002000000040, 0x0000002aaaaaaa80, 589 0x0000004000000080, 0x0000005555555500, 590 0x0000008000000100, 0x000000aaaaaaaa00, 591 0x0000010000000200, 0x0000015555555400, 592 0x0000020000000400, 0x000002aaaaaaa800, 593 0x0000040000000800, 0x0000055555555000, 594 0x0000080000001000, 0x00000aaaaaaaa000, 595 0x0000100000002000, 0x0000155555554000, 596 0x0000200000004000, 0x00002aaaaaaa8000, 597 0x0000400000008000, 0x0000555555550000, 598 0x0000800000010000, 0x0000aaaaaaaa0000, 599 0x0001000000020000, 0x0001555555540000, 600 0x0002000000040000, 0x0002aaaaaaa80000, 601 0x0004000000080000, 0x0005555555500000, 602 0x0008000000100000, 0x000aaaaaaaa00000, 603 0x0010000000200000, 0x0015555555400000, 604 0x0020000000400000, 0x002aaaaaaa800000, 605 0x0040000000800000, 0x0055555555000000, 606 0x0080000001000000, 0x00aaaaaaaa000000, 607 0x0100000002000000, 0x0155555554000000, 608 0x0200000004000000, 0x02aaaaaaa8000000, 609 0x0400000008000000, 0x0555555550000000, 610 0x0800000010000000, 0x0aaaaaaaa0000000, 611 0x1000000020000000, 0x1555555540000000, 612 0x2000000040000000, 0x2aaaaaaa80000000, 613 0x4000000080000000, 0x5555555500000000, 614 0x00000000aaaaaaaa, 0x00000000cccccccc, 615 0x0000000155555554, 0x0000000199999998, 616 0x00000002aaaaaaa8, 0x0000000333333330, 617 0x0000000555555550, 0x0000000666666660, 618 0x0000000aaaaaaaa0, 0x0000000cccccccc0, 619 0x0000001555555540, 0x0000001999999980, 620 0x0000002aaaaaaa80, 0x0000003333333300, 621 0x0000005555555500, 0x0000006666666600, 622 0x000000aaaaaaaa00, 0x000000cccccccc00, 623 0x0000015555555400, 0x0000019999999800, 624 0x000002aaaaaaa800, 0x0000033333333000, 625 0x0000055555555000, 0x0000066666666000, 626 0x00000aaaaaaaa000, 0x00000cccccccc000, 627 0x0000155555554000, 0x0000199999998000, 628 0x00002aaaaaaa8000, 0x0000333333330000, 629 0x0000555555550000, 0x0000666666660000, 630 0x0000aaaaaaaa0000, 0x0000cccccccc0000, 631 0x0001555555540000, 0x0001999999980000, 632 0x0002aaaaaaa80000, 0x0003333333300000, 633 0x0005555555500000, 0x0006666666600000, 634 0x000aaaaaaaa00000, 0x000cccccccc00000, 635 0x0015555555400000, 0x0019999999800000, 636 0x002aaaaaaa800000, 0x0033333333000000, 637 0x0055555555000000, 0x0066666666000000, 638 0x00aaaaaaaa000000, 0x00cccccccc000000, 639 0x0155555554000000, 0x0199999998000000, 640 0x02aaaaaaa8000000, 0x0333333330000000, 641 0x0555555550000000, 0x0666666660000000, 642 0x0aaaaaaaa0000000, 0x0cccccccc0000000, 643 0x1555555540000000, 0x1999999980000000, 644 0x2aaaaaaa80000000, 0x3333333300000000, 645 0x5555555500000000, 0x6666666600000000, 646 0x00000000cccccccc, 0x00000000ffff8000, 647 0x0000000199999998, 0x00000001ffff0000, 648 0x0000000333333330, 0x00000003fffe0000, 649 0x0000000666666660, 0x00000007fffc0000, 650 0x0000000cccccccc0, 0x0000000ffff80000, 651 0x0000001999999980, 0x0000001ffff00000, 652 0x0000003333333300, 0x0000003fffe00000, 653 0x0000006666666600, 0x0000007fffc00000, 654 0x000000cccccccc00, 0x000000ffff800000, 655 0x0000019999999800, 0x000001ffff000000, 656 0x0000033333333000, 0x000003fffe000000, 657 0x0000066666666000, 0x000007fffc000000, 658 0x00000cccccccc000, 0x00000ffff8000000, 659 0x0000199999998000, 0x00001ffff0000000, 660 0x0000333333330000, 0x00003fffe0000000, 661 0x0000666666660000, 0x00007fffc0000000, 662 0x0000cccccccc0000, 0x0000ffff80000000, 663 0x0001999999980000, 0x0001ffff00000000, 664 0x0003333333300000, 0x0003fffe00000000, 665 0x0006666666600000, 0x0007fffc00000000, 666 0x000cccccccc00000, 0x000ffff800000000, 667 0x0019999999800000, 0x001ffff000000000, 668 0x0033333333000000, 0x003fffe000000000, 669 0x0066666666000000, 0x007fffc000000000, 670 0x00cccccccc000000, 0x00ffff8000000000, 671 0x0199999998000000, 0x01ffff0000000000, 672 0x0333333330000000, 0x03fffe0000000000, 673 0x0666666660000000, 0x07fffc0000000000, 674 0x0cccccccc0000000, 0x0ffff80000000000, 675 0x1999999980000000, 0x1ffff00000000000, 676 0x3333333300000000, 0x3fffe00000000000, 677 0x6666666600000000, 0x7fffc00000000000, 678 0x00000000ffff8000, 0x00000000ffff8001, 679 0x00000001ffff0000, 0x00000001ffff0002, 680 0x00000003fffe0000, 0x00000003fffe0004, 681 0x00000007fffc0000, 0x00000007fffc0008, 682 0x0000000ffff80000, 0x0000000ffff80010, 683 0x0000001ffff00000, 0x0000001ffff00020, 684 0x0000003fffe00000, 0x0000003fffe00040, 685 0x0000007fffc00000, 0x0000007fffc00080, 686 0x000000ffff800000, 0x000000ffff800100, 687 0x000001ffff000000, 0x000001ffff000200, 688 0x000003fffe000000, 0x000003fffe000400, 689 0x000007fffc000000, 0x000007fffc000800, 690 0x00000ffff8000000, 0x00000ffff8001000, 691 0x00001ffff0000000, 0x00001ffff0002000, 692 0x00003fffe0000000, 0x00003fffe0004000, 693 0x00007fffc0000000, 0x00007fffc0008000, 694 0x0000ffff80000000, 0x0000ffff80010000, 695 0x0001ffff00000000, 0x0001ffff00020000, 696 0x0003fffe00000000, 0x0003fffe00040000, 697 0x0007fffc00000000, 0x0007fffc00080000, 698 0x000ffff800000000, 0x000ffff800100000, 699 0x001ffff000000000, 0x001ffff000200000, 700 0x003fffe000000000, 0x003fffe000400000, 701 0x007fffc000000000, 0x007fffc000800000, 702 0x00ffff8000000000, 0x00ffff8001000000, 703 0x01ffff0000000000, 0x01ffff0002000000, 704 0x03fffe0000000000, 0x03fffe0004000000, 705 0x07fffc0000000000, 0x07fffc0008000000, 706 0x0ffff80000000000, 0x0ffff80010000000, 707 0x1ffff00000000000, 0x1ffff00020000000, 708 0x3fffe00000000000, 0x3fffe00040000000, 709 0x7fffc00000000000, 0x7fffc00080000000, 710 0x00000000ffff8001, 0x00000000ffff8002, 711 0x00000001ffff0002, 0x00000001ffff0004, 712 0x00000003fffe0004, 0x00000003fffe0008, 713 0x00000007fffc0008, 0x00000007fffc0010, 714 0x0000000ffff80010, 0x0000000ffff80020, 715 0x0000001ffff00020, 0x0000001ffff00040, 716 0x0000003fffe00040, 0x0000003fffe00080, 717 0x0000007fffc00080, 0x0000007fffc00100, 718 0x000000ffff800100, 0x000000ffff800200, 719 0x000001ffff000200, 0x000001ffff000400, 720 0x000003fffe000400, 0x000003fffe000800, 721 0x000007fffc000800, 0x000007fffc001000, 722 0x00000ffff8001000, 0x00000ffff8002000, 723 0x00001ffff0002000, 0x00001ffff0004000, 724 0x00003fffe0004000, 0x00003fffe0008000, 725 0x00007fffc0008000, 0x00007fffc0010000, 726 0x0000ffff80010000, 0x0000ffff80020000, 727 0x0001ffff00020000, 0x0001ffff00040000, 728 0x0003fffe00040000, 0x0003fffe00080000, 729 0x0007fffc00080000, 0x0007fffc00100000, 730 0x000ffff800100000, 0x000ffff800200000, 731 0x001ffff000200000, 0x001ffff000400000, 732 0x003fffe000400000, 0x003fffe000800000, 733 0x007fffc000800000, 0x007fffc001000000, 734 0x00ffff8001000000, 0x00ffff8002000000, 735 0x01ffff0002000000, 0x01ffff0004000000, 736 0x03fffe0004000000, 0x03fffe0008000000, 737 0x07fffc0008000000, 0x07fffc0010000000, 738 0x0ffff80010000000, 0x0ffff80020000000, 739 0x1ffff00020000000, 0x1ffff00040000000, 740 0x3fffe00040000000, 0x3fffe00080000000, 741 0x7fffc00080000000, 0x7fffc00100000000, 742 0x00000000ffff8002, 0x00000000ffff8003, 743 0x00000001ffff0004, 0x00000001ffff0006, 744 0x00000003fffe0008, 0x00000003fffe000c, 745 0x00000007fffc0010, 0x00000007fffc0018, 746 0x0000000ffff80020, 0x0000000ffff80030, 747 0x0000001ffff00040, 0x0000001ffff00060, 748 0x0000003fffe00080, 0x0000003fffe000c0, 749 0x0000007fffc00100, 0x0000007fffc00180, 750 0x000000ffff800200, 0x000000ffff800300, 751 0x000001ffff000400, 0x000001ffff000600, 752 0x000003fffe000800, 0x000003fffe000c00, 753 0x000007fffc001000, 0x000007fffc001800, 754 0x00000ffff8002000, 0x00000ffff8003000, 755 0x00001ffff0004000, 0x00001ffff0006000, 756 0x00003fffe0008000, 0x00003fffe000c000, 757 0x00007fffc0010000, 0x00007fffc0018000, 758 0x0000ffff80020000, 0x0000ffff80030000, 759 0x0001ffff00040000, 0x0001ffff00060000, 760 0x0003fffe00080000, 0x0003fffe000c0000, 761 0x0007fffc00100000, 0x0007fffc00180000, 762 0x000ffff800200000, 0x000ffff800300000, 763 0x001ffff000400000, 0x001ffff000600000, 764 0x003fffe000800000, 0x003fffe000c00000, 765 0x007fffc001000000, 0x007fffc001800000, 766 0x00ffff8002000000, 0x00ffff8003000000, 767 0x01ffff0004000000, 0x01ffff0006000000, 768 0x03fffe0008000000, 0x03fffe000c000000, 769 0x07fffc0010000000, 0x07fffc0018000000, 770 0x0ffff80020000000, 0x0ffff80030000000, 771 0x1ffff00040000000, 0x1ffff00060000000, 772 0x3fffe00080000000, 0x3fffe000c0000000, 773 0x7fffc00100000000, 0x7fffc00180000000, 774 0x00000000ffff8003, 0x00000000ffffff80, 775 0x00000001ffff0006, 0x00000001ffffff00, 776 0x00000003fffe000c, 0x00000003fffffe00, 777 0x00000007fffc0018, 0x00000007fffffc00, 778 0x0000000ffff80030, 0x0000000ffffff800, 779 0x0000001ffff00060, 0x0000001ffffff000, 780 0x0000003fffe000c0, 0x0000003fffffe000, 781 0x0000007fffc00180, 0x0000007fffffc000, 782 0x000000ffff800300, 0x000000ffffff8000, 783 0x000001ffff000600, 0x000001ffffff0000, 784 0x000003fffe000c00, 0x000003fffffe0000, 785 0x000007fffc001800, 0x000007fffffc0000, 786 0x00000ffff8003000, 0x00000ffffff80000, 787 0x00001ffff0006000, 0x00001ffffff00000, 788 0x00003fffe000c000, 0x00003fffffe00000, 789 0x00007fffc0018000, 0x00007fffffc00000, 790 0x0000ffff80030000, 0x0000ffffff800000, 791 0x0001ffff00060000, 0x0001ffffff000000, 792 0x0003fffe000c0000, 0x0003fffffe000000, 793 0x0007fffc00180000, 0x0007fffffc000000, 794 0x000ffff800300000, 0x000ffffff8000000, 795 0x001ffff000600000, 0x001ffffff0000000, 796 0x003fffe000c00000, 0x003fffffe0000000, 797 0x007fffc001800000, 0x007fffffc0000000, 798 0x00ffff8003000000, 0x00ffffff80000000, 799 0x01ffff0006000000, 0x01ffffff00000000, 800 0x03fffe000c000000, 0x03fffffe00000000, 801 0x07fffc0018000000, 0x07fffffc00000000, 802 0x0ffff80030000000, 0x0ffffff800000000, 803 0x1ffff00060000000, 0x1ffffff000000000, 804 0x3fffe000c0000000, 0x3fffffe000000000, 805 0x7fffc00180000000, 0x7fffffc000000000, 806 0x00000000ffffff80, 0x00000000ffffff81, 807 0x00000001ffffff00, 0x00000001ffffff02, 808 0x00000003fffffe00, 0x00000003fffffe04, 809 0x00000007fffffc00, 0x00000007fffffc08, 810 0x0000000ffffff800, 0x0000000ffffff810, 811 0x0000001ffffff000, 0x0000001ffffff020, 812 0x0000003fffffe000, 0x0000003fffffe040, 813 0x0000007fffffc000, 0x0000007fffffc080, 814 0x000000ffffff8000, 0x000000ffffff8100, 815 0x000001ffffff0000, 0x000001ffffff0200, 816 0x000003fffffe0000, 0x000003fffffe0400, 817 0x000007fffffc0000, 0x000007fffffc0800, 818 0x00000ffffff80000, 0x00000ffffff81000, 819 0x00001ffffff00000, 0x00001ffffff02000, 820 0x00003fffffe00000, 0x00003fffffe04000, 821 0x00007fffffc00000, 0x00007fffffc08000, 822 0x0000ffffff800000, 0x0000ffffff810000, 823 0x0001ffffff000000, 0x0001ffffff020000, 824 0x0003fffffe000000, 0x0003fffffe040000, 825 0x0007fffffc000000, 0x0007fffffc080000, 826 0x000ffffff8000000, 0x000ffffff8100000, 827 0x001ffffff0000000, 0x001ffffff0200000, 828 0x003fffffe0000000, 0x003fffffe0400000, 829 0x007fffffc0000000, 0x007fffffc0800000, 830 0x00ffffff80000000, 0x00ffffff81000000, 831 0x01ffffff00000000, 0x01ffffff02000000, 832 0x03fffffe00000000, 0x03fffffe04000000, 833 0x07fffffc00000000, 0x07fffffc08000000, 834 0x0ffffff800000000, 0x0ffffff810000000, 835 0x1ffffff000000000, 0x1ffffff020000000, 836 0x3fffffe000000000, 0x3fffffe040000000, 837 0x7fffffc000000000, 0x7fffffc080000000, 838 0x00000000ffffff81, 0x00000000ffffff82, 839 0x00000001ffffff02, 0x00000001ffffff04, 840 0x00000003fffffe04, 0x00000003fffffe08, 841 0x00000007fffffc08, 0x00000007fffffc10, 842 0x0000000ffffff810, 0x0000000ffffff820, 843 0x0000001ffffff020, 0x0000001ffffff040, 844 0x0000003fffffe040, 0x0000003fffffe080, 845 0x0000007fffffc080, 0x0000007fffffc100, 846 0x000000ffffff8100, 0x000000ffffff8200, 847 0x000001ffffff0200, 0x000001ffffff0400, 848 0x000003fffffe0400, 0x000003fffffe0800, 849 0x000007fffffc0800, 0x000007fffffc1000, 850 0x00000ffffff81000, 0x00000ffffff82000, 851 0x00001ffffff02000, 0x00001ffffff04000, 852 0x00003fffffe04000, 0x00003fffffe08000, 853 0x00007fffffc08000, 0x00007fffffc10000, 854 0x0000ffffff810000, 0x0000ffffff820000, 855 0x0001ffffff020000, 0x0001ffffff040000, 856 0x0003fffffe040000, 0x0003fffffe080000, 857 0x0007fffffc080000, 0x0007fffffc100000, 858 0x000ffffff8100000, 0x000ffffff8200000, 859 0x001ffffff0200000, 0x001ffffff0400000, 860 0x003fffffe0400000, 0x003fffffe0800000, 861 0x007fffffc0800000, 0x007fffffc1000000, 862 0x00ffffff81000000, 0x00ffffff82000000, 863 0x01ffffff02000000, 0x01ffffff04000000, 864 0x03fffffe04000000, 0x03fffffe08000000, 865 0x07fffffc08000000, 0x07fffffc10000000, 866 0x0ffffff810000000, 0x0ffffff820000000, 867 0x1ffffff020000000, 0x1ffffff040000000, 868 0x3fffffe040000000, 0x3fffffe080000000, 869 0x7fffffc080000000, 0x7fffffc100000000, 870 0x00000000ffffff82, 0x00000000ffffff83, 871 0x00000001ffffff04, 0x00000001ffffff06, 872 0x00000003fffffe08, 0x00000003fffffe0c, 873 0x00000007fffffc10, 0x00000007fffffc18, 874 0x0000000ffffff820, 0x0000000ffffff830, 875 0x0000001ffffff040, 0x0000001ffffff060, 876 0x0000003fffffe080, 0x0000003fffffe0c0, 877 0x0000007fffffc100, 0x0000007fffffc180, 878 0x000000ffffff8200, 0x000000ffffff8300, 879 0x000001ffffff0400, 0x000001ffffff0600, 880 0x000003fffffe0800, 0x000003fffffe0c00, 881 0x000007fffffc1000, 0x000007fffffc1800, 882 0x00000ffffff82000, 0x00000ffffff83000, 883 0x00001ffffff04000, 0x00001ffffff06000, 884 0x00003fffffe08000, 0x00003fffffe0c000, 885 0x00007fffffc10000, 0x00007fffffc18000, 886 0x0000ffffff820000, 0x0000ffffff830000, 887 0x0001ffffff040000, 0x0001ffffff060000, 888 0x0003fffffe080000, 0x0003fffffe0c0000, 889 0x0007fffffc100000, 0x0007fffffc180000, 890 0x000ffffff8200000, 0x000ffffff8300000, 891 0x001ffffff0400000, 0x001ffffff0600000, 892 0x003fffffe0800000, 0x003fffffe0c00000, 893 0x007fffffc1000000, 0x007fffffc1800000, 894 0x00ffffff82000000, 0x00ffffff83000000, 895 0x01ffffff04000000, 0x01ffffff06000000, 896 0x03fffffe08000000, 0x03fffffe0c000000, 897 0x07fffffc10000000, 0x07fffffc18000000, 898 0x0ffffff820000000, 0x0ffffff830000000, 899 0x1ffffff040000000, 0x1ffffff060000000, 900 0x3fffffe080000000, 0x3fffffe0c0000000, 901 0x7fffffc100000000, 0x7fffffc180000000, 902 0x00000000ffffff83, 0x00000000ffffffe0, 903 0x00000001ffffff06, 0x00000001ffffffc0, 904 0x00000003fffffe0c, 0x00000003ffffff80, 905 0x00000007fffffc18, 0x00000007ffffff00, 906 0x0000000ffffff830, 0x0000000ffffffe00, 907 0x0000001ffffff060, 0x0000001ffffffc00, 908 0x0000003fffffe0c0, 0x0000003ffffff800, 909 0x0000007fffffc180, 0x0000007ffffff000, 910 0x000000ffffff8300, 0x000000ffffffe000, 911 0x000001ffffff0600, 0x000001ffffffc000, 912 0x000003fffffe0c00, 0x000003ffffff8000, 913 0x000007fffffc1800, 0x000007ffffff0000, 914 0x00000ffffff83000, 0x00000ffffffe0000, 915 0x00001ffffff06000, 0x00001ffffffc0000, 916 0x00003fffffe0c000, 0x00003ffffff80000, 917 0x00007fffffc18000, 0x00007ffffff00000, 918 0x0000ffffff830000, 0x0000ffffffe00000, 919 0x0001ffffff060000, 0x0001ffffffc00000, 920 0x0003fffffe0c0000, 0x0003ffffff800000, 921 0x0007fffffc180000, 0x0007ffffff000000, 922 0x000ffffff8300000, 0x000ffffffe000000, 923 0x001ffffff0600000, 0x001ffffffc000000, 924 0x003fffffe0c00000, 0x003ffffff8000000, 925 0x007fffffc1800000, 0x007ffffff0000000, 926 0x00ffffff83000000, 0x00ffffffe0000000, 927 0x01ffffff06000000, 0x01ffffffc0000000, 928 0x03fffffe0c000000, 0x03ffffff80000000, 929 0x07fffffc18000000, 0x07ffffff00000000, 930 0x0ffffff830000000, 0x0ffffffe00000000, 931 0x1ffffff060000000, 0x1ffffffc00000000, 932 0x3fffffe0c0000000, 0x3ffffff800000000, 933 0x7fffffc180000000, 0x7ffffff000000000, 934 0x00000000ffffffe0, 0x00000000fffffffd, 935 0x00000001ffffffc0, 0x00000001fffffffa, 936 0x00000003ffffff80, 0x00000003fffffff4, 937 0x00000007ffffff00, 0x00000007ffffffe8, 938 0x0000000ffffffe00, 0x0000000fffffffd0, 939 0x0000001ffffffc00, 0x0000001fffffffa0, 940 0x0000003ffffff800, 0x0000003fffffff40, 941 0x0000007ffffff000, 0x0000007ffffffe80, 942 0x000000ffffffe000, 0x000000fffffffd00, 943 0x000001ffffffc000, 0x000001fffffffa00, 944 0x000003ffffff8000, 0x000003fffffff400, 945 0x000007ffffff0000, 0x000007ffffffe800, 946 0x00000ffffffe0000, 0x00000fffffffd000, 947 0x00001ffffffc0000, 0x00001fffffffa000, 948 0x00003ffffff80000, 0x00003fffffff4000, 949 0x00007ffffff00000, 0x00007ffffffe8000, 950 0x0000ffffffe00000, 0x0000fffffffd0000, 951 0x0001ffffffc00000, 0x0001fffffffa0000, 952 0x0003ffffff800000, 0x0003fffffff40000, 953 0x0007ffffff000000, 0x0007ffffffe80000, 954 0x000ffffffe000000, 0x000fffffffd00000, 955 0x001ffffffc000000, 0x001fffffffa00000, 956 0x003ffffff8000000, 0x003fffffff400000, 957 0x007ffffff0000000, 0x007ffffffe800000, 958 0x00ffffffe0000000, 0x00fffffffd000000, 959 0x01ffffffc0000000, 0x01fffffffa000000, 960 0x03ffffff80000000, 0x03fffffff4000000, 961 0x07ffffff00000000, 0x07ffffffe8000000, 962 0x0ffffffe00000000, 0x0fffffffd0000000, 963 0x1ffffffc00000000, 0x1fffffffa0000000, 964 0x3ffffff800000000, 0x3fffffff40000000, 965 0x7ffffff000000000, 0x7ffffffe80000000, 966 0x00000000fffffffd, 0x00000000fffffffe, 967 0x00000001fffffffa, 0x00000001fffffffc, 968 0x00000003fffffff4, 0x00000003fffffff8, 969 0x00000007ffffffe8, 0x00000007fffffff0, 970 0x0000000fffffffd0, 0x0000000fffffffe0, 971 0x0000001fffffffa0, 0x0000001fffffffc0, 972 0x0000003fffffff40, 0x0000003fffffff80, 973 0x0000007ffffffe80, 0x0000007fffffff00, 974 0x000000fffffffd00, 0x000000fffffffe00, 975 0x000001fffffffa00, 0x000001fffffffc00, 976 0x000003fffffff400, 0x000003fffffff800, 977 0x000007ffffffe800, 0x000007fffffff000, 978 0x00000fffffffd000, 0x00000fffffffe000, 979 0x00001fffffffa000, 0x00001fffffffc000, 980 0x00003fffffff4000, 0x00003fffffff8000, 981 0x00007ffffffe8000, 0x00007fffffff0000, 982 0x0000fffffffd0000, 0x0000fffffffe0000, 983 0x0001fffffffa0000, 0x0001fffffffc0000, 984 0x0003fffffff40000, 0x0003fffffff80000, 985 0x0007ffffffe80000, 0x0007fffffff00000, 986 0x000fffffffd00000, 0x000fffffffe00000, 987 0x001fffffffa00000, 0x001fffffffc00000, 988 0x003fffffff400000, 0x003fffffff800000, 989 0x007ffffffe800000, 0x007fffffff000000, 990 0x00fffffffd000000, 0x00fffffffe000000, 991 0x01fffffffa000000, 0x01fffffffc000000, 992 0x03fffffff4000000, 0x03fffffff8000000, 993 0x07ffffffe8000000, 0x07fffffff0000000, 994 0x0fffffffd0000000, 0x0fffffffe0000000, 995 0x1fffffffa0000000, 0x1fffffffc0000000, 996 0x3fffffff40000000, 0x3fffffff80000000, 997 0x7ffffffe80000000, 0x7fffffff00000000, 998 0x00000000fffffffe, 0x00000000ffffffff, 999 0x00000001fffffffc, 0x00000001fffffffe, 1000 0x00000003fffffff8, 0x00000003fffffffc, 1001 0x00000007fffffff0, 0x00000007fffffff8, 1002 0x0000000fffffffe0, 0x0000000ffffffff0, 1003 0x0000001fffffffc0, 0x0000001fffffffe0, 1004 0x0000003fffffff80, 0x0000003fffffffc0, 1005 0x0000007fffffff00, 0x0000007fffffff80, 1006 0x000000fffffffe00, 0x000000ffffffff00, 1007 0x000001fffffffc00, 0x000001fffffffe00, 1008 0x000003fffffff800, 0x000003fffffffc00, 1009 0x000007fffffff000, 0x000007fffffff800, 1010 0x00000fffffffe000, 0x00000ffffffff000, 1011 0x00001fffffffc000, 0x00001fffffffe000, 1012 0x00003fffffff8000, 0x00003fffffffc000, 1013 0x00007fffffff0000, 0x00007fffffff8000, 1014 0x0000fffffffe0000, 0x0000ffffffff0000, 1015 0x0001fffffffc0000, 0x0001fffffffe0000, 1016 0x0003fffffff80000, 0x0003fffffffc0000, 1017 0x0007fffffff00000, 0x0007fffffff80000, 1018 0x000fffffffe00000, 0x000ffffffff00000, 1019 0x001fffffffc00000, 0x001fffffffe00000, 1020 0x003fffffff800000, 0x003fffffffc00000, 1021 0x007fffffff000000, 0x007fffffff800000, 1022 0x00fffffffe000000, 0x00ffffffff000000, 1023 0x01fffffffc000000, 0x01fffffffe000000, 1024 0x03fffffff8000000, 0x03fffffffc000000, 1025 0x07fffffff0000000, 0x07fffffff8000000, 1026 0x0fffffffe0000000, 0x0ffffffff0000000, 1027 0x1fffffffc0000000, 0x1fffffffe0000000, 1028 0x3fffffff80000000, 0x3fffffffc0000000, 1029 0x7fffffff00000000, 0x7fffffff80000000, 1030 }; 1031 const unsigned kExpectedCount_NEON_ushll2_2D_2OPIMM = 992; 1032 1033 #endif // VIXL_SIM_USHLL2_2D_2OPIMM_TRACE_A64_H_ 1034
