1 ; RUN: llc < %s | FileCheck %s 2 3 ; Test case based on this source: 4 ; int puts(const char*); 5 ; __declspec(noinline) void crash() { 6 ; *(volatile int*)0 = 42; 7 ; } 8 ; int filt(); 9 ; void use_both() { 10 ; __try { 11 ; __try { 12 ; crash(); 13 ; } __finally { 14 ; puts("__finally"); 15 ; } 16 ; } __except (filt()) { 17 ; puts("__except"); 18 ; } 19 ; } 20 21 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" 22 target triple = "x86_64-pc-windows-msvc" 23 24 $"\01??_C@_09KJEHOMHG@__finally?$AA@" = comdat any 25 26 $"\01??_C@_08MLCMLGHM@__except?$AA@" = comdat any 27 28 @"\01??_C@_09KJEHOMHG@__finally?$AA@" = linkonce_odr unnamed_addr constant [10 x i8] c"__finally\00", comdat, align 1 29 @"\01??_C@_08MLCMLGHM@__except?$AA@" = linkonce_odr unnamed_addr constant [9 x i8] c"__except\00", comdat, align 1 30 31 declare void @crash() 32 33 declare i32 @filt() 34 35 ; Function Attrs: nounwind uwtable 36 define void @use_both() #1 personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) { 37 entry: 38 %exn.slot = alloca i8* 39 %ehselector.slot = alloca i32 40 invoke void @crash() #5 41 to label %invoke.cont unwind label %__finally 42 43 invoke.cont: ; preds = %entry 44 %0 = call i8* @llvm.localaddress() 45 invoke void @"\01?fin$0@0@use_both@@"(i1 zeroext false, i8* %0) #5 46 to label %invoke.cont2 unwind label %catch.dispatch 47 48 invoke.cont2: ; preds = %invoke.cont 49 br label %__try.cont 50 51 __finally: ; preds = %entry 52 %cleanuppad = cleanuppad within none [] 53 %locals = call i8* @llvm.localaddress() 54 invoke void @"\01?fin$0@0@use_both@@"(i1 zeroext true, i8* %locals) #5 [ "funclet"(token %cleanuppad) ] 55 to label %invoke.cont3 unwind label %catch.dispatch 56 57 invoke.cont3: ; preds = %__finally 58 cleanupret from %cleanuppad unwind label %catch.dispatch 59 60 catch.dispatch: ; preds = %invoke.cont3, %lpad1 61 %cs1 = catchswitch within none [label %__except] unwind to caller 62 63 __except: ; preds = %catch.dispatch 64 %catchpad = catchpad within %cs1 [i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@use_both@@" to i8*)] 65 %call = call i32 @puts(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @"\01??_C@_08MLCMLGHM@__except?$AA@", i32 0, i32 0)) [ "funclet"(token %catchpad) ] 66 catchret from %catchpad to label %__try.cont 67 68 __try.cont: ; preds = %__except, %invoke.cont2 69 ret void 70 } 71 72 ; CHECK-LABEL: use_both: 73 ; CHECK: .Ltmp0 74 ; CHECK: callq crash 75 ; CHECK: .Ltmp1 76 ; CHECK: .Ltmp4 77 ; CHECK: callq "?fin$0@0@use_both@@" 78 ; CHECK: .Ltmp5 79 ; CHECK: retq 80 ; 81 ; CHECK: .seh_handlerdata 82 ; CHECK-NEXT: .Luse_both$parent_frame_offset 83 ; CHECK-NEXT: .long (.Llsda_end0-.Llsda_begin0)/16 84 ; CHECK-NEXT: .Llsda_begin0: 85 ; CHECK-NEXT: .long .Ltmp0@IMGREL+1 86 ; CHECK-NEXT: .long .Ltmp1@IMGREL+1 87 ; CHECK-NEXT: .long "?dtor$2@?0?use_both@4HA"@IMGREL 88 ; CHECK-NEXT: .long 0 89 ; CHECK-NEXT: .long .Ltmp0@IMGREL+1 90 ; CHECK-NEXT: .long .Ltmp1@IMGREL+1 91 ; CHECK-NEXT: .long "?filt$0@0@use_both@@"@IMGREL 92 ; CHECK-NEXT: .long .LBB0_{{[0-9]+}}@IMGREL 93 ; CHECK-NEXT: .long .Ltmp4@IMGREL+1 94 ; CHECK-NEXT: .long .Ltmp5@IMGREL+1 95 ; CHECK-NEXT: .long "?filt$0@0@use_both@@"@IMGREL 96 ; CHECK-NEXT: .long .LBB0_{{[0-9]+}}@IMGREL 97 ; CHECK-NEXT: .Llsda_end0: 98 99 ; Function Attrs: noinline nounwind 100 define internal i32 @"\01?filt$0@0@use_both@@"(i8* %exception_pointers, i8* %frame_pointer) #2 { 101 entry: 102 %frame_pointer.addr = alloca i8*, align 8 103 %exception_pointers.addr = alloca i8*, align 8 104 %exn.slot = alloca i8* 105 store i8* %frame_pointer, i8** %frame_pointer.addr, align 8 106 store i8* %exception_pointers, i8** %exception_pointers.addr, align 8 107 %0 = load i8*, i8** %exception_pointers.addr 108 %1 = bitcast i8* %0 to { i32*, i8* }* 109 %2 = getelementptr inbounds { i32*, i8* }, { i32*, i8* }* %1, i32 0, i32 0 110 %3 = load i32*, i32** %2 111 %4 = load i32, i32* %3 112 %5 = zext i32 %4 to i64 113 %6 = inttoptr i64 %5 to i8* 114 store i8* %6, i8** %exn.slot 115 %call = call i32 @filt() 116 ret i32 %call 117 } 118 119 define internal void @"\01?fin$0@0@use_both@@"(i1 zeroext %abnormal_termination, i8* %frame_pointer) #3 { 120 entry: 121 %frame_pointer.addr = alloca i8*, align 8 122 %abnormal_termination.addr = alloca i8, align 1 123 store i8* %frame_pointer, i8** %frame_pointer.addr, align 8 124 %frombool = zext i1 %abnormal_termination to i8 125 store i8 %frombool, i8* %abnormal_termination.addr, align 1 126 %call = call i32 @puts(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @"\01??_C@_09KJEHOMHG@__finally?$AA@", i32 0, i32 0)) 127 ret void 128 } 129 130 declare i32 @puts(i8*) #3 131 132 declare i32 @__C_specific_handler(...) 133 134 ; Function Attrs: nounwind readnone 135 declare i8* @llvm.localaddress() #4 136 137 ; Function Attrs: nounwind readnone 138 declare i32 @llvm.eh.typeid.for(i8*) #4 139 140 attributes #0 = { noinline nounwind 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" "target-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" } 141 attributes #1 = { nounwind 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" "target-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" } 142 attributes #2 = { noinline nounwind "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-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" } 143 attributes #3 = { "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-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" } 144 attributes #4 = { nounwind readnone } 145 attributes #5 = { noinline } 146 attributes #6 = { nounwind } 147
