153def sm86WriteRegisters =
154 (lambda unrestricted body : (family SM86InstructionBody) .
155 (eliminate SM86InstructionBody
156 (lambda unrestricted current : (family SM86InstructionBody) . (family StdList Nat))
157 body
158 (branch SM86MoveConstant destination bank offset control . (sm86One destination sm86NoRegisters))
159 (branch SM86SpecialToRegister destination source control . (sm86One destination sm86NoRegisters))
160 (branch SM86MoveImmediate destination immediate control . (sm86One destination sm86NoRegisters))
161 (branch SM86IntegerMultiplyAddConstant destination left bank offset addend control . (sm86One destination sm86NoRegisters))
162 (branch SM86IntegerMultiplyAddImmediate destination left immediate addend control . (sm86One destination sm86NoRegisters))
163 (branch SM86IntegerMultiplyAddWideConstant destination left right bank offset control . (sm86Pair destination sm86NoRegisters))
164 (branch SM86IntegerAddThreeImmediate destination left immediate control . (sm86One destination sm86NoRegisters))
165 (branch SM86IntegerAddThreeRegister destination left right control . (sm86One destination sm86NoRegisters))
166 (branch SM86ShiftRightImmediate destination source amount control . (sm86One destination sm86NoRegisters))
167 (branch SM86LogicThreeInputTruthTable destination left right truthTable control . (sm86One destination sm86NoRegisters))
168 (branch SM86IntegerToFloat destination source control . (sm86One destination sm86NoRegisters))
169 (branch SM86FloatAdd destination left right control . (sm86One destination sm86NoRegisters))
170 (branch SM86FloatMultiply destination left right control . (sm86One destination sm86NoRegisters))
171 (branch SM86FloatFusedMultiplyAdd destination left right addend control . (sm86One destination sm86NoRegisters))
172 (branch SM86MultiFunctionUnitApproximation destination source operation control . (sm86One destination sm86NoRegisters))
173 (branch SM86FloatMinimumOrMaximum destination left right mode control . (sm86One destination sm86NoRegisters))
174 (branch SM86FloatNegate destination source control . (sm86One destination sm86NoRegisters))
175 (branch SM86FloatPairToPackedHalfPair destination high low control . (sm86One destination sm86NoRegisters))
176 (branch SM86FloatPairToPackedBFloat16Pair destination high low control . (sm86One destination sm86NoRegisters))
177 (branch SM86HalfToFloat destination source selector control . (sm86One destination sm86NoRegisters))
178 (branch SM86BFloat16ToFloat destination source selector control . (sm86One destination sm86NoRegisters))
179 (branch SM86TensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32 destination a b accumulator control . (sm86Quad destination sm86NoRegisters))
180 (branch SM86TensorCoreBFloat16MatrixMultiplyAccumulate16x8x16Float32 destination a b accumulator control . (sm86Quad destination sm86NoRegisters))
181 (branch SM86LoadGlobal destination address offset control . (sm86One destination sm86NoRegisters))
182 (branch SM86LoadGlobalWide destination address offset control . (sm86Pair destination sm86NoRegisters))
183 (branch SM86WarpShuffle destination source lane segment mode control . (sm86One destination sm86NoRegisters))
184 (branch SM86LoadShared destination address offset control . (sm86One destination sm86NoRegisters))
185 (branch SM86LoadSharedMatrix destination address offset count transpose control .
186 (sm86RegisterRun destination (sm86SharedMatrixRegisters count) sm86NoRegisters))
187 (branch SM86StoreShared address value offset control . sm86NoRegisters)
188 (branch SM86LoadGlobalToShared address offset source sourceOffset control . sm86NoRegisters)
189 (branch SM86CommitAsyncGroup control . sm86NoRegisters)
190 (branch SM86WaitAsyncGroups count control . sm86NoRegisters)
191 (branch SM86BarrierSynchronize control . sm86NoRegisters)
192 (branch SM86StoreGlobal address value offset control . sm86NoRegisters)
193 (branch SM86StoreGlobalWide address value offset control . sm86NoRegisters)
194 (branch SM86StoreGlobal64 address value offset control . sm86NoRegisters)
195 (branch SM86ReduceGlobalAddFloat32 address value offset control . sm86NoRegisters)
196 (branch SM86PredicateGreaterThanImmediate predicate source immediate control . sm86NoRegisters)
197 (branch SM86Branch offset descriptor control . sm86NoRegisters)
198 (branch SM86Exit control . sm86NoRegisters)))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.