1; RUN: opt < %s  -passes=instcombine -S | FileCheck %s
2
3; PR45033: Don't try to insert a cast into a catchswich block.
4
5target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
6target 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
12declare dso_local %struct.C* @"?mk@@YAPEAUC@@XZ"() #3
13declare dso_local void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter*) #3
14declare dso_local void @"?terminate@@YAXXZ"()
15declare dso_local i32 @__CxxFrameHandler3(...)
16
17define dso_local void @"?crash@@YAXXZ"() local_unnamed_addr #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
18entry:
19  %call1 = invoke %struct.C* @"?mk@@YAPEAUC@@XZ"()
20          to label %invoke.cont2 unwind label %catch.dispatch
21
22invoke.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
27catch.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
31catch:                                            ; preds = %catch.dispatch
32  %2 = catchpad within %1 [i8* null, i32 64, i8* null]
33  catchret from %2 to label %try.cont
34
35try.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
41if.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
46terminate.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
54ehcleanup:                                        ; 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
60if.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
65terminate.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
78