[PATCH] D17013: Add convergent-removing bits to FunctionAttrs pass.

[Justin Lebar via llvm-commits]

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

Remove the convergent attribute on any functions which provably do not
contain or invoke any convergent functions.

After this change, we'll be able to modify clang to conservatively add
'convergent' to all functions when compiling CUDA.

http://reviews.llvm.org/D17013

Files:
  include/llvm/IR/Function.h
  lib/Transforms/IPO/FunctionAttrs.cpp
  test/Transforms/FunctionAttrs/convergent.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D17013.47282.patch
Type: text/x-patch
Size: 3201 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160209/b97dab12/attachment.bin>