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_FMINNM_D_TRACE_AARCH64_H_ 35 #define VIXL_SIM_FMINNM_D_TRACE_AARCH64_H_ 36 37 const uint64_t kExpected_fminnm_d[] = { 38 0x0000000000000000, 39 0x0000000000000000, 40 0x0000000000000000, 41 0x0000000000000000, 42 0x0000000000000000, 43 0x0000000000000000, 44 0x0000000000000000, 45 0x0000000000000000, 46 0x0000000000000000, 47 0x0000000000000000, 48 0x0000000000000000, 49 0x0000000000000000, 50 0x0000000000000000, 51 0x0000000000000000, 52 0x7ff923456789abcd, 53 0x0000000000000000, 54 0x0000000000000000, 55 0x0000000000000000, 56 0x0000000000000000, 57 0x8000000000000000, 58 0x8010000000000000, 59 0xbfdfffffffffffff, 60 0xbfe0000000000000, 61 0xbfe0000000000001, 62 0xbfefffffffffffff, 63 0xbff0000000000000, 64 0xbff0000000000001, 65 0xbff8000000000000, 66 0xc024000000000000, 67 0xffefffffffffffff, 68 0xfff0000000000000, 69 0x0000000000000000, 70 0x0000000000000000, 71 0xfff923456789abcd, 72 0xfff0000000000000, 73 0x800123456789abcd, 74 0x800fffffffffffff, 75 0x8000000000000001, 76 0x0000000000000000, 77 0x0010000000000000, 78 0x0010000000000000, 79 0x0010000000000000, 80 0x0010000000000000, 81 0x0010000000000000, 82 0x0010000000000000, 83 0x0010000000000000, 84 0x0010000000000000, 85 0x0010000000000000, 86 0x0010000000000000, 87 0x0010000000000000, 88 0x0010000000000000, 89 0x0010000000000000, 90 0x7ff923456789abcd, 91 0x0010000000000000, 92 0x000123456789abcd, 93 0x000fffffffffffff, 94 0x0000000000000001, 95 0x8000000000000000, 96 0x8010000000000000, 97 0xbfdfffffffffffff, 98 0xbfe0000000000000, 99 0xbfe0000000000001, 100 0xbfefffffffffffff, 101 0xbff0000000000000, 102 0xbff0000000000001, 103 0xbff8000000000000, 104 0xc024000000000000, 105 0xffefffffffffffff, 106 0xfff0000000000000, 107 0x0010000000000000, 108 0x0010000000000000, 109 0xfff923456789abcd, 110 0xfff0000000000000, 111 0x800123456789abcd, 112 0x800fffffffffffff, 113 0x8000000000000001, 114 0x0000000000000000, 115 0x0010000000000000, 116 0x3fdfffffffffffff, 117 0x3fdfffffffffffff, 118 0x3fdfffffffffffff, 119 0x3fdfffffffffffff, 120 0x3fdfffffffffffff, 121 0x3fdfffffffffffff, 122 0x3fdfffffffffffff, 123 0x3fdfffffffffffff, 124 0x3fdfffffffffffff, 125 0x3fdfffffffffffff, 126 0x3fdfffffffffffff, 127 0x3fdfffffffffffff, 128 0x7ff923456789abcd, 129 0x3fdfffffffffffff, 130 0x000123456789abcd, 131 0x000fffffffffffff, 132 0x0000000000000001, 133 0x8000000000000000, 134 0x8010000000000000, 135 0xbfdfffffffffffff, 136 0xbfe0000000000000, 137 0xbfe0000000000001, 138 0xbfefffffffffffff, 139 0xbff0000000000000, 140 0xbff0000000000001, 141 0xbff8000000000000, 142 0xc024000000000000, 143 0xffefffffffffffff, 144 0xfff0000000000000, 145 0x3fdfffffffffffff, 146 0x3fdfffffffffffff, 147 0xfff923456789abcd, 148 0xfff0000000000000, 149 0x800123456789abcd, 150 0x800fffffffffffff, 151 0x8000000000000001, 152 0x0000000000000000, 153 0x0010000000000000, 154 0x3fdfffffffffffff, 155 0x3fe0000000000000, 156 0x3fe0000000000000, 157 0x3fe0000000000000, 158 0x3fe0000000000000, 159 0x3fe0000000000000, 160 0x3fe0000000000000, 161 0x3fe0000000000000, 162 0x3fe0000000000000, 163 0x3fe0000000000000, 164 0x3fe0000000000000, 165 0x3fe0000000000000, 166 0x7ff923456789abcd, 167 0x3fe0000000000000, 168 0x000123456789abcd, 169 0x000fffffffffffff, 170 0x0000000000000001, 171 0x8000000000000000, 172 0x8010000000000000, 173 0xbfdfffffffffffff, 174 0xbfe0000000000000, 175 0xbfe0000000000001, 176 0xbfefffffffffffff, 177 0xbff0000000000000, 178 0xbff0000000000001, 179 0xbff8000000000000, 180 0xc024000000000000, 181 0xffefffffffffffff, 182 0xfff0000000000000, 183 0x3fe0000000000000, 184 0x3fe0000000000000, 185 0xfff923456789abcd, 186 0xfff0000000000000, 187 0x800123456789abcd, 188 0x800fffffffffffff, 189 0x8000000000000001, 190 0x0000000000000000, 191 0x0010000000000000, 192 0x3fdfffffffffffff, 193 0x3fe0000000000000, 194 0x3fe0000000000001, 195 0x3fe0000000000001, 196 0x3fe0000000000001, 197 0x3fe0000000000001, 198 0x3fe0000000000001, 199 0x3fe0000000000001, 200 0x3fe0000000000001, 201 0x3fe0000000000001, 202 0x3fe0000000000001, 203 0x3fe0000000000001, 204 0x7ff923456789abcd, 205 0x3fe0000000000001, 206 0x000123456789abcd, 207 0x000fffffffffffff, 208 0x0000000000000001, 209 0x8000000000000000, 210 0x8010000000000000, 211 0xbfdfffffffffffff, 212 0xbfe0000000000000, 213 0xbfe0000000000001, 214 0xbfefffffffffffff, 215 0xbff0000000000000, 216 0xbff0000000000001, 217 0xbff8000000000000, 218 0xc024000000000000, 219 0xffefffffffffffff, 220 0xfff0000000000000, 221 0x3fe0000000000001, 222 0x3fe0000000000001, 223 0xfff923456789abcd, 224 0xfff0000000000000, 225 0x800123456789abcd, 226 0x800fffffffffffff, 227 0x8000000000000001, 228 0x0000000000000000, 229 0x0010000000000000, 230 0x3fdfffffffffffff, 231 0x3fe0000000000000, 232 0x3fe0000000000001, 233 0x3fefffffffffffff, 234 0x3fefffffffffffff, 235 0x3fefffffffffffff, 236 0x3fefffffffffffff, 237 0x3fefffffffffffff, 238 0x3fefffffffffffff, 239 0x3fefffffffffffff, 240 0x3fefffffffffffff, 241 0x3fefffffffffffff, 242 0x7ff923456789abcd, 243 0x3fefffffffffffff, 244 0x000123456789abcd, 245 0x000fffffffffffff, 246 0x0000000000000001, 247 0x8000000000000000, 248 0x8010000000000000, 249 0xbfdfffffffffffff, 250 0xbfe0000000000000, 251 0xbfe0000000000001, 252 0xbfefffffffffffff, 253 0xbff0000000000000, 254 0xbff0000000000001, 255 0xbff8000000000000, 256 0xc024000000000000, 257 0xffefffffffffffff, 258 0xfff0000000000000, 259 0x3fefffffffffffff, 260 0x3fefffffffffffff, 261 0xfff923456789abcd, 262 0xfff0000000000000, 263 0x800123456789abcd, 264 0x800fffffffffffff, 265 0x8000000000000001, 266 0x0000000000000000, 267 0x0010000000000000, 268 0x3fdfffffffffffff, 269 0x3fe0000000000000, 270 0x3fe0000000000001, 271 0x3fefffffffffffff, 272 0x3ff0000000000000, 273 0x3ff0000000000000, 274 0x3ff0000000000000, 275 0x3ff0000000000000, 276 0x3ff0000000000000, 277 0x3ff0000000000000, 278 0x3ff0000000000000, 279 0x3ff0000000000000, 280 0x7ff923456789abcd, 281 0x3ff0000000000000, 282 0x000123456789abcd, 283 0x000fffffffffffff, 284 0x0000000000000001, 285 0x8000000000000000, 286 0x8010000000000000, 287 0xbfdfffffffffffff, 288 0xbfe0000000000000, 289 0xbfe0000000000001, 290 0xbfefffffffffffff, 291 0xbff0000000000000, 292 0xbff0000000000001, 293 0xbff8000000000000, 294 0xc024000000000000, 295 0xffefffffffffffff, 296 0xfff0000000000000, 297 0x3ff0000000000000, 298 0x3ff0000000000000, 299 0xfff923456789abcd, 300 0xfff0000000000000, 301 0x800123456789abcd, 302 0x800fffffffffffff, 303 0x8000000000000001, 304 0x0000000000000000, 305 0x0010000000000000, 306 0x3fdfffffffffffff, 307 0x3fe0000000000000, 308 0x3fe0000000000001, 309 0x3fefffffffffffff, 310 0x3ff0000000000000, 311 0x3ff0000000000001, 312 0x3ff0000000000001, 313 0x3ff0000000000001, 314 0x3ff0000000000001, 315 0x3ff0000000000001, 316 0x3ff0000000000001, 317 0x3ff0000000000001, 318 0x7ff923456789abcd, 319 0x3ff0000000000001, 320 0x000123456789abcd, 321 0x000fffffffffffff, 322 0x0000000000000001, 323 0x8000000000000000, 324 0x8010000000000000, 325 0xbfdfffffffffffff, 326 0xbfe0000000000000, 327 0xbfe0000000000001, 328 0xbfefffffffffffff, 329 0xbff0000000000000, 330 0xbff0000000000001, 331 0xbff8000000000000, 332 0xc024000000000000, 333 0xffefffffffffffff, 334 0xfff0000000000000, 335 0x3ff0000000000001, 336 0x3ff0000000000001, 337 0xfff923456789abcd, 338 0xfff0000000000000, 339 0x800123456789abcd, 340 0x800fffffffffffff, 341 0x8000000000000001, 342 0x0000000000000000, 343 0x0010000000000000, 344 0x3fdfffffffffffff, 345 0x3fe0000000000000, 346 0x3fe0000000000001, 347 0x3fefffffffffffff, 348 0x3ff0000000000000, 349 0x3ff0000000000001, 350 0x3ff8000000000000, 351 0x3ff8000000000000, 352 0x3ff8000000000000, 353 0x3ff8000000000000, 354 0x3ff8000000000000, 355 0x3ff8000000000000, 356 0x7ff923456789abcd, 357 0x3ff8000000000000, 358 0x000123456789abcd, 359 0x000fffffffffffff, 360 0x0000000000000001, 361 0x8000000000000000, 362 0x8010000000000000, 363 0xbfdfffffffffffff, 364 0xbfe0000000000000, 365 0xbfe0000000000001, 366 0xbfefffffffffffff, 367 0xbff0000000000000, 368 0xbff0000000000001, 369 0xbff8000000000000, 370 0xc024000000000000, 371 0xffefffffffffffff, 372 0xfff0000000000000, 373 0x3ff8000000000000, 374 0x3ff8000000000000, 375 0xfff923456789abcd, 376 0xfff0000000000000, 377 0x800123456789abcd, 378 0x800fffffffffffff, 379 0x8000000000000001, 380 0x0000000000000000, 381 0x0010000000000000, 382 0x3fdfffffffffffff, 383 0x3fe0000000000000, 384 0x3fe0000000000001, 385 0x3fefffffffffffff, 386 0x3ff0000000000000, 387 0x3ff0000000000001, 388 0x3ff8000000000000, 389 0x4024000000000000, 390 0x4024000000000000, 391 0x4024000000000000, 392 0x4024000000000000, 393 0x4024000000000000, 394 0x7ff923456789abcd, 395 0x4024000000000000, 396 0x000123456789abcd, 397 0x000fffffffffffff, 398 0x0000000000000001, 399 0x8000000000000000, 400 0x8010000000000000, 401 0xbfdfffffffffffff, 402 0xbfe0000000000000, 403 0xbfe0000000000001, 404 0xbfefffffffffffff, 405 0xbff0000000000000, 406 0xbff0000000000001, 407 0xbff8000000000000, 408 0xc024000000000000, 409 0xffefffffffffffff, 410 0xfff0000000000000, 411 0x4024000000000000, 412 0x4024000000000000, 413 0xfff923456789abcd, 414 0xfff0000000000000, 415 0x800123456789abcd, 416 0x800fffffffffffff, 417 0x8000000000000001, 418 0x0000000000000000, 419 0x0010000000000000, 420 0x3fdfffffffffffff, 421 0x3fe0000000000000, 422 0x3fe0000000000001, 423 0x3fefffffffffffff, 424 0x3ff0000000000000, 425 0x3ff0000000000001, 426 0x3ff8000000000000, 427 0x4024000000000000, 428 0x7fefffffffffffff, 429 0x7fefffffffffffff, 430 0x7fefffffffffffff, 431 0x7fefffffffffffff, 432 0x7ff923456789abcd, 433 0x7fefffffffffffff, 434 0x000123456789abcd, 435 0x000fffffffffffff, 436 0x0000000000000001, 437 0x8000000000000000, 438 0x8010000000000000, 439 0xbfdfffffffffffff, 440 0xbfe0000000000000, 441 0xbfe0000000000001, 442 0xbfefffffffffffff, 443 0xbff0000000000000, 444 0xbff0000000000001, 445 0xbff8000000000000, 446 0xc024000000000000, 447 0xffefffffffffffff, 448 0xfff0000000000000, 449 0x7fefffffffffffff, 450 0x7fefffffffffffff, 451 0xfff923456789abcd, 452 0xfff0000000000000, 453 0x800123456789abcd, 454 0x800fffffffffffff, 455 0x8000000000000001, 456 0x0000000000000000, 457 0x0010000000000000, 458 0x3fdfffffffffffff, 459 0x3fe0000000000000, 460 0x3fe0000000000001, 461 0x3fefffffffffffff, 462 0x3ff0000000000000, 463 0x3ff0000000000001, 464 0x3ff8000000000000, 465 0x4024000000000000, 466 0x7fefffffffffffff, 467 0x7ff0000000000000, 468 0x7ff0000000000000, 469 0x7ff0000000000000, 470 0x7ff923456789abcd, 471 0x7ff0000000000000, 472 0x000123456789abcd, 473 0x000fffffffffffff, 474 0x0000000000000001, 475 0x8000000000000000, 476 0x8010000000000000, 477 0xbfdfffffffffffff, 478 0xbfe0000000000000, 479 0xbfe0000000000001, 480 0xbfefffffffffffff, 481 0xbff0000000000000, 482 0xbff0000000000001, 483 0xbff8000000000000, 484 0xc024000000000000, 485 0xffefffffffffffff, 486 0xfff0000000000000, 487 0x7ff0000000000000, 488 0x7ff0000000000000, 489 0xfff923456789abcd, 490 0xfff0000000000000, 491 0x800123456789abcd, 492 0x800fffffffffffff, 493 0x8000000000000001, 494 0x0000000000000000, 495 0x0010000000000000, 496 0x3fdfffffffffffff, 497 0x3fe0000000000000, 498 0x3fe0000000000001, 499 0x3fefffffffffffff, 500 0x3ff0000000000000, 501 0x3ff0000000000001, 502 0x3ff8000000000000, 503 0x4024000000000000, 504 0x7fefffffffffffff, 505 0x7ff0000000000000, 506 0x7ff923456789abcd, 507 0x7ff923456789abcd, 508 0x7ff923456789abcd, 509 0x7ff0000000000000, 510 0x000123456789abcd, 511 0x000fffffffffffff, 512 0x0000000000000001, 513 0x8000000000000000, 514 0x8010000000000000, 515 0xbfdfffffffffffff, 516 0xbfe0000000000000, 517 0xbfe0000000000001, 518 0xbfefffffffffffff, 519 0xbff0000000000000, 520 0xbff0000000000001, 521 0xbff8000000000000, 522 0xc024000000000000, 523 0xffefffffffffffff, 524 0xfff0000000000000, 525 0x7ff923456789abcd, 526 0x7ff923456789abcd, 527 0xfff923456789abcd, 528 0xfff0000000000000, 529 0x800123456789abcd, 530 0x800fffffffffffff, 531 0x8000000000000001, 532 0x0000000000000000, 533 0x0010000000000000, 534 0x3fdfffffffffffff, 535 0x3fe0000000000000, 536 0x3fe0000000000001, 537 0x3fefffffffffffff, 538 0x3ff0000000000000, 539 0x3ff0000000000001, 540 0x3ff8000000000000, 541 0x4024000000000000, 542 0x7fefffffffffffff, 543 0x7ff0000000000000, 544 0x7ff8000000000000, 545 0x7ff8000000000000, 546 0x7ff923456789abcd, 547 0x7ff0000000000000, 548 0x000123456789abcd, 549 0x000fffffffffffff, 550 0x0000000000000001, 551 0x8000000000000000, 552 0x8010000000000000, 553 0xbfdfffffffffffff, 554 0xbfe0000000000000, 555 0xbfe0000000000001, 556 0xbfefffffffffffff, 557 0xbff0000000000000, 558 0xbff0000000000001, 559 0xbff8000000000000, 560 0xc024000000000000, 561 0xffefffffffffffff, 562 0xfff0000000000000, 563 0x7ff8000000000000, 564 0x7ff8000000000000, 565 0xfff923456789abcd, 566 0xfff0000000000000, 567 0x800123456789abcd, 568 0x800fffffffffffff, 569 0x8000000000000001, 570 0x7ff923456789abcd, 571 0x7ff923456789abcd, 572 0x7ff923456789abcd, 573 0x7ff923456789abcd, 574 0x7ff923456789abcd, 575 0x7ff923456789abcd, 576 0x7ff923456789abcd, 577 0x7ff923456789abcd, 578 0x7ff923456789abcd, 579 0x7ff923456789abcd, 580 0x7ff923456789abcd, 581 0x7ff923456789abcd, 582 0x7ff923456789abcd, 583 0x7ff923456789abcd, 584 0x7ff923456789abcd, 585 0x7ff923456789abcd, 586 0x7ff923456789abcd, 587 0x7ff923456789abcd, 588 0x7ff923456789abcd, 589 0x7ff923456789abcd, 590 0x7ff923456789abcd, 591 0x7ff923456789abcd, 592 0x7ff923456789abcd, 593 0x7ff923456789abcd, 594 0x7ff923456789abcd, 595 0x7ff923456789abcd, 596 0x7ff923456789abcd, 597 0x7ff923456789abcd, 598 0x7ff923456789abcd, 599 0x7ff923456789abcd, 600 0x7ff923456789abcd, 601 0x7ff923456789abcd, 602 0x7ff923456789abcd, 603 0x7ff923456789abcd, 604 0x7ff923456789abcd, 605 0x7ff923456789abcd, 606 0x7ff923456789abcd, 607 0x7ff923456789abcd, 608 0x0000000000000000, 609 0x0010000000000000, 610 0x3fdfffffffffffff, 611 0x3fe0000000000000, 612 0x3fe0000000000001, 613 0x3fefffffffffffff, 614 0x3ff0000000000000, 615 0x3ff0000000000001, 616 0x3ff8000000000000, 617 0x4024000000000000, 618 0x7fefffffffffffff, 619 0x7ff0000000000000, 620 0x7ff0000000000000, 621 0x7ff0000000000000, 622 0x7ff923456789abcd, 623 0x7ff0000000000000, 624 0x000123456789abcd, 625 0x000fffffffffffff, 626 0x0000000000000001, 627 0x8000000000000000, 628 0x8010000000000000, 629 0xbfdfffffffffffff, 630 0xbfe0000000000000, 631 0xbfe0000000000001, 632 0xbfefffffffffffff, 633 0xbff0000000000000, 634 0xbff0000000000001, 635 0xbff8000000000000, 636 0xc024000000000000, 637 0xffefffffffffffff, 638 0xfff0000000000000, 639 0x7ff0000000000000, 640 0x7ff0000000000000, 641 0xfff923456789abcd, 642 0xfff0000000000000, 643 0x800123456789abcd, 644 0x800fffffffffffff, 645 0x8000000000000001, 646 0x0000000000000000, 647 0x000123456789abcd, 648 0x000123456789abcd, 649 0x000123456789abcd, 650 0x000123456789abcd, 651 0x000123456789abcd, 652 0x000123456789abcd, 653 0x000123456789abcd, 654 0x000123456789abcd, 655 0x000123456789abcd, 656 0x000123456789abcd, 657 0x000123456789abcd, 658 0x000123456789abcd, 659 0x000123456789abcd, 660 0x7ff923456789abcd, 661 0x000123456789abcd, 662 0x000123456789abcd, 663 0x000123456789abcd, 664 0x0000000000000001, 665 0x8000000000000000, 666 0x8010000000000000, 667 0xbfdfffffffffffff, 668 0xbfe0000000000000, 669 0xbfe0000000000001, 670 0xbfefffffffffffff, 671 0xbff0000000000000, 672 0xbff0000000000001, 673 0xbff8000000000000, 674 0xc024000000000000, 675 0xffefffffffffffff, 676 0xfff0000000000000, 677 0x000123456789abcd, 678 0x000123456789abcd, 679 0xfff923456789abcd, 680 0xfff0000000000000, 681 0x800123456789abcd, 682 0x800fffffffffffff, 683 0x8000000000000001, 684 0x0000000000000000, 685 0x000fffffffffffff, 686 0x000fffffffffffff, 687 0x000fffffffffffff, 688 0x000fffffffffffff, 689 0x000fffffffffffff, 690 0x000fffffffffffff, 691 0x000fffffffffffff, 692 0x000fffffffffffff, 693 0x000fffffffffffff, 694 0x000fffffffffffff, 695 0x000fffffffffffff, 696 0x000fffffffffffff, 697 0x000fffffffffffff, 698 0x7ff923456789abcd, 699 0x000fffffffffffff, 700 0x000123456789abcd, 701 0x000fffffffffffff, 702 0x0000000000000001, 703 0x8000000000000000, 704 0x8010000000000000, 705 0xbfdfffffffffffff, 706 0xbfe0000000000000, 707 0xbfe0000000000001, 708 0xbfefffffffffffff, 709 0xbff0000000000000, 710 0xbff0000000000001, 711 0xbff8000000000000, 712 0xc024000000000000, 713 0xffefffffffffffff, 714 0xfff0000000000000, 715 0x000fffffffffffff, 716 0x000fffffffffffff, 717 0xfff923456789abcd, 718 0xfff0000000000000, 719 0x800123456789abcd, 720 0x800fffffffffffff, 721 0x8000000000000001, 722 0x0000000000000000, 723 0x0000000000000001, 724 0x0000000000000001, 725 0x0000000000000001, 726 0x0000000000000001, 727 0x0000000000000001, 728 0x0000000000000001, 729 0x0000000000000001, 730 0x0000000000000001, 731 0x0000000000000001, 732 0x0000000000000001, 733 0x0000000000000001, 734 0x0000000000000001, 735 0x0000000000000001, 736 0x7ff923456789abcd, 737 0x0000000000000001, 738 0x0000000000000001, 739 0x0000000000000001, 740 0x0000000000000001, 741 0x8000000000000000, 742 0x8010000000000000, 743 0xbfdfffffffffffff, 744 0xbfe0000000000000, 745 0xbfe0000000000001, 746 0xbfefffffffffffff, 747 0xbff0000000000000, 748 0xbff0000000000001, 749 0xbff8000000000000, 750 0xc024000000000000, 751 0xffefffffffffffff, 752 0xfff0000000000000, 753 0x0000000000000001, 754 0x0000000000000001, 755 0xfff923456789abcd, 756 0xfff0000000000000, 757 0x800123456789abcd, 758 0x800fffffffffffff, 759 0x8000000000000001, 760 0x8000000000000000, 761 0x8000000000000000, 762 0x8000000000000000, 763 0x8000000000000000, 764 0x8000000000000000, 765 0x8000000000000000, 766 0x8000000000000000, 767 0x8000000000000000, 768 0x8000000000000000, 769 0x8000000000000000, 770 0x8000000000000000, 771 0x8000000000000000, 772 0x8000000000000000, 773 0x8000000000000000, 774 0x7ff923456789abcd, 775 0x8000000000000000, 776 0x8000000000000000, 777 0x8000000000000000, 778 0x8000000000000000, 779 0x8000000000000000, 780 0x8010000000000000, 781 0xbfdfffffffffffff, 782 0xbfe0000000000000, 783 0xbfe0000000000001, 784 0xbfefffffffffffff, 785 0xbff0000000000000, 786 0xbff0000000000001, 787 0xbff8000000000000, 788 0xc024000000000000, 789 0xffefffffffffffff, 790 0xfff0000000000000, 791 0x8000000000000000, 792 0x8000000000000000, 793 0xfff923456789abcd, 794 0xfff0000000000000, 795 0x800123456789abcd, 796 0x800fffffffffffff, 797 0x8000000000000001, 798 0x8010000000000000, 799 0x8010000000000000, 800 0x8010000000000000, 801 0x8010000000000000, 802 0x8010000000000000, 803 0x8010000000000000, 804 0x8010000000000000, 805 0x8010000000000000, 806 0x8010000000000000, 807 0x8010000000000000, 808 0x8010000000000000, 809 0x8010000000000000, 810 0x8010000000000000, 811 0x8010000000000000, 812 0x7ff923456789abcd, 813 0x8010000000000000, 814 0x8010000000000000, 815 0x8010000000000000, 816 0x8010000000000000, 817 0x8010000000000000, 818 0x8010000000000000, 819 0xbfdfffffffffffff, 820 0xbfe0000000000000, 821 0xbfe0000000000001, 822 0xbfefffffffffffff, 823 0xbff0000000000000, 824 0xbff0000000000001, 825 0xbff8000000000000, 826 0xc024000000000000, 827 0xffefffffffffffff, 828 0xfff0000000000000, 829 0x8010000000000000, 830 0x8010000000000000, 831 0xfff923456789abcd, 832 0xfff0000000000000, 833 0x8010000000000000, 834 0x8010000000000000, 835 0x8010000000000000, 836 0xbfdfffffffffffff, 837 0xbfdfffffffffffff, 838 0xbfdfffffffffffff, 839 0xbfdfffffffffffff, 840 0xbfdfffffffffffff, 841 0xbfdfffffffffffff, 842 0xbfdfffffffffffff, 843 0xbfdfffffffffffff, 844 0xbfdfffffffffffff, 845 0xbfdfffffffffffff, 846 0xbfdfffffffffffff, 847 0xbfdfffffffffffff, 848 0xbfdfffffffffffff, 849 0xbfdfffffffffffff, 850 0x7ff923456789abcd, 851 0xbfdfffffffffffff, 852 0xbfdfffffffffffff, 853 0xbfdfffffffffffff, 854 0xbfdfffffffffffff, 855 0xbfdfffffffffffff, 856 0xbfdfffffffffffff, 857 0xbfdfffffffffffff, 858 0xbfe0000000000000, 859 0xbfe0000000000001, 860 0xbfefffffffffffff, 861 0xbff0000000000000, 862 0xbff0000000000001, 863 0xbff8000000000000, 864 0xc024000000000000, 865 0xffefffffffffffff, 866 0xfff0000000000000, 867 0xbfdfffffffffffff, 868 0xbfdfffffffffffff, 869 0xfff923456789abcd, 870 0xfff0000000000000, 871 0xbfdfffffffffffff, 872 0xbfdfffffffffffff, 873 0xbfdfffffffffffff, 874 0xbfe0000000000000, 875 0xbfe0000000000000, 876 0xbfe0000000000000, 877 0xbfe0000000000000, 878 0xbfe0000000000000, 879 0xbfe0000000000000, 880 0xbfe0000000000000, 881 0xbfe0000000000000, 882 0xbfe0000000000000, 883 0xbfe0000000000000, 884 0xbfe0000000000000, 885 0xbfe0000000000000, 886 0xbfe0000000000000, 887 0xbfe0000000000000, 888 0x7ff923456789abcd, 889 0xbfe0000000000000, 890 0xbfe0000000000000, 891 0xbfe0000000000000, 892 0xbfe0000000000000, 893 0xbfe0000000000000, 894 0xbfe0000000000000, 895 0xbfe0000000000000, 896 0xbfe0000000000000, 897 0xbfe0000000000001, 898 0xbfefffffffffffff, 899 0xbff0000000000000, 900 0xbff0000000000001, 901 0xbff8000000000000, 902 0xc024000000000000, 903 0xffefffffffffffff, 904 0xfff0000000000000, 905 0xbfe0000000000000, 906 0xbfe0000000000000, 907 0xfff923456789abcd, 908 0xfff0000000000000, 909 0xbfe0000000000000, 910 0xbfe0000000000000, 911 0xbfe0000000000000, 912 0xbfe0000000000001, 913 0xbfe0000000000001, 914 0xbfe0000000000001, 915 0xbfe0000000000001, 916 0xbfe0000000000001, 917 0xbfe0000000000001, 918 0xbfe0000000000001, 919 0xbfe0000000000001, 920 0xbfe0000000000001, 921 0xbfe0000000000001, 922 0xbfe0000000000001, 923 0xbfe0000000000001, 924 0xbfe0000000000001, 925 0xbfe0000000000001, 926 0x7ff923456789abcd, 927 0xbfe0000000000001, 928 0xbfe0000000000001, 929 0xbfe0000000000001, 930 0xbfe0000000000001, 931 0xbfe0000000000001, 932 0xbfe0000000000001, 933 0xbfe0000000000001, 934 0xbfe0000000000001, 935 0xbfe0000000000001, 936 0xbfefffffffffffff, 937 0xbff0000000000000, 938 0xbff0000000000001, 939 0xbff8000000000000, 940 0xc024000000000000, 941 0xffefffffffffffff, 942 0xfff0000000000000, 943 0xbfe0000000000001, 944 0xbfe0000000000001, 945 0xfff923456789abcd, 946 0xfff0000000000000, 947 0xbfe0000000000001, 948 0xbfe0000000000001, 949 0xbfe0000000000001, 950 0xbfefffffffffffff, 951 0xbfefffffffffffff, 952 0xbfefffffffffffff, 953 0xbfefffffffffffff, 954 0xbfefffffffffffff, 955 0xbfefffffffffffff, 956 0xbfefffffffffffff, 957 0xbfefffffffffffff, 958 0xbfefffffffffffff, 959 0xbfefffffffffffff, 960 0xbfefffffffffffff, 961 0xbfefffffffffffff, 962 0xbfefffffffffffff, 963 0xbfefffffffffffff, 964 0x7ff923456789abcd, 965 0xbfefffffffffffff, 966 0xbfefffffffffffff, 967 0xbfefffffffffffff, 968 0xbfefffffffffffff, 969 0xbfefffffffffffff, 970 0xbfefffffffffffff, 971 0xbfefffffffffffff, 972 0xbfefffffffffffff, 973 0xbfefffffffffffff, 974 0xbfefffffffffffff, 975 0xbff0000000000000, 976 0xbff0000000000001, 977 0xbff8000000000000, 978 0xc024000000000000, 979 0xffefffffffffffff, 980 0xfff0000000000000, 981 0xbfefffffffffffff, 982 0xbfefffffffffffff, 983 0xfff923456789abcd, 984 0xfff0000000000000, 985 0xbfefffffffffffff, 986 0xbfefffffffffffff, 987 0xbfefffffffffffff, 988 0xbff0000000000000, 989 0xbff0000000000000, 990 0xbff0000000000000, 991 0xbff0000000000000, 992 0xbff0000000000000, 993 0xbff0000000000000, 994 0xbff0000000000000, 995 0xbff0000000000000, 996 0xbff0000000000000, 997 0xbff0000000000000, 998 0xbff0000000000000, 999 0xbff0000000000000, 1000 0xbff0000000000000, 1001 0xbff0000000000000, 1002 0x7ff923456789abcd, 1003 0xbff0000000000000, 1004 0xbff0000000000000, 1005 0xbff0000000000000, 1006 0xbff0000000000000, 1007 0xbff0000000000000, 1008 0xbff0000000000000, 1009 0xbff0000000000000, 1010 0xbff0000000000000, 1011 0xbff0000000000000, 1012 0xbff0000000000000, 1013 0xbff0000000000000, 1014 0xbff0000000000001, 1015 0xbff8000000000000, 1016 0xc024000000000000, 1017 0xffefffffffffffff, 1018 0xfff0000000000000, 1019 0xbff0000000000000, 1020 0xbff0000000000000, 1021 0xfff923456789abcd, 1022 0xfff0000000000000, 1023 0xbff0000000000000, 1024 0xbff0000000000000, 1025 0xbff0000000000000, 1026 0xbff0000000000001, 1027 0xbff0000000000001, 1028 0xbff0000000000001, 1029 0xbff0000000000001, 1030 0xbff0000000000001, 1031 0xbff0000000000001, 1032 0xbff0000000000001, 1033 0xbff0000000000001, 1034 0xbff0000000000001, 1035 0xbff0000000000001, 1036 0xbff0000000000001, 1037 0xbff0000000000001, 1038 0xbff0000000000001, 1039 0xbff0000000000001, 1040 0x7ff923456789abcd, 1041 0xbff0000000000001, 1042 0xbff0000000000001, 1043 0xbff0000000000001, 1044 0xbff0000000000001, 1045 0xbff0000000000001, 1046 0xbff0000000000001, 1047 0xbff0000000000001, 1048 0xbff0000000000001, 1049 0xbff0000000000001, 1050 0xbff0000000000001, 1051 0xbff0000000000001, 1052 0xbff0000000000001, 1053 0xbff8000000000000, 1054 0xc024000000000000, 1055 0xffefffffffffffff, 1056 0xfff0000000000000, 1057 0xbff0000000000001, 1058 0xbff0000000000001, 1059 0xfff923456789abcd, 1060 0xfff0000000000000, 1061 0xbff0000000000001, 1062 0xbff0000000000001, 1063 0xbff0000000000001, 1064 0xbff8000000000000, 1065 0xbff8000000000000, 1066 0xbff8000000000000, 1067 0xbff8000000000000, 1068 0xbff8000000000000, 1069 0xbff8000000000000, 1070 0xbff8000000000000, 1071 0xbff8000000000000, 1072 0xbff8000000000000, 1073 0xbff8000000000000, 1074 0xbff8000000000000, 1075 0xbff8000000000000, 1076 0xbff8000000000000, 1077 0xbff8000000000000, 1078 0x7ff923456789abcd, 1079 0xbff8000000000000, 1080 0xbff8000000000000, 1081 0xbff8000000000000, 1082 0xbff8000000000000, 1083 0xbff8000000000000, 1084 0xbff8000000000000, 1085 0xbff8000000000000, 1086 0xbff8000000000000, 1087 0xbff8000000000000, 1088 0xbff8000000000000, 1089 0xbff8000000000000, 1090 0xbff8000000000000, 1091 0xbff8000000000000, 1092 0xc024000000000000, 1093 0xffefffffffffffff, 1094 0xfff0000000000000, 1095 0xbff8000000000000, 1096 0xbff8000000000000, 1097 0xfff923456789abcd, 1098 0xfff0000000000000, 1099 0xbff8000000000000, 1100 0xbff8000000000000, 1101 0xbff8000000000000, 1102 0xc024000000000000, 1103 0xc024000000000000, 1104 0xc024000000000000, 1105 0xc024000000000000, 1106 0xc024000000000000, 1107 0xc024000000000000, 1108 0xc024000000000000, 1109 0xc024000000000000, 1110 0xc024000000000000, 1111 0xc024000000000000, 1112 0xc024000000000000, 1113 0xc024000000000000, 1114 0xc024000000000000, 1115 0xc024000000000000, 1116 0x7ff923456789abcd, 1117 0xc024000000000000, 1118 0xc024000000000000, 1119 0xc024000000000000, 1120 0xc024000000000000, 1121 0xc024000000000000, 1122 0xc024000000000000, 1123 0xc024000000000000, 1124 0xc024000000000000, 1125 0xc024000000000000, 1126 0xc024000000000000, 1127 0xc024000000000000, 1128 0xc024000000000000, 1129 0xc024000000000000, 1130 0xc024000000000000, 1131 0xffefffffffffffff, 1132 0xfff0000000000000, 1133 0xc024000000000000, 1134 0xc024000000000000, 1135 0xfff923456789abcd, 1136 0xfff0000000000000, 1137 0xc024000000000000, 1138 0xc024000000000000, 1139 0xc024000000000000, 1140 0xffefffffffffffff, 1141 0xffefffffffffffff, 1142 0xffefffffffffffff, 1143 0xffefffffffffffff, 1144 0xffefffffffffffff, 1145 0xffefffffffffffff, 1146 0xffefffffffffffff, 1147 0xffefffffffffffff, 1148 0xffefffffffffffff, 1149 0xffefffffffffffff, 1150 0xffefffffffffffff, 1151 0xffefffffffffffff, 1152 0xffefffffffffffff, 1153 0xffefffffffffffff, 1154 0x7ff923456789abcd, 1155 0xffefffffffffffff, 1156 0xffefffffffffffff, 1157 0xffefffffffffffff, 1158 0xffefffffffffffff, 1159 0xffefffffffffffff, 1160 0xffefffffffffffff, 1161 0xffefffffffffffff, 1162 0xffefffffffffffff, 1163 0xffefffffffffffff, 1164 0xffefffffffffffff, 1165 0xffefffffffffffff, 1166 0xffefffffffffffff, 1167 0xffefffffffffffff, 1168 0xffefffffffffffff, 1169 0xffefffffffffffff, 1170 0xfff0000000000000, 1171 0xffefffffffffffff, 1172 0xffefffffffffffff, 1173 0xfff923456789abcd, 1174 0xfff0000000000000, 1175 0xffefffffffffffff, 1176 0xffefffffffffffff, 1177 0xffefffffffffffff, 1178 0xfff0000000000000, 1179 0xfff0000000000000, 1180 0xfff0000000000000, 1181 0xfff0000000000000, 1182 0xfff0000000000000, 1183 0xfff0000000000000, 1184 0xfff0000000000000, 1185 0xfff0000000000000, 1186 0xfff0000000000000, 1187 0xfff0000000000000, 1188 0xfff0000000000000, 1189 0xfff0000000000000, 1190 0xfff0000000000000, 1191 0xfff0000000000000, 1192 0x7ff923456789abcd, 1193 0xfff0000000000000, 1194 0xfff0000000000000, 1195 0xfff0000000000000, 1196 0xfff0000000000000, 1197 0xfff0000000000000, 1198 0xfff0000000000000, 1199 0xfff0000000000000, 1200 0xfff0000000000000, 1201 0xfff0000000000000, 1202 0xfff0000000000000, 1203 0xfff0000000000000, 1204 0xfff0000000000000, 1205 0xfff0000000000000, 1206 0xfff0000000000000, 1207 0xfff0000000000000, 1208 0xfff0000000000000, 1209 0xfff0000000000000, 1210 0xfff0000000000000, 1211 0xfff923456789abcd, 1212 0xfff0000000000000, 1213 0xfff0000000000000, 1214 0xfff0000000000000, 1215 0xfff0000000000000, 1216 0x0000000000000000, 1217 0x0010000000000000, 1218 0x3fdfffffffffffff, 1219 0x3fe0000000000000, 1220 0x3fe0000000000001, 1221 0x3fefffffffffffff, 1222 0x3ff0000000000000, 1223 0x3ff0000000000001, 1224 0x3ff8000000000000, 1225 0x4024000000000000, 1226 0x7fefffffffffffff, 1227 0x7ff0000000000000, 1228 0xfff923456789abcd, 1229 0xfff923456789abcd, 1230 0x7ff923456789abcd, 1231 0x7ff0000000000000, 1232 0x000123456789abcd, 1233 0x000fffffffffffff, 1234 0x0000000000000001, 1235 0x8000000000000000, 1236 0x8010000000000000, 1237 0xbfdfffffffffffff, 1238 0xbfe0000000000000, 1239 0xbfe0000000000001, 1240 0xbfefffffffffffff, 1241 0xbff0000000000000, 1242 0xbff0000000000001, 1243 0xbff8000000000000, 1244 0xc024000000000000, 1245 0xffefffffffffffff, 1246 0xfff0000000000000, 1247 0xfff923456789abcd, 1248 0xfff923456789abcd, 1249 0xfff923456789abcd, 1250 0xfff0000000000000, 1251 0x800123456789abcd, 1252 0x800fffffffffffff, 1253 0x8000000000000001, 1254 0x0000000000000000, 1255 0x0010000000000000, 1256 0x3fdfffffffffffff, 1257 0x3fe0000000000000, 1258 0x3fe0000000000001, 1259 0x3fefffffffffffff, 1260 0x3ff0000000000000, 1261 0x3ff0000000000001, 1262 0x3ff8000000000000, 1263 0x4024000000000000, 1264 0x7fefffffffffffff, 1265 0x7ff0000000000000, 1266 0xfff8000000000000, 1267 0xfff8000000000000, 1268 0x7ff923456789abcd, 1269 0x7ff0000000000000, 1270 0x000123456789abcd, 1271 0x000fffffffffffff, 1272 0x0000000000000001, 1273 0x8000000000000000, 1274 0x8010000000000000, 1275 0xbfdfffffffffffff, 1276 0xbfe0000000000000, 1277 0xbfe0000000000001, 1278 0xbfefffffffffffff, 1279 0xbff0000000000000, 1280 0xbff0000000000001, 1281 0xbff8000000000000, 1282 0xc024000000000000, 1283 0xffefffffffffffff, 1284 0xfff0000000000000, 1285 0xfff8000000000000, 1286 0xfff8000000000000, 1287 0xfff923456789abcd, 1288 0xfff0000000000000, 1289 0x800123456789abcd, 1290 0x800fffffffffffff, 1291 0x8000000000000001, 1292 0xfff923456789abcd, 1293 0xfff923456789abcd, 1294 0xfff923456789abcd, 1295 0xfff923456789abcd, 1296 0xfff923456789abcd, 1297 0xfff923456789abcd, 1298 0xfff923456789abcd, 1299 0xfff923456789abcd, 1300 0xfff923456789abcd, 1301 0xfff923456789abcd, 1302 0xfff923456789abcd, 1303 0xfff923456789abcd, 1304 0xfff923456789abcd, 1305 0xfff923456789abcd, 1306 0xfff923456789abcd, 1307 0xfff923456789abcd, 1308 0xfff923456789abcd, 1309 0xfff923456789abcd, 1310 0xfff923456789abcd, 1311 0xfff923456789abcd, 1312 0xfff923456789abcd, 1313 0xfff923456789abcd, 1314 0xfff923456789abcd, 1315 0xfff923456789abcd, 1316 0xfff923456789abcd, 1317 0xfff923456789abcd, 1318 0xfff923456789abcd, 1319 0xfff923456789abcd, 1320 0xfff923456789abcd, 1321 0xfff923456789abcd, 1322 0xfff923456789abcd, 1323 0xfff923456789abcd, 1324 0xfff923456789abcd, 1325 0xfff923456789abcd, 1326 0xfff923456789abcd, 1327 0xfff923456789abcd, 1328 0xfff923456789abcd, 1329 0xfff923456789abcd, 1330 0xfff0000000000000, 1331 0xfff0000000000000, 1332 0xfff0000000000000, 1333 0xfff0000000000000, 1334 0xfff0000000000000, 1335 0xfff0000000000000, 1336 0xfff0000000000000, 1337 0xfff0000000000000, 1338 0xfff0000000000000, 1339 0xfff0000000000000, 1340 0xfff0000000000000, 1341 0xfff0000000000000, 1342 0xfff0000000000000, 1343 0xfff0000000000000, 1344 0x7ff923456789abcd, 1345 0xfff0000000000000, 1346 0xfff0000000000000, 1347 0xfff0000000000000, 1348 0xfff0000000000000, 1349 0xfff0000000000000, 1350 0xfff0000000000000, 1351 0xfff0000000000000, 1352 0xfff0000000000000, 1353 0xfff0000000000000, 1354 0xfff0000000000000, 1355 0xfff0000000000000, 1356 0xfff0000000000000, 1357 0xfff0000000000000, 1358 0xfff0000000000000, 1359 0xfff0000000000000, 1360 0xfff0000000000000, 1361 0xfff0000000000000, 1362 0xfff0000000000000, 1363 0xfff923456789abcd, 1364 0xfff0000000000000, 1365 0xfff0000000000000, 1366 0xfff0000000000000, 1367 0xfff0000000000000, 1368 0x800123456789abcd, 1369 0x800123456789abcd, 1370 0x800123456789abcd, 1371 0x800123456789abcd, 1372 0x800123456789abcd, 1373 0x800123456789abcd, 1374 0x800123456789abcd, 1375 0x800123456789abcd, 1376 0x800123456789abcd, 1377 0x800123456789abcd, 1378 0x800123456789abcd, 1379 0x800123456789abcd, 1380 0x800123456789abcd, 1381 0x800123456789abcd, 1382 0x7ff923456789abcd, 1383 0x800123456789abcd, 1384 0x800123456789abcd, 1385 0x800123456789abcd, 1386 0x800123456789abcd, 1387 0x800123456789abcd, 1388 0x8010000000000000, 1389 0xbfdfffffffffffff, 1390 0xbfe0000000000000, 1391 0xbfe0000000000001, 1392 0xbfefffffffffffff, 1393 0xbff0000000000000, 1394 0xbff0000000000001, 1395 0xbff8000000000000, 1396 0xc024000000000000, 1397 0xffefffffffffffff, 1398 0xfff0000000000000, 1399 0x800123456789abcd, 1400 0x800123456789abcd, 1401 0xfff923456789abcd, 1402 0xfff0000000000000, 1403 0x800123456789abcd, 1404 0x800fffffffffffff, 1405 0x800123456789abcd, 1406 0x800fffffffffffff, 1407 0x800fffffffffffff, 1408 0x800fffffffffffff, 1409 0x800fffffffffffff, 1410 0x800fffffffffffff, 1411 0x800fffffffffffff, 1412 0x800fffffffffffff, 1413 0x800fffffffffffff, 1414 0x800fffffffffffff, 1415 0x800fffffffffffff, 1416 0x800fffffffffffff, 1417 0x800fffffffffffff, 1418 0x800fffffffffffff, 1419 0x800fffffffffffff, 1420 0x7ff923456789abcd, 1421 0x800fffffffffffff, 1422 0x800fffffffffffff, 1423 0x800fffffffffffff, 1424 0x800fffffffffffff, 1425 0x800fffffffffffff, 1426 0x8010000000000000, 1427 0xbfdfffffffffffff, 1428 0xbfe0000000000000, 1429 0xbfe0000000000001, 1430 0xbfefffffffffffff, 1431 0xbff0000000000000, 1432 0xbff0000000000001, 1433 0xbff8000000000000, 1434 0xc024000000000000, 1435 0xffefffffffffffff, 1436 0xfff0000000000000, 1437 0x800fffffffffffff, 1438 0x800fffffffffffff, 1439 0xfff923456789abcd, 1440 0xfff0000000000000, 1441 0x800fffffffffffff, 1442 0x800fffffffffffff, 1443 0x800fffffffffffff, 1444 0x8000000000000001, 1445 0x8000000000000001, 1446 0x8000000000000001, 1447 0x8000000000000001, 1448 0x8000000000000001, 1449 0x8000000000000001, 1450 0x8000000000000001, 1451 0x8000000000000001, 1452 0x8000000000000001, 1453 0x8000000000000001, 1454 0x8000000000000001, 1455 0x8000000000000001, 1456 0x8000000000000001, 1457 0x8000000000000001, 1458 0x7ff923456789abcd, 1459 0x8000000000000001, 1460 0x8000000000000001, 1461 0x8000000000000001, 1462 0x8000000000000001, 1463 0x8000000000000001, 1464 0x8010000000000000, 1465 0xbfdfffffffffffff, 1466 0xbfe0000000000000, 1467 0xbfe0000000000001, 1468 0xbfefffffffffffff, 1469 0xbff0000000000000, 1470 0xbff0000000000001, 1471 0xbff8000000000000, 1472 0xc024000000000000, 1473 0xffefffffffffffff, 1474 0xfff0000000000000, 1475 0x8000000000000001, 1476 0x8000000000000001, 1477 0xfff923456789abcd, 1478 0xfff0000000000000, 1479 0x800123456789abcd, 1480 0x800fffffffffffff, 1481 0x8000000000000001, 1482 }; 1483 const unsigned kExpectedCount_fminnm_d = 1444; 1484 1485 #endif // VIXL_SIM_FMINNM_D_TRACE_AARCH64_H_ 1486