1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s 2; RUN: llvm-as %s -data-layout=P200 -o - | llvm-dis - -o - | FileCheck %s -check-prefix PROGAS200 3 4 5; Check that variables in a nonzero program address space 200 can be used in a invoke instruction 6 7define i8 @test_invoke(ptr %fnptr0, ptr addrspace(200) %fnptr200) personality ptr addrspace(200) @__gxx_personality_v0 { 8 %explicit_as_0 = invoke addrspace(0) i8 %fnptr0(i32 0) to label %ok unwind label %lpad 9 %explicit_as_42 = invoke addrspace(200) i8 %fnptr200(i32 0) to label %ok unwind label %lpad 10 ; The following is only okay if the program address space is 200: 11 %no_as = invoke i8 %fnptr200(i32 0) to label %ok unwind label %lpad 12 ; CHECK: invoke-nonzero-program-addrspace.ll:[[@LINE-1]]:22: error: '%fnptr200' defined with type 'ptr addrspace(200)' but expected 'ptr' 13ok: 14 ret i8 0 15lpad: 16 %exn = landingpad {ptr, i32} 17 cleanup 18 unreachable 19} 20 21declare i32 @__gxx_personality_v0(...) 22 23 24; PROGAS200: target datalayout = "P200" 25; PROGAS200: define i8 @test_invoke(ptr %fnptr0, ptr addrspace(200) %fnptr200) addrspace(200) personality ptr addrspace(200) @__gxx_personality_v0 { 26; PROGAS200: %explicit_as_0 = invoke addrspace(0) i8 %fnptr0(i32 0) 27; PROGAS200: %explicit_as_42 = invoke addrspace(200) i8 %fnptr200(i32 0) 28; PROGAS200: %no_as = invoke addrspace(200) i8 %fnptr200(i32 0) 29; PROGAS200: ret i8 0 30; PROGAS200: } 31