2027def sm121LowerWordsBytes =
2028 (lambda unrestricted placed : (family SM121LowerOps) .
2029 (bytes-builder-build
2030 (eliminate
2031 SM121LowerOps
2032 (lambda unrestricted current : (family SM121LowerOps) . BytesBuilder)
2033 placed
2034 (branch SM121LowerOpsEnd . (bytes-builder-empty))
2035 (branch SM121LowerOpsNext last earlier induction .
2036 (eliminate
2037 SM121LowerOp
2038 (lambda unrestricted current : (family SM121LowerOp) . BytesBuilder)
2039 last
2040 (branch SM121LowerOpValue low high class reads writes predicateReads predicateWrites constantLoad label join target .
2041 (bytes-builder-append
2042 induction
2043 (bytes-builder-chunk
2044 (bytes-append
2045 (sm121LowerLittleEndianBytes sm121LowerWordBytes low)
2046 (sm121LowerLittleEndianBytes sm121LowerWordBytes high))))))))))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.