sh.md (*cmpeqsi_t): Remove combine insn pattern and similar corresponding combine...

gcc/
	* config/sh/sh.md (*cmpeqsi_t): Remove combine insn pattern and similar
	corresponding combine split pattern.

From-SVN: r235956

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 84bf0c095cfca7c952a8c0f0d731540c3dad3dfc..50a47af4d04c8fbced9ad31b8fa737a16617daa2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-05-06  Oleg Endo  <olegendo@gcc.gnu.org>
+
+       * config/sh/sh.md (*cmpeqsi_t): Remove combine insn pattern and similar
+       corresponding combine split pattern.
+
 2016-05-06  Oleg Endo  <olegendo@gcc.gnu.org>
 
        PR target/58219

diff --git a/gcc/config/sh/sh.md b/gcc/config/sh/sh.md
index 7b0e746a05147b97d7d7e310e30ec0e9aa0bc605..2d0ca2feb8c91548b3664a77b8bdd0a5baf65542 100644 (file)
--- a/gcc/config/sh/sh.md
+++ b/gcc/config/sh/sh.md
@@ -909,22 +909,6 @@
   FAIL;
 })
 
-;; FIXME: For some reason, on SH4A and SH2A combine fails to simplify this
-;; pattern by itself.  What this actually does is:
-;;     x == 0: (1 >> 0-0) & 1 = 1
-;;     x != 0: (1 >> 0-x) & 1 = 0
-;; Without this the test pr51244-8.c fails on SH2A and SH4A.
-(define_insn_and_split "*cmpeqsi_t"
-  [(set (reg:SI T_REG)
-       (and:SI (lshiftrt:SI
-                 (const_int 1)
-                 (neg:SI (match_operand:SI 0 "arith_reg_operand" "r")))
-               (const_int 1)))]
-  "TARGET_SH1"
-  "#"
-  "&& 1"
-  [(set (reg:SI T_REG) (eq:SI (match_dup 0) (const_int 0)))])
-
 (define_insn "cmpgtsi_t"
   [(set (reg:SI T_REG)
        (gt:SI (match_operand:SI 0 "arith_reg_operand" "r,r")
@@ -1229,29 +1213,6 @@
                           (label_ref (match_dup 2))
                           (pc)))])
 
-;; FIXME: Similar to the *cmpeqsi_t pattern above, for some reason, on SH4A
-;; and SH2A combine fails to simplify this pattern by itself.
-;; What this actually does is:
-;;     x == 0: (1 >> 0-0) & 1 = 1
-;;     x != 0: (1 >> 0-x) & 1 = 0
-;; Without this the test pr51244-8.c fails on SH2A and SH4A.
-(define_split
-  [(set (pc)
-       (if_then_else
-         (eq (and:SI (lshiftrt:SI
-                       (const_int 1)
-                       (neg:SI (match_operand:SI 0 "arith_reg_operand" "")))
-                     (const_int 1))
-             (const_int 0))
-         (label_ref (match_operand 2))
-         (pc)))
-   (clobber (reg:SI T_REG))]
-  "TARGET_SH1"
-  [(set (reg:SI T_REG) (eq:SI (match_dup 0) (const_int 0)))
-   (set (pc) (if_then_else (eq (reg:SI T_REG) (const_int 0))
-                          (label_ref (match_dup 2))
-                          (pc)))])
-
 ;; FIXME: These don't seem to have any effect on the generated cbranch code
 ;;       anymore, but only on some register allocation choices.
 (define_split