diff options
author | Eli Bendersky <eliben@google.com> | 2014-05-22 00:02:52 +0000 |
---|---|---|
committer | Eli Bendersky <eliben@google.com> | 2014-05-22 00:02:52 +0000 |
commit | 107db21c2b8e16dc8c18c5c5e13056b6a9deedcf (patch) | |
tree | 9d3aaa72cc38dd1e1508795d191933bb5b1d4255 /test/Transforms/CodeGenPrepare | |
parent | a2f371b8eb440d0fac62b879e82e442938413bbd (diff) | |
download | llvm-107db21c2b8e16dc8c18c5c5e13056b6a9deedcf.tar.gz llvm-107db21c2b8e16dc8c18c5c5e13056b6a9deedcf.tar.bz2 llvm-107db21c2b8e16dc8c18c5c5e13056b6a9deedcf.tar.xz |
Similar to bitcast, treat addrspacecast as a foldable operand.
Added a test sink-addrspacecast.ll to verify this change.
Patch by Jingyue Wu.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209343 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/CodeGenPrepare')
-rw-r--r-- | test/Transforms/CodeGenPrepare/X86/sink-addrspacecast.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/Transforms/CodeGenPrepare/X86/sink-addrspacecast.ll b/test/Transforms/CodeGenPrepare/X86/sink-addrspacecast.ll new file mode 100644 index 0000000000..a985c36707 --- /dev/null +++ b/test/Transforms/CodeGenPrepare/X86/sink-addrspacecast.ll @@ -0,0 +1,37 @@ +; RUN: opt -S -codegenprepare < %s | FileCheck %s + +target datalayout = +"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" +target triple = "x86_64-unknown-linux-gnu" + +; CHECK-LABEL: @load_cast_gep +; CHECK: add i64 %sunkaddr, 40 +define void @load_cast_gep(i1 %cond, i64* %base) { +entry: + %addr = getelementptr inbounds i64* %base, i64 5 + %casted = addrspacecast i64* %addr to i32 addrspace(1)* + br i1 %cond, label %if.then, label %fallthrough + +if.then: + %v = load i32 addrspace(1)* %casted, align 4 + br label %fallthrough + +fallthrough: + ret void +} + +; CHECK-LABEL: @store_gep_cast +; CHECK: add i64 %sunkaddr, 20 +define void @store_gep_cast(i1 %cond, i64* %base) { +entry: + %casted = addrspacecast i64* %base to i32 addrspace(1)* + %addr = getelementptr inbounds i32 addrspace(1)* %casted, i64 5 + br i1 %cond, label %if.then, label %fallthrough + +if.then: + store i32 0, i32 addrspace(1)* %addr, align 4 + br label %fallthrough + +fallthrough: + ret void +} |