]> git.ipfire.org Git - thirdparty/gcc.git/commit
ipa: fix bit CPP when combined with IPA bit CP
authorMartin Liska <mliska@suse.cz>
Wed, 12 Aug 2020 07:21:51 +0000 (09:21 +0200)
committerMartin Liska <mliska@suse.cz>
Wed, 12 Aug 2020 17:40:01 +0000 (19:40 +0200)
commit66780083a0e79e5cb7c3acc8665aa47be4084a67
treea33958e9e8af9e9959457ccfc699bd87f4fb6825
parent18c81c8a780758ea596c530321ef5e7459b3d16f
ipa: fix bit CPP when combined with IPA bit CP

As mentioned in the PR, let's consider the following example:

int
__attribute__((noinline))
foo(int arg)
{
  if (arg == 3)
    return 1;
  if (arg == 4)
    return 123;

  __builtin_unreachable ();
}

during WPA we find all calls of the function
(yes the call with value 5 is UBSAN):

  Node: foo/0:
    param [0]: 5 [loc_time: 4, loc_size: 2, prop_time: 0, prop_size: 0]
               3 [loc_time: 3, loc_size: 3, prop_time: 0, prop_size: 0]
         ctxs: VARIABLE
         Bits: value = 0x5, mask = 0x6

in LTRANS we have the following VRP info:

  # RANGE [3, 3] NONZERO 3

when we AND masks in get_default_value we end up with 6 & 3 = 2 (0x010).
That means the only second (least significant bit) is unknown and
value (5 = 0x101) & ~mask gives us either 7 (0x111) or 5 (0x101).

That's why if (arg_2(D) == 3) gets optimized to false.

gcc/ChangeLog:

PR ipa/96482
* ipa-cp.c (ipcp_bits_lattice::meet_with_1): Drop value bits
for bits that are unknown.
(ipcp_bits_lattice::set_to_constant): Likewise.
* tree-ssa-ccp.c (get_default_value): Add sanity check that
IPA CP bit info has all bits set to zero in bits that
are unknown.

gcc/testsuite/ChangeLog:

PR ipa/96482
* gcc.dg/ipa/pr96482.c: New test.

(cherry picked from commit d58f078ce2d53e5dab6b3d0d5f960504268e1894)
gcc/ipa-cp.c
gcc/testsuite/gcc.dg/ipa/pr96482.c [new file with mode: 0644]
gcc/tree-ssa-ccp.c