413def nativePhysicalNativeResolveBlock =
414 (lambda unrestricted tail : (family X86NativeAssembly) .
415 (nativePhysicalNativeLabel
416 nativePhysicalNativeLabelResolve
417 (nativePhysicalNativeEmit
418 (nativePhysicalNativeLoad64
419 (constructor X86NativeRegister64 X86NativeR10)
420 (constructor X86NativeRegister64 X86NativeRDI)
421 nativePhysicalNativeD0)
422 (nativePhysicalNativeEmit
423 (nativePhysicalNativeCompareImmediate
424 (constructor X86NativeRegister64 X86NativeR10)
425 (nativePhysicalNativeI32Byte (byte 0)))
426 (nativePhysicalNativeJumpCondition
427 (constructor X86NativeCondition X86NativeConditionZero)
428 nativePhysicalNativeLabelResolveImmediate
429 (nativePhysicalNativeEmit
430 (nativePhysicalNativeCompareImmediate
431 (constructor X86NativeRegister64 X86NativeR10)
432 (nativePhysicalNativeI32Byte (byte 1)))
433 (nativePhysicalNativeJumpCondition
434 (constructor X86NativeCondition X86NativeConditionZero)
435 nativePhysicalNativeLabelResolveResult
436 (nativePhysicalNativeEmit
437 (nativePhysicalNativeCompareImmediate
438 (constructor X86NativeRegister64 X86NativeR10)
439 (nativePhysicalNativeI32Byte (byte 2)))
440 (nativePhysicalNativeJumpCondition
441 (constructor X86NativeCondition X86NativeConditionZero)
442 nativePhysicalNativeLabelResolveResultAddress
443 (nativePhysicalNativeEmit
444 (nativePhysicalNativeCompareImmediate
445 (constructor X86NativeRegister64 X86NativeR10)
446 (nativePhysicalNativeI32Byte (byte 3)))
447 (nativePhysicalNativeJumpCondition
448 (constructor X86NativeCondition X86NativeConditionZero)
449 nativePhysicalNativeLabelResolveStateAddress
450 (nativePhysicalNativeEmit
451 (nativePhysicalNativeCompareImmediate
452 (constructor X86NativeRegister64 X86NativeR10)
453 (nativePhysicalNativeI32Byte (byte 4)))
454 (nativePhysicalNativeJumpCondition
455 (constructor X86NativeCondition X86NativeConditionZero)
456 nativePhysicalNativeLabelResolveStateLoad
457 (nativePhysicalNativeEmit
458 (nativePhysicalNativeCompareImmediate
459 (constructor X86NativeRegister64 X86NativeR10)
460 (nativePhysicalNativeI32Byte (byte 5)))
461 (nativePhysicalNativeJumpCondition
462 (constructor X86NativeCondition X86NativeConditionZero)
463 nativePhysicalNativeLabelResolvePayloadAddress
464 (nativePhysicalNativeEmit
465 (nativePhysicalNativeCompareImmediate
466 (constructor X86NativeRegister64 X86NativeR10)
467 (nativePhysicalNativeI32Byte (byte 6)))
468 (nativePhysicalNativeJumpCondition
469 (constructor X86NativeCondition X86NativeConditionZero)
470 nativePhysicalNativeLabelResolvePayloadLoad
471 (nativePhysicalNativeEmit
472 (nativePhysicalNativeCompareImmediate
473 (constructor X86NativeRegister64 X86NativeR10)
474 (nativePhysicalNativeI32Byte (byte 7)))
475 (nativePhysicalNativeJumpCondition
476 (constructor X86NativeCondition X86NativeConditionZero)
477 nativePhysicalNativeLabelResolveProcessArgument
478 (nativePhysicalNativeEmit
479 (nativePhysicalNativeCompareImmediate
480 (constructor X86NativeRegister64 X86NativeR10)
481 (nativePhysicalNativeI32Byte (byte 8)))
482 (nativePhysicalNativeJumpCondition
483 (constructor X86NativeCondition X86NativeConditionZero)
484 nativePhysicalNativeLabelResolveLoopAffine
485 (nativePhysicalNativeJump
486 nativePhysicalNativeLabelFatalOperand
487 (nativePhysicalNativeLabel
488 nativePhysicalNativeLabelResolveImmediate
489 (nativePhysicalNativeEmit
490 (nativePhysicalNativeLoad64
491 (constructor X86NativeRegister64 X86NativeRAX)
492 (constructor X86NativeRegister64 X86NativeRDI)
493 nativePhysicalNativeD8)
494 (nativePhysicalNativeEmit
495 nativePhysicalNativeReturnInstruction
496 (nativePhysicalNativeLabel
497 nativePhysicalNativeLabelResolveResult
498 (nativePhysicalNativeEmit
499 (nativePhysicalNativeLoad64
500 (constructor X86NativeRegister64 X86NativeRAX)
501 (constructor X86NativeRegister64 X86NativeRDI)
502 nativePhysicalNativeD8)
503 (nativePhysicalNativeEmit
504 (nativePhysicalNativeLoad64
505 (constructor X86NativeRegister64 X86NativeR11)
506 (constructor X86NativeRegister64 X86NativeR15)
507 (nativePhysicalNativeDisplacementByte (byte 32)))
508 (nativePhysicalNativeEmit
509 (nativePhysicalNativeCompare
510 (constructor X86NativeRegister64 X86NativeR11)
511 (constructor X86NativeRegister64 X86NativeRAX))
512 (nativePhysicalNativeJumpCondition
513 (constructor X86NativeCondition X86NativeConditionBelow)
514 nativePhysicalNativeLabelResolveSlotValid
515 (nativePhysicalNativeJump
516 nativePhysicalNativeLabelFatalOperand
517 (nativePhysicalNativeLabel
518 nativePhysicalNativeLabelResolveSlotValid
519 (nativePhysicalNativeEmit
520 (nativePhysicalNativeShiftLeft
521 (constructor X86NativeRegister64 X86NativeRAX)
522 (nativePhysicalNativeImmediate8 (byte 3)))
523 (nativePhysicalNativeEmit
524 (nativePhysicalNativeAdd
525 (constructor X86NativeRegister64 X86NativeRBX)
526 (constructor X86NativeRegister64 X86NativeRAX))
527 (nativePhysicalNativeEmit
528 (nativePhysicalNativeLoad64
529 (constructor X86NativeRegister64 X86NativeRAX)
530 (constructor X86NativeRegister64 X86NativeRAX)
531 nativePhysicalNativeD0)
532 (nativePhysicalNativeEmit
533 nativePhysicalNativeReturnInstruction
534 (nativePhysicalNativeLabel
535 nativePhysicalNativeLabelResolveResultAddress
536 (nativePhysicalNativeEmit
537 (nativePhysicalNativeLoad64
538 (constructor X86NativeRegister64 X86NativeRAX)
539 (constructor X86NativeRegister64 X86NativeRDI)
540 nativePhysicalNativeD8)
541 (nativePhysicalNativeEmit
542 (nativePhysicalNativeLoad64
543 (constructor X86NativeRegister64 X86NativeR11)
544 (constructor X86NativeRegister64 X86NativeR15)
545 (nativePhysicalNativeDisplacementByte (byte 32)))
546 (nativePhysicalNativeEmit
547 (nativePhysicalNativeCompare
548 (constructor X86NativeRegister64 X86NativeR11)
549 (constructor X86NativeRegister64 X86NativeRAX))
550 (nativePhysicalNativeJumpCondition
551 (constructor X86NativeCondition X86NativeConditionBelow)
552 nativePhysicalNativeLabelResolveResultAddressSlotValid
553 (nativePhysicalNativeJump
554 nativePhysicalNativeLabelFatalOperand
555 (nativePhysicalNativeLabel
556 nativePhysicalNativeLabelResolveResultAddressSlotValid
557 (nativePhysicalNativeEmit
558 (nativePhysicalNativeShiftLeft
559 (constructor X86NativeRegister64 X86NativeRAX)
560 (nativePhysicalNativeImmediate8 (byte 3)))
561 (nativePhysicalNativeEmit
562 (nativePhysicalNativeAdd
563 (constructor X86NativeRegister64 X86NativeRBX)
564 (constructor X86NativeRegister64 X86NativeRAX))
565 (nativePhysicalNativeEmit
566 (nativePhysicalNativeLoad64
567 (constructor X86NativeRegister64 X86NativeRAX)
568 (constructor X86NativeRegister64 X86NativeRAX)
569 nativePhysicalNativeD0)
570 (nativePhysicalNativeEmit
571 (nativePhysicalNativeLoad64
572 (constructor X86NativeRegister64 X86NativeR11)
573 (constructor X86NativeRegister64 X86NativeRDI)
574 (nativePhysicalNativeDisplacementByte (byte 16)))
575 (nativePhysicalNativeEmit
576 (nativePhysicalNativeAdd
577 (constructor X86NativeRegister64 X86NativeR11)
578 (constructor X86NativeRegister64 X86NativeRAX))
579 (nativePhysicalNativeEmit
580 nativePhysicalNativeReturnInstruction
581 (nativePhysicalNativeLabel
582 nativePhysicalNativeLabelResolveStateAddress
583 (nativePhysicalNativeEmit
584 (nativePhysicalNativeLoad64
585 (constructor X86NativeRegister64 X86NativeRAX)
586 (constructor X86NativeRegister64 X86NativeRDI)
587 nativePhysicalNativeD8)
588 (nativePhysicalNativeEmit
589 (nativePhysicalNativeLoad64
590 (constructor X86NativeRegister64 X86NativeR11)
591 (constructor X86NativeRegister64 X86NativeR15)
592 (nativePhysicalNativeDisplacementByte (byte 24)))
593 (nativePhysicalNativeEmit
594 (nativePhysicalNativeCompare
595 (constructor X86NativeRegister64 X86NativeR11)
596 (constructor X86NativeRegister64 X86NativeRAX))
597 (nativePhysicalNativeJumpCondition
598 (constructor X86NativeCondition X86NativeConditionBelow)
599 nativePhysicalNativeLabelResolveStateAddressValid
600 (nativePhysicalNativeJump
601 nativePhysicalNativeLabelFatalOperand
602 (nativePhysicalNativeLabel
603 nativePhysicalNativeLabelResolveStateAddressValid
604 (nativePhysicalNativeEmit
605 (nativePhysicalNativeAdd
606 (constructor X86NativeRegister64 X86NativeRBP)
607 (constructor X86NativeRegister64 X86NativeRAX))
608 (nativePhysicalNativeEmit
609 nativePhysicalNativeReturnInstruction
610 (nativePhysicalNativeLabel
611 nativePhysicalNativeLabelResolveStateLoad
612 (nativePhysicalNativeEmit
613 (nativePhysicalNativeLoad64
614 (constructor X86NativeRegister64 X86NativeRAX)
615 (constructor X86NativeRegister64 X86NativeRDI)
616 nativePhysicalNativeD8)
617 (nativePhysicalNativeEmit
618 (nativePhysicalNativeMove
619 (constructor X86NativeRegister64 X86NativeRAX)
620 (constructor X86NativeRegister64 X86NativeR10))
621 (nativePhysicalNativeEmit
622 (nativePhysicalNativeAddImmediate
623 (constructor X86NativeRegister64 X86NativeR10)
624 (nativePhysicalNativeI32Byte (byte 8)))
625 (nativePhysicalNativeEmit
626 (nativePhysicalNativeLoad64
627 (constructor X86NativeRegister64 X86NativeR11)
628 (constructor X86NativeRegister64 X86NativeR15)
629 (nativePhysicalNativeDisplacementByte (byte 24)))
630 (nativePhysicalNativeEmit
631 (nativePhysicalNativeCompare
632 (constructor X86NativeRegister64 X86NativeR11)
633 (constructor X86NativeRegister64 X86NativeR10))
634 (nativePhysicalNativeJumpCondition
635 (constructor X86NativeCondition X86NativeConditionAbove)
636 nativePhysicalNativeLabelFatalOperand
637 (nativePhysicalNativeLabel
638 nativePhysicalNativeLabelResolveStateLoadValid
639 (nativePhysicalNativeEmit
640 (nativePhysicalNativeAdd
641 (constructor X86NativeRegister64 X86NativeRBP)
642 (constructor X86NativeRegister64 X86NativeRAX))
643 (nativePhysicalNativeEmit
644 (nativePhysicalNativeLoad64
645 (constructor X86NativeRegister64 X86NativeRAX)
646 (constructor X86NativeRegister64 X86NativeRAX)
647 nativePhysicalNativeD0)
648 (nativePhysicalNativeEmit
649 nativePhysicalNativeReturnInstruction
650 (nativePhysicalNativeLabel
651 nativePhysicalNativeLabelResolvePayloadAddress
652 (nativePhysicalNativeEmit
653 (nativePhysicalNativeLoad64
654 (constructor X86NativeRegister64 X86NativeRAX)
655 (constructor X86NativeRegister64 X86NativeRDI)
656 nativePhysicalNativeD8)
657 (nativePhysicalNativeEmit
658 (nativePhysicalNativeLoad64
659 (constructor X86NativeRegister64 X86NativeR11)
660 (constructor X86NativeRegister64 X86NativeR14)
661 (nativePhysicalNativeDisplacementByte (byte 32)))
662 (nativePhysicalNativeEmit
663 (nativePhysicalNativeCompare
664 (constructor X86NativeRegister64 X86NativeR11)
665 (constructor X86NativeRegister64 X86NativeRAX))
666 (nativePhysicalNativeJumpCondition
667 (constructor X86NativeCondition X86NativeConditionBelow)
668 nativePhysicalNativeLabelResolvePayloadAddressValid
669 (nativePhysicalNativeJump
670 nativePhysicalNativeLabelFatalOperand
671 (nativePhysicalNativeLabel
672 nativePhysicalNativeLabelResolvePayloadAddressValid
673 (nativePhysicalNativeEmit
674 (nativePhysicalNativeAdd
675 (constructor X86NativeRegister64 X86NativeR14)
676 (constructor X86NativeRegister64 X86NativeRAX))
677 (nativePhysicalNativeEmit
678 (nativePhysicalNativeAddImmediate
679 (constructor X86NativeRegister64 X86NativeRAX)
680 (nativePhysicalNativeI32Byte (byte 232)))
681 (nativePhysicalNativeEmit
682 nativePhysicalNativeReturnInstruction
683 (nativePhysicalNativeLabel
684 nativePhysicalNativeLabelResolvePayloadLoad
685 (nativePhysicalNativeEmit
686 (nativePhysicalNativeLoad64
687 (constructor X86NativeRegister64 X86NativeRAX)
688 (constructor X86NativeRegister64 X86NativeRDI)
689 nativePhysicalNativeD8)
690 (nativePhysicalNativeEmit
691 (nativePhysicalNativeMove
692 (constructor X86NativeRegister64 X86NativeRAX)
693 (constructor X86NativeRegister64 X86NativeR10))
694 (nativePhysicalNativeEmit
695 (nativePhysicalNativeAddImmediate
696 (constructor X86NativeRegister64 X86NativeR10)
697 (nativePhysicalNativeI32Byte (byte 8)))
698 (nativePhysicalNativeEmit
699 (nativePhysicalNativeLoad64
700 (constructor X86NativeRegister64 X86NativeR11)
701 (constructor X86NativeRegister64 X86NativeR14)
702 (nativePhysicalNativeDisplacementByte (byte 32)))
703 (nativePhysicalNativeEmit
704 (nativePhysicalNativeCompare
705 (constructor X86NativeRegister64 X86NativeR11)
706 (constructor X86NativeRegister64 X86NativeR10))
707 (nativePhysicalNativeJumpCondition
708 (constructor X86NativeCondition X86NativeConditionAbove)
709 nativePhysicalNativeLabelFatalOperand
710 (nativePhysicalNativeLabel
711 nativePhysicalNativeLabelResolvePayloadLoadValid
712 (nativePhysicalNativeEmit
713 (nativePhysicalNativeAdd
714 (constructor X86NativeRegister64 X86NativeR14)
715 (constructor X86NativeRegister64 X86NativeRAX))
716 (nativePhysicalNativeEmit
717 (nativePhysicalNativeAddImmediate
718 (constructor X86NativeRegister64 X86NativeRAX)
719 (nativePhysicalNativeI32Byte (byte 232)))
720 (nativePhysicalNativeEmit
721 (nativePhysicalNativeLoad64
722 (constructor X86NativeRegister64 X86NativeRAX)
723 (constructor X86NativeRegister64 X86NativeRAX)
724 nativePhysicalNativeD0)
725 (nativePhysicalNativeEmit
726 nativePhysicalNativeReturnInstruction
727 (nativePhysicalNativeLabel
728 nativePhysicalNativeLabelResolveProcessArgument
729 (nativePhysicalNativeEmit
730 (nativePhysicalNativeLoad64
731 (constructor X86NativeRegister64 X86NativeRAX)
732 (constructor X86NativeRegister64 X86NativeRDI)
733 nativePhysicalNativeD8)
734 (nativePhysicalNativeEmit
735 (nativePhysicalNativeShiftLeft
736 (constructor X86NativeRegister64 X86NativeRAX)
737 (nativePhysicalNativeImmediate8 (byte 3)))
738 (nativePhysicalNativeEmit
739 (nativePhysicalNativeAdd
740 (constructor X86NativeRegister64 X86NativeRSP)
741 (constructor X86NativeRegister64 X86NativeRAX))
742 (nativePhysicalNativeEmit
743 (nativePhysicalNativeLoad64
744 (constructor X86NativeRegister64 X86NativeRAX)
745 (constructor X86NativeRegister64 X86NativeRAX)
746 (nativePhysicalNativeDisplacementByte (byte 16)))
747 (nativePhysicalNativeEmit
748 nativePhysicalNativeReturnInstruction
749 tail)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.