|
| 1 | +; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | + |
| 3 | +; PR45033: Don't try to insert a cast into a catchswich block. |
| 4 | + |
| 5 | +target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| 6 | +target triple = "x86_64-pc-windows-msvc" |
| 7 | + |
| 8 | +%struct.intrusive_ptr = type { %struct.C* } |
| 9 | +%struct.C = type { %struct.intrusive_ref_counter } |
| 10 | +%struct.intrusive_ref_counter = type { i32 } |
| 11 | + |
| 12 | +declare dso_local %struct.C* @"?mk@@YAPEAUC@@XZ"() #3 |
| 13 | +declare dso_local void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter*) #3 |
| 14 | +declare dso_local void @"?terminate@@YAXXZ"() |
| 15 | +declare dso_local i32 @__CxxFrameHandler3(...) |
| 16 | + |
| 17 | +define dso_local void @"?crash@@YAXXZ"() local_unnamed_addr #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) { |
| 18 | +entry: |
| 19 | + %call1 = invoke %struct.C* @"?mk@@YAPEAUC@@XZ"() |
| 20 | + to label %invoke.cont2 unwind label %catch.dispatch |
| 21 | + |
| 22 | +invoke.cont2: ; preds = %entry |
| 23 | + %0 = ptrtoint %struct.C* %call1 to i64 |
| 24 | + %call5 = invoke %struct.C* @"?mk@@YAPEAUC@@XZ"() |
| 25 | + to label %try.cont unwind label %catch.dispatch |
| 26 | + |
| 27 | +catch.dispatch: ; preds = %invoke.cont2, %entry |
| 28 | + %a.sroa.0.0 = phi i64 [ %0, %invoke.cont2 ], [ 0, %entry ] |
| 29 | + %1 = catchswitch within none [label %catch] unwind label %ehcleanup |
| 30 | + |
| 31 | +catch: ; preds = %catch.dispatch |
| 32 | + %2 = catchpad within %1 [i8* null, i32 64, i8* null] |
| 33 | + catchret from %2 to label %try.cont |
| 34 | + |
| 35 | +try.cont: ; preds = %invoke.cont2, %catch |
| 36 | + %a.sroa.0.1 = phi i64 [ %0, %invoke.cont2 ], [ %a.sroa.0.0, %catch ] |
| 37 | + %3 = inttoptr i64 %a.sroa.0.1 to %struct.C* |
| 38 | + %tobool.i3 = icmp eq %struct.C* %3, null |
| 39 | + br i1 %tobool.i3, label % "??1?$intrusive_ptr@UC@@@@[email protected]", label %if.then.i4 |
| 40 | + |
| 41 | +if.then.i4: ; preds = %try.cont |
| 42 | + %4 = getelementptr %struct.C, %struct.C* %3, i64 0, i32 0 |
| 43 | + invoke void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter* %4) |
| 44 | + to label % "??1?$intrusive_ptr@UC@@@@[email protected]" unwind label %terminate.i5 |
| 45 | + |
| 46 | +terminate.i5: ; preds = %if.then.i4 |
| 47 | + %5 = cleanuppad within none [] |
| 48 | + call void @"?terminate@@YAXXZ"() #4 [ "funclet"(token %5) ] |
| 49 | + unreachable |
| 50 | + |
| 51 | +"??1?$intrusive_ptr@UC@@@@[email protected]": ; preds = %try.cont, %if.then.i4 |
| 52 | + ret void |
| 53 | + |
| 54 | +ehcleanup: ; preds = %catch.dispatch |
| 55 | + %6 = cleanuppad within none [] |
| 56 | + %7 = inttoptr i64 %a.sroa.0.0 to %struct.C* |
| 57 | + %tobool.i = icmp eq %struct.C* %7, null |
| 58 | + br i1 %tobool.i, label % "??1?$intrusive_ptr@UC@@@@[email protected]", label %if.then.i |
| 59 | + |
| 60 | +if.then.i: ; preds = %ehcleanup |
| 61 | + %8 = getelementptr %struct.C, %struct.C* %7, i64 0, i32 0 |
| 62 | + invoke void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter* %8) [ "funclet"(token %6) ] |
| 63 | + to label % "??1?$intrusive_ptr@UC@@@@[email protected]" unwind label %terminate.i |
| 64 | + |
| 65 | +terminate.i: ; preds = %if.then.i |
| 66 | + %9 = cleanuppad within %6 [] |
| 67 | + call void @"?terminate@@YAXXZ"() #4 [ "funclet"(token %9) ] |
| 68 | + unreachable |
| 69 | + |
| 70 | +"??1?$intrusive_ptr@UC@@@@[email protected]": ; preds = %ehcleanup, %if.then.i |
| 71 | + cleanupret from %6 unwind to caller |
| 72 | +} |
| 73 | + |
| 74 | +; CHECK-LABEL: define dso_local void @"?crash@@YAXXZ" |
| 75 | +; CHECK: catch.dispatch: |
| 76 | +; CHECK-NEXT: %a.sroa.0.0 = phi i64 |
| 77 | +; CHECK-NEXT: catchswitch within none [label %catch] unwind label %ehcleanup |
0 commit comments