test/Assembler/invoke-nonzero-program-addrspace.ll

   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
   7 define i8 @test_invoke(i8(i32)* %fnptr0, i8(i32) addrspace(200)* %fnptr200) personality i32 (...) 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 'i8 (i32) addrspace(200)*' but expected 'i8 (i32)*'
  13 ok:
  14   ret i8 0
  15 lpad:
  16     %exn = landingpad {i8*, i32}
  17             cleanup
  18     unreachable
  19 }
  20
  21 declare i32 @__gxx_personality_v0(...)
  22
  23
  24 ; PROGAS200:  target datalayout = "P200"
  25 ; PROGAS200:  define i8 @test_invoke(i8 (i32)* %fnptr0, i8 (i32) addrspace(200)* %fnptr200) addrspace(200) personality i32 (...) 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:  }