diff options
| -rw-r--r-- | gcc/ipa-cp.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/ipa/pr96482.c | 44 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 3 |
3 files changed, 49 insertions, 1 deletions
diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c index 945a699..2b21280 100644 --- a/gcc/ipa-cp.c +++ b/gcc/ipa-cp.c @@ -1011,7 +1011,7 @@ ipcp_bits_lattice::set_to_constant (widest_int value, widest_int mask) { gcc_assert (top_p ()); m_lattice_val = IPA_BITS_CONSTANT; - m_value = value; + m_value = wi::bit_and (wi::bit_not (mask), value); m_mask = mask; return true; } @@ -1048,6 +1048,7 @@ ipcp_bits_lattice::meet_with_1 (widest_int value, widest_int mask, widest_int old_mask = m_mask; m_mask = (m_mask | mask) | (m_value ^ value); + m_value &= value; if (wi::sext (m_mask, precision) == -1) return set_to_bottom (); diff --git a/gcc/testsuite/gcc.dg/ipa/pr96482.c b/gcc/testsuite/gcc.dg/ipa/pr96482.c new file mode 100644 index 0000000..68ead79 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pr96482.c @@ -0,0 +1,44 @@ +/* PR ipa/96482 */ +/* { dg-do run } */ +/* { dg-options "-O2 -flto" } */ +/* { dg-require-effective-target lto } */ + +int +__attribute__((noinline)) +foo(int arg) +{ + if (arg == 3) + return 1; + if (arg == 4) + return 123; + + __builtin_unreachable (); +} + +int +__attribute__((noinline)) +baz(int x) +{ + if (x != 0) + return foo(3); /* called */ + + return 1; +} + +int +__attribute__((noinline)) +bar(int x) +{ + if (x == 0) + return foo(5); /* not executed */ + + return 1; +} + +int main(int argc, char **argv) +{ + if (bar(argc) != baz(argc)) + __builtin_abort (); + + return 0; +} diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 7e39218..65dffe0 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -306,6 +306,9 @@ get_default_value (tree var) { val.lattice_val = CONSTANT; val.value = value; + widest_int ipa_value = wi::to_widest (value); + /* Unknown bits from IPA CP must be equal to zero. */ + gcc_assert (wi::bit_and (ipa_value, mask) == 0); val.mask = mask; if (nonzero_bits != -1) val.mask &= extend_mask (nonzero_bits, |