reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
; 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(i32 addrspace(1)*)

declare i32 addrspace(1)* @llvm.nvvm.ptr.gen.to.global.p1i32.p0i32(i32*)

; CHECK: @bar
define void @bar() {
  %t1 = alloca i32
; CHECK: call i32 addrspace(1)* @llvm.nvvm.ptr.gen.to.global.p1i32.p0i32(i32* nonnull %t1)
; CHECK-NEXT: store i32 10, i32* %t1
  %t2 = call i32 addrspace(1)* @llvm.nvvm.ptr.gen.to.global.p1i32.p0i32(i32* %t1)
  store i32 10, i32* %t1
  call void @foo(i32 addrspace(1)* %t2)
  ret void
}