---- the epilogue: O / l to the merged plane, m + log2 l ----
1/l in registers of its own: the loop's in-place EX2 of the rescale factor
reads saTmp 4 + h without a read barrier, so SM86.Scoreboard keeps that
source live and refuses a later write to it.
391def saForwardReciprocal = (lambda unrestricted h : Nat . (naturalAdd 212 h))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.