procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

i386: Fix conditional move reg-to-reg move elimination peepholes [PR101797]

Browse source 
Add missing operand predicate, otherwise any RTX will match.

2021-08-06  Uroš Bizjak  <ubizjak@gmail.com>

gcc/
	PR target/101797
	* config/i386/i386.md (cmove reg-to-reg move elimination peephole2s):
	Add general_gr_operand predicate to operand 3.

gcc/testsuite/
	PR target/101797
	* gcc.target/i386/pr101797.c: New test.
This commit is contained in:
Uros Bizjak 2021-08-06 14:21:27 +02:00
parent 9d8eacc2ae
commit cd04e829c3
2 changed files with 17 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/config/i386/i386.md
View file

@ -19428,7 +19428,7 @@
(parallel [(set (reg FLAGS_REG) (match_operand 5))
(set (match_dup 0) (match_operand:SWI248 6))])
(set (match_operand:SWI248 2 "general_reg_operand")
(match_operand:SWI248 3))
(match_operand:SWI248 3 "general_gr_operand"))
(set (match_dup 0)
(if_then_else:SWI248 (match_operator 4 "ix86_comparison_operator"
[(reg FLAGS_REG) (const_int 0)])
@ -19456,7 +19456,7 @@
;; mov r2,r3; mov r0,r1; dec r0; cmov r0,r2 -> dec r1; mov r0,r3; cmov r0, r1
(define_peephole2
[(set (match_operand:SWI248 2 "general_reg_operand")
(match_operand:SWI248 3))
(match_operand:SWI248 3 "general_gr_operand"))
(set (match_operand:SWI248 0 "general_reg_operand")
(match_operand:SWI248 1 "general_reg_operand"))
(parallel [(set (reg FLAGS_REG) (match_operand 5))

15
gcc/testsuite/gcc.target/i386/pr101797.c Normal file
View file

@ -0,0 +1,15 @@
/* PR target/101797 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
int a;
int main() {
int b, c, d, e = 0;
if (a) {
c += a;
e = ~(a % c);
e || c || (b & d);
}
a = e;
return 0;
}