diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2007-07-14 08:43:48 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2007-07-14 08:43:48 +0000 |
| commit | 8d1341f797149e33a9cee62b90cc9055b7c542b9 (patch) | |
| tree | 4bfc8405f2aee189e4f82ced2f4657732db9b84a /gcc/tree-ssa-sccvn.c | |
| parent | 5de7f07cb460aa0b7f149eec08872f85b9f36a23 (diff) | |
| download | gcc-8d1341f797149e33a9cee62b90cc9055b7c542b9.zip gcc-8d1341f797149e33a9cee62b90cc9055b7c542b9.tar.gz gcc-8d1341f797149e33a9cee62b90cc9055b7c542b9.tar.bz2 | |
re PR tree-optimization/32705 (ICE in set_ssa_val_to, at tree-ssa-sccvn.c:1022)
PR tree-optimization/32705
* tree-ssa-sccvn.c (set_ssa_val_to): Accept VN_TOP as value number.
(simplify_binary_expression): Use SSA_VAL consistently.
From-SVN: r126637
Diffstat (limited to 'gcc/tree-ssa-sccvn.c')
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index a04bb21..53e680c 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -1017,11 +1017,13 @@ static inline bool set_ssa_val_to (tree from, tree to) { tree currval; - gcc_assert (to != NULL); - /* The only thing we allow as value numbers are ssa_names and - invariants. So assert that here. */ - gcc_assert (TREE_CODE (to) == SSA_NAME || is_gimple_min_invariant (to)); + /* The only thing we allow as value numbers are VN_TOP, ssa_names + and invariants. So assert that here. */ + gcc_assert (to != NULL_TREE + && (to == VN_TOP + || TREE_CODE (to) == SSA_NAME + || is_gimple_min_invariant (to))); if (dump_file && (dump_flags & TDF_DETAILS)) { @@ -1389,7 +1391,7 @@ simplify_binary_expression (tree rhs) if (VN_INFO (op0)->has_constants) op0 = valueize_expr (VN_INFO (op0)->expr); else if (SSA_VAL (op0) != VN_TOP && SSA_VAL (op0) != op0) - op0 = VN_INFO (op0)->valnum; + op0 = SSA_VAL (op0); } if (TREE_CODE (op1) == SSA_NAME) @@ -1397,7 +1399,7 @@ simplify_binary_expression (tree rhs) if (VN_INFO (op1)->has_constants) op1 = valueize_expr (VN_INFO (op1)->expr); else if (SSA_VAL (op1) != VN_TOP && SSA_VAL (op1) != op1) - op1 = VN_INFO (op1)->valnum; + op1 = SSA_VAL (op1); } result = fold_binary (TREE_CODE (rhs), TREE_TYPE (rhs), op0, op1); |