diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2019-09-18 09:44:06 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2019-09-18 09:44:06 +0000 |
| commit | 01b57ebf58b8cc0d16db827d1d9aa5f10da23cce (patch) | |
| tree | 7475580dc8584bff3b6f8673bc7a29a53311e250 | |
| parent | 22b6299199da4efd3944cdaabca1d095d19ff901 (diff) | |
| download | gcc-01b57ebf58b8cc0d16db827d1d9aa5f10da23cce.zip gcc-01b57ebf58b8cc0d16db827d1d9aa5f10da23cce.tar.gz gcc-01b57ebf58b8cc0d16db827d1d9aa5f10da23cce.tar.bz2 | |
Make get_value_for_expr check for INTEGER_CSTs
CONSTANT lattice values are symbolic constants rather than
compile-time constants, so among other things can be POLY_INT_CSTs.
This patch fixes a case in which we assumed all CONSTANTs were either
ADDR_EXPRs or INTEGER_CSTs.
This is tested by later SVE patches.
2019-09-18 Richard Sandiford <richard.sandiford@arm.com>
gcc/
* tree-ssa-ccp.c (get_value_for_expr): Check whether CONSTANTs
are INTEGER_CSTs.
From-SVN: r275871
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 14 |
2 files changed, 16 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2842a7f..5785081 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2019-09-18 Richard Sandiford <richard.sandiford@arm.com> + * tree-ssa-ccp.c (get_value_for_expr): Check whether CONSTANTs + are INTEGER_CSTs. + +2019-09-18 Richard Sandiford <richard.sandiford@arm.com> + * gimplify.c (gimplify_decl_expr): Use poly_int_tree_p instead of checking specifically for INTEGER_CST. diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 5af3810..311918b 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -615,9 +615,17 @@ get_value_for_expr (tree expr, bool for_bits_p) val.mask = -1; } if (for_bits_p - && val.lattice_val == CONSTANT - && TREE_CODE (val.value) == ADDR_EXPR) - val = get_value_from_alignment (val.value); + && val.lattice_val == CONSTANT) + { + if (TREE_CODE (val.value) == ADDR_EXPR) + val = get_value_from_alignment (val.value); + else if (TREE_CODE (val.value) != INTEGER_CST) + { + val.lattice_val = VARYING; + val.value = NULL_TREE; + val.mask = -1; + } + } /* Fall back to a copy value. */ if (!for_bits_p && val.lattice_val == VARYING |