1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 19:12:56 +02:00
llvm-mirror/test/Transforms/FunctionAttrs
Philip Reames c1eca23247 [FunctionAttr] Infer nonnull attributes on returns
Teach FunctionAttr to infer the nonnull attribute on return values of functions which never return a potentially null value. This is done both via a conservative local analysis for the function itself and a optimistic per-SCC analysis. If no function in the SCC returns anything which could be null (other than values from other functions in the SCC), we can conclude no function returned a null pointer. Even if some function within the SCC returns a null pointer, we may be able to locally conclude that some don't.

Differential Revision: http://reviews.llvm.org/D9688

llvm-svn: 246476
2015-08-31 19:44:38 +00:00
..
2008-09-03-Mutual.ll
2008-09-03-ReadNone.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +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
2009-01-04-Annotate.ll
2010-10-30-volatile.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
annotate-1.ll Fix FileCheck --check-prefix lines. 2013-08-12 12:43:26 +00:00
atomic.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
nocapture.ll Move the personality function from LandingPadInst to Function 2015-06-17 20:52:32 +00:00
nonnull.ll [FunctionAttr] Infer nonnull attributes on returns 2015-08-31 19:44:38 +00:00
noreturn.ll
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 [optnone] Make the optnone attribute effective at suppressing function 2014-08-13 10:49:33 +00:00
readattrs.ll [opaque pointer type] Add textual IR support for explicit type parameter to the call instruction 2015-04-16 23:24:18 +00:00
readnone.ll Remove conflicting attributes before adding deduced readonly/readnone 2015-05-25 19:46:38 +00:00