xref: /llvm-project/llvm/test/Assembler/call-nonzero-program-addrspace-2.ll (revision 6f371149c1c9f24bede8a799b7c2c9562740aa62)
1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2; RUN: llvm-as %s -data-layout=P42 -o - | llvm-dis - -o - | FileCheck %s -check-prefix PROGAS42
3
4; Check that numbered variables in a nonzero program address space 200 can be used in a call instruction
5
6define i8 @test_unnamed(ptr, ptr addrspace(42) %1) {
7  ; Calls with explicit address spaces are fine:
8  call addrspace(0) i8 %0(i32 0)
9  call addrspace(42) i8 %1(i32 0)
10  ; this call is fine if the program address space is 42
11  call i8 %1(i32 0)
12  ; CHECK: call-nonzero-program-addrspace-2.ll:[[@LINE-1]]:11: error: '%1' defined with type 'ptr addrspace(42)' but expected 'ptr'
13  ret i8 0
14}
15
16; PROGAS42:       target datalayout = "P42"
17; PROGAS42:       define i8 @test_unnamed(ptr %0, ptr addrspace(42) %1) addrspace(42) {
18; PROGAS42-NEXT:    %3 = call addrspace(0) i8 %0(i32 0)
19; PROGAS42-NEXT:    %4 = call addrspace(42) i8 %1(i32 0)
20; PROGAS42-NEXT:    %5 = call addrspace(42) i8 %1(i32 0)
21; PROGAS42-NEXT:    ret i8 0
22; PROGAS42-NEXT:  }
23