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   %catch = catchpad [i32 1] to label %do_catch unwind label %catchend
  19 do_catch:
  20   %exn = call i8* @llvm.eh.exceptionpointer.p0i8(token %catch)
  21   call void (...) @f(i8* %exn)
  22   catchret %catch to label %exit
  23 catchend:
  24   catchendpad unwind to caller
  25 exit:
  26   ret void
  27 }
  28
  29 define void @test2() personality i32 (...)* @ProcessManagedException {
  30 entry:
  31   invoke void (...) @f(i32 1)
  32      to label %exit unwind label %catchpad
  33 catchpad:
  34   %catch = catchpad [i32 1] to label %do_catch unwind label %catchend
  35 do_catch:
  36   %exn = call i8 addrspace(1)* @llvm.eh.exceptionpointer.p1i8(token %catch)
  37   call void (...) @f(i8 addrspace(1)* %exn)
  38   catchret %catch to label %exit
  39 catchend:
  40   catchendpad unwind to caller
  41 exit:
  42   ret void
  43 }
  44
  45 declare i32 @__CxxFrameHandler3(...)
  46 declare i32 @ProcessManagedException(...)