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

tree-optimization/110777 - abnormals and recent PRE optimization

Browse source 
The following avoids propagating abnormals with the recent tweak
to look through PRE introduced copies between equal values.

	PR tree-optimization/110777
	* tree-ssa-sccvn.cc (eliminate_dom_walker::eliminate_avail):
	Avoid propagating abnormals.

	* gcc.dg/pr110777.c: New testcase.
This commit is contained in:
Richard Biener 2023-07-24 08:55:11 +02:00
parent fb132cdfb2
commit 50b5feaa94
2 changed files with 25 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
gcc/testsuite/gcc.dg/pr110777.c Normal file
View file

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-options "-O3 -w" } */
void pm_message (int);
int *findOrAddBackgroundInPalette_palette_pnm;
static void findOrAddBackgroundInPalette(unsigned *paletteSizeP,
int *backgroundIndexP) {
if (*paletteSizeP) {
*backgroundIndexP = (*paletteSizeP)++;
pm_message(0);
}
pm_message(findOrAddBackgroundInPalette_palette_pnm[*backgroundIndexP]);
}
void computeColorMap(int *backgroundIndexP) {
unsigned paletteSize;
findOrAddBackgroundInPalette(&paletteSize, backgroundIndexP);
}
int main() {
unsigned backgroundIndex;
_setjmp();
computeColorMap(&backgroundIndex);
}

4
gcc/tree-ssa-sccvn.cc
View file

@ -6608,7 +6608,9 @@ eliminate_dom_walker::eliminate_avail (basic_block, tree op)
if (gimple_assign_rhs_class (ass) == GIMPLE_SINGLE_RHS)
{
tree rhs1 = gimple_assign_rhs1 (ass);
if (CONSTANT_CLASS_P (rhs1) || TREE_CODE (rhs1) == SSA_NAME)
if (CONSTANT_CLASS_P (rhs1)
|| (TREE_CODE (rhs1) == SSA_NAME
&& !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (rhs1)))
av = rhs1;
}
return av;