llvm-project/llvm/test/Transforms/FunctionAttrs
David Majnemer 0f45572761 The absence of noreturn doesn't ensure mayReturn
There are two separate issues:
- LLVM doesn't consider infinite loops to be side effects: we happily
  hoist/sink above/below loops whose bounds are unknown.
- The absence of the noreturn attribute is insufficient for us to know
  if a function will definitely return.  Relying on noreturn in the
  middle-end for any property is an accident waiting to happen.

llvm-svn: 273762
2016-06-25 00:55:12 +00:00
..
2008-09-03-Mutual.ll
2008-09-03-ReadNone.ll Revert "Revert "[FunctionAttrs] Identify norecurse functions"" 2015-11-12 10:55:20 +00:00
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 Revert "Revert "[FunctionAttrs] Identify norecurse functions"" 2015-11-12 10:55:20 +00:00
assume.ll MemorySSA: Revert r269678 and r268068; replace with special casing in MemorySSA. 2016-05-26 04:58:46 +00:00
atomic.ll Revert "Revert "[FunctionAttrs] Identify norecurse functions"" 2015-11-12 10:55:20 +00:00
comdat-ipo.ll Don't IPO over functions that can be de-refined 2016-04-08 00:48:30 +00:00
convergent.ll [attrs] Handle convergent CallSites. 2016-03-14 20:18:54 +00:00
nocapture.ll [CaptureTracking] Volatile operations capture their memory location 2016-05-26 17:36:22 +00:00
nonnull.ll [FunctionAttr] Infer nonnull attributes on returns 2015-08-31 19:44:38 +00:00
norecurse.ll [PM] Port ReversePostOrderFunctionAttrs to the new PM 2016-06-12 07:48:51 +00:00
operand-bundles-scc.ll [FunctionAttrs] Fix SCC logic around operand bundles 2016-02-09 18:40:40 +00:00
optnone-simple.ll
optnone.ll [attrs] Move the norecurse deduction to operate on the node set rather 2016-02-13 08:47:51 +00:00
out-of-bounds-iterator-bug.ll [FunctionAttrs] Fix an iterator wraparound bug 2015-11-07 01:55:53 +00:00
readattrs.ll [FunctionAttrs] Volatile loads should disable readonly 2016-05-25 05:53:04 +00:00
readnone.ll Remove conflicting attributes before adding deduced readonly/readnone 2015-05-25 19:46:38 +00:00