h8300.md (a peephole2): Don't handle 65535.

	* config/h8300/h8300.md (a peephole2): Don't handle 65535.
	(two peephole2): New.

From-SVN: r62764

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 52c1cd7d01ad82456cd80afa990dcb369be6f430..b81e4c8419c438726b51561b7198d3223efec9f7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-02-12  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * config/h8300/h8300.md (a peephole2): Don't handle 65535.
+       (two peephole2): New.
+
 2003-02-12  Kazu Hirata  <kazu@cs.umass.edu>
 
        * config/h8300/h8300.md (several peephole2): Replace

diff --git a/gcc/config/h8300/h8300.md b/gcc/config/h8300/h8300.md
index 5c412a7bab202738d0cc0a31c5a7a32f7a13fa8b..c9cd5f5aff61f5d283125bbd13bad0460fdf790e 100644 (file)
--- a/gcc/config/h8300/h8300.md
+++ b/gcc/config/h8300/h8300.md
@@ -3500,8 +3500,7 @@
        || INTVAL (operands[1]) == 31
        || INTVAL (operands[1]) == 63
        || INTVAL (operands[1]) == 127
-       || INTVAL (operands[1]) == 255
-       || INTVAL (operands[1]) == 65535)"
+       || INTVAL (operands[1]) == 255)"
   [(set (match_dup 0)
        (and:SI (match_dup 0)
                (match_dup 5)))
@@ -3516,6 +3515,52 @@
                  gen_rtx_EQ (VOIDmode, cc0_rtx, const0_rtx));
    operands[5] = GEN_INT (~INTVAL (operands[1]));")
 
+;; Transform A <= 255 to (A & 0xff00) == 0.
+
+(define_peephole2
+  [(set (cc0)
+       (compare:HI (match_operand:HI 0 "register_operand" "")
+                   (const_int 255)))
+   (set (pc)
+       (if_then_else (match_operator 1 "gtuleu_operator"
+                       [(cc0) (const_int 0)])
+                     (label_ref (match_operand 2 "" ""))
+                     (pc)))]
+  "TARGET_H8300H || TARGET_H8300S"
+  [(set (cc0)
+       (and:HI (match_dup 0)
+               (const_int -256)))
+   (set (pc)
+       (if_then_else (match_dup 4)
+                     (label_ref (match_dup 2))
+                     (pc)))]
+  "operands[4] = ((GET_CODE (operands[1]) == GTU) ?
+                 gen_rtx_NE (VOIDmode, cc0_rtx, const0_rtx) :
+                 gen_rtx_EQ (VOIDmode, cc0_rtx, const0_rtx));")
+
+;; Transform A <= 65535 to (A & 0xffff0000) == 0.
+
+(define_peephole2
+  [(set (cc0)
+       (compare:SI (match_operand:SI 0 "register_operand" "")
+                   (const_int 65535)))
+   (set (pc)
+       (if_then_else (match_operator 1 "gtuleu_operator"
+                       [(cc0) (const_int 0)])
+                     (label_ref (match_operand 2 "" ""))
+                     (pc)))]
+  "TARGET_H8300H || TARGET_H8300S"
+  [(set (cc0)
+       (and:SI (match_dup 0)
+               (const_int -65536)))
+   (set (pc)
+       (if_then_else (match_dup 4)
+                     (label_ref (match_dup 2))
+                     (pc)))]
+  "operands[4] = ((GET_CODE (operands[1]) == GTU) ?
+                 gen_rtx_NE (VOIDmode, cc0_rtx, const0_rtx) :
+                 gen_rtx_EQ (VOIDmode, cc0_rtx, const0_rtx));")
+
 ;; Narrow the mode of testing if possible.
 
 (define_peephole2