test/CodeGen/WinEH/cppeh-nested-3.ll

   1 ; RUN: opt -mtriple=x86_64-pc-windows-msvc -winehprepare -S -o - < %s | FileCheck %s
   2
   3 ; This test is based on the following code:
   4 ;
   5 ;void test()
   6 ;{
   7 ;  try {
   8 ;    try {
   9 ;       may_throw();
  10 ;    } catch (int i) {
  11 ;      try {
  12 ;        may_throw();
  13 ;      }
  14 ;      catch (int j) {
  15 ;        i = j;
  16 ;      }
  17 ;      handle_int(i);
  18 ;    }
  19 ;  } catch (float f) {
  20 ;    handle_float(f);
  21 ;  }
  22 ;  done();
  23 ;}
  24
  25 ; ModuleID = 'cppeh-nested-3.cpp'
  26 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  27 target triple = "x86_64-pc-windows-msvc"
  28
  29 %rtti.TypeDescriptor2 = type { i8**, i8*, [3 x i8] }
  30
  31 $"\01??_R0M@8" = comdat any
  32
  33 $"\01??_R0H@8" = comdat any
  34
  35 @"\01??_7type_info@@6B@" = external constant i8*
  36 @"\01??_R0M@8" = linkonce_odr global %rtti.TypeDescriptor2 { i8** @"\01??_7type_info@@6B@", i8* null, [3 x i8] c".M\00" }, comdat
  37 @"\01??_R0H@8" = linkonce_odr global %rtti.TypeDescriptor2 { i8** @"\01??_7type_info@@6B@", i8* null, [3 x i8] c".H\00" }, comdat
  38
  39 ; CHECK: define void @"\01?test@@YAXXZ"()
  40 ; CHECK: entry:
  41 ; CHECK:   %i = alloca i32, align 4
  42 ; CHECK:   %j = alloca i32, align 4
  43 ; CHECK:   %f = alloca float, align 4
  44 ; CHECK:   call void (...) @llvm.localescape(i32* %j, i32* %i, float* %f)
  45 ; CHECK:   invoke void @"\01?may_throw@@YAXXZ"()
  46 ; CHECK:           to label %invoke.cont unwind label %[[LPAD_LABEL:lpad[0-9]*]]
  47
  48 ; Function Attrs: uwtable
  49 define void @"\01?test@@YAXXZ"() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
  50 entry:
  51   %exn.slot = alloca i8*
  52   %ehselector.slot = alloca i32
  53   %i = alloca i32, align 4
  54   %j = alloca i32, align 4
  55   %f = alloca float, align 4
  56   invoke void @"\01?may_throw@@YAXXZ"()
  57           to label %invoke.cont unwind label %lpad
  58
  59 invoke.cont:                                      ; preds = %entry
  60   br label %try.cont10
  61
  62 ; CHECK: [[LPAD_LABEL]]:
  63 ; CHECK:   landingpad { i8*, i32 }
  64 ; CHECK:           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*)
  65 ; CHECK:           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)
  66 ; CHECK:   [[RECOVER:\%.+]] = call i8* (...) @llvm.eh.actions(i32 1, i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*), i32 1, i8* (i8*, i8*)* @"\01?test@@YAXXZ.catch.2", i32 1, i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*), i32 2, i8* (i8*, i8*)* @"\01?test@@YAXXZ.catch.1")
  67 ; CHECK:   indirectbr i8* [[RECOVER]], [label %try.cont10, label %try.cont19]
  68
  69 lpad:                                             ; preds = %entry
  70   %0 = landingpad { i8*, i32 }
  71           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*)
  72           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)
  73   %1 = extractvalue { i8*, i32 } %0, 0
  74   store i8* %1, i8** %exn.slot
  75   %2 = extractvalue { i8*, i32 } %0, 1
  76   store i32 %2, i32* %ehselector.slot
  77   br label %catch.dispatch
  78
  79 ; CHECK-NOT: catch.dispatch:
  80 catch.dispatch:                                   ; preds = %lpad
  81   %sel = load i32, i32* %ehselector.slot
  82   %3 = call i32 @llvm.eh.typeid.for(i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*)) #3
  83   %matches = icmp eq i32 %sel, %3
  84   br i1 %matches, label %catch, label %catch.dispatch11
  85
  86 ; CHECK-NOT: catch:
  87 catch:                                            ; preds = %catch.dispatch
  88   %exn = load i8*, i8** %exn.slot
  89   %4 = bitcast i32* %i to i8*
  90   call void @llvm.eh.begincatch(i8* %exn, i8* %4) #3
  91   invoke void @"\01?may_throw@@YAXXZ"()
  92           to label %invoke.cont2 unwind label %lpad1
  93
  94 ; CHECK-NOT: invoke.cont2:
  95 invoke.cont2:                                     ; preds = %catch
  96   br label %try.cont
  97
  98 ; CHECK-NOT: lpad1:
  99 lpad1:                                            ; preds = %catch
 100   %5 = landingpad { i8*, i32 }
 101           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*)
 102           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)
 103   %6 = extractvalue { i8*, i32 } %5, 0
 104   store i8* %6, i8** %exn.slot
 105   %7 = extractvalue { i8*, i32 } %5, 1
 106   store i32 %7, i32* %ehselector.slot
 107   br label %catch.dispatch3
 108
 109 ; CHECK-NOT: catch.dispatch3:
 110 catch.dispatch3:                                  ; preds = %lpad1
 111   %sel4 = load i32, i32* %ehselector.slot
 112   %8 = call i32 @llvm.eh.typeid.for(i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*)) #3
 113   %matches5 = icmp eq i32 %sel4, %8
 114   br i1 %matches5, label %catch6, label %catch.dispatch11
 115
 116 ; CHECK-NOT: catch6:
 117 catch6:                                           ; preds = %catch.dispatch3
 118   %exn7 = load i8*, i8** %exn.slot
 119   %9 = bitcast i32* %j to i8*
 120   call void @llvm.eh.begincatch(i8* %exn7, i8* %9) #3
 121   %10 = load i32, i32* %j, align 4
 122   store i32 %10, i32* %i, align 4
 123   call void @llvm.eh.endcatch() #3
 124   br label %try.cont
 125
 126 ; CHECK-NOT: try.cont:
 127 try.cont:                                         ; preds = %catch6, %invoke.cont2
 128   %11 = load i32, i32* %i, align 4
 129   invoke void @"\01?handle_int@@YAXH@Z"(i32 %11)
 130           to label %invoke.cont9 unwind label %lpad8
 131
 132 ; CHECK-NOT: invoke.cont9:
 133 invoke.cont9:                                     ; preds = %try.cont
 134   call void @llvm.eh.endcatch() #3
 135   br label %try.cont10
 136
 137 try.cont10:                                       ; preds = %invoke.cont9, %invoke.cont
 138   br label %try.cont19
 139
 140 ; CHECK-NOT: lpad8:
 141 lpad8:                                            ; preds = %try.cont
 142   %12 = landingpad { i8*, i32 }
 143           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)
 144   %13 = extractvalue { i8*, i32 } %12, 0
 145   store i8* %13, i8** %exn.slot
 146   %14 = extractvalue { i8*, i32 } %12, 1
 147   store i32 %14, i32* %ehselector.slot
 148   call void @llvm.eh.endcatch() #3
 149   br label %catch.dispatch11
 150
 151 ; CHECK-NOT: catch.dispatch11:
 152 catch.dispatch11:                                 ; preds = %lpad8, %catch.dispatch3, %catch.dispatch
 153   %sel12 = load i32, i32* %ehselector.slot
 154   %15 = call i32 @llvm.eh.typeid.for(i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)) #3
 155   %matches13 = icmp eq i32 %sel12, %15
 156   br i1 %matches13, label %catch14, label %eh.resume
 157
 158 ; CHECK-NOT: catch14:
 159 catch14:                                          ; preds = %catch.dispatch11
 160   %exn15 = load i8*, i8** %exn.slot
 161   %16 = bitcast float* %f to i8*
 162   call void @llvm.eh.begincatch(i8* %exn15, i8* %16) #3
 163   %17 = load float, float* %f, align 4
 164   call void @"\01?handle_float@@YAXM@Z"(float %17)
 165   call void @llvm.eh.endcatch() #3
 166   br label %try.cont19
 167
 168 try.cont19:                                       ; preds = %catch14, %try.cont10
 169   call void @"\01?done@@YAXXZ"()
 170   ret void
 171
 172 ; CHECK-NOT: eh.resume:
 173 eh.resume:                                        ; preds = %lpad16, %catch.dispatch11
 174   %exn20 = load i8*, i8** %exn.slot
 175   %sel21 = load i32, i32* %ehselector.slot
 176   %lpad.val = insertvalue { i8*, i32 } undef, i8* %exn20, 0
 177   %lpad.val22 = insertvalue { i8*, i32 } %lpad.val, i32 %sel21, 1
 178   resume { i8*, i32 } %lpad.val22
 179 ; CHECK: }
 180 }
 181
 182 ; CHECK: define internal i8* @"\01?test@@YAXXZ.catch"(i8*, i8*)
 183 ; CHECK: entry:
 184 ; CHECK:   [[RECOVER_J:\%.+]] = call i8* @llvm.localrecover(i8* bitcast (void ()* @"\01?test@@YAXXZ" to i8*), i8* %1, i32 0)
 185 ; CHECK:   [[J_PTR:\%.+]] = bitcast i8* [[RECOVER_J]] to i32*
 186 ; CHECK:   [[RECOVER_I1:\%.+]] = call i8* @llvm.localrecover(i8* bitcast (void ()* @"\01?test@@YAXXZ" to i8*), i8* %1, i32 1)
 187 ; CHECK:   [[I_PTR1:\%.+]] = bitcast i8* [[RECOVER_I1]] to i32*
 188 ; CHECK:   [[TMP3:\%.+]] = load i32, i32* [[J_PTR]], align 4
 189 ; CHECK:   store i32 [[TMP3]], i32* [[I_PTR1]]
 190 ; CHECK:   ret i8* blockaddress(@"\01?test@@YAXXZ.catch.2", %invoke.cont2)
 191 ; CHECK: }
 192
 193 ; CHECK: define internal i8* @"\01?test@@YAXXZ.catch.1"(i8*, i8*)
 194 ; CHECK: entry:
 195 ; CHECK:   [[RECOVER_F:\%.+]] = call i8* @llvm.localrecover(i8* bitcast (void ()* @"\01?test@@YAXXZ" to i8*), i8* %1, i32 2)
 196 ; CHECK:   [[F_PTR:\%.+]] = bitcast i8* [[RECOVER_F]] to float*
 197 ; CHECK:   [[TMP2:\%.+]] = load float, float* [[F_PTR]], align 4
 198 ; CHECK:   call void @"\01?handle_float@@YAXM@Z"(float [[TMP2]])
 199 ; CHECK:   ret i8* blockaddress(@"\01?test@@YAXXZ", %try.cont19)
 200 ; CHECK: }
 201
 202 ; CHECK: define internal i8* @"\01?test@@YAXXZ.catch.2"(i8*, i8*)
 203 ; CHECK: entry:
 204 ; CHECK:   [[RECOVER_I:\%.+]] = call i8* @llvm.localrecover(i8* bitcast (void ()* @"\01?test@@YAXXZ" to i8*), i8* %1, i32 1)
 205 ; CHECK:   [[I_PTR:\%.+]] = bitcast i8* [[RECOVER_I]] to i32*
 206 ; CHECK:   invoke void @"\01?may_throw@@YAXXZ"()
 207 ; CHECK:           to label %invoke.cont2 unwind label %[[LPAD1_LABEL:lpad[0-9]*]]
 208 ;
 209 ; CHECK: invoke.cont2:                                     ; preds = %[[LPAD1_LABEL]], %entry
 210 ; CHECK:   [[TMP1:\%.+]] = load i32, i32* [[I_PTR]], align 4
 211 ; CHECK:   invoke void @"\01?handle_int@@YAXH@Z"(i32 [[TMP1]])
 212 ; CHECK:           to label %invoke.cont9 unwind label %[[LPAD8_LABEL:lpad[0-9]*]]
 213 ;
 214 ; CHECK: [[LPAD1_LABEL]]:{{[ ]+}}; preds = %entry
 215 ; CHECK:   [[LPAD1_VAL:\%.+]] = landingpad { i8*, i32 }
 216 ; CHECK:           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*)
 217 ; CHECK:           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)
 218 ; CHECK:   [[RECOVER1:\%.+]] = call i8* (...) @llvm.eh.actions(i32 1, i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0H@8" to i8*), i32 0, i8* (i8*, i8*)* @"\01?test@@YAXXZ.catch", i32 1, i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*), i32 2, i8* (i8*, i8*)* @"\01?test@@YAXXZ.catch.1")
 219 ; CHECK:   indirectbr i8* [[RECOVER1]], [label %invoke.cont2]
 220 ;
 221 ; CHECK: invoke.cont9:
 222 ; CHECK:   ret i8* blockaddress(@"\01?test@@YAXXZ", %try.cont10)
 223 ;
 224 ; CHECK: [[LPAD8_LABEL]]:{{[ ]+}}; preds = %invoke.cont2
 225 ; CHECK:   [[LPAD8_VAL:\%.+]] = landingpad { i8*, i32 }
 226 ; CHECK:           catch i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*)
 227 ; CHECK:   [[RECOVER2:\%.+]] = call i8* (...) @llvm.eh.actions(i32 1, i8* bitcast (%rtti.TypeDescriptor2* @"\01??_R0M@8" to i8*), i32 2, i8* (i8*, i8*)* @"\01?test@@YAXXZ.catch.1")
 228 ; CHECK:   indirectbr i8* [[RECOVER2]], []
 229 ;
 230 ; CHECK: }
 231
 232 declare void @"\01?may_throw@@YAXXZ"() #1
 233
 234 declare i32 @__CxxFrameHandler3(...)
 235
 236 ; Function Attrs: nounwind readnone
 237 declare i32 @llvm.eh.typeid.for(i8*) #2
 238
 239 ; Function Attrs: nounwind
 240 declare void @llvm.eh.begincatch(i8* nocapture, i8* nocapture) #3
 241
 242 ; Function Attrs: nounwind
 243 declare void @llvm.eh.endcatch() #3
 244
 245 declare void @"\01?handle_int@@YAXH@Z"(i32) #1
 246
 247 declare void @"\01?handle_float@@YAXM@Z"(float) #1
 248
 249 declare void @"\01?done@@YAXXZ"() #1
 250
 251 attributes #0 = { uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 252 attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 253 attributes #2 = { nounwind readnone }
 254 attributes #3 = { nounwind }
 255
 256 !llvm.module.flags = !{!0}
 257 !llvm.ident = !{!1}
 258
 259 !0 = !{i32 1, !"PIC Level", i32 2}
 260 !1 = !{!"clang version 3.7.0 (trunk 232069) (llvm/trunk 232070)"}