diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2014-07-15 01:55:03 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2014-07-15 01:55:03 +0000 |
| commit | f1a7e6203316ef6f84977ce60075a84a47e6f28d (patch) | |
| tree | 5931a6783d765238e6b267b0ae389f1bd926c273 /llvm/test/Transforms | |
| parent | 138551bb15f2a67cc498546a08df3103fea36924 (diff) | |
| download | bcm5719-llvm-f1a7e6203316ef6f84977ce60075a84a47e6f28d.tar.gz bcm5719-llvm-f1a7e6203316ef6f84977ce60075a84a47e6f28d.zip | |
Teach computeKnownBits to look through addrspacecast.
This fixes inferring alignment through an addrspacecast.
llvm-svn: 213030
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/loadstore-alignment.ll | 31 |
1 files changed, 30 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/loadstore-alignment.ll b/llvm/test/Transforms/InstCombine/loadstore-alignment.ll index 6a6ac4562f2..e90bdb7cdd9 100644 --- a/llvm/test/Transforms/InstCombine/loadstore-alignment.ll +++ b/llvm/test/Transforms/InstCombine/loadstore-alignment.ll @@ -1,9 +1,11 @@ ; RUN: opt -instcombine -S < %s | FileCheck %s -target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" +target datalayout = "E-p:64:64:64-p1:64:64:64-p2:32:32:32-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" @x = external global <2 x i64>, align 16 @xx = external global [13 x <2 x i64>], align 16 +@x.as2 = external addrspace(2) global <2 x i64>, align 16 + ; CHECK-LABEL: @static_hem( ; CHECK: , align 16 define <2 x i64> @static_hem() { @@ -12,6 +14,33 @@ define <2 x i64> @static_hem() { ret <2 x i64> %tmp1 } +; CHECK-LABEL: @static_hem_addrspacecast( +; CHECK: , align 16 +define <2 x i64> @static_hem_addrspacecast() { + %t = getelementptr <2 x i64>* @x, i32 7 + %t.asc = addrspacecast <2 x i64>* %t to <2 x i64> addrspace(1)* + %tmp1 = load <2 x i64> addrspace(1)* %t.asc, align 1 + ret <2 x i64> %tmp1 +} + +; CHECK-LABEL: @static_hem_addrspacecast_smaller_ptr( +; CHECK: , align 16 +define <2 x i64> @static_hem_addrspacecast_smaller_ptr() { + %t = getelementptr <2 x i64>* @x, i32 7 + %t.asc = addrspacecast <2 x i64>* %t to <2 x i64> addrspace(2)* + %tmp1 = load <2 x i64> addrspace(2)* %t.asc, align 1 + ret <2 x i64> %tmp1 +} + +; CHECK-LABEL: @static_hem_addrspacecast_larger_ptr( +; CHECK: , align 16 +define <2 x i64> @static_hem_addrspacecast_larger_ptr() { + %t = getelementptr <2 x i64> addrspace(2)* @x.as2, i32 7 + %t.asc = addrspacecast <2 x i64> addrspace(2)* %t to <2 x i64> addrspace(1)* + %tmp1 = load <2 x i64> addrspace(1)* %t.asc, align 1 + ret <2 x i64> %tmp1 +} + ; CHECK-LABEL: @hem( ; CHECK: , align 16 define <2 x i64> @hem(i32 %i) { |
