prettyInstruction _ _ (Cmp CLFloat dst r1 r2) =
  mkInsn'8 "cmpl-float" [dst, r1, r2]
prettyInstruction _ _ (Cmp CLFloat dst r1 r2) =
  mkInsn'8 "cmpl-float" [dst, r1, r2]
prettyInstruction _ _ (Cmp CLFloat dst r1 r2) =
  mkInsn'8 "cmpl-float" [dst, r1, r2]