OSDN Git Service

InstCombine: propagate nonNull through assume
authorRamkumar Ramachandra <artagnon@gmail.com>
Mon, 9 Feb 2015 01:13:13 +0000 (01:13 +0000)
committerRamkumar Ramachandra <artagnon@gmail.com>
Mon, 9 Feb 2015 01:13:13 +0000 (01:13 +0000)
commit5439a80dcadb452a27eacc6a6f14b007f04bee5b
tree6f2bea3286a90485a4be916292291088d1374ed3
parent218eccd6386134dad946c1c2ee265f7c47a2d920
InstCombine: propagate nonNull through assume

Make assume (load (call|invoke) != null) set nonNull return attribute
for the call and invoke. Also include tests.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228556 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineCalls.cpp
test/Transforms/InstCombine/assume.ll