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

Correct invalid debug info metadata

2013-03-12 19:04:24 +00:00

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

In r169695, the address space limit for tests was replaced with a data

2013-03-12 12:38:10 +00:00

Makefile.tests

…

TestRunner.sh

…