1047def sfpRowMax = (lambda unrestricted scores : (pi unrestricted nt : Nat . Nat) . (lambda unrestricted h : Nat . (lambda unrestricted tail : (family SM86Program) .
1048 (let unrestricted into = (saTmp h) in
1049 (saFmax into (saElem (scores 0) h 0) (saElem (scores 0) h 1) saWaitNone
1050 (saFor 14 (lambda unrestricted j : Nat .
1051 (let unrestricted i = (naturalAdd j 2) in
1052 (saFmax into into (saElem (scores (naturalDivideUnchecked i 2)) h (naturalModuloUnchecked i 2)) saWaitNone)))
1053 (saShfl (saTmp 2) into 1 saWaitNone
1054 (saFmax into into (saTmp 2) saWait5
1055 (saShfl (saTmp 2) into 2 saWaitNone
1056 (saFmax into into (saTmp 2) saWait5
1057 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.