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