test/CodeGen/WinEH/wineh-intrinsics.ll

   1 ; RUN: opt -lint -disable-output < %s
   2
   3 ; This test is meant to prove that the verifier does not report errors for correct
   4 ; use of the llvm.eh.exceptionpointer intrinsic.
   5
   6 target triple = "x86_64-pc-windows-msvc"
   7
   8 declare i8* @llvm.eh.exceptionpointer.p0i8(token)
   9 declare i8 addrspace(1)* @llvm.eh.exceptionpointer.p1i8(token)
  10
  11 declare void @f(...)
  12
  13 define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
  14 entry:
  15   invoke void (...) @f(i32 1)
  16      to label %exit unwind label %catchpad
  17 catchpad:
  18   %cs1 = catchswitch within none [label %do_catch] unwind to caller
  19 do_catch:
  20   %catch = catchpad within %cs1 [i32 1]
  21   %exn = call i8* @llvm.eh.exceptionpointer.p0i8(token %catch)
  22   call void (...) @f(i8* %exn)
  23   catchret from %catch to label %exit
  24 exit:
  25   ret void
  26 }
  27
  28 define void @test2() personality i32 (...)* @ProcessManagedException {
  29 entry:
  30   invoke void (...) @f(i32 1)
  31      to label %exit unwind label %catchpad
  32 catchpad:
  33   %cs1 = catchswitch within none [label %do_catch] unwind to caller
  34 do_catch:
  35   %catch = catchpad within %cs1 [i32 1]
  36   %exn = call i8 addrspace(1)* @llvm.eh.exceptionpointer.p1i8(token %catch)
  37   call void (...) @f(i8 addrspace(1)* %exn)
  38   catchret from %catch to label %exit
  39 exit:
  40   ret void
  41 }
  42
  43 declare i32 @__CxxFrameHandler3(...)
  44 declare i32 @ProcessManagedException(...)