xref: /llvm-project/llvm/test/Transforms/GlobalOpt/global-opt-addrspace.ll (revision 6e54a57c61af6a959210f3628df9e21e3d7033f5)
1*6e54a57cSNawal Copty; RUN: opt -S -passes=globalopt < %s | FileCheck %s
2*6e54a57cSNawal Copty;; Check that Global Opt preserves address space of llvm.used and
3*6e54a57cSNawal Copty;; llvm.compiler.used variables.
4*6e54a57cSNawal Copty
5*6e54a57cSNawal Copty%struct.FakeDeviceGlobal = type { ptr addrspace(4) }
6*6e54a57cSNawal Copty%class.anon = type { i8 }
7*6e54a57cSNawal Copty
8*6e54a57cSNawal Copty@_ZM2C = internal addrspace(1) global %struct.FakeDeviceGlobal zeroinitializer, align 8
9*6e54a57cSNawal Copty@_ZL1C = internal addrspace(1) global %struct.FakeDeviceGlobal zeroinitializer, align 8
10*6e54a57cSNawal Copty
11*6e54a57cSNawal Copty@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*6e54a57cSNawal Copty
13*6e54a57cSNawal Copty; 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*6e54a57cSNawal Copty
15*6e54a57cSNawal Coptydefine weak_odr dso_local void @foo() {
16*6e54a57cSNawal Coptyentry:
17*6e54a57cSNawal Copty  %A = alloca %class.anon, align 1
18*6e54a57cSNawal Copty  %A.addrspacecast = addrspacecast ptr %A to ptr addrspace(4)
19*6e54a57cSNawal Copty  call void @bar(ptr addrspace(4) noundef align 1 dereferenceable_or_null(1) %A.addrspacecast)
20*6e54a57cSNawal Copty  ret void
21*6e54a57cSNawal Copty}
22*6e54a57cSNawal Copty
23*6e54a57cSNawal Coptydefine internal void @bar(ptr addrspace(4) noundef align 1 dereferenceable_or_null(1) %this) align 2 {
24*6e54a57cSNawal Coptyentry:
25*6e54a57cSNawal Copty  %this.addr = alloca ptr addrspace(4), align 8
26*6e54a57cSNawal Copty  %this.addr.ascast = addrspacecast ptr %this.addr to ptr addrspace(4)
27*6e54a57cSNawal Copty  store ptr addrspace(4) %this, ptr addrspace(4) %this.addr.ascast, align 8
28*6e54a57cSNawal Copty  %v1 = load ptr addrspace(4), ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZM2C to ptr addrspace(4)), align 8
29*6e54a57cSNawal Copty  store i32 42, ptr addrspace(4) %v1, align 4
30*6e54a57cSNawal Copty  %v2 = load ptr addrspace(4), ptr addrspace(4) addrspacecast (ptr addrspace(1) @_ZL1C to ptr addrspace(4)), align 8
31*6e54a57cSNawal Copty  store i32 42, ptr addrspace(4) %v2, align 4
32*6e54a57cSNawal Copty  ret void
33*6e54a57cSNawal Copty}
34*6e54a57cSNawal Copty
35