Compile only an admitted full-vector restore. The realization chooses the
computation after validation; both host and device predictions use exactly
this saved-state interpretation and finite-input check.
1648def cpWithRestore =
1649 (lambda unrestricted layout : (family CoordinatePredictionLayout) .
1650 (lambda unrestricted tail : (family NativePhysicalCommands) .
1651 (lambda unrestricted emit : (pi unrestricted commands : (family NativePhysicalCommands) . Bytes) .
1652 (eliminate
1653 StdResult
1654 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
1655 Bytes)
1656 (planNativeRegionRestore
1657 (cpCheckpoint layout)
1658 (chArgument chManifestInputIndex)
1659 (lambda unrestricted index : Nat . (chArgument (naturalAdd chInputShardBase index)))
1660 nativePeerListenerSlot
1661 nativePeerScratchSlot
1662 (cpExtent layout)
1663 (constructor
1664 StdList
1665 StdListCons
1666 (family NativeRegionDestination)
1667 (constructor
1668 NativeRegionDestination
1669 NativeRegionDestinationOf
1670 0
1671 (constructor LogicalInterval LogicalIntervalOf 0 coordinateVectorBytes)
1672 (cpLeft layout))
1673 (constructor StdList StdListEmpty (family NativeRegionDestination)))
1674 (nativeFloat64RequireFinite
1675 (nativeMemoryLoad (cpLeft layout))
1676 nativePeerScratchSlot
1677 b"prediction-parameter-nonfinite"
1678 (nativeFloat64RequireFinite
1679 (nativeMemoryLoad (cpRight layout))
1680 nativePeerScratchSlot
1681 b"prediction-parameter-nonfinite"
1682 tail)))
1683 (branch StdFailure error . b"")
1684 (branch StdSuccess commands . (emit commands))))))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.