diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2014-02-20 23:00:15 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2014-02-20 23:00:15 +0000 |
| commit | 0aabe661a4315def30ddb2b4dbf290b513ffb747 (patch) | |
| tree | 854d8bc55946a41d418cc9b20e2694928b618f25 | |
| parent | f17f214145c8e3b7d57cc3e11e836b4b1bf5ccbb (diff) | |
| download | llvm-0aabe661a4315def30ddb2b4dbf290b513ffb747.tar.gz llvm-0aabe661a4315def30ddb2b4dbf290b513ffb747.tar.bz2 llvm-0aabe661a4315def30ddb2b4dbf290b513ffb747.tar.xz | |
Make sure that value handle users see the transformation of an indirect call to a direct call. This is important for the CallGraph iteration. Patch by Björn Steinbrink!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@201822 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/InstCombine/InstCombineCalls.cpp | 2 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/cast-call-combine.ll | 23 |
2 files changed, 25 insertions, 0 deletions
diff --git a/lib/Transforms/InstCombine/InstCombineCalls.cpp b/lib/Transforms/InstCombine/InstCombineCalls.cpp index 9e8d1bc3bd..fe8c1b0baf 100644 --- a/lib/Transforms/InstCombine/InstCombineCalls.cpp +++ b/lib/Transforms/InstCombine/InstCombineCalls.cpp @@ -1212,6 +1212,8 @@ bool InstCombiner::transformConstExprCastCall(CallSite CS) { if (!Caller->use_empty()) ReplaceInstUsesWith(*Caller, NV); + else if (Caller->hasValueHandle()) + ValueHandleBase::ValueIsRAUWd(Caller, NV); EraseInstFromFunction(*Caller); return true; diff --git a/test/Transforms/InstCombine/cast-call-combine.ll b/test/Transforms/InstCombine/cast-call-combine.ll new file mode 100644 index 0000000000..be70a8763e --- /dev/null +++ b/test/Transforms/InstCombine/cast-call-combine.ll @@ -0,0 +1,23 @@ +; RUN: opt < %s -always-inline -instcombine -S | FileCheck %s + +define internal void @foo(i16*) alwaysinline { + ret void +} + +define void @bar() noinline noreturn { + unreachable +} + +define void @test() { + br i1 false, label %then, label %else + +then: + call void @bar() + unreachable + +else: + ; CHECK-NOT: call + call void bitcast (void (i16*)* @foo to void (i8*)*) (i8* null) + ret void +} + |