[PATCH] D17317: [attrs] Handle convergent CallSites.

[Justin Lebar via llvm-commits]

jlebar added a comment.

> New review in http://reviews.llvm.org/D17518.


Sorry, posted in wrong tab.

The relevant link here is https://gist.github.com/57285538454829420e0e -- with this change (which fixes a bug where we'd sometimes return MadeChange = true when we should have returned MadeChange = false), the readattrs.ll fails.

$ opt < /usr/local/google/home/jlebar/code/llvm/src/test/Transforms/FunctionAttrs/readattrs.ll -aa-pipeline=basic-aa -passes='require<targetlibinfo>,cgscc(function-attrs)' -S  -debug
https://gist.github.com/0c003a39199904e230dc


Repository:
  rL LLVM

http://reviews.llvm.org/D17317