| Matt Arsenault | 9a71e80 | 2018-09-24 04:42:14 +0000 | [diff] [blame] | 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 | } |