llvm/test/Transforms/GlobalOpt/global-opt-addrspace.ll

   1 ; RUN: opt -S -passes=globalopt < %s | FileCheck %s
   2 ;; Check that Global Opt preserves address space of llvm.used and
   3 ;; llvm.compiler.used variables.
   4
   5 %struct.FakeDeviceGlobal = type { ptr addrspace(4) }
   6 %class.anon = type { i8 }
   7
   8 @_ZM2C = internal addrspace(1) global %struct.FakeDeviceGlobal zeroinitializer, align 8
   9 @_ZL1C = internal addrspace(1) global %struct.FakeDeviceGlobal zeroinitializer, align 8
  10
  11 @llvm.compiler.used = appending global [2 x ptr addrspace(4)] [ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZM2C to ptr addrspace(4)), ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZL1C to ptr addrspace(4))]
  12
  13 ; CHECK: @llvm.compiler.used = appending global [2 x ptr addrspace(4)] [ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZL1C to ptr addrspace(4)), ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZM2C to ptr addrspace(4))]
  14
  15 define weak_odr dso_local void @foo() {
  16 entry:
  17   %A = alloca %class.anon, align 1
  18   %A.addrspacecast = addrspacecast ptr %A to ptr addrspace(4)
  19   call void @bar(ptr addrspace(4) noundef align 1 dereferenceable_or_null(1) %A.addrspacecast)
  20   ret void
  21 }
  22
  23 define internal void @bar(ptr addrspace(4) noundef align 1 dereferenceable_or_null(1) %this) align 2 {
  24 entry:
  25   %this.addr = alloca ptr addrspace(4), align 8
  26   %this.addr.ascast = addrspacecast ptr %this.addr to ptr addrspace(4)
  27   store ptr addrspace(4) %this, ptr addrspace(4) %this.addr.ascast, align 8
  28   %v1 = load ptr addrspace(4), ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZM2C to ptr addrspace(4)), align 8
  29   store i32 42, ptr addrspace(4) %v1, align 4
  30   %v2 = load ptr addrspace(4), ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZL1C to ptr addrspace(4)), align 8
  31   store i32 42, ptr addrspace(4) %v2, align 4
  32   ret void
  33 }
  34