llvm-6502/test/Transforms/InstSimplify
Manman Ren 90842427b2 Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero.
This handles the case where we have an inbounds GEP with alloca as the pointer.
This fixes the regression in PR12750 and rdar://13286434.
Note that we can also fix this by handling some GEP cases in isKnownNonNull.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@177321 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-18 21:23:25 +00:00
..
2010-12-20-Boolean.ll
2010-12-20-Distribute.ll
2011-01-14-Thread.ll
2011-02-01-Vector.ll
2011-09-05-InsertExtractValue.ll
2011-10-27-BinOpCrash.ll
2011-11-23-MaskedBitsCrash.ll
AndOrXor.ll
call-callconv.ll [SimplifyLibCalls] Library call simplification doen't work if the call site 2013-02-08 18:00:14 +00:00
call.ll Identify and simplify idempotent intrinsics. Test case included. 2013-02-07 19:26:05 +00:00
compare.ll Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero. 2013-03-18 21:23:25 +00:00
exact-nsw-nuw.ll
fast-math.ll Added a slew of SimplifyInstruction floating-point optimizations, many of which take advantage of fast-math flags. Test cases included. 2012-12-12 00:27:46 +00:00
fdiv.ll
floating-point-arithmetic.ll Added a slew of SimplifyInstruction floating-point optimizations, many of which take advantage of fast-math flags. Test cases included. 2012-12-12 00:27:46 +00:00
lit.local.cfg Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed. 2012-02-16 06:28:33 +00:00
maxmin.ll
past-the-end.ll Add a testcase for some past-the-end address subtleties. 2013-02-01 19:37:52 +00:00
phi.ll Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189. 2012-03-05 23:09:40 +00:00
ptr_diff.ll ConstantFolding: Fix a crash when encoutering a truncating inttoptr. 2013-02-05 19:04:36 +00:00
reassociate.ll Generalize the "trunc(ptrtoint(x)) - trunc(ptrtoint(y)) -> 2012-03-13 14:07:05 +00:00
rem.ll
undef.ll
vector_gep.ll Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID 2012-12-30 02:33:22 +00:00