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 /test | |
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
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/cast-call-combine.ll | 23 |
1 files changed, 23 insertions, 0 deletions
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 +} + |