test/CodeGen/X86/win-catchpad-nested-cxx.ll

   1 ; RUN: llc -verify-machineinstrs -mtriple=i686-pc-windows-msvc < %s \
   2 ; RUN:     | FileCheck --check-prefix=CHECK --check-prefix=X86 %s
   3 ; RUN: llc -verify-machineinstrs -mtriple=x86_64-pc-windows-msvc < %s \
   4 ; RUN:     | FileCheck --check-prefix=CHECK --check-prefix=X64 %s
   5
   6 ; Loosely based on IR for this C++ source code:
   7 ;   void f(int p);
   8 ;   void try_in_catch() {
   9 ;     try {
  10 ;       f(1);
  11 ;     } catch (...) {
  12 ;       try {
  13 ;         f(2);
  14 ;       } catch (...) {
  15 ;         f(3);
  16 ;       }
  17 ;     }
  18 ;   }
  19
  20 declare void @f(i32 %p)
  21 declare i32 @__CxxFrameHandler3(...)
  22
  23 define i32 @try_in_catch() personality i32 (...)* @__CxxFrameHandler3 {
  24 entry:
  25   invoke void @f(i32 1)
  26           to label %try.cont unwind label %catch.dispatch.1
  27 try.cont:
  28   ret i32 0
  29
  30 catch.dispatch.1:
  31   %cs1 = catchswitch within none [label %handler1] unwind to caller
  32 handler1:
  33   %h1 = catchpad within %cs1 [i8* null, i32 64, i8* null]
  34   invoke void @f(i32 2) [ "funclet"(token %h1) ]
  35           to label %catchret1 unwind label %catch.dispatch.2
  36 catchret1:
  37   catchret from %h1 to label %try.cont
  38
  39 catch.dispatch.2:
  40   %cs2 = catchswitch within %h1 [label %handler2] unwind to caller
  41 handler2:
  42   %h2 = catchpad within %cs2 [i8* null, i32 64, i8* null]
  43   call void @f(i32 3)
  44   catchret from %h2 to label %catchret1
  45 }
  46
  47 ; X86-LABEL: L__ehtable$try_in_catch:
  48 ; X64-LABEL: $cppxdata$try_in_catch:
  49 ; CHECK-NEXT: .long   429065506
  50 ; CHECK-NEXT: .long   4
  51 ; CHECK-NEXT: .long   ($stateUnwindMap$try_in_catch)
  52 ; CHECK-NEXT: .long   2
  53 ; CHECK-NEXT: .long   ($tryMap$try_in_catch)
  54 ; ip2state num + ptr
  55 ; X86-NEXT: .long   0
  56 ; X86-NEXT: .long   0
  57 ; X64-NEXT: .long   7
  58 ; X64-NEXT: .long   ($ip2state$try_in_catch)
  59 ; unwindhelp offset
  60 ; X64-NEXT: .long   40
  61 ; CHECK-NEXT: .long   0
  62 ; EHFlags
  63 ; CHECK-NEXT: .long   1
  64
  65 ; CHECK: $tryMap$try_in_catch:
  66 ; CHECK-NEXT: .long   2
  67 ; CHECK-NEXT: .long   2
  68 ; CHECK-NEXT: .long   3
  69 ; CHECK-NEXT: .long   1
  70 ; CHECK-NEXT: .long   ($handlerMap$0$try_in_catch)
  71 ; CHECK-NEXT: .long   0
  72 ; CHECK-NEXT: .long   0
  73 ; CHECK-NEXT: .long   3
  74 ; CHECK-NEXT: .long   1
  75 ; CHECK-NEXT: .long   ($handlerMap$1$try_in_catch)
  76
  77 ; CHECK: $handlerMap$0$try_in_catch:
  78 ; CHECK-NEXT:   .long   64
  79 ; CHECK-NEXT:   .long   0
  80 ; CHECK-NEXT:   .long   0
  81 ; CHECK-NEXT:   .long   "?catch${{[0-9]+}}@?0?try_in_catch@4HA"
  82 ; X64-NEXT:   .long   56
  83
  84 ; CHECK: $handlerMap$1$try_in_catch:
  85 ; CHECK-NEXT:   .long   64
  86 ; CHECK-NEXT:   .long   0
  87 ; CHECK-NEXT:   .long   0
  88 ; CHECK-NEXT:   .long   "?catch${{[0-9]+}}@?0?try_in_catch@4HA"
  89 ; X64-NEXT:   .long   56
  90
  91 ; X64: $ip2state$try_in_catch:
  92 ; X64-NEXT: .long   .Lfunc_begin0@IMGREL
  93 ; X64-NEXT: .long   -1
  94 ; X64-NEXT: .long   .Ltmp0@IMGREL+1
  95 ; X64-NEXT: .long   0
  96 ; X64-NEXT: .long   .Ltmp1@IMGREL+1
  97 ; X64-NEXT: .long   -1
  98 ; X64-NEXT: .long   "?catch$2@?0?try_in_catch@4HA"@IMGREL
  99 ; X64-NEXT: .long   1
 100 ; X64-NEXT: .long   .Ltmp2@IMGREL+1
 101 ; X64-NEXT: .long   2
 102 ; X64-NEXT: .long   .Ltmp3@IMGREL+1
 103 ; X64-NEXT: .long   1
 104 ; X64-NEXT: .long   "?catch$4@?0?try_in_catch@4HA"@IMGREL
 105 ; X64-NEXT: .long   3