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

tree-optimization/105763 - avoid abnormals with ranger queries 

In unswitching we use ranger to simplify switch statements so we
have to avoid doing anything for abnormals.

2022-05-30  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/105763
	* tree-ssa-loop-unswitch.cc (find_unswitching_predicates_for_bb):
	Check gimple_range_ssa_p.

	* gcc.dg/pr105763.c: New testcase.
This commit is contained in:
Richard Biener 2022-05-30 13:19:38 +02:00
parent 820ead4519
commit ae575e93b6
2 changed files with 22 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
gcc/testsuite/gcc.dg/pr105763.c Normal file
View File

@ -0,0 +1,21 @@
/* { dg-do compile } */
/* { dg-options "-O3" } */
int rl2_decode_png_bit_depth;
int *rl2_decode_png_p_data;
void png_destroy_read_struct ();
int __attribute__((returns_twice)) _setjmp ();
void rl2_decode_png_row_pointers()
{
unsigned sample_type = 0;
_setjmp();
switch (rl2_decode_png_bit_depth)
case 6:
sample_type = 7;
png_destroy_read_struct();
for (;;)
switch (sample_type)
case 3:
case 5:
*rl2_decode_png_p_data;
}

3
gcc/tree-ssa-loop-unswitch.cc
View File

@ -494,8 +494,7 @@ find_unswitching_predicates_for_bb (basic_block bb, class loop *loop,
{
unsigned nlabels = gimple_switch_num_labels (stmt);
tree idx = gimple_switch_index (stmt);
if (TREE_CODE (idx) != SSA_NAME
|| nlabels < 1)
if (!gimple_range_ssa_p (idx) || nlabels < 1)
return;
/* Index must be invariant. */
def = SSA_NAME_DEF_STMT (idx);