test/CodeGen/X86/funclet-layout.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 %eh.ThrowInfo = type { i32, i32, i32, i32 }
   7 %rtti.TypeDescriptor2 = type { i8**, i8*, [3 x i8] }
   8
   9 @"\01??_7type_info@@6B@" = external constant i8*
  10 @"\01??_R0H@8" = internal global %rtti.TypeDescriptor2 { i8** @"\01??_7type_info@@6B@", i8* null, [3 x i8] c".H\00" }
  11
  12 define void @test1(i1 %B) personality i32 (...)* @__CxxFrameHandler3 {
  13 entry:
  14   invoke void @g()
  15           to label %unreachable unwind label %catch.dispatch
  16
  17 catch.dispatch:
  18   %cp = catchpad [i8* null, i32 64, i8* null]
  19           to label %catch unwind label %catchendblock
  20
  21 catch:
  22   br i1 %B, label %catchret, label %catch
  23
  24 catchret:
  25   catchret %cp to label %try.cont
  26
  27 try.cont:
  28   ret void
  29
  30 catchendblock:
  31   catchendpad unwind to caller
  32
  33 unreachable:
  34   unreachable
  35 }
  36
  37 ; CHECK-LABEL: test1:
  38
  39 ; The entry funclet contains %entry and %try.cont
  40 ; CHECK: # %entry
  41 ; CHECK: # %try.cont
  42 ; CHECK: retq
  43
  44 ; The catch funclet contains %catch and %catchret
  45 ; CHECK: # %catch{{$}}
  46 ; CHECK: # %catchret
  47 ; CHECK: retq
  48
  49 declare void @g()
  50
  51
  52 define i32 @test2(i1 %B) personality i32 (...)* @__CxxFrameHandler3 {
  53 entry:
  54   invoke void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #1
  55           to label %unreachable unwind label %catch.dispatch
  56
  57 catch.dispatch:                                   ; preds = %entry
  58   %0 = catchpad [i8* null, i32 64, i8* null]
  59           to label %catch unwind label %catchendblock
  60
  61 catch:                                            ; preds = %catch.dispatch
  62   invoke void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #1
  63           to label %unreachable unwind label %catch.dispatch.1
  64
  65 catch.dispatch.1:                                 ; preds = %catch
  66   %1 = catchpad [i8* null, i32 64, i8* null]
  67           to label %catch.3 unwind label %catchendblock.2
  68
  69 catch.3:                                          ; preds = %catch.dispatch.1
  70   catchret %1 to label %try.cont
  71
  72 try.cont:                                         ; preds = %catch.3
  73   catchret %0 to label %try.cont.5
  74
  75 try.cont.5:                                       ; preds = %try.cont
  76   ret i32 0
  77
  78 catchendblock.2:                                  ; preds = %catch.dispatch.1
  79   catchendpad unwind label %catchendblock
  80
  81 catchendblock:                                    ; preds = %catchendblock.2, %catch.dispatch
  82   catchendpad unwind to caller
  83
  84 unreachable:                                      ; preds = %catch, %entry
  85   unreachable
  86
  87 }
  88
  89 ; CHECK-LABEL: test2:
  90
  91 ; The entry funclet contains %entry and %try.cont.5
  92 ; CHECK: # %entry
  93 ; CHECK: # %try.cont.5
  94 ; CHECK: retq
  95
  96 ; The outer catch funclet contains %catch.dispatch
  97 ; CHECK: # %catch.dispatch{{$}}
  98 ; CHECK: callq _CxxThrowException
  99 ; CHECK: # %unreachable
 100 ; CHECK: ud2
 101
 102 ; The inner catch funclet contains %catch.dispatch.1
 103 ; CHECK: # %catch.dispatch.1
 104 ; CHECK: retq
 105
 106
 107 define void @test3(i1 %V) #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
 108 entry:
 109   invoke void @g()
 110           to label %try.cont unwind label %catch.dispatch
 111
 112 catch.dispatch:                                   ; preds = %entry
 113   %0 = catchpad [%rtti.TypeDescriptor2* @"\01??_R0H@8", i32 0, i8* null]
 114           to label %catch.2 unwind label %catch.dispatch.1
 115
 116 catch.2:                                          ; preds = %catch.dispatch
 117   tail call void @exit(i32 0) #2
 118   unreachable
 119
 120 catch.dispatch.1:                                 ; preds = %catch.dispatch
 121   %1 = catchpad [i8* null, i32 64, i8* null]
 122           to label %catch unwind label %catchendblock
 123
 124 catch:                                            ; preds = %catch.dispatch.1
 125   tail call void @exit(i32 0) #2
 126   unreachable
 127
 128 catchendblock:                                    ; preds = %catch.dispatch.1
 129   catchendpad unwind to caller
 130
 131 try.cont:                                         ; preds = %entry
 132   br i1 %V, label %exit_one, label %exit_two
 133
 134 exit_one:
 135   tail call void @exit(i32 0)
 136   unreachable
 137
 138 exit_two:
 139   tail call void @exit(i32 0)
 140   unreachable
 141 }
 142
 143 ; CHECK-LABEL: test3:
 144
 145 ; The entry funclet contains %entry and %try.cont
 146 ; CHECK: # %entry
 147 ; CHECK: # %try.cont
 148 ; CHECK: callq exit
 149 ; CHECK-NOT: # exit_one
 150 ; CHECK-NOT: # exit_two
 151 ; CHECK: ud2
 152
 153 ; The catch(...) funclet contains %catch.dispatch
 154 ; CHECK: # %catch.dispatch{{$}}
 155 ; CHECK: callq exit
 156 ; CHECK: ud2
 157
 158 ; The catch(int) funclet contains %catch.dispatch.1
 159 ; CHECK: # %catch.dispatch.1
 160 ; CHECK: callq exit
 161 ; CHECK: ud2
 162
 163 declare void @exit(i32) noreturn nounwind
 164 declare void @_CxxThrowException(i8*, %eh.ThrowInfo*)
 165 declare i32 @__CxxFrameHandler3(...)