diff options
| author | Richard Biener <rguenther@suse.de> | 2021-01-22 10:34:42 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-01-22 10:37:51 +0100 |
| commit | fd61ca67f97acc5462d02676380af92329c37bb2 (patch) | |
| tree | 8b2f0f563677b6bb8e2ec3bfd3c3a907308f8e69 /gcc/tree-ssa-phiopt.c | |
| parent | 4e3beaca15cab2de88a68d76f0aabc68e68f678a (diff) | |
| download | gcc-fd61ca67f97acc5462d02676380af92329c37bb2.zip gcc-fd61ca67f97acc5462d02676380af92329c37bb2.tar.gz gcc-fd61ca67f97acc5462d02676380af92329c37bb2.tar.bz2 | |
tree-optimization/98786 - fix issue with phiopt and abnormals
This fixes factor_out_conditional_conversion to avoid creating overlapping
lifetimes for abnormals. It also makes sure we do deal with a conditional
conversion (at least for one PHI arg def) - for the testcase that wasn't the case.
2021-01-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/98786
* tree-ssa-phiopt.c (factor_out_conditional_conversion): Avoid
adding new uses of abnormals. Verify we deal with a conditional
conversion.
* gcc.dg/torture/pr98786.c: New testcase.
Diffstat (limited to 'gcc/tree-ssa-phiopt.c')
| -rw-r--r-- | gcc/tree-ssa-phiopt.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/tree-ssa-phiopt.c b/gcc/tree-ssa-phiopt.c index bbc78af..ddd9d53 100644 --- a/gcc/tree-ssa-phiopt.c +++ b/gcc/tree-ssa-phiopt.c @@ -474,6 +474,9 @@ factor_out_conditional_conversion (edge e0, edge e1, gphi *phi, if (!is_gimple_reg_type (TREE_TYPE (new_arg0))) return NULL; } + if (TREE_CODE (new_arg0) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_arg0)) + return NULL; if (TREE_CODE (arg1) == SSA_NAME) { @@ -484,13 +487,25 @@ factor_out_conditional_conversion (edge e0, edge e1, gphi *phi, || gimple_assign_rhs_code (arg1_def_stmt) != convert_code) return NULL; + /* Either arg1_def_stmt or arg0_def_stmt should be conditional. */ + if (dominated_by_p (CDI_DOMINATORS, gimple_bb (phi), gimple_bb (arg0_def_stmt)) + && dominated_by_p (CDI_DOMINATORS, + gimple_bb (phi), gimple_bb (arg1_def_stmt))) + return NULL; + /* Use the RHS as new_arg1. */ new_arg1 = gimple_assign_rhs1 (arg1_def_stmt); if (convert_code == VIEW_CONVERT_EXPR) new_arg1 = TREE_OPERAND (new_arg1, 0); + if (TREE_CODE (new_arg1) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_arg1)) + return NULL; } else { + /* arg0_def_stmt should be conditional. */ + if (dominated_by_p (CDI_DOMINATORS, gimple_bb (phi), gimple_bb (arg0_def_stmt))) + return NULL; /* If arg1 is an INTEGER_CST, fold it to new type. */ if (INTEGRAL_TYPE_P (TREE_TYPE (new_arg0)) && int_fits_type_p (arg1, TREE_TYPE (new_arg0))) |