Source/Packages

Runtime.NativePhysicalTrainingRoutine

packages/execution/src/Runtime/NativePhysicalTrainingRoutine.alpha

829 lines56 declarations42.7 KiBSHA-256 85591762f113

def · lines 565–707

nativePhysicalTrainingCheckedBitPatchAssemblyGuard

Full file
565def nativePhysicalTrainingCheckedBitPatchAssemblyGuard =
566  (lambda unrestricted highMask : (family X86NativeImmediate64) .
567    (lambda unrestricted alignmentMask : (family X86NativeImmediate64) .
568      (lambda unrestricted body : (family X86NativeAssembly) .
569        (constructor
570          X86NativeAssembly
571          X86NativeAssemblyEmit
572          (constructor
573            X86NativeInstruction
574            X86NativeAddRegister64
575            (constructor X86NativeRegister64 X86NativeRDX)
576            (constructor X86NativeRegister64 X86NativeRSI))
577          (constructor
578            X86NativeAssembly
579            X86NativeAssemblyJumpCondition
580            (constructor X86NativeCondition X86NativeConditionBelow)
581            nativePhysicalTrainingCheckedBitPatchCarryLabel
582            (constructor
583              X86NativeAssembly
584              X86NativeAssemblyEmit
585              (constructor
586                X86NativeInstruction
587                X86NativeMoveRegister64
588                (constructor X86NativeRegister64 X86NativeRSI)
589                (constructor X86NativeRegister64 X86NativeRCX))
590              (constructor
591                X86NativeAssembly
592                X86NativeAssemblyEmit
593                (constructor
594                  X86NativeInstruction
595                  X86NativeMoveImmediate64
596                  (constructor X86NativeRegister64 X86NativeRDX)
597                  highMask)
598                (constructor
599                  X86NativeAssembly
600                  X86NativeAssemblyEmit
601                  (constructor
602                    X86NativeInstruction
603                    X86NativeAndRegister64
604                    (constructor X86NativeRegister64 X86NativeRDX)
605                    (constructor X86NativeRegister64 X86NativeRCX))
606                  (constructor
607                    X86NativeAssembly
608                    X86NativeAssemblyEmit
609                    (constructor
610                      X86NativeInstruction
611                      X86NativeTestRegister64
612                      (constructor X86NativeRegister64 X86NativeRCX)
613                      (constructor X86NativeRegister64 X86NativeRCX))
614                    (constructor
615                      X86NativeAssembly
616                      X86NativeAssemblyJumpCondition
617                      (constructor X86NativeCondition X86NativeConditionNotZero)
618                      nativePhysicalTrainingCheckedBitPatchRangeLabel
619                      (constructor
620                        X86NativeAssembly
621                        X86NativeAssemblyEmit
622                        (constructor
623                          X86NativeInstruction
624                          X86NativeMoveRegister64
625                          (constructor X86NativeRegister64 X86NativeRSI)
626                          (constructor X86NativeRegister64 X86NativeRCX))
627                        (constructor
628                          X86NativeAssembly
629                          X86NativeAssemblyEmit
630                          (constructor
631                            X86NativeInstruction
632                            X86NativeMoveImmediate64
633                            (constructor X86NativeRegister64 X86NativeRDX)
634                            alignmentMask)
635                          (constructor
636                            X86NativeAssembly
637                            X86NativeAssemblyEmit
638                            (constructor
639                              X86NativeInstruction
640                              X86NativeAndRegister64
641                              (constructor X86NativeRegister64 X86NativeRDX)
642                              (constructor X86NativeRegister64 X86NativeRCX))
643                            (constructor
644                              X86NativeAssembly
645                              X86NativeAssemblyEmit
646                              (constructor
647                                X86NativeInstruction
648                                X86NativeTestRegister64
649                                (constructor X86NativeRegister64 X86NativeRCX)
650                                (constructor X86NativeRegister64 X86NativeRCX))
651                              (constructor
652                                X86NativeAssembly
653                                X86NativeAssemblyJumpCondition
654                                (constructor X86NativeCondition X86NativeConditionNotZero)
655                                nativePhysicalTrainingCheckedBitPatchAlignmentLabel
656                                (app
657                                  nativePhysicalTrainingCheckedBitPatchAssemblyAppend
658                                  body
659                                  (constructor
660                                    X86NativeAssembly
661                                    X86NativeAssemblyLabel
662                                    nativePhysicalTrainingCheckedBitPatchCarryLabel
663                                    (constructor
664                                      X86NativeAssembly
665                                      X86NativeAssemblyEmit
666                                      (constructor
667                                        X86NativeInstruction
668                                        X86NativeMoveImmediate32
669                                        (constructor X86NativeRegister64 X86NativeRAX)
670                                        (app nativePhysicalNativeI32Byte (byte 1)))
671                                      (constructor
672                                        X86NativeAssembly
673                                        X86NativeAssemblyEmit
674                                        (constructor X86NativeInstruction X86NativeReturn)
675                                        (constructor
676                                        X86NativeAssembly
677                                        X86NativeAssemblyLabel
678                                        nativePhysicalTrainingCheckedBitPatchRangeLabel
679                                        (constructor
680                                        X86NativeAssembly
681                                        X86NativeAssemblyEmit
682                                        (constructor
683                                        X86NativeInstruction
684                                        X86NativeMoveImmediate32
685                                        (constructor X86NativeRegister64 X86NativeRAX)
686                                        (app nativePhysicalNativeI32Byte (byte 2)))
687                                        (constructor
688                                        X86NativeAssembly
689                                        X86NativeAssemblyEmit
690                                        (constructor X86NativeInstruction X86NativeReturn)
691                                        (constructor
692                                        X86NativeAssembly
693                                        X86NativeAssemblyLabel
694                                        nativePhysicalTrainingCheckedBitPatchAlignmentLabel
695                                        (constructor
696                                        X86NativeAssembly
697                                        X86NativeAssemblyEmit
698                                        (constructor
699                                        X86NativeInstruction
700                                        X86NativeMoveImmediate32
701                                        (constructor X86NativeRegister64 X86NativeRAX)
702                                        (app nativePhysicalNativeI32Byte (byte 3)))
703                                        (constructor
704                                        X86NativeAssembly
705                                        X86NativeAssemblyEmit
706                                        (constructor X86NativeInstruction X86NativeReturn)
707                                        (constructor X86NativeAssembly X86NativeAssemblyEnd))))))))))))))))))))))))))

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.