[PATCH] D71974: [Attributor][WIP] Connect AAIsDead with AAUndefinedBehavior

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis updated this revision to Diff 235657.
baziotis added a comment.

Thanks for your suggestion Johannes, fortunately that was an easy change. But it also impacts about 26 tests or so, which I won't be able to fix today.
However now the interaction between `AAUB` and `AAIsDead` becomes interesting. For example, for this code:

  define internal i1 @ret_undef() {
    ret i1 undef
  }
  
  define void @cond_br_on_undef_interproc() {
    %cond = call i1 @ret_undef()
    br i1 %cond, label %t, label %e
  t:
    ret void
  e:
    ret void
  }

the Attributor leaves... you guessed it, nothing. :)


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

https://reviews.llvm.org/D71974

Files:
  llvm/include/llvm/Transforms/IPO/Attributor.h
  llvm/lib/Transforms/IPO/Attributor.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D71974.235657.patch
Type: text/x-patch
Size: 11097 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191230/71ced64f/attachment.bin>