diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/config/h8300/h8300.md | 31 |
2 files changed, 35 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3d53668..fdd350d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2003-03-01 Kazu Hirata <kazu@cs.umass.edu> + + * config/h8300/h8300.md (a peephole2): New. + 2003-03-01 Richard Earnshaw <rearnsha@arm.com> * predict.c (estimate_bb_frequencies): Correctly set diff --git a/gcc/config/h8300/h8300.md b/gcc/config/h8300/h8300.md index 084d5ab..f97e934 100644 --- a/gcc/config/h8300/h8300.md +++ b/gcc/config/h8300/h8300.md @@ -3556,6 +3556,11 @@ ;; dead 1 eq/ne dec.l ;; dead 2 eq/ne dec.l ;; +;; dead -131072 eq/ne inc.w and test +;; dead -65536 eq/ne inc.w and test +;; dead 65536 eq/ne inc.w and test +;; dead 131072 eq/ne inc.w and test +;; ;; dead 0x000000?? except 1 and 2 eq/ne xor.b and test ;; dead 0x0000??00 eq/ne xor.b and test ;; dead 0x0000ffff eq/ne not.w and test @@ -3626,6 +3631,32 @@ (pc)))] "operands[4] = GEN_INT (- INTVAL (operands[1]));") +(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 3 "eqne_operator" + [(cc0) (const_int 0)]) + (label_ref (match_operand 2 "" "")) + (pc)))] + "(TARGET_H8300H || TARGET_H8300S) + && peep2_reg_dead_p (1, operands[0]) + && (INTVAL (operands[1]) == -131072 + || INTVAL (operands[1]) == -65536 + || INTVAL (operands[1]) == 65536 + || INTVAL (operands[1]) == 131072)" + [(set (match_dup 0) + (plus:SI (match_dup 0) + (match_dup 4))) + (set (cc0) + (match_dup 0)) + (set (pc) + (if_then_else (match_op_dup 3 [(cc0) (const_int 0)]) + (label_ref (match_dup 2)) + (pc)))] + "operands[4] = GEN_INT (- INTVAL (operands[1]));") + ;; For certain (in)equaltity comparisions against a constant, we can ;; XOR the register with the constant, and test the register against ;; 0. |