mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
ca379cda9f
Summary: 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. Reviewers: chandlerc, jingyue Subscribers: hfinkel, jhen, tra, llvm-commits Differential Revision: http://reviews.llvm.org/D17317 llvm-svn: 261544 |
||
|---|---|---|
| .. | ||
| 2008-09-03-Mutual.ll | ||
| 2008-09-03-ReadNone.ll | ||
| 2008-09-03-ReadOnly.ll | ||
| 2008-09-13-VolatileRead.ll | ||
| 2008-12-29-Constant.ll | ||
| 2009-01-02-LocalStores.ll | ||
| 2010-10-30-volatile.ll | ||
| atomic.ll | ||
| convergent.ll | ||
| nocapture.ll | ||
| nonnull.ll | ||
| norecurse.ll | ||
| noreturn.ll | ||
| operand-bundles-scc.ll | ||
| optnone-simple.ll | ||
| optnone.ll | ||
| out-of-bounds-iterator-bug.ll | ||
| readattrs.ll | ||
| readnone.ll | ||