Conversion dependencies follow the typed endpoint widths, including the
upper source word of a narrowing operation and both widening result words.
116def sm86ConversionReads =
117 (lambda unrestricted conversion : (family SM86FloatConversion) .
118 (eliminate SM86FloatConversion (lambda unrestricted current : (family SM86FloatConversion) . (family StdList Nat)) conversion
119 (branch SM86NarrowBinary64 destination source . (sm86Pair (sm86RegisterPairBase source) sm86NoRegisters))
120 (branch SM86WidenBinary32 destination source . (sm86One source 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.