Evaluation restores the joined logical state through the same checkpoint
owner. A target evaluates and captures before the public result is written.
820def niEvaluationCommands =
821 (lambda unrestricted paths : (family NativeRegionPaths) .
822 (lambda unrestricted width : Nat .
823 (lambda unrestricted checkpoint : (family NativeRegionCheckpoint) .
824 (lambda unrestricted base : Nat .
825 (lambda unrestricted extent : Nat .
826 (lambda unrestricted prepare : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
827 (lambda unrestricted evaluate : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
828 (lambda unrestricted capture : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
829 (lambda unrestricted finish : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
830 (planNativeRegionRestore
831 checkpoint
832 (nativeRegionPathArgument (nativeRegionPathFirst paths))
833 (lambda unrestricted index : Nat .
834 (nativeRegionPathArgument
835 (naturalAdd (nativeRegionInputShardBase paths) index)))
836 nativePeerListenerSlot
837 nativePeerScratchSlot
838 extent
839 (constructor
840 StdList
841 StdListCons
842 (family NativeRegionDestination)
843 (constructor
844 NativeRegionDestination
845 NativeRegionDestinationOf
846 0
847 (constructor
848 LogicalInterval
849 LogicalIntervalOf
850 0
851 (nativePointwiseAt 0 width))
852 base)
853 (constructor StdList StdListEmpty (family NativeRegionDestination)))
854 (nativeLaunchRecipeAssertEqual
855 (nativeMemoryLoad (nativeRegionCaptureAt checkpoint))
856 (nativeMemoryLoad (nativePointwiseAt (nativeRegionCaptureAt checkpoint) 1))
857 b"independent-input-position"
858 (niFinite
859 base
860 width
861 (prepare
862 (evaluate
863 (capture (niOutput base nativePointwiseWordBytes (finish niHalt)))))))))))))))))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.