1 ; RUN: llvm-link %s %p/Inputs/wrong-addrspace-gv-declaration.ll -S | FileCheck %s
2 ; RUN: llvm-link %p/Inputs/wrong-addrspace-gv-declaration.ll %s -S | FileCheck %s
4 ; The address space is declared incorrectly here, so an addrspacecast
7 @is_really_as1_gv = external global i32
8 @is_really_as1_gv_other_type = external global i32
11 ; CHECK: %load0 = load volatile i32, ptr addrspacecast (ptr addrspace(1) @is_really_as1_gv to ptr), align 4
12 ; CHECK: %load1 = load volatile i32, ptr addrspacecast (ptr addrspace(1) @is_really_as1_gv_other_type to ptr), align 4
14 %load0 = load volatile i32, ptr @is_really_as1_gv, align 4
15 %load1 = load volatile i32, ptr @is_really_as1_gv_other_type, align 4