test/CodeGen/X86/win-funclet-cfi.ll

   1 ; RUN: llc -mtriple=x86_64-windows-msvc < %s | FileCheck %s
   2
   3 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-pc-windows-msvc"
   5
   6 define void @"\01?f@@YAXXZ"(i1 %B) personality i32 (...)* @__CxxFrameHandler3 {
   7 entry:
   8   invoke void @g()
   9           to label %unreachable unwind label %cleanupblock
  10
  11 cleanupblock:
  12   %cleanp = cleanuppad within none []
  13   call void @g() [ "funclet"(token %cleanp) ]
  14   cleanupret from %cleanp unwind label %catch.dispatch
  15
  16 catch.dispatch:
  17   %cs1 = catchswitch within none [label %catch] unwind to caller
  18
  19 catch:
  20   %cp = catchpad within %cs1 [i8* null, i32 64, i8* null]
  21   call void @g() [ "funclet"(token %cp) ]
  22   catchret from %cp to label %try.cont
  23
  24 try.cont:
  25   ret void
  26
  27 unreachable:
  28   unreachable
  29 }
  30
  31
  32 declare void @g()
  33
  34 declare i32 @__CxxFrameHandler3(...)
  35
  36 ; Destructors need CFI but they shouldn't use the .seh_handler directive.
  37 ; CHECK: "?dtor$[[cleanup:[0-9]+]]@?0??f@@YAXXZ@4HA":
  38 ; CHECK: .seh_proc "?dtor$[[cleanup]]@?0??f@@YAXXZ@4HA"
  39 ; CHECK-NOT: .seh_handler __CxxFrameHandler3
  40 ; CHECK: LBB0_[[cleanup]]: # %cleanupblock{{$}}
  41
  42 ; Emit CFI for pushing RBP.
  43 ; CHECK: movq    %rdx, 16(%rsp)
  44 ; CHECK: pushq   %rbp
  45 ; CHECK: .seh_pushreg %rbp
  46
  47 ; Emit CFI for allocating from the stack pointer.
  48 ; CHECK: subq    $32, %rsp
  49 ; CHECK: .seh_stackalloc 32
  50
  51 ; CHECK: leaq    48(%rdx), %rbp
  52 ; CHECK-NOT: .seh_setframe
  53
  54 ; Prologue is done, emit the .seh_endprologue directive.
  55 ; CHECK: .seh_endprologue
  56
  57 ; Make sure there is a nop after a call if the call precedes the epilogue.
  58 ; CHECK: callq g
  59 ; CHECK-NEXT: nop
  60
  61 ; Don't emit a reference to the LSDA.
  62 ; CHECK: .seh_handlerdata
  63 ; CHECK-NOT:  .long   ("$cppxdata$?f@@YAXXZ")@IMGREL
  64 ; CHECK-NEXT: .text
  65 ; CHECK: .seh_endproc
  66
  67 ; CHECK: "?catch$[[catch:[0-9]+]]@?0??f@@YAXXZ@4HA":
  68 ; CHECK: .seh_proc "?catch$[[catch]]@?0??f@@YAXXZ@4HA"
  69 ; CHECK-NEXT: .seh_handler __CxxFrameHandler3, @unwind, @except
  70 ; CHECK: LBB0_[[catch]]: # %catch{{$}}
  71
  72 ; Emit CFI for pushing RBP.
  73 ; CHECK: movq    %rdx, 16(%rsp)
  74 ; CHECK: pushq   %rbp
  75 ; CHECK: .seh_pushreg %rbp
  76
  77 ; Emit CFI for allocating from the stack pointer.
  78 ; CHECK: subq    $32, %rsp
  79 ; CHECK: .seh_stackalloc 32
  80
  81 ; CHECK: leaq    48(%rdx), %rbp
  82 ; CHECK-NOT: .seh_setframe
  83
  84 ; Prologue is done, emit the .seh_endprologue directive.
  85 ; CHECK: .seh_endprologue
  86
  87 ; Make sure there is at least one instruction after a call before the epilogue.
  88 ; CHECK: callq g
  89 ; CHECK-NEXT: leaq    .LBB0_{{[0-9]+}}(%rip), %rax
  90
  91 ; Emit a reference to the LSDA.
  92 ; CHECK: .seh_handlerdata
  93 ; CHECK-NEXT:  .long   ("$cppxdata$?f@@YAXXZ")@IMGREL
  94 ; CHECK-NEXT: .text
  95 ; CHECK: .seh_endproc