test/CodeGen/X86/seh-catchpad.ll

   1 ; RUN: llc < %s | FileCheck %s
   2
   3 ; Based on the source:
   4 ; extern "C" int puts(const char *);
   5 ; extern "C" int printf(const char *, ...);
   6 ; extern "C" int do_div(int a, int b) { return a / b; }
   7 ; extern "C" int filt();
   8 ; int main() {
   9 ;   __try {
  10 ;     __try {
  11 ;       do_div(1, 0);
  12 ;     } __except (1) {
  13 ;       __try {
  14 ;         do_div(1, 0);
  15 ;       } __finally {
  16 ;         puts("finally");
  17 ;       }
  18 ;     }
  19 ;   } __except (filt()) {
  20 ;     puts("caught");
  21 ;   }
  22 ;   return 0;
  23 ; }
  24
  25 ; ModuleID = 't.cpp'
  26 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
  27 target triple = "x86_64-pc-windows-msvc"
  28
  29 $"\01??_C@_07MKBLAIAL@finally?$AA@" = comdat any
  30
  31 $"\01??_C@_06IBDBCMGJ@caught?$AA@" = comdat any
  32
  33 @"\01??_C@_07MKBLAIAL@finally?$AA@" = linkonce_odr unnamed_addr constant [8 x i8] c"finally\00", comdat, align 1
  34 @"\01??_C@_06IBDBCMGJ@caught?$AA@" = linkonce_odr unnamed_addr constant [7 x i8] c"caught\00", comdat, align 1
  35
  36 ; Function Attrs: nounwind readnone
  37 define i32 @do_div(i32 %a, i32 %b) #0 {
  38 entry:
  39   %div = sdiv i32 %a, %b
  40   ret i32 %div
  41 }
  42
  43 define i32 @main() #1 personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) {
  44 entry:
  45   %call = invoke i32 @do_div(i32 1, i32 0) #4
  46           to label %__try.cont.12 unwind label %catch.dispatch
  47
  48 __except.2:                                       ; preds = %__except
  49   %call4 = invoke i32 @do_div(i32 1, i32 0) #4
  50           to label %invoke.cont.3 unwind label %ehcleanup
  51
  52 invoke.cont.3:                                    ; preds = %__except.2
  53   invoke fastcc void @"\01?fin$0@0@main@@"() #4
  54           to label %__try.cont.12 unwind label %catch.dispatch.7
  55
  56 __except.9:                                       ; preds = %__except.ret
  57   %call11 = tail call i32 @puts(i8* nonnull getelementptr inbounds ([7 x i8], [7 x i8]* @"\01??_C@_06IBDBCMGJ@caught?$AA@", i64 0, i64 0))
  58   br label %__try.cont.12
  59
  60 __try.cont.12:                                    ; preds = %invoke.cont.3, %entry, %__except.9
  61   ret i32 0
  62
  63 catch.dispatch:                                   ; preds = %entry
  64   %cs1 = catchswitch within none [label %__except] unwind label %catch.dispatch.7
  65
  66 __except:                                         ; preds = %catch.dispatch
  67   %cp1 = catchpad within %cs1 [i8* null]
  68   catchret from %cp1 to label %__except.2
  69
  70 ehcleanup:                                        ; preds = %__except.2
  71   %cp2 = cleanuppad within none []
  72   invoke fastcc void @"\01?fin$0@0@main@@"() #4 [ "funclet"(token %cp2) ]
  73           to label %invoke.cont.6 unwind label %catch.dispatch.7
  74
  75 invoke.cont.6:                                    ; preds = %ehcleanup
  76   cleanupret from %cp2 unwind label %catch.dispatch.7
  77
  78 catch.dispatch.7:
  79   %cs2 = catchswitch within none [label %__except.ret] unwind to caller
  80
  81 __except.ret:                                     ; preds = %catch.dispatch.7
  82   %cp3 = catchpad within %cs2 [i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@main@@" to i8*)]
  83   catchret from %cp3 to label %__except.9
  84 }
  85
  86 ; CHECK: main:                                   # @main
  87 ; CHECK: .seh_proc main
  88 ; CHECK:         .seh_handler __C_specific_handler, @unwind, @except
  89 ; CHECK:         pushq   %rbp
  90 ; CHECK:         .seh_pushreg 5
  91 ; CHECK:         subq    $32, %rsp
  92 ; CHECK:         .seh_stackalloc 32
  93 ; CHECK:         leaq    32(%rsp), %rbp
  94 ; CHECK:         .seh_setframe 5, 32
  95 ; CHECK:         .seh_endprologue
  96 ; CHECK: .Ltmp0:
  97 ; CHECK:         movl    $1, %ecx
  98 ; CHECK:         xorl    %edx, %edx
  99 ; CHECK:         callq   do_div
 100 ; CHECK: .Ltmp1:
 101 ; CHECK: .LBB1_[[epilogue:[0-9]+]]:                                # %__try.cont.12
 102 ; CHECK:         xorl    %eax, %eax
 103 ; CHECK:         addq    $32, %rsp
 104 ; CHECK:         popq    %rbp
 105 ; CHECK:         retq
 106 ; CHECK: .LBB1_[[except1bb:[0-9]+]]:                                # %__except
 107 ; CHECK: .Ltmp2:
 108 ; CHECK:         movl    $1, %ecx
 109 ; CHECK:         xorl    %edx, %edx
 110 ; CHECK:         callq   do_div
 111 ; CHECK: .Ltmp3:
 112 ; CHECK:         callq   "?fin$0@0@main@@"
 113 ; CHECK:         jmp     .LBB1_[[epilogue]]
 114 ; CHECK: .LBB1_[[except2bb:[0-9]+]]:                                # %__except.ret
 115 ; CHECK:         leaq    "??_C@_06IBDBCMGJ@caught?$AA@"(%rip), %rcx
 116 ; CHECK:         callq   puts
 117 ; CHECK:         jmp     .LBB1_[[epilogue]]
 118
 119 ; CHECK:         .seh_handlerdata
 120 ; CHECK-NEXT:         .long   (.Llsda_end0-.Llsda_begin0)/16
 121 ; CHECK-NEXT: .Llsda_begin0:
 122 ; CHECK-NEXT:         .long   .Ltmp0@IMGREL+1
 123 ; CHECK-NEXT:         .long   .Ltmp1@IMGREL+1
 124 ; CHECK-NEXT:         .long   1
 125 ; CHECK-NEXT:         .long   .LBB1_[[except1bb]]@IMGREL
 126 ; CHECK-NEXT:         .long   .Ltmp0@IMGREL+1
 127 ; CHECK-NEXT:         .long   .Ltmp1@IMGREL+1
 128 ; CHECK-NEXT:         .long   "?filt$0@0@main@@"@IMGREL
 129 ; CHECK-NEXT:         .long   .LBB1_[[except2bb]]@IMGREL
 130 ; CHECK-NEXT:         .long   .Ltmp2@IMGREL+1
 131 ; CHECK-NEXT:         .long   .Ltmp3@IMGREL+1
 132 ; CHECK-NEXT:         .long   "?dtor$[[finbb:[0-9]+]]@?0?main@4HA"@IMGREL
 133 ; CHECK-NEXT:         .long   0
 134 ; CHECK-NEXT:         .long   .Ltmp2@IMGREL+1
 135 ; CHECK-NEXT:         .long   .Ltmp3@IMGREL+1
 136 ; CHECK-NEXT:         .long   "?filt$0@0@main@@"@IMGREL
 137 ; CHECK-NEXT:         .long   .LBB1_3@IMGREL
 138 ; CHECK-NEXT:         .long   .Ltmp6@IMGREL+1
 139 ; CHECK-NEXT:         .long   .Ltmp7@IMGREL+1
 140 ; CHECK-NEXT:         .long   "?filt$0@0@main@@"@IMGREL
 141 ; CHECK-NEXT:         .long   .LBB1_3@IMGREL
 142 ; CHECK-NEXT: .Llsda_end0:
 143
 144 ; CHECK:         .text
 145 ; CHECK:         .seh_endproc
 146
 147 ; CHECK: "?dtor$[[finbb]]@?0?main@4HA":
 148 ; CHECK: .seh_proc "?dtor$[[finbb]]@?0?main@4HA"
 149 ; CHECK:         .seh_handler __C_specific_handler, @unwind, @except
 150 ; CHECK: .LBB1_[[finbb]]:                                # %ehcleanup
 151 ; CHECK:         movq    %rdx, 16(%rsp)
 152 ; CHECK:         pushq   %rbp
 153 ; CHECK:         .seh_pushreg 5
 154 ; CHECK:         subq    $32, %rsp
 155 ; CHECK:         .seh_stackalloc 32
 156 ; CHECK:         leaq    32(%rdx), %rbp
 157 ; CHECK:         .seh_endprologue
 158 ; CHECK:         callq   "?fin$0@0@main@@"
 159 ; CHECK:         nop
 160 ; CHECK:         addq    $32, %rsp
 161 ; CHECK:         popq    %rbp
 162 ; CHECK:         retq
 163 ; CHECK:         .seh_handlerdata
 164 ; CHECK:         .seh_endproc
 165
 166 define internal i32 @"\01?filt$0@0@main@@"(i8* nocapture readnone %exception_pointers, i8* nocapture readnone %frame_pointer) #1 {
 167 entry:
 168   %call = tail call i32 @filt()
 169   ret i32 %call
 170 }
 171
 172 ; CHECK: "?filt$0@0@main@@":                     # @"\01?filt$0@0@main@@"
 173 ; CHECK: .seh_proc "?filt$0@0@main@@"
 174 ; CHECK:         .seh_endprologue
 175 ; CHECK:         rex64 jmp       filt  # TAILCALL
 176 ; CHECK:         .seh_handlerdata
 177
 178 declare i32 @filt() #1
 179
 180 declare i32 @__C_specific_handler(...)
 181
 182 ; Function Attrs: noinline nounwind
 183 define internal fastcc void @"\01?fin$0@0@main@@"() #2 {
 184 entry:
 185   %call = tail call i32 @puts(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @"\01??_C@_07MKBLAIAL@finally?$AA@", i64 0, i64 0)) #5
 186   ret void
 187 }
 188
 189 ; Function Attrs: nounwind
 190 declare i32 @puts(i8* nocapture readonly) #3
 191
 192 attributes #0 = { nounwind readnone "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 193 attributes #1 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 194 attributes #2 = { noinline nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 195 attributes #3 = { nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 196 attributes #4 = { noinline }
 197 attributes #5 = { nounwind }