[PATCH] D66096: [CodeGen/Analysis] Intrinsic llvm.assume should not block tail call optimization

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D66096#1631800 <https://reviews.llvm.org/D66096#1631800>, @xbolva00 wrote:

> https://bugs.llvm.org/show_bug.cgi?id=43007 should be fixed too


I'm pretty sure it will not fix the issue. A possible test case would look like:

  define i8* @foo() {
    %1 = tail call i8* @bar()
    %2 = icmp eq i8* %1, null
    tail call void @llvm.assume(i1 %2)
    ret i8* null
  }


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66096/new/

https://reviews.llvm.org/D66096