Igor Laevsky ca857efb5b [CorrelatedValuePropagation] Infer nonnull attributes ...

LazuValueInfo can prove that value is nonnull based on the context information. 
Make use of this ability to infer nonnull attributes for the call arguments.

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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@247707 91177308-0d34-0410-b5e6-96231b3b80d8

2015-09-15 17:51:50 +00:00

..

Analysis

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

Assembler

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

Bindings

Add a way to skip the Go bindings tests even when Go is configured in

2015-09-10 05:47:43 +00:00

Bitcode

[IR] Print the label operands of a catchpad like an invoke

2015-09-11 17:27:52 +00:00

BugPoint

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

CodeGen

[SystemZ] Fix assertion failure in tryBuildVectorShuffle

2015-09-15 14:27:46 +00:00

DebugInfo

DwarfDebug: Emit dwo_id+dwo_name for DICompileUnits that provide a dwoId.

2015-09-14 22:10:22 +00:00

Examples

Disable llvm/test/Examples/ for now while investigating.

2015-08-28 03:32:43 +00:00

ExecutionEngine

[RuntimeDyld] Support non-zero addends for the MachO X86_64 SUBTRACTOR reloc.

2015-09-10 21:05:58 +00:00

Feature

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

FileCheck

…

Instrumentation

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

Integer

…

JitListener

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LibDriver

…

Linker

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

LTO

Add a non-exiting diagnostic handler for LTO.

2015-09-11 20:01:53 +00:00

MC

[mips][microMIPS] Fix an issue with disassembling lwm32 instruction

2015-09-15 15:21:27 +00:00

Object

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

Other

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

SymbolRewriter

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

TableGen

[TableGen] Allow TokenTy in intrinsic signatures

2015-09-02 13:36:25 +00:00

tools

[llvm-mc] Better error handling in ENOENT case + test.

2015-09-14 17:10:01 +00:00

Transforms

[CorrelatedValuePropagation] Infer nonnull attributes

2015-09-15 17:51:50 +00:00

Unit

…

Verifier

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

YAMLParser

…

.clang-format

…

CMakeLists.txt

Revert part of r247553, "[CMake] Reformat CLANG_TEST_DEPS." It was accidental commit.

2015-09-14 12:51:01 +00:00

lit.cfg

test: Only warn about missing substitutions for required tools

2015-09-02 18:03:01 +00:00

lit.site.cfg.in

Add a way to skip the Go bindings tests even when Go is configured in

2015-09-10 05:47:43 +00:00

Makefile

Add a way to skip the Go bindings tests even when Go is configured in

2015-09-10 05:47:43 +00:00

Makefile.tests

…

TestRunner.sh

…