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

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

From-SVN: r62764
This commit is contained in:
Kazu Hirata 2003-02-12 14:10:21 +00:00 committed by Kazu Hirata
parent 86bc9b196b
commit 9083b5dab9
2 changed files with 52 additions and 2 deletions

View file

@ -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

View file

@ -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