diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2013-11-15 05:45:08 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2013-11-15 05:45:08 +0000 |
| commit | 6dd44d3b7f33c9984dfb40461630d50c4fed1234 (patch) | |
| tree | 377a4c3e7bbe4284ee88a19a035313cfc7ba3b5b /test | |
| parent | 01ad8c308fe549afadb9da18ac0dd30c848c4e1e (diff) | |
| download | llvm-6dd44d3b7f33c9984dfb40461630d50c4fed1234.tar.gz llvm-6dd44d3b7f33c9984dfb40461630d50c4fed1234.tar.bz2 llvm-6dd44d3b7f33c9984dfb40461630d50c4fed1234.tar.xz | |
Add instcombine visitor for addrspacecast
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194786 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstCombine/addrspacecast.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/addrspacecast.ll b/test/Transforms/InstCombine/addrspacecast.ll new file mode 100644 index 0000000000..3ddeb25b7d --- /dev/null +++ b/test/Transforms/InstCombine/addrspacecast.ll @@ -0,0 +1,31 @@ +; RUN: opt -instcombine -S < %s | FileCheck %s + +target datalayout = "e-p:64:64:64-p1:32:32:32-p2:16:16:16-n8:16:32:64" + +define i32* @combine_redundant_addrspacecast(i32 addrspace(1)* %x) nounwind { +; CHECK-LABEL: @combine_redundant_addrspacecast( +; CHECK: addrspacecast i32 addrspace(1)* %x to i32* +; CHECK-NEXT: ret + %y = addrspacecast i32 addrspace(1)* %x to i32 addrspace(3)* + %z = addrspacecast i32 addrspace(3)* %y to i32* + ret i32* %z +} + +define <4 x i32*> @combine_redundant_addrspacecast_vector(<4 x i32 addrspace(1)*> %x) nounwind { +; CHECK-LABEL: @combine_redundant_addrspacecast_vector( +; CHECK: addrspacecast <4 x i32 addrspace(1)*> %x to <4 x i32*> +; CHECK-NEXT: ret + %y = addrspacecast <4 x i32 addrspace(1)*> %x to <4 x i32 addrspace(3)*> + %z = addrspacecast <4 x i32 addrspace(3)*> %y to <4 x i32*> + ret <4 x i32*> %z +} + +define float* @combine_redundant_addrspacecast_types(i32 addrspace(1)* %x) nounwind { +; CHECK-LABEL: @combine_redundant_addrspacecast_types( +; CHECK: addrspacecast i32 addrspace(1)* %x to float* +; CHECK-NEXT: ret + %y = addrspacecast i32 addrspace(1)* %x to i32 addrspace(3)* + %z = addrspacecast i32 addrspace(3)* %y to float* + ret float* %z +} + |