diff options
Diffstat (limited to 'llvm/test/CodeGen')
-rw-r--r-- | llvm/test/CodeGen/X86/catchpad-weight.ll | 85 | ||||
-rw-r--r-- | llvm/test/CodeGen/X86/seh-safe-div-win32.ll | 4 | ||||
-rw-r--r-- | llvm/test/CodeGen/X86/seh-safe-div.ll | 8 | ||||
-rw-r--r-- | llvm/test/CodeGen/X86/win-catchpad.ll | 6 |
4 files changed, 94 insertions, 9 deletions
diff --git a/llvm/test/CodeGen/X86/catchpad-weight.ll b/llvm/test/CodeGen/X86/catchpad-weight.ll new file mode 100644 index 00000000000..e646d36aa80 --- /dev/null +++ b/llvm/test/CodeGen/X86/catchpad-weight.ll @@ -0,0 +1,85 @@ +; RUN: llc -march=x86-64 -print-machineinstrs=expand-isel-pseudos %s -o /dev/null 2>&1 | FileCheck %s + +; Check if the edge weight to the catchpad is calculated correctly. + +; CHECK: Successors according to CFG: BB#3(1048575) BB#1(1) BB#4(1) BB#6(1) BB#8(1) + +target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64--windows-msvc18.0.0" + +%rtti.TypeDescriptor7 = type { i8**, i8*, [8 x i8] } +%struct.HasDtor = type { i8 } + +$"\01??_R0?AUA@@@8" = comdat any + +$"\01??_R0?AUB@@@8" = comdat any + +$"\01??_R0?AUC@@@8" = comdat any + +@"\01??_7type_info@@6B@" = external constant i8* +@"\01??_R0?AUA@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUA@@\00" }, comdat +@"\01??_R0?AUB@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUB@@\00" }, comdat +@"\01??_R0?AUC@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUC@@\00" }, comdat + +; Function Attrs: uwtable +define i32 @main() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) { +entry: + %o = alloca %struct.HasDtor, align 1 + %0 = getelementptr inbounds %struct.HasDtor, %struct.HasDtor* %o, i64 0, i32 0 + call void @llvm.lifetime.start(i64 1, i8* %0) #4 + invoke void @"\01?may_throw@@YAXXZ"() + to label %try.cont unwind label %catch.dispatch + +catch.dispatch: ; preds = %entry + %1 = catchpad [%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8", i32 0, i8* null] + to label %catch.5 unwind label %catch.dispatch.1 + +catch.5: ; preds = %catch.dispatch + catchret %1 to label %try.cont + +try.cont: ; preds = %entry, %catch, %catch.3, %catch.5 + call void @"\01??1HasDtor@@QEAA@XZ"(%struct.HasDtor* nonnull %o) #4 + call void @llvm.lifetime.end(i64 1, i8* %0) #4 + ret i32 0 + +catch.dispatch.1: ; preds = %catch.dispatch + %2 = catchpad [%rtti.TypeDescriptor7* @"\01??_R0?AUB@@@8", i32 0, i8* null] + to label %catch.3 unwind label %catch.dispatch.2 + +catch.3: ; preds = %catch.dispatch.1 + catchret %2 to label %try.cont + +catch.dispatch.2: ; preds = %catch.dispatch.1 + %3 = catchpad [%rtti.TypeDescriptor7* @"\01??_R0?AUC@@@8", i32 0, i8* null] + to label %catch unwind label %catchendblock + +catch: ; preds = %catch.dispatch.2 + catchret %3 to label %try.cont + +catchendblock: ; preds = %catch.dispatch.2 + catchendpad unwind label %ehcleanup + +ehcleanup: ; preds = %catchendblock + %4 = cleanuppad [] + call void @"\01??1HasDtor@@QEAA@XZ"(%struct.HasDtor* nonnull %o) #4 + cleanupret %4 unwind to caller +} + +; Function Attrs: nounwind argmemonly +declare void @llvm.lifetime.start(i64, i8* nocapture) #1 + +declare void @"\01?may_throw@@YAXXZ"() #2 + +declare i32 @__CxxFrameHandler3(...) + +; Function Attrs: nounwind +declare void @"\01??1HasDtor@@QEAA@XZ"(%struct.HasDtor*) #3 + +; Function Attrs: nounwind argmemonly +declare void @llvm.lifetime.end(i64, i8* nocapture) #1 + +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"="+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" } +attributes #1 = { nounwind argmemonly } +attributes #2 = { "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"="+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" } +attributes #3 = { nounwind "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"="+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" } +attributes #4 = { nounwind } diff --git a/llvm/test/CodeGen/X86/seh-safe-div-win32.ll b/llvm/test/CodeGen/X86/seh-safe-div-win32.ll index d17f2217ca2..7f83b0c6466 100644 --- a/llvm/test/CodeGen/X86/seh-safe-div-win32.ll +++ b/llvm/test/CodeGen/X86/seh-safe-div-win32.ll @@ -71,13 +71,13 @@ __try.cont: ; Landing pad code -; CHECK: [[lpad1:LBB0_[0-9]+]]: # %lpad1 +; CHECK: [[lpad0:LBB0_[0-9]+]]: # %lpad0 ; Restore SP ; CHECK: movl {{.*}}(%ebp), %esp ; CHECK: calll _puts ; CHECK: jmp [[cont_bb]] -; CHECK: [[lpad0:LBB0_[0-9]+]]: # %lpad0 +; CHECK: [[lpad1:LBB0_[0-9]+]]: # %lpad1 ; Restore SP ; CHECK: movl {{.*}}(%ebp), %esp ; CHECK: calll _puts diff --git a/llvm/test/CodeGen/X86/seh-safe-div.ll b/llvm/test/CodeGen/X86/seh-safe-div.ll index 809d261b7d7..1c7318b5614 100644 --- a/llvm/test/CodeGen/X86/seh-safe-div.ll +++ b/llvm/test/CodeGen/X86/seh-safe-div.ll @@ -73,14 +73,14 @@ __try.cont: ; Landing pad code -; CHECK: [[lpad1:\.LBB0_[0-9]+]]: # %lpad1 +; CHECK: [[lpad0:\.LBB0_[0-9]+]]: # %lpad0 ; CHECK: callq puts -; CHECK: movl $-2, [[rloc]] +; CHECK: movl $-1, [[rloc]] ; CHECK: jmp [[cont_bb]] -; CHECK: [[lpad0:\.LBB0_[0-9]+]]: # %lpad0 +; CHECK: [[lpad1:\.LBB0_[0-9]+]]: # %lpad1 ; CHECK: callq puts -; CHECK: movl $-1, [[rloc]] +; CHECK: movl $-2, [[rloc]] ; CHECK: jmp [[cont_bb]] ; CHECK: .seh_handlerdata diff --git a/llvm/test/CodeGen/X86/win-catchpad.ll b/llvm/test/CodeGen/X86/win-catchpad.ll index 78a8fcfc8f4..7761839b7a8 100644 --- a/llvm/test/CodeGen/X86/win-catchpad.ll +++ b/llvm/test/CodeGen/X86/win-catchpad.ll @@ -74,13 +74,13 @@ catchendblock: ; preds = %catch, %catch.2, %c ; X86: [[contbb:LBB0_[0-9]+]]: # %try.cont ; X86: retl -; FIXME: These should be de-duplicated. -; X86: [[restorebb2:LBB0_[0-9]+]]: # %invoke.cont.3 +; X86: [[restorebb1:LBB0_[0-9]+]]: # %invoke.cont.2 ; X86: movl -16(%ebp), %esp ; X86: addl $12, %ebp ; X86: jmp [[contbb]] -; X86: [[restorebb1:LBB0_[0-9]+]]: # %invoke.cont.2 +; FIXME: These should be de-duplicated. +; X86: [[restorebb2:LBB0_[0-9]+]]: # %invoke.cont.3 ; X86: movl -16(%ebp), %esp ; X86: addl $12, %ebp ; X86: jmp [[contbb]] |