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