121def sm86ConversionWrites =
122 (lambda unrestricted conversion : (family SM86FloatConversion) .
123 (eliminate SM86FloatConversion (lambda unrestricted current : (family SM86FloatConversion) . (family StdList Nat)) conversion
124 (branch SM86NarrowBinary64 destination source . (sm86One destination sm86NoRegisters))
125 (branch SM86WidenBinary32 destination source . (sm86Pair (sm86RegisterPairBase destination) 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.