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

[Justin Lebar via llvm-commits]

jlebar created this revision.
jlebar added reviewers: chandlerc, jingyue.
jlebar added subscribers: llvm-commits, tra, jhen, hfinkel.

Previously we had a notion of convergent functions but not of convergent
calls.  This is insufficient to correctly analyze calls where the target
is unknown, e.g. indirect calls.

Now a call is convergent if it targets a known-convergent function, or
if it's explicitly marked as convergent.  As usual, we can remove
convergent where we can prove that no convergent operations are
performed in the call.

http://reviews.llvm.org/D17317

Files:
  lib/Transforms/IPO/FunctionAttrs.cpp
  test/Transforms/FunctionAttrs/convergent.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D17317.48131.patch
Type: text/x-patch
Size: 7754 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160217/766c6ec3/attachment.bin>