| ; RUN: opt < %s -O3 -S | FileCheck %s |
| |
| ; Address space intrinsics were erroneously marked NoCapture, leading to bad |
| ; optimizations (such as the store below being eliminated as dead code). This |
| ; test makes sure we don't regress. |
| |
| declare void @foo(ptr addrspace(1)) |
| |
| declare ptr addrspace(1) @llvm.nvvm.ptr.gen.to.global.p1.p0(ptr) |
| |
| ; CHECK: @bar |
| define void @bar() { |
| %t1 = alloca i32 |
| ; CHECK: call ptr addrspace(1) @llvm.nvvm.ptr.gen.to.global.p1.p0(ptr nonnull %t1) |
| ; CHECK-NEXT: store i32 10, ptr %t1 |
| %t2 = call ptr addrspace(1) @llvm.nvvm.ptr.gen.to.global.p1.p0(ptr %t1) |
| store i32 10, ptr %t1 |
| call void @foo(ptr addrspace(1) %t2) |
| ret void |
| } |
| |
