* config/h8300/h8300.md (a peephole2): New.

From-SVN: r65098

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 303561379588fe58a42387f7d67a9c0d599c1479..e02ab0805068245debcf02f1e87f4b3f294b949f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2003-03-31  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * config/h8300/h8300.md (a peephole2): New.
+
 2003-03-31  Michael Matz  <matz@suse.de>
 
        * config/i386/i386.h (TARGET_FLT_EVAL_METHOD): Change 1 into 0.

diff --git a/gcc/config/h8300/h8300.md b/gcc/config/h8300/h8300.md
index d0dbb1f358e5b2aef5f2ab8903d804dee49e0f39..3b72379cf40518ebb4c7d4dd240f086b18745a92 100644 (file)
--- a/gcc/config/h8300/h8300.md
+++ b/gcc/config/h8300/h8300.md
@@ -4101,8 +4101,10 @@
 ;; dead 0xffffff?? except -1 and -2 eq/ne   xor.b and not.l
 ;; dead 0xffff??ff                  eq/ne   xor.b and not.l
 ;;
-;; dead     1                       geu/ltu and.b and test
-;; dead     3                       geu/ltu and.b and test
+;; dead     1                       geu/ltu shlr.l
+;; dead     3 (H8S)                 geu/ltu shlr.l
+;;
+;; dead     3 (H8/300H)             geu/ltu and.b and test
 ;; dead     7                       geu/ltu and.b and test
 ;; dead    15                       geu/ltu and.b and test
 ;; dead    31                       geu/ltu and.b and test
@@ -4223,6 +4225,44 @@
                      (pc)))]
   "operands[4] = GEN_INT (INTVAL (operands[1]) ^ -1);")
 
+;; Transform
+;;
+;;     cmp.l   #1,er0
+;;     bhi     .L1
+;;
+;; into
+;;
+;;     shlr.l  er0
+;;     bne     .L1
+
+(define_peephole2
+  [(set (cc0)
+       (compare (match_operand:SI 0 "register_operand" "")
+                (match_operand:SI 1 "const_int_operand" "")))
+   (set (pc)
+       (if_then_else (match_operator 2 "gtuleu_operator"
+                       [(cc0) (const_int 0)])
+                     (label_ref (match_operand 3 "" ""))
+                     (pc)))]
+  "(TARGET_H8300H || TARGET_H8300S)
+   && peep2_reg_dead_p (1, operands[0])
+   && (INTVAL (operands[1]) == 1
+       || (TARGET_H8300S && INTVAL (operands[1]) == 3))"
+  [(parallel [(set (match_dup 0)
+                  (lshiftrt:SI (match_dup 0)
+                               (match_dup 5)))
+             (clobber (scratch:QI))])
+   (set (cc0)
+       (match_dup 0))
+   (set (pc)
+       (if_then_else (match_dup 4)
+                     (label_ref (match_dup 3))
+                     (pc)))]
+  "operands[4] = ((GET_CODE (operands[2]) == GTU) ?
+                 gen_rtx_NE (VOIDmode, cc0_rtx, const0_rtx) :
+                 gen_rtx_EQ (VOIDmode, cc0_rtx, const0_rtx));
+   operands[5] = GEN_INT (exact_log2 (INTVAL (operands[1]) + 1));")
+
 ;; Transform A <= 1 to (A & 0xfffffffe) == 0.
 
 (define_peephole2