diff options
author | Jakub Jelinek <jakub@redhat.com> | 2022-12-22 12:44:13 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2022-12-22 12:44:13 +0100 |
commit | 0cb5d7cdbab8e5f8359764ef5f62d93c2bc88552 (patch) | |
tree | 622e6f49f7d78a8b4ec2c947f53bf04a0783ce9b /gcc/cse.cc | |
parent | 7b2cf5041460859ca4f58e5da1308b7ef9129d8b (diff) | |
download | gcc-0cb5d7cdbab8e5f8359764ef5f62d93c2bc88552.zip gcc-0cb5d7cdbab8e5f8359764ef5f62d93c2bc88552.tar.gz gcc-0cb5d7cdbab8e5f8359764ef5f62d93c2bc88552.tar.bz2 |
cse: Fix up CSE const_anchor handling [PR108193]
The following testcase ICEs on aarch64, because insert_const_anchor
inserts invalid CONST_INT into the CSE tables - 0x80000000 for SImode.
The second hunk of the patch fixes that, the first one is to avoid
triggering undefined behavior at compile time during compute_const_anchors
computations - performing those additions and subtractions in
HOST_WIDE_INT means it can overflow for certain constants.
2022-12-22 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/108193
* cse.cc (compute_const_anchors): Change n type to
unsigned HOST_WIDE_INT, adjust comparison against it to avoid
warnings. Formatting fix.
(insert_const_anchor): Use gen_int_mode instead of GEN_INT.
* gfortran.dg/pr108193.f90: New test.
Diffstat (limited to 'gcc/cse.cc')
-rw-r--r-- | gcc/cse.cc | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1169,14 +1169,14 @@ compute_const_anchors (rtx cst, HOST_WIDE_INT *lower_base, HOST_WIDE_INT *lower_offs, HOST_WIDE_INT *upper_base, HOST_WIDE_INT *upper_offs) { - HOST_WIDE_INT n = INTVAL (cst); + unsigned HOST_WIDE_INT n = UINTVAL (cst); *lower_base = n & ~(targetm.const_anchor - 1); - if (*lower_base == n) + if ((unsigned HOST_WIDE_INT) *lower_base == n) return false; - *upper_base = - (n + (targetm.const_anchor - 1)) & ~(targetm.const_anchor - 1); + *upper_base = ((n + (targetm.const_anchor - 1)) + & ~(targetm.const_anchor - 1)); *upper_offs = n - *upper_base; *lower_offs = n - *lower_base; return true; @@ -1193,7 +1193,7 @@ insert_const_anchor (HOST_WIDE_INT anchor, rtx reg, HOST_WIDE_INT offs, rtx anchor_exp; rtx exp; - anchor_exp = GEN_INT (anchor); + anchor_exp = gen_int_mode (anchor, mode); hash = HASH (anchor_exp, mode); elt = lookup (anchor_exp, hash, mode); if (!elt) |