prettyInstruction _ _ (FBinopAssign op True dst src) =
  mkInsn'8 (binopStr op <> "-double/2addr") [ dst, src ]
prettyInstruction _ _ (FBinopAssign op True dst src) =
  mkInsn'8 (binopStr op <> "-double/2addr") [ dst, src ]
prettyInstruction _ _ (FBinopAssign op True dst src) =
  mkInsn'8 (binopStr op <> "-double/2addr") [ dst, src ]