[InstCombine] Propagate non-null facts to call parameters
authorPhilip Reames <listmail@philipreames.com>
Tue, 16 Jun 2015 00:43:54 +0000 (00:43 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 16 Jun 2015 00:43:54 +0000 (00:43 +0000)
commit6025d734a827221eb1e27bda6aef99c7d47544bf
treecfea59fbd1099cc4440d2f0e4b2d714c11cdfe4b
parent26487105557f94b493599c3c53acd7cab080f07c
[InstCombine] Propagate non-null facts to call parameters

If a parameter to a function is known non-null, use the existing parameter attributes to record that fact at the call site. This has no optimization benefit by itself - that I know of - but is an enabling change for http://reviews.llvm.org/D9129.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@239795 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/IR/CallSite.h
lib/Transforms/InstCombine/InstCombineCalls.cpp
test/CodeGen/NVPTX/intrin-nocapture.ll
test/Transforms/Inline/byval-tail-call.ll
test/Transforms/InstCombine/nonnull-param.ll [new file with mode: 0644]
test/Transforms/InstCombine/select.ll