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

tree-optimization/76174 - testcase for fixed PR

Browse source 
This adds a testcase for the fixed PR, VN now gets us the transform
via IV equality plus predication.

2022-01-12  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/76174
	* gcc.dg/tree-ssa/pr76174.c: New testcase.
This commit is contained in:
Richard Biener 2022-01-12 08:10:19 +01:00
parent 31aa664add
commit 45ddb39518
1 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
gcc/testsuite/gcc.dg/tree-ssa/pr76174.c Normal file
View file

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-cddce1" } */
void foo();
void l(unsigned int r) {
unsigned int q = 0;
unsigned int c = r;
for (unsigned int x = 0; x<r; x++) {
if (q == c) {
foo();
c *= 2;
}
q++;
}
}
/* We should be able to elide the body of the function by means of
figuring out the equality between the two IVs and then simplifying
the q == c test. */
/* { dg-final { scan-tree-dump-not "foo" "cddce1" } } */
/* { dg-final { scan-tree-dump-times "bb" 1 "cddce1" } } */