46 lines · plain
1; RUN: opt -mtriple=i386-pc-windows-msvc -S -x86-winehstate < %s | FileCheck %s2 3target datalayout = "e-m:x-p:32:32-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32-a:0:32-S32"4target triple = "i386-pc-windows-msvc19.42.34433"5 6%struct.Destructor = type { ptr }7 8define dso_local void @"?HandleDestructorCallWithException@@YAXPA_N@Z"(ptr noundef %destructorCalled) personality ptr @__CxxFrameHandler3 {9entry:10 %destructorCalled.addr = alloca ptr, align 411 %x = alloca %struct.Destructor, align 412 store ptr %destructorCalled, ptr %destructorCalled.addr, align 413 %0 = load ptr, ptr %destructorCalled.addr, align 414 %call = call x86_thiscallcc noundef ptr @"??0Destructor@@QAE@PA_N@Z"(ptr noundef nonnull align 4 dereferenceable(4) %x, ptr noundef %0)15 ; CHECK: store i32 0, ptr %9, align 416 ; CHECK-NEXT: invoke void @llvm.seh.scope.begin()17 invoke void @llvm.seh.scope.begin()18 to label %invoke.cont unwind label %ehcleanup19 20invoke.cont:21 store i32 1, ptr inttoptr (i32 1 to ptr), align 422 ; CHECK: store i32 -1, ptr %10, align 423 ; CHECK-NEXT: invoke void @llvm.seh.scope.end()24 invoke void @llvm.seh.scope.end()25 to label %invoke.cont1 unwind label %ehcleanup26 27invoke.cont1:28 call x86_thiscallcc void @"??1Destructor@@QAE@XZ"(ptr noundef nonnull align 4 dereferenceable(4) %x) #129 ret void30 31ehcleanup:32 %1 = cleanuppad within none []33 call x86_thiscallcc void @"??1Destructor@@QAE@XZ"(ptr noundef nonnull align 4 dereferenceable(4) %x) #1 [ "funclet"(token %1) ]34 cleanupret from %1 unwind to caller35}36 37declare dso_local i32 @__CxxFrameHandler3(...)38declare dso_local void @llvm.seh.scope.begin() #039declare dso_local void @llvm.seh.scope.end() #040 41declare dso_local x86_thiscallcc noundef ptr @"??0Destructor@@QAE@PA_N@Z"(ptr noundef nonnull returned align 4 dereferenceable(4) %this, ptr noundef %destructorCalled)42declare dso_local x86_thiscallcc void @"??1Destructor@@QAE@XZ"(ptr noundef nonnull align 4 dereferenceable(4) %this) #143 44attributes #0 = { nounwind memory(none) }45attributes #1 = { nounwind }46