OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rx.md: Add peephole to remove redundant extensions after loads.

Browse Source 
* config/rx/rx.md: Add peephole to remove redundant extensions
	after loads.

From-SVN: r173820
This commit is contained in:
Nick Clifton 2011-05-17 08:36:44 +00:00 committed by Nick Clifton
parent b3db92ac19
commit 4ffc4134c7
2 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2011-05-17 Nick Clifton <nickc@redhat.com>
* config/rx/rx.md: Add peephole to remove redundant extensions
after loads.
2011-05-17 Kazuhio Inaoka <kazuhiro.inaoka.ud@renesas.com>
Nick Clifton <nickc@redhat.com>

29
gcc/config/rx/rx.md
View File

@ -1701,6 +1701,35 @@
(extend_types:SI (match_dup 1))))]
)
;; Convert:
;; (set (reg1) (sign_extend (mem))
;; (set (reg2) (zero_extend (reg1))
;; into
;; (set (reg2) (zero_extend (mem)))
(define_peephole2
[(set (match_operand:SI 0 "register_operand")
(sign_extend:SI (match_operand:small_int_modes 1 "memory_operand")))
(set (match_operand:SI 2 "register_operand")
(zero_extend:SI (match_operand:small_int_modes 3 "register_operand")))]
"REGNO (operands[0]) == REGNO (operands[3])
&& (REGNO (operands[0]) == REGNO (operands[2])
|| peep2_regno_dead_p (2, REGNO (operands[0])))"
[(set (match_dup 2)
(zero_extend:SI (match_dup 1)))]
)
;; Remove the redundant sign extension from:
;; (set (reg) (extend (mem)))
;; (set (reg) (extend (reg)))
(define_peephole2
[(set (match_operand:SI 0 "register_operand")
(extend_types:SI (match_operand:small_int_modes 1 "memory_operand")))
(set (match_dup 0)
(extend_types:SI (match_operand:small_int_modes 2 "register_operand")))]
"REGNO (operands[0]) == REGNO (operands[2])"
[(set (match_dup 0) (extend_types:SI (match_dup 1)))]
)
(define_insn "comparesi3_<extend_types:code><small_int_modes:mode>"
[(set (reg:CC CC_REG)
(compare:CC (match_operand:SI 0 "register_operand" "=r")