diff options
| author | Richard Biener <rguenther@suse.de> | 2021-04-14 10:26:33 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-04-14 13:39:33 +0200 |
| commit | 3330e673959d44e5c7663956803e1e7a703dd626 (patch) | |
| tree | 1795a39681731185da209bcb82c1bc54d3207388 /gcc/tree-ssa-propagate.c | |
| parent | e4fd26d647ee526f11e8ca8d59536d2f67119b9a (diff) | |
| download | gcc-3330e673959d44e5c7663956803e1e7a703dd626.zip gcc-3330e673959d44e5c7663956803e1e7a703dd626.tar.gz gcc-3330e673959d44e5c7663956803e1e7a703dd626.tar.bz2 | |
VEC_COND_EXPR verification adjustment
This adjusts GIMPLE verification with respect to the VEC_COND_EXPR
changes forcing a split out condition.
2021-04-14 Richard Biener <rguenther@suse.de>
* tree-cfg.c (verify_gimple_assign_ternary): Verify that
VEC_COND_EXPRs have a gimple_val condition.
* tree-ssa-propagate.c (valid_gimple_rhs_p): VEC_COND_EXPR
can no longer have a GENERIC condition.
Diffstat (limited to 'gcc/tree-ssa-propagate.c')
| -rw-r--r-- | gcc/tree-ssa-propagate.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.c index def16c0..17dd1ef 100644 --- a/gcc/tree-ssa-propagate.c +++ b/gcc/tree-ssa-propagate.c @@ -515,7 +515,7 @@ valid_gimple_rhs_p (tree expr) default: if (get_gimple_rhs_class (code) == GIMPLE_TERNARY_RHS) { - if (((code == VEC_COND_EXPR || code == COND_EXPR) + if ((code == COND_EXPR ? !is_gimple_condexpr (TREE_OPERAND (expr, 0)) : !is_gimple_val (TREE_OPERAND (expr, 0))) || !is_gimple_val (TREE_OPERAND (expr, 1)) |