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 15define weak_odr dso_local void @foo() { 16entry: 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 23define internal void @bar(ptr addrspace(4) noundef align 1 dereferenceable_or_null(1) %this) align 2 { 24entry: 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 35