diff options
author | Duncan Sands <baldrick@free.fr> | 2008-01-06 10:12:28 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2008-01-06 10:12:28 +0000 |
commit | a9d0c9dc58855a5f01dcc5c85c89fd3fc737d3e8 (patch) | |
tree | c8b6cf3406bdd858d159a99b39e5f498cd4cd9e7 /test/Transforms/InstCombine | |
parent | 2e48a70b35635165703838fc8d3796b664207aa1 (diff) | |
download | llvm-a9d0c9dc58855a5f01dcc5c85c89fd3fc737d3e8.tar.gz llvm-a9d0c9dc58855a5f01dcc5c85c89fd3fc737d3e8.tar.bz2 llvm-a9d0c9dc58855a5f01dcc5c85c89fd3fc737d3e8.tar.xz |
When transforming a call to a bitcast function into
a direct call with cast parameters and cast return
value (if any), instcombine was prepared to cast any
non-void return value into any other, whether castable
or not. Add a new predicate for testing whether casting
is valid, and check it both for the return value and
(as a cleanup) for the parameters.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45657 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine')
-rw-r--r-- | test/Transforms/InstCombine/2008-01-06-CastCrash.ll | 10 | ||||
-rw-r--r-- | test/Transforms/InstCombine/2008-01-06-VoidCast.ll | 10 |
2 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2008-01-06-CastCrash.ll b/test/Transforms/InstCombine/2008-01-06-CastCrash.ll new file mode 100644 index 0000000000..1d816d4b99 --- /dev/null +++ b/test/Transforms/InstCombine/2008-01-06-CastCrash.ll @@ -0,0 +1,10 @@ +; RUN: llvm-as < %s | opt -instcombine -disable-output + +define <2 x i32> @f() { + ret <2 x i32> undef +} + +define i32 @g() { + %x = call i32 bitcast (<2 x i32> ()* @f to i32 ()*)( ) ; <i32> [#uses=1] + ret i32 %x +} diff --git a/test/Transforms/InstCombine/2008-01-06-VoidCast.ll b/test/Transforms/InstCombine/2008-01-06-VoidCast.ll new file mode 100644 index 0000000000..015210a998 --- /dev/null +++ b/test/Transforms/InstCombine/2008-01-06-VoidCast.ll @@ -0,0 +1,10 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep bitcast + +define void @f(i16 %y) { + ret void +} + +define i32 @g(i32 %y) { + %x = call i32 bitcast (void (i16)* @f to i32 (i32)*)( i32 %y ) ; <i32> [#uses=1] + ret i32 %x +} |