diff options
author | Richard Biener <rguenther@suse.de> | 2021-01-04 11:40:40 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2021-01-04 12:59:44 +0100 |
commit | 13b80a7d1b9b712651f5ece589634a6e57c26362 (patch) | |
tree | 0067893ed4d2a3e27465eabdb9ac70055c8aebff /gcc/tree-ssa-sccvn.c | |
parent | b41e6dd50f329b0291457e939d4c0dacd81c82c1 (diff) | |
download | gcc-13b80a7d1b9b712651f5ece589634a6e57c26362.zip gcc-13b80a7d1b9b712651f5ece589634a6e57c26362.tar.gz gcc-13b80a7d1b9b712651f5ece589634a6e57c26362.tar.bz2 |
tree-optimization/98282 - classify V_C_E<constant> as nary
This avoids running into memory reference code in compute_avail by
properly classifying unfolded reference trees on constants.
2021-01-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/98282
* tree-ssa-sccvn.c (vn_get_stmt_kind): Classify tcc_reference on
invariants as VN_NARY.
* g++.dg/opt/pr98282.C: New testcase.
Diffstat (limited to 'gcc/tree-ssa-sccvn.c')
-rw-r--r-- | gcc/tree-ssa-sccvn.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index d944b95..19defc0 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -543,7 +543,8 @@ vn_get_stmt_kind (gimple *stmt) || code == IMAGPART_EXPR || code == VIEW_CONVERT_EXPR || code == BIT_FIELD_REF) - && TREE_CODE (TREE_OPERAND (rhs1, 0)) == SSA_NAME) + && (TREE_CODE (TREE_OPERAND (rhs1, 0)) == SSA_NAME + || is_gimple_min_invariant (TREE_OPERAND (rhs1, 0)))) return VN_NARY; /* Fallthrough. */ |