the scan of rows 0 .. t: exit at a row before t that names v (the flag is
j ^ t, nonzero, when the row is equal and earlier)
103def irsEarlierBody =
104 (lambda unrestricted tail : (family SM86Program) .
105 (irsCompare
106 (lsNext (llMove irsEarlierFlag 0)
107 (irsUnless irsP2 (irsExclusiveOr irsEarlierFlag irsJ irsT lsControl)
108 (lsNext (llGreater irsP3 irsEarlierFlag 0)
109 (irsWhen irsP3 (constructor SM86InstructionBody SM86Exit lsControl)
110 (lsNext (llAddImmediate irsJ 1)
111 (lsNext (irsExclusiveOr irsDifference irsJ irsPastT lsControl)
112 (lsNext (llGreater irsP1 irsDifference 0)
113 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.