David Majnemer cc99e4e75c 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

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2008-12-29-Constant.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-01-02-LocalStores.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

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

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

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