mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-24 12:51:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

Combine the two H8 mode shortening peepholes into a single peephole

Browse Source 
* config/h8300/h8300.md (comparison shortening peepholes): Use
	a mode iterator to merge the HImode and SImode peepholes.
This commit is contained in:
Jeff Law 2020-02-12 14:52:24 -07:00
parent 99bbab9f77
commit 985873e508
2 changed files with 13 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2020-02-12 Jeff Law <law@redhat.com>
* config/h8300/h8300.md (comparison shortening peepholes): Use
a mode iterator to merge the HImode and SImode peepholes.
2020-02-12 Jakub Jelinek <jakub@redhat.com>
PR middle-end/93663

41
gcc/config/h8300/h8300.md
View File

@ -5366,38 +5366,13 @@
{
operands[5] = GEN_INT (- INTVAL (operands[1]));
})
;; Narrow the mode of testing if possible.
(define_peephole2
[(set (match_operand:HI 0 "register_operand" "")
(and:HI (match_dup 0)
(match_operand:HI 1 "const_int_qi_operand" "")))
(set (cc0) (compare (match_dup 0)
(const_int 0)))
(set (pc)
(if_then_else (match_operator 3 "eqne_operator"
[(cc0) (const_int 0)])
(label_ref (match_operand 2 "" ""))
(pc)))]
"peep2_reg_dead_p (2, operands[0])"
[(set (match_dup 4)
(and:QI (match_dup 4)
(match_dup 5)))
(set (cc0) (compare (match_dup 4)
(const_int 0)))
(set (pc)
(if_then_else (match_op_dup 3 [(cc0) (const_int 0)])
(label_ref (match_dup 2))
(pc)))]
{
operands[4] = gen_rtx_REG (QImode, REGNO (operands[0]));
operands[5] = gen_int_mode (INTVAL (operands[1]), QImode);
})
(define_peephole2
[(set (match_operand:SI 0 "register_operand" "")
(and:SI (match_dup 0)
(match_operand:SI 1 "const_int_qi_operand" "")))
[(set (match_operand:HSI 0 "register_operand" "")
(and:HSI (match_dup 0)
(match_operand:HSI 1 "const_int_qi_operand" "")))
(set (cc0) (compare (match_dup 0)
(const_int 0)))
(set (pc)
@ -5406,11 +5381,10 @@
(label_ref (match_operand 2 "" ""))
(pc)))]
"((const_int_qi_operand (operands[1], QImode)
|| const_int_hi_operand (operands[1], HImode))
|| (GET_MODE (operands[0]) == SImode
&& const_int_hi_operand (operands[1], HImode)))
&& peep2_reg_dead_p (2, operands[0]))"
[(set (match_dup 4)
(and:QI (match_dup 4)
(match_dup 5)))
[(set (match_dup 4) (match_dup 6))
(set (cc0) (compare (match_dup 4)
(const_int 0)))
(set (pc)
@ -5423,6 +5397,7 @@
mode = const_int_qi_operand (operands[1], QImode) ? QImode : HImode;
operands[4] = gen_rtx_REG (mode, REGNO (operands[0]));
operands[5] = gen_int_mode (INTVAL (operands[1]), mode);
operands[6] = gen_rtx_AND (mode, operands[4], operands[5]);
})
;; These triggers right at the end of allocation of locals in the