diff options
| author | Richard Biener <rguenther@suse.de> | 2023-08-17 13:10:14 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-08-17 15:27:30 +0200 |
| commit | 482551a79a3d3f107f6239679ee74655cfe8707e (patch) | |
| tree | 0086ae90c7eef2f64510a5fbd89052dffcc6ec97 /gcc | |
| parent | 8f3c4517b1fff965f2bdedcf376dcfd91cda422b (diff) | |
| download | gcc-482551a79a3d3f107f6239679ee74655cfe8707e.zip gcc-482551a79a3d3f107f6239679ee74655cfe8707e.tar.gz gcc-482551a79a3d3f107f6239679ee74655cfe8707e.tar.bz2 | |
tree-optimization/111039 - abnormals and bit test merging
The following guards the bit test merging code in if-combine against
the appearance of SSA names used in abnormal PHIs.
PR tree-optimization/111039
* tree-ssa-ifcombine.cc (ifcombine_ifandif): Check for
SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
* gcc.dg/pr111039.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr111039.c | 15 | ||||
| -rw-r--r-- | gcc/tree-ssa-ifcombine.cc | 7 |
2 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr111039.c b/gcc/testsuite/gcc.dg/pr111039.c new file mode 100644 index 0000000..bec9983 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr111039.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O" } */ + +int _setjmp (); +void abcd (); +void abcde (); +void compiler_corruption_function(int flags) +{ + int nowait = flags & 1048576, isexpand = flags & 8388608; + abcd(); + _setjmp(flags); + if (nowait && isexpand) + flags &= 0; + abcde(); +} diff --git a/gcc/tree-ssa-ifcombine.cc b/gcc/tree-ssa-ifcombine.cc index 58e19c1..d5701e8 100644 --- a/gcc/tree-ssa-ifcombine.cc +++ b/gcc/tree-ssa-ifcombine.cc @@ -430,6 +430,9 @@ ifcombine_ifandif (basic_block inner_cond_bb, bool inner_inv, { tree t, t2; + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name1)) + return false; + /* Do it. */ gsi = gsi_for_stmt (inner_cond); t = fold_build2 (LSHIFT_EXPR, TREE_TYPE (name1), @@ -486,6 +489,10 @@ ifcombine_ifandif (basic_block inner_cond_bb, bool inner_inv, gimple_stmt_iterator gsi; tree t; + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name1) + || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name2)) + return false; + /* Find the common name which is bit-tested. */ if (name1 == name2) ; |