# RUN: llc -mtriple="i386-pc-windows-msvc" -run-pass=stack-coloring %s -o - | FileCheck %s
# There is a problem with the exception handler, we found in windows, when set
# LifetimeStartOnFirstUse=true for stack-coloring in default. Take the following
# case for example:
#
#// Compile with "clang-cl -m32 -O2 -EHs test.cpp"
#__attribute__((noinline,nothrow,weak)) void escape(int *p) { }
#struct object {
# int i;
# object() {
# i = 1;
# }
# ~object() {
# // if "object" and "exp" are assigned to the same slot,
# // this assign will corrupt "exp".
# i = 9999;
# escape(&i);
# }
#};
#inline void throwit() { throw 999; }
#
#volatile int v;
#inline void func() {
# try {
# object o;
# throwit();
# }
# // "exp" is written by the OS when the "throw" occurs.
# // Then the destructor is called, and the store-assign
# // clobbers the value of "exp".
# // The dereference of "exp" (with value 9999) causes a crash.
# // All these done in libruntime, so it is hard to check in IR.
# catch (int &exp) {
# v = exp;
# }
#}
#
#int main() {
# func();
# return 0;
#}
## Make sure that o.i not merge with exp.i
# CHECK: stack:
# CHECK: id: 2, name: o.i, type: default, offset: 0, size: 4, alignment: 4,
# CHECK: id: 3, name: exp.i, type: default, offset: 0, size: 4, alignment: 4,
## Make sure that %stack.3.exp.i not replaced with %stack.2.o.i
# CHECK: bb.3.catch.i (landing-pad, ehfunclet-entry):
# CHECK: %7:gr32 = MOV32rm %stack.3.exp.i, 1, $noreg, 0, $noreg :: (dereferenceable load (s32) from %ir.exp.i)
--- |
; ModuleID = 'test-pre-stc.mir'
source_filename = "test.cpp"
target datalayout = "e-m:x-p:32:32-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:32-n8:16:32-a:0:32-S32"
%rtti.TypeDescriptor2 = type { ptr, ptr, [3 x i8] }
%eh.CatchableType = type { i32, ptr, i32, i32, i32, i32, ptr }
%eh.CatchableTypeArray.1 = type { i32, [1 x ptr] }
%eh.ThrowInfo = type { i32, ptr, ptr, ptr }
%CXXExceptionRegistration = type { ptr, %EHRegistrationNode, i32 }
%EHRegistrationNode = type { ptr, ptr }
%struct.object = type { i32 }
$"_R0H@8" = comdat any
$"_CT_R0H@84" = comdat any
$_CTA1H = comdat any
$_TI1H = comdat any
@v__3HC = dso_local global i32 0, align 4
@"_7type_info__6B@" = external constant ptr
@"_R0H@8" = linkonce_odr global %rtti.TypeDescriptor2 { ptr @"_7type_info__6B@", ptr null, [3 x i8] c".H\00" }, comdat
@"_CT_R0H@84" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 1, ptr @"_R0H@8", i32 0, i32 -1, i32 0, i32 4, ptr null }, section ".xdata", comdat
@_CTA1H = linkonce_odr unnamed_addr constant %eh.CatchableTypeArray.1 { i32 1, [1 x ptr] [ptr @"_CT_R0H@84"] }, section ".xdata", comdat
@_TI1H = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 0, ptr null, ptr null, ptr @_CTA1H }, section ".xdata", comdat
; Function Attrs: noinline nounwind sspstrong
define weak dso_local void @"escape__YAXPAH@Z"(ptr %p) local_unnamed_addr #0 {
entry:
ret void
}
; Function Attrs: norecurse sspstrong
define dso_local i32 @main() local_unnamed_addr #1 personality i32 (...)* @__CxxFrameHandler3 {
entry:
%0 = alloca %CXXExceptionRegistration, align 4
%1 = bitcast ptr %0 to ptr
call void @llvm.x86.seh.ehregnode(ptr %1)
%2 = call ptr @llvm.stacksave()
%3 = getelementptr inbounds %CXXExceptionRegistration, ptr %0, i32 0, i32 0
store ptr %2, ptr %3, align 4
%4 = getelementptr inbounds %CXXExceptionRegistration, ptr %0, i32 0, i32 2
store i32 -1, ptr %4, align 4
%5 = getelementptr inbounds %CXXExceptionRegistration, ptr %0, i32 0, i32 1
%6 = getelementptr inbounds %EHRegistrationNode, ptr %5, i32 0, i32 1
store ptr @"__ehhandler$main", ptr %6, align 4
%7 = load ptr, ptr addrspace(257) null, align 4
%8 = getelementptr inbounds %EHRegistrationNode, ptr %5, i32 0, i32 0
store ptr %7, ptr %8, align 4
store ptr %5, ptr addrspace(257) null, align 4
%tmp.i.i = alloca i32, align 4
%o.i = alloca %struct.object, align 4
%zx = alloca ptr, align 4
%exp.i = alloca ptr, align 4
%9 = bitcast ptr %exp.i to ptr
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9)
%10 = bitcast ptr %o.i to ptr
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #7
%i.i.i1 = bitcast ptr %o.i to ptr
store i32 1, ptr %i.i.i1, align 4
%11 = bitcast ptr %tmp.i.i to ptr
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11)
store i32 999, ptr %tmp.i.i, align 4
%12 = getelementptr inbounds %CXXExceptionRegistration, ptr %0, i32 0, i32 2
store i32 1, ptr %12, align 4
invoke void @_CxxThrowException(ptr nonnull %11, ptr nonnull @_TI1H) #8
to label %.noexc.i unwind label %ehcleanup.i
.noexc.i: ; preds = %entry
unreachable
ehcleanup.i: ; preds = %entry
%13 = cleanuppad within none []
%14 = bitcast ptr %o.i to ptr
%15 = bitcast ptr %o.i to ptr
store i32 9999, ptr %14, align 4
call void @"escape__YAXPAH@Z"(ptr nonnull %14) #7 [ "funclet"(token %13) ]
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #7
cleanupret from %13 unwind label %catch.dispatch.i
catch.dispatch.i: ; preds = %ehcleanup.i
%16 = catchswitch within none [label %catch.i] unwind to caller
catch.i: ; preds = %catch.dispatch.i
%17 = catchpad within %16 [ptr @"_R0H@8", i32 8, ptr %exp.i]
%18 = load ptr, ptr %exp.i, align 4
%19 = load i32, ptr %18, align 4
store atomic volatile i32 %19, ptr @v__3HC release, align 4
catchret from %17 to label %func__YAXXZ.exit
func__YAXXZ.exit: ; preds = %catch.i
%20 = bitcast ptr %exp.i to ptr
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20)
%21 = getelementptr inbounds %CXXExceptionRegistration, ptr %0, i32 0, i32 1
%22 = getelementptr inbounds %EHRegistrationNode, ptr %21, i32 0, i32 0
%23 = load ptr, ptr %22, align 4
store ptr %23, ptr addrspace(257) null, align 4
ret i32 0
}
; Function Attrs: argmemonly nofree nosync nounwind willreturn
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #2
; Function Attrs: nofree
declare dso_local i32 @__CxxFrameHandler3(...) #3
; Function Attrs: argmemonly nofree nosync nounwind willreturn
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #2
; Function Attrs: nofree
declare dso_local x86_stdcallcc void @_CxxThrowException(ptr, ptr) local_unnamed_addr #3
declare i32 @_setjmp3(ptr, i32, ...)
; Function Attrs: nofree nosync nounwind willreturn
declare ptr @llvm.stacksave() #4
define internal i32 @"__ehhandler$main"(ptr %0, ptr %1, ptr %2, ptr %3) #5 {
entry:
%4 = call ptr @llvm.x86.seh.lsda(ptr @main)
%5 = tail call i32 @__CxxFrameHandler3(ptr inreg %4, ptr %0, ptr %1, ptr %2, ptr %3)
ret i32 %5
}
; Function Attrs: nounwind readnone
declare ptr @llvm.x86.seh.lsda(ptr) #6
declare x86_stdcallcc void @__CxxLongjmpUnwind(ptr)
; Function Attrs: nounwind
declare void @llvm.x86.seh.ehregnode(ptr) #7
attributes #0 = { noinline nounwind sspstrong "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { norecurse sspstrong "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { argmemonly nofree nosync nounwind willreturn }
attributes #3 = { nofree }
attributes #4 = { nofree nosync nounwind willreturn }
attributes #5 = { "safeseh" }
attributes #6 = { nounwind readnone }
attributes #7 = { nounwind }
attributes #8 = { noreturn }
!llvm.linker.options = !{!0, !1, !2}
!llvm.module.flags = !{!3, !4}
!llvm.ident = !{!5}
!0 = !{!"/DEFAULTLIB:libcmt.lib"}
!1 = !{!"/DEFAULTLIB:libmmt.lib"}
!2 = !{!"/DEFAULTLIB:oldnames.lib"}
!3 = !{i32 1, !"NumRegisterParameters", i32 0}
!4 = !{i32 1, !"wchar_size", i32 2}
!5 = !{!"Intel(R) oneAPI DPC++ Compiler Pro 2021.1 (YYYY.x.0.MMDD)"}
...
---
name: 'escape__YAXPAH@Z'
alignment: 16
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
failedISel: false
tracksRegLiveness: true
hasWinCFI: false
registers: []
liveins: []
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 0
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: false
hasCalls: false
stackProtector: ''
maxCallFrameSize: 4294967295
cvBytesOfCalleeSavedRegisters: 0
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
localFrameSize: 0
savePoint: ''
restorePoint: ''
fixedStack:
- { id: 0, type: default, offset: 0, size: 4, alignment: 4, stack-id: default,
isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
stack: []
callSites: []
debugValueSubstitutions: []
constants: []
machineFunctionInfo: {}
body: |
bb.0.entry:
RET 0
...
---
name: main
alignment: 16
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
failedISel: false
tracksRegLiveness: true
hasWinCFI: false
registers:
- { id: 0, class: gr32, preferred-register: '' }
- { id: 1, class: gr32, preferred-register: '' }
- { id: 2, class: gr32, preferred-register: '' }
- { id: 3, class: gr32, preferred-register: '' }
- { id: 4, class: gr32, preferred-register: '' }
- { id: 5, class: gr32, preferred-register: '' }
- { id: 6, class: gr32, preferred-register: '' }
- { id: 7, class: gr32, preferred-register: '' }
- { id: 8, class: gr32, preferred-register: '' }
- { id: 9, class: gr32, preferred-register: '' }
- { id: 10, class: gr32, preferred-register: '' }
liveins: []
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 0
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: false
hasCalls: true
stackProtector: ''
maxCallFrameSize: 4294967295
cvBytesOfCalleeSavedRegisters: 0
hasOpaqueSPAdjustment: true
hasVAStart: false
hasMustTailInVarArgFunc: false
localFrameSize: 0
savePoint: ''
restorePoint: ''
fixedStack: []
stack:
- { id: 0, name: zx, type: default, offset: 0, size: 16, alignment: 4,
stack-id: default, callee-saved-register: '', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 1, name: tmp.i.i, type: default, offset: 0, size: 4, alignment: 4,
stack-id: default, callee-saved-register: '', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 2, name: o.i, type: default, offset: 0, size: 4, alignment: 4,
stack-id: default, callee-saved-register: '', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 3, name: exp.i, type: default, offset: 0, size: 4, alignment: 4,
stack-id: default, callee-saved-register: '', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
callSites: []
debugValueSubstitutions: []
constants: []
machineFunctionInfo: {}
body: |
bb.0.entry:
successors: %bb.1(0x7ffff800), %bb.2(0x00000800)
%0:gr32 = COPY $esp
MOV32mr %stack.0.zx, 1, $noreg, 0, $noreg, %0 :: (store (s32) into %ir.3)
MOV32mi %stack.0.zx, 1, $noreg, 12, $noreg, -1 :: (store (s32) into %ir.4)
%1:gr32 = nuw LEA32r %stack.0.zx, 1, $noreg, 4, $noreg
MOV32mi %stack.0.zx, 1, $noreg, 8, $noreg, @"__ehhandler$main" :: (store (s32) into %ir.6)
%2:gr32 = MOV32rm $noreg, 1, $noreg, 0, $fs :: (load (s32) from `ptr addrspace(257) null`, addrspace 257)
MOV32mr %stack.0.zx, 1, $noreg, 4, $noreg, killed %2 :: (store (s32) into %ir.8)
MOV32mr $noreg, 1, $noreg, 0, $fs, killed %1 :: (store (s32) into `ptr addrspace(257) null`, addrspace 257)
MOV32mi %stack.2.o.i, 1, $noreg, 0, $noreg, 1 :: (store (s32) into %ir.i.i.i1)
MOV32mi %stack.1.tmp.i.i, 1, $noreg, 0, $noreg, 999 :: (store (s32) into %ir.tmp.i.i)
MOV32mi %stack.0.zx, 1, $noreg, 12, $noreg, 1 :: (store (s32) into %ir.12)
ADJCALLSTACKDOWN32 8, 0, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp
%3:gr32 = COPY $esp
%4:gr32 = LEA32r %stack.1.tmp.i.i, 1, $noreg, 0, $noreg
MOV32mr %3, 1, $noreg, 0, $noreg, killed %4 :: (store (s32) into stack)
MOV32mi %3, 1, $noreg, 4, $noreg, @_TI1H :: (store (s32) into stack + 4)
CALLpcrel32 @_CxxThrowException, csr_noregs, implicit $esp, implicit $ssp, implicit-def $esp, implicit-def $ssp
ADJCALLSTACKUP32 8, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp
JMP_1 %bb.1
bb.1..noexc.i:
successors:
bb.2.ehcleanup.i (landing-pad, ehfunclet-entry):
successors: %bb.3(0x80000000)
MOV32mi %stack.2.o.i, 1, $noreg, 0, $noreg, 9999 :: (store (s32) into %ir.14)
ADJCALLSTACKDOWN32 4, 0, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp
%5:gr32 = COPY $esp
%6:gr32 = LEA32r %stack.2.o.i, 1, $noreg, 0, $noreg
MOV32mr %5, 1, $noreg, 0, $noreg, killed %6 :: (store (s32) into stack)
CALLpcrel32 @"escape__YAXPAH@Z", csr_32, implicit $esp, implicit $ssp, implicit-def $esp, implicit-def $ssp
ADJCALLSTACKUP32 4, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp
CLEANUPRET
bb.3.catch.i (landing-pad, ehfunclet-entry):
successors: %bb.4(0x80000000)
%7:gr32 = MOV32rm %stack.3.exp.i, 1, $noreg, 0, $noreg :: (dereferenceable load (s32) from %ir.exp.i)
%8:gr32 = MOV32rm killed %7, 1, $noreg, 0, $noreg :: (load (s32) from %ir.18)
MOV32mr $noreg, 1, $noreg, @v__3HC, $noreg, killed %8 :: (volatile store release (s32) into @v__3HC)
CATCHRET %bb.4, %bb.0
bb.4.catch.i (landing-pad):
successors: %bb.5(0x80000000)
JMP_4 %bb.5
bb.5.func__YAXXZ.exit:
%9:gr32 = MOV32rm %stack.0.zx, 1, $noreg, 4, $noreg :: (dereferenceable load (s32) from %ir.22)
MOV32mr $noreg, 1, $noreg, 0, $fs, killed %9 :: (store (s32) into `ptr addrspace(257) null`, addrspace 257)
%10:gr32 = MOV32r0 implicit-def dead $eflags
$eax = COPY %10
RET 0, $eax
...
---
name: '__ehhandler$main'
alignment: 16
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
failedISel: false
tracksRegLiveness: true
hasWinCFI: false
registers:
- { id: 0, class: gr32, preferred-register: '' }
liveins: []
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 0
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: false
hasCalls: false
stackProtector: ''
maxCallFrameSize: 4294967295
cvBytesOfCalleeSavedRegisters: 0
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
localFrameSize: 0
savePoint: ''
restorePoint: ''
fixedStack:
- { id: 0, type: default, offset: 0, size: 4, alignment: 4, 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: default, offset: 4, size: 4, alignment: 4, stack-id: default,
isImmutable: false, isAliased: false, callee-saved-register: '',
callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
debug-info-location: '' }
- { id: 2, type: default, offset: 8, size: 4, alignment: 4, stack-id: default,
isImmutable: false, isAliased: false, callee-saved-register: '',
callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
debug-info-location: '' }
- { id: 3, type: default, offset: 12, size: 4, alignment: 4, stack-id: default,
isImmutable: false, isAliased: false, callee-saved-register: '',
callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
debug-info-location: '' }
stack: []
callSites: []
debugValueSubstitutions: []
constants: []
machineFunctionInfo: {}
body: |
bb.0.entry:
%0:gr32 = MOV32ri <mcsymbol L__ehtable$main>
$eax = COPY %0
TCRETURNdi @__CxxFrameHandler3, 0, csr_32, implicit $esp, implicit $ssp, implicit $eax
...
Codebase Browser
llvm