llvm-project/llvm/test/Transforms/CorrelatedValuePropagation
Igor Laevsky 0fa4819dd8 [LazyValueInfo] Report nonnull range for nonnull pointers
Currently LazyValueInfo will report only alloca's as having nonnull range. 
For loads with !nonnull metadata it will bailout with no additional information. 
Same is true for calls returning nonnull pointers.

This change extends LazyValueInfo to handle additional nonnull instructions.

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

llvm-svn: 247985
2015-09-18 13:01:48 +00:00
..
2010-09-02-Trunc.ll
2010-09-26-MergeConstantRange.ll
basic.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
crash.ll
icmp.ll
non-null.ll [LazyValueInfo] Report nonnull range for nonnull pointers 2015-09-18 13:01:48 +00:00
range.ll
select.ll [CVP] Don't assume Constants of type i1 can be known to be true or false 2015-06-06 04:56:51 +00:00