llvm-6502/test
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
..
Analysis ARM cost model: Fix costs for some vector selects 2013-03-15 18:31:01 +00:00
Archive
Assembler
Bindings/Ocaml
Bitcode
BugPoint
CodeGen Include '.test' suffix in target specific lit configs that need it 2013-03-18 20:31:44 +00:00
DebugInfo Split out filename & directory from DIFile to start generalizing over DIScopes 2013-03-17 21:13:55 +00:00
ExecutionEngine
Feature
FileCheck
Instrumentation [asan] when creating string constants, set unnamed_attr and align 1 so that equal strings are merged by the linker. Observed up to 1% binary size reduction. Thanks to Anton Korobeynikov for the suggestion 2013-03-18 09:38:39 +00:00
Integer
JitListener
Linker
MC Post process ADC/SBB and use a shorter encoding if they use a sign extended immediate. 2013-03-18 03:34:55 +00:00
Object
Other
Scripts
TableGen
tools
Transforms Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero. 2013-03-18 21:23:25 +00:00
Unit Fixup for r176933: more careful setup of path to llvm-symbolizer 2013-03-15 07:27:49 +00:00
Verifier
YAMLParser
CMakeLists.txt Add llvm-symbolizer as test dependency. 2013-03-13 09:35:18 +00:00
lit.cfg Fixup for r176933: more careful setup of path to llvm-symbolizer 2013-03-15 07:27:49 +00:00
lit.site.cfg.in
Makefile
Makefile.tests
TestRunner.sh