rs6000.md (*one_cmpl<mode>2): Generate "not" insn.

2014-09-21  Segher Boessenkool  <segher@kernel.crashing.org>

	* config/rs6000/rs6000.md (*one_cmpl<mode>2): Generate "not" insn.
	(two anonymous define_insn and two define_split): Delete.
	(*one_cmpl<mode>2_dot, *one_cmpl<mode>2_dot2): New.

From-SVN: r215431

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 86e1092d22c7e6e91b48ef469201c00de7308d8d..35159c54fe9029f6a13dd684a95bc696414ced9a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2014-09-21  Segher Boessenkool  <segher@kernel.crashing.org>
+
+       * config/rs6000/rs6000.md (*one_cmpl<mode>2): Generate "not" insn.
+       (two anonymous define_insn and two define_split): Delete.
+       (*one_cmpl<mode>2_dot, *one_cmpl<mode>2_dot2): New.
+
 2014-09-21  Segher Boessenkool  <segher@kernel.crashing.org>
 
        * config/rs6000/rs6000.c (rs6000_rtx_costs) <NE>: New.

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index d8264ca0b5e157b8475c09579025292aee45d370..332b7dcc7c63692407debdd4be6787fe7ba59a57 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -1595,61 +1595,49 @@
   [(set (match_operand:GPR 0 "gpc_reg_operand" "=r")
        (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r")))]
   ""
-  "nor %0,%1,%1")
+  "not %0,%1")
 
-(define_insn ""
-  [(set (match_operand:CC 0 "cc_reg_operand" "=x,?y")
-       (compare:CC (not:P (match_operand:P 1 "gpc_reg_operand" "r,r"))
+(define_insn_and_split "*one_cmpl<mode>2_dot"
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x,?y")
+       (compare:CC (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r"))
                    (const_int 0)))
-   (clobber (match_scratch:P 2 "=r,r"))]
-  ""
+   (clobber (match_scratch:GPR 0 "=r,r"))]
+  "<MODE>mode == Pmode && rs6000_gen_cell_microcode"
   "@
-   nor. %2,%1,%1
+   not. %0,%1
    #"
-  [(set_attr "type" "logical,compare")
+  "&& reload_completed && cc_reg_not_cr0_operand (operands[2], CCmode)"
+  [(set (match_dup 0)
+       (not:GPR (match_dup 1)))
+   (set (match_dup 2)
+       (compare:CC (match_dup 0)
+                   (const_int 0)))]
+  ""
+  [(set_attr "type" "logical")
    (set_attr "dot" "yes")
    (set_attr "length" "4,8")])
 
-(define_split
-  [(set (match_operand:CC 0 "cc_reg_not_micro_cr0_operand" "")
-       (compare:CC (not:P (match_operand:P 1 "gpc_reg_operand" ""))
-                   (const_int 0)))
-   (clobber (match_scratch:P 2 ""))]
-  "reload_completed"
-  [(set (match_dup 2)
-       (not:P (match_dup 1)))
-   (set (match_dup 0)
-       (compare:CC (match_dup 2)
-                   (const_int 0)))]
-  "")
-
-(define_insn ""
+(define_insn_and_split "*one_cmpl<mode>2_dot2"
   [(set (match_operand:CC 2 "cc_reg_operand" "=x,?y")
-       (compare:CC (not:P (match_operand:P 1 "gpc_reg_operand" "r,r"))
+       (compare:CC (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r"))
                    (const_int 0)))
-   (set (match_operand:P 0 "gpc_reg_operand" "=r,r")
-       (not:P (match_dup 1)))]
-  ""
+   (set (match_operand:GPR 0 "gpc_reg_operand" "=r,r")
+       (not:GPR (match_dup 1)))]
+  "<MODE>mode == Pmode && rs6000_gen_cell_microcode"
   "@
-   nor. %0,%1,%1
+   not. %0,%1
    #"
-  [(set_attr "type" "logical,compare")
-   (set_attr "dot" "yes")
-   (set_attr "length" "4,8")])
-
-(define_split
-  [(set (match_operand:CC 2 "cc_reg_not_micro_cr0_operand" "")
-       (compare:CC (not:P (match_operand:P 1 "gpc_reg_operand" ""))
-                   (const_int 0)))
-   (set (match_operand:P 0 "gpc_reg_operand" "")
-       (not:P (match_dup 1)))]
-  "reload_completed"
+  "&& reload_completed && cc_reg_not_cr0_operand (operands[2], CCmode)"
   [(set (match_dup 0)
-       (not:P (match_dup 1)))
+       (not:GPR (match_dup 1)))
    (set (match_dup 2)
        (compare:CC (match_dup 0)
                    (const_int 0)))]
-  "")
+  ""
+  [(set_attr "type" "logical")
+   (set_attr "dot" "yes")
+   (set_attr "length" "4,8")])
+
 
 (define_insn ""
   [(set (match_operand:GPR 0 "gpc_reg_operand" "=r,r")