test/Linker/wrong-addrspace-gv-declaration.ll

   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
   3
   4 ; The address space is declared incorrectly here, so an addrspacecast
   5 ; is needed to link.
   6
   7 @is_really_as1_gv = external global i32
   8 @is_really_as1_gv_other_type = external global i32
   9
  10 ; CHECK-LABEL: @foo(
  11 ; CHECK: %load0 = load volatile i32, i32* addrspacecast (i32 addrspace(1)* @is_really_as1_gv to i32*), align 4
  12 ; CHECK: %load1 = load volatile i32, i32* addrspacecast (i32 addrspace(1)* bitcast (float addrspace(1)* @is_really_as1_gv_other_type to i32 addrspace(1)*) to i32*), align 4
  13 define void @foo() {
  14   %load0 = load volatile i32, i32* @is_really_as1_gv, align 4
  15   %load1 = load volatile i32, i32* @is_really_as1_gv_other_type, align 4
  16   ret void
  17 }