diff options
| -rw-r--r-- | llvm/lib/Transforms/Scalar/GVN.cpp | 1 | ||||
| -rw-r--r-- | llvm/test/Transforms/GVN/addrspacecast.ll | 20 |
2 files changed, 21 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Scalar/GVN.cpp b/llvm/lib/Transforms/Scalar/GVN.cpp index f19bb33ae89..a93a17f02e1 100644 --- a/llvm/lib/Transforms/Scalar/GVN.cpp +++ b/llvm/lib/Transforms/Scalar/GVN.cpp @@ -523,6 +523,7 @@ uint32_t GVN::ValueTable::lookupOrAdd(Value *V) { case Instruction::FPExt: case Instruction::PtrToInt: case Instruction::IntToPtr: + case Instruction::AddrSpaceCast: case Instruction::BitCast: case Instruction::Select: case Instruction::ExtractElement: diff --git a/llvm/test/Transforms/GVN/addrspacecast.ll b/llvm/test/Transforms/GVN/addrspacecast.ll new file mode 100644 index 00000000000..aa65013a608 --- /dev/null +++ b/llvm/test/Transforms/GVN/addrspacecast.ll @@ -0,0 +1,20 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -gvn -S | FileCheck %s +; RUN: opt < %s -passes=gvn -S | FileCheck %s + +define i32 addrspace(1)* @addrspacecast(i32* %ptr) { +; CHECK-LABEL: @addrspacecast( +; CHECK-NEXT: block1: +; CHECK-NEXT: [[Z1:%.*]] = addrspacecast i32* [[PTR:%.*]] to i32 addrspace(1)* +; CHECK-NEXT: store i32 addrspace(1)* [[Z1]], i32 addrspace(1)** undef +; CHECK-NEXT: ret i32 addrspace(1)* [[Z1]] +; +block1: + %z1 = addrspacecast i32* %ptr to i32 addrspace(1)* + store i32 addrspace(1)* %z1, i32 addrspace(1)** undef + br label %block2 + +block2: + %z2 = addrspacecast i32* %ptr to i32 addrspace(1)* + ret i32 addrspace(1)* %z2 +} |
