1 ; RUN: llc < %s | FileCheck %s 2 3 ; Based on this code: 4 ; 5 ; extern "C" int array[4]; 6 ; extern "C" void global_array(int idx1, int idx2, int idx3) { 7 ; try { 8 ; array[idx1] = 111; 9 ; throw; 10 ; } catch (...) { 11 ; array[idx2] = 222; 12 ; } 13 ; array[idx3] = 333; 14 ; } 15 ; extern "C" __declspec(dllimport) int imported; 16 ; extern "C" void access_imported() { 17 ; try { 18 ; imported = 111; 19 ; throw; 20 ; } catch (...) { 21 ; imported = 222; 22 ; } 23 ; imported = 333; 24 ; } 25 26 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" 27 target triple = "x86_64-pc-windows-msvc18.0.0" 28 29 %eh.ThrowInfo = type { i32, i32, i32, i32 } 30 31 @array = external global [4 x i32], align 16 32 @imported = external dllimport global i32, align 4 33 34 ; Function Attrs: uwtable 35 define void @global_array(i32 %idx1, i32 %idx2, i32 %idx3) #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) { 36 entry: 37 %idxprom = sext i32 %idx1 to i64 38 %arrayidx = getelementptr inbounds [4 x i32], [4 x i32]* @array, i64 0, i64 %idxprom 39 store i32 111, i32* %arrayidx, align 4, !tbaa !2 40 invoke void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #1 41 to label %unreachable unwind label %catch.dispatch 42 43 catch.dispatch: ; preds = %entry 44 %cs1 = catchswitch within none [label %catch] unwind to caller 45 46 catch: ; preds = %catch.dispatch 47 %0 = catchpad within %cs1 [i8* null, i32 64, i8* null] 48 %idxprom1 = sext i32 %idx2 to i64 49 %arrayidx2 = getelementptr inbounds [4 x i32], [4 x i32]* @array, i64 0, i64 %idxprom1 50 store i32 222, i32* %arrayidx2, align 4, !tbaa !2 51 catchret from %0 to label %try.cont 52 53 try.cont: ; preds = %catch 54 %idxprom3 = sext i32 %idx3 to i64 55 %arrayidx4 = getelementptr inbounds [4 x i32], [4 x i32]* @array, i64 0, i64 %idxprom3 56 store i32 333, i32* %arrayidx4, align 4, !tbaa !2 57 ret void 58 59 unreachable: ; preds = %entry 60 unreachable 61 } 62 63 ; CHECK-LABEL: global_array: # @global_array 64 ; CHECK: pushq %rbp 65 ; First array access 66 ; CHECK: movslq %ecx, %[[idx:[^ ]*]] 67 ; CHECK: leaq array(%rip), %[[base:[^ ]*]] 68 ; CHECK: movl $111, (%[[base]],%[[idx]],4) 69 ; Might throw an exception and return to below... 70 ; CHECK: callq _CxxThrowException 71 ; Third array access must remat the address of array 72 ; CHECK: movslq {{.*}}, %[[idx:[^ ]*]] 73 ; CHECK: leaq array(%rip), %[[base:[^ ]*]] 74 ; CHECK: movl $333, (%[[base]],%[[idx]],4) 75 ; CHECK: popq %rbp 76 ; CHECK: retq 77 78 ; CHECK: "?catch$2@?0?global_array@4HA": 79 ; CHECK: pushq %rbp 80 ; CHECK: movslq {{.*}}, %[[idx:[^ ]*]] 81 ; CHECK: leaq array(%rip), %[[base:[^ ]*]] 82 ; CHECK: movl $222, (%[[base]],%[[idx]],4) 83 ; CHECK: popq %rbp 84 ; CHECK: retq # CATCHRET 85 86 declare void @_CxxThrowException(i8*, %eh.ThrowInfo*) 87 88 declare i32 @__CxxFrameHandler3(...) 89 90 ; Function Attrs: uwtable 91 define void @access_imported() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) { 92 entry: 93 store i32 111, i32* @imported, align 4, !tbaa !2 94 invoke void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #1 95 to label %unreachable unwind label %catch.dispatch 96 97 catch.dispatch: ; preds = %entry 98 %cs1 = catchswitch within none [label %catch] unwind to caller 99 100 catch: ; preds = %catch.dispatch 101 %0 = catchpad within %cs1 [i8* null, i32 64, i8* null] 102 store i32 222, i32* @imported, align 4, !tbaa !2 103 catchret from %0 to label %try.cont 104 105 try.cont: ; preds = %catch 106 store i32 333, i32* @imported, align 4, !tbaa !2 107 ret void 108 109 unreachable: ; preds = %entry 110 unreachable 111 } 112 113 ; CHECK-LABEL: access_imported: # @access_imported 114 ; CHECK: pushq %rbp 115 ; CHECK: movq __imp_imported(%rip), %[[base:[^ ]*]] 116 ; CHECK: movl $111, (%[[base]]) 117 ; Might throw an exception and return to below... 118 ; CHECK: callq _CxxThrowException 119 ; Third access must reload the address of imported 120 ; CHECK: movq __imp_imported(%rip), %[[base:[^ ]*]] 121 ; CHECK: movl $333, (%[[base]]) 122 ; CHECK: popq %rbp 123 ; CHECK: retq 124 125 ; CHECK: "?catch$2@?0?access_imported@4HA": 126 ; CHECK: pushq %rbp 127 ; CHECK: movq __imp_imported(%rip), %[[base:[^ ]*]] 128 ; CHECK: movl $222, (%[[base]]) 129 ; CHECK: popq %rbp 130 ; CHECK: retq # CATCHRET 131 132 133 attributes #0 = { uwtable "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-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" } 134 attributes #1 = { noreturn } 135 136 !llvm.module.flags = !{!0} 137 !llvm.ident = !{!1} 138 139 !0 = !{i32 1, !"PIC Level", i32 2} 140 !1 = !{!"clang version 3.8.0 "} 141 !2 = !{!3, !3, i64 0} 142 !3 = !{!"int", !4, i64 0} 143 !4 = !{!"omnipotent char", !5, i64 0} 144 !5 = !{!"Simple C/C++ TBAA"} 145
