Repeat classification is shared by balance and exact frame-depth derivation.
703def nativePhysicalRepeatAction =
704 (lambda unrestricted operation : (family NativePhysicalOperation) .
705 (eliminate
706 NativePhysicalOperation
707 (lambda unrestricted current : (family NativePhysicalOperation) . Nat)
708 operation
709 (branch NativePhysicalSystemCall number arguments payload result . 0)
710 (branch NativePhysicalCopyPayloadToState destination extent payload . 0)
711 (branch NativePhysicalMachineRoutine code arguments result . 0)
712 (branch NativePhysicalFencePoll address expected polls . 0)
713 (branch NativePhysicalTelemetryAppend path record . 0)
714 (branch NativePhysicalAssertEqual left right error . 0)
715 (branch NativePhysicalAssertOneOf observed first second error . 0)
716 (branch NativePhysicalHaltSuccess . 0)
717 (branch NativePhysicalRepeatBegin count . 1)
718 (branch NativePhysicalSkipUnlessEqual left right count . 0)
719 (branch NativePhysicalRepeatEnd . 2)
720 (branch NativePhysicalRepeatEndWhen observed expected . 2)
721 (branch NativePhysicalStoreWord64 destination value . 0)
722 (branch NativePhysicalFenceWait address expected polls interval . 0)
723 (branch NativePhysicalRepeatBeginCounted count . 1)
724 (branch NativePhysicalAddWord64 destination left right . 0)
725 (branch NativePhysicalFloat64 operation destination left right . 0)))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.