[PATCH] D20653: LICM: Do not sink or hoist assume intrinsic calls.

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Wed May 25 17:07:27 PDT 2016


sanjoy added a comment.

IIUC this is also a correctness fix, right?

Since you could have had:

  volatile boolean always_false = ...;
  for (...)
    if (always_false)
      assume(false);

and hoisting out `assume(false)` to the loop preheader will make the loop appear dead.


http://reviews.llvm.org/D20653





More information about the llvm-commits mailing list