aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-sccvn.c
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2021-01-04 11:40:40 +0100
committerRichard Biener <rguenther@suse.de>2021-01-04 12:59:44 +0100
commit13b80a7d1b9b712651f5ece589634a6e57c26362 (patch)
tree0067893ed4d2a3e27465eabdb9ac70055c8aebff /gcc/tree-ssa-sccvn.c
parentb41e6dd50f329b0291457e939d4c0dacd81c82c1 (diff)
downloadgcc-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.c3
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. */