diff options
| author | Kazu Hirata <kazu@cs.umass.edu> | 2003-04-02 18:36:01 +0000 |
|---|---|---|
| committer | Kazu Hirata <kazu@gcc.gnu.org> | 2003-04-02 18:36:01 +0000 |
| commit | d98cd543cab5e5ddf45fcc3fb1332632aa83b21e (patch) | |
| tree | 3cf04ae57e1efad08e98ad49d8599bf522117724 | |
| parent | b30abdf2561e7b54a82b0f2a53ddf62bc412aeaf (diff) | |
| download | gcc-d98cd543cab5e5ddf45fcc3fb1332632aa83b21e.zip gcc-d98cd543cab5e5ddf45fcc3fb1332632aa83b21e.tar.gz gcc-d98cd543cab5e5ddf45fcc3fb1332632aa83b21e.tar.bz2 | |
* config/h8300/h8300.md (a peephole2): New.
From-SVN: r65172
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/config/h8300/h8300.md | 45 |
2 files changed, 49 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 152dde6..5642785 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2003-04-02 Kazu Hirata <kazu@cs.umass.edu> + + * config/h8300/h8300.md (a peephole2): New. + 2003-04-02 Richard Henderson <rth@redhat.com> * except.c (sjlj_find_directly_reachable_regions): Recognize when diff --git a/gcc/config/h8300/h8300.md b/gcc/config/h8300/h8300.md index 3b72379..4b54543 100644 --- a/gcc/config/h8300/h8300.md +++ b/gcc/config/h8300/h8300.md @@ -4101,6 +4101,9 @@ ;; dead 0xffffff?? except -1 and -2 eq/ne xor.b and not.l ;; dead 0xffff??ff eq/ne xor.b and not.l ;; +;; live 1 geu/ltu copy and shlr.l +;; live 3 (H8S) geu/ltu copy and shlr.l +;; ;; dead 1 geu/ltu shlr.l ;; dead 3 (H8S) geu/ltu shlr.l ;; @@ -4232,6 +4235,48 @@ ;; ;; into ;; +;; mov.l er0,er1 +;; shlr.l er1 +;; bne .L1 + +(define_peephole2 + [(match_scratch:SI 4 "r") + (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))" + [(set (match_dup 4) + (match_dup 0)) + (parallel [(set (match_dup 4) + (lshiftrt:SI (match_dup 4) + (match_dup 6))) + (clobber (scratch:QI))]) + (set (cc0) + (match_dup 4)) + (set (pc) + (if_then_else (match_dup 5) + (label_ref (match_dup 3)) + (pc)))] + "operands[5] = ((GET_CODE (operands[2]) == GTU) ? + gen_rtx_NE (VOIDmode, cc0_rtx, const0_rtx) : + gen_rtx_EQ (VOIDmode, cc0_rtx, const0_rtx)); + operands[6] = GEN_INT (exact_log2 (INTVAL (operands[1]) + 1));") + +;; Transform +;; +;; cmp.l #1,er0 +;; bhi .L1 +;; +;; into +;; ;; shlr.l er0 ;; bne .L1 |