1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223
|
# RUN: llc -start-before=x86-avoid-trailing-call %s -o - | FileCheck %s
# If there is a trailing unreachable block, make sure it is non-empty.
# Manually modified the IR of the following C++ to share one unreachable block,
# as clang does for the real C++ throw:
# void __declspec(noreturn) mythrow();
# int multi_throw(bool c1, bool c2, bool c3) {
# try {
# if (c1)
# mythrow();
# if (c2)
# mythrow();
# if (c3)
# mythrow();
# } catch (...) {
# return 1;
# }
# return 0;
# }
# CHECK-LABEL: "?multi_throw@@YAH_N00@Z": # @"?multi_throw@@YAH_N00@Z"
# CHECK: retq
# CHECK: .LBB{{.*}} # %if.then
# CHECK: callq mythrow
# CHECK: .LBB{{.*}} # %if.then4
# CHECK: callq mythrow
# CHECK: .LBB{{.*}} # %if.then8
# CHECK: callq mythrow
# CHECK: .LBB{{.*}} # %unreachable
# CHECK-NEXT: int3
# CHECK: .seh_endproc
# CHECK: # %catch
--- |
; ModuleID = '../llvm/test/CodeGen/X86/win64-eh-empty-block-2.ll'
source_filename = "t.cpp"
target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-windows-msvc19.11.0"
; Function Attrs: uwtable
define dso_local i32 @"?multi_throw@@YAH_N00@Z"(i1 zeroext %c1, i1 zeroext %c2, i1 zeroext %c3) local_unnamed_addr #0 personality ptr @__CxxFrameHandler3 {
entry:
br i1 %c1, label %if.then, label %if.end
if.then: ; preds = %entry
invoke void @mythrow()
to label %unreachable unwind label %catch.dispatch
unreachable: ; preds = %if.then8, %if.then4, %if.then
unreachable
if.end: ; preds = %entry
br i1 %c2, label %if.then4, label %if.end6
if.then4: ; preds = %if.end
invoke void @mythrow()
to label %unreachable unwind label %catch.dispatch
if.end6: ; preds = %if.end
br i1 %c3, label %if.then8, label %return
if.then8: ; preds = %if.end6
invoke void @mythrow()
to label %unreachable unwind label %catch.dispatch
catch.dispatch: ; preds = %if.then8, %if.then4, %if.then
%0 = catchswitch within none [label %catch] unwind to caller
catch: ; preds = %catch.dispatch
%1 = catchpad within %0 [ptr null, i32 64, ptr null]
catchret from %1 to label %return
return: ; preds = %catch, %if.end6
%retval.0 = phi i32 [ 1, %catch ], [ 0, %if.end6 ]
ret i32 %retval.0
}
declare dso_local void @mythrow()
declare dso_local i32 @__CxxFrameHandler3(...)
attributes #0 = { uwtable }
!llvm.module.flags = !{!0, !1}
!0 = !{i32 1, !"wchar_size", i32 2}
!1 = !{i32 7, !"PIC Level", i32 2}
...
---
name: '?multi_throw@@YAH_N00@Z'
alignment: 16
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
failedISel: false
tracksRegLiveness: true
hasWinCFI: true
registers: []
liveins:
- { reg: '$cl', virtual-reg: '' }
- { reg: '$dl', virtual-reg: '' }
- { reg: '$r8b', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 56
offsetAdjustment: -56
maxAlignment: 8
adjustsStack: true
hasCalls: true
stackProtector: ''
maxCallFrameSize: 32
cvBytesOfCalleeSavedRegisters: 0
hasOpaqueSPAdjustment: true
hasVAStart: false
hasMustTailInVarArgFunc: false
localFrameSize: 0
savePoint: ''
restorePoint: ''
fixedStack:
- { id: 0, type: default, offset: -24, size: 8, alignment: 8, stack-id: default,
isImmutable: false, isAliased: false, callee-saved-register: '',
callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
debug-info-location: '' }
- { id: 1, type: spill-slot, offset: -16, size: 8, alignment: 16, stack-id: default,
callee-saved-register: '', callee-saved-restored: true, debug-info-variable: '',
debug-info-expression: '', debug-info-location: '' }
stack:
- { id: 0, name: '', type: spill-slot, offset: -28, size: 4, alignment: 4,
stack-id: default, callee-saved-register: '', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
callSites: []
constants: []
machineFunctionInfo: {}
body: |
bb.0.entry:
successors: %bb.1(0x00000001), %bb.3(0x7fffffff)
liveins: $cl, $dl, $r8b
frame-setup PUSH64r killed $rbp, implicit-def $rsp, implicit $rsp
frame-setup SEH_PushReg 50
$rsp = frame-setup SUB64ri8 $rsp, 48, implicit-def dead $eflags
frame-setup SEH_StackAlloc 48
$rbp = LEA64r $rsp, 1, $noreg, 48, $noreg
frame-setup SEH_SetFrame 50, 48
frame-setup SEH_EndPrologue
MOV64mi32 $rbp, 1, $noreg, -8, $noreg, -2 :: (store (s64) into %fixed-stack.0)
TEST8rr killed renamable $cl, renamable $cl, implicit-def $eflags
JCC_1 %bb.1, 5, implicit $eflags
bb.3.if.end:
successors: %bb.4(0x00000001), %bb.5(0x7fffffff)
liveins: $dl, $r8b
TEST8rr killed renamable $dl, renamable $dl, implicit-def $eflags
JCC_1 %bb.4, 5, implicit $eflags
bb.5.if.end6:
successors: %bb.6(0x00000001), %bb.8(0x7fffffff)
liveins: $r8b
MOV32mi $rbp, 1, $noreg, -12, $noreg, 0 :: (store (s32) into %stack.0)
TEST8rr killed renamable $r8b, renamable $r8b, implicit-def $eflags
JCC_1 %bb.6, 5, implicit $eflags
bb.8.return (machine-block-address-taken):
$eax = MOV32rm $rbp, 1, $noreg, -12, $noreg :: (load (s32) from %stack.0)
SEH_Epilogue
$rsp = frame-destroy ADD64ri8 $rsp, 48, implicit-def dead $eflags
$rbp = frame-destroy POP64r implicit-def $rsp, implicit $rsp
RET64 $eax
bb.1.if.then:
successors: %bb.2(0x7ffff800), %bb.7(0x00000800)
EH_LABEL <mcsymbol .Leh1>
CALL64pcrel32 @mythrow, csr_win64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
EH_LABEL <mcsymbol .Leh2>
JMP_1 %bb.2
bb.4.if.then4:
successors: %bb.2(0x7ffff800), %bb.7(0x00000800)
EH_LABEL <mcsymbol .Leh3>
CALL64pcrel32 @mythrow, csr_win64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
EH_LABEL <mcsymbol .Leh4>
JMP_1 %bb.2
bb.6.if.then8:
successors: %bb.2(0x7ffff800), %bb.7(0x00000800)
EH_LABEL <mcsymbol .Leh5>
CALL64pcrel32 @mythrow, csr_win64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
EH_LABEL <mcsymbol .Leh6>
bb.2.unreachable:
successors:
bb.7.catch (landing-pad, ehfunclet-entry):
successors: %bb.8(0x80000000)
liveins: $rdx
frame-setup MOV64mr killed $rsp, 1, $noreg, 16, $noreg, $rdx
frame-setup PUSH64r killed $rbp, implicit-def $rsp, implicit $rsp
frame-setup SEH_PushReg 50
$rsp = frame-setup SUB64ri8 $rsp, 32, implicit-def dead $eflags
frame-setup SEH_StackAlloc 32
$rbp = LEA64r $rdx, 1, $noreg, 48, $noreg
frame-setup SEH_EndPrologue
MOV32mi $rbp, 1, $noreg, -12, $noreg, 1 :: (store (s32) into %stack.0)
$rax = LEA64r $rip, 0, $noreg, %bb.8, $noreg
SEH_Epilogue
$rsp = frame-destroy ADD64ri8 $rsp, 32, implicit-def dead $eflags
$rbp = frame-destroy POP64r implicit-def $rsp, implicit $rsp
CATCHRET %bb.8, %bb.0
...
|