Daniel Jasper 8229ebb926 The code that originally made me discover this is: ...

if ((a & 0x1) == 0x1) {
    ..
  }

In this case we don't actually have any branch probability information and
should not assume to have any. LLVM transforms this into:

  %and = and i32 %a, 1
  %tobool = icmp eq i32 %and, 0

So, in this case, the result of a bitwise and is compared against 0,
but nevertheless, we should not assume to have probability
information.

llvm-svn: 234898

2015-04-14 15:20:37 +00:00

22 KiB

Raw Blame History

View Raw