A zero count skips through the matching end, including nested bodies.
2894def nativePhysicalNativeRepeatBeginBlockForDepth =
2895 (lambda unrestricted maximumDepth : Nat .
2896 (lambda unrestricted tail : (family X86NativeAssembly) .
2897 (nativePhysicalNativeLabel
2898 nativePhysicalNativeLabelDispatchRepeatBegin
2899 (npRepeatPush
2900 maximumDepth
2901 (nativePhysicalNativeResolveCall
2902 (byte 64)
2903 npRAX
2904 (npScratchInto
2905 npR10
2906 (npStore64
2907 npR10
2908 (x86NativeDisplacement32FromNatural 8)
2909 npRAX
2910 (npClear
2911 npR11
2912 (npStore64
2913 npR10
2914 (x86NativeDisplacement32FromNatural 0)
2915 npR11
2916 (npLoad64
2917 npRAX
2918 npR14
2919 nativePhysicalNativeD8
2920 (npAdd
2921 npRAX
2922 npR14
2923 (npStore64
2924 npR10
2925 (x86NativeDisplacement32FromNatural 16)
2926 npRAX
2927 (npClear
2928 npRDX
2929 (npRepeatScan
2930 (nativePhysicalNativeLabel
2931 nativePhysicalNativeLabelRepeatFound
2932 (npStore64
2933 npR10
2934 (x86NativeDisplacement32FromNatural 24)
2935 npR11
2936 (npLoad64
2937 npRDI
2938 npR10
2939 (x86NativeDisplacement32FromNatural 8)
2940 (npTest
2941 npRDI
2942 (nativePhysicalNativeJumpCondition
2943 npNotZero
2944 nativePhysicalNativeLabelAdvance
2945 (nativePhysicalNativeEmit
2946 (nativePhysicalNativeSubtract npR11 npR13)
2947 (npAddImmediate
2948 npR13
2949 nativePhysicalNativeI32NegativeOne
2950 (npMove
2951 npR14
2952 npRAX
2953 (npRepeatPop
2954 (nativePhysicalNativeJump
2955 nativePhysicalNativeLabelAdvance
2956 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.