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