1544def reductionSM86ParameterizedIdentityReduction =
1545 (lambda unrestricted combine : (pi unrestricted destination : (family SM86Register) . (pi unrestricted left : (family SM86Register) . (pi unrestricted right : (family SM86Register) . (pi unrestricted control : (family SM86Control) . (family SM86InstructionBody))))) .
1546 (lambda unrestricted thread : (family SM86Register) .
1547 (lambda unrestricted accumulator : (family SM86Register) .
1548 (lambda unrestricted scratch : (family SM86Register) .
1549 (lambda unrestricted identity : (family SM86Register) .
1550 (lambda unrestricted identityBits : (family SM86Unsigned32) .
1551 (sm86ProgramAppend
1552 reductionSM86InitialBarrierProgram
1553 (sm86ProgramAppend
1554 (reductionSM86ParameterizedButterflies
1555 combine
1556 accumulator
1557 scratch
1558 reductionSM86Set4)
1559 (sm86ProgramAppend
1560 (reductionSM86ParameterizedIdentityMiddle
1561 thread
1562 accumulator
1563 scratch
1564 identity
1565 identityBits)
1566 (reductionSM86ParameterizedButterflies
1567 combine
1568 accumulator
1569 scratch
1570 reductionSM86Wait2Set4))))))))))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.