1 ; RUN: opt < %s -inline -argpromotion -instcombine -disable-output 2 3 ; This test was failing because the inliner would inline @list_DeleteElement 4 ; into @list_DeleteDuplicates and then into @inf_GetBackwardPartnerLits, 5 ; turning the indirect call into a direct one. This allowed instcombine to see 6 ; the bitcast and eliminate it, deleting the original call and introducing 7 ; another one. This crashed the inliner because the new call was not in the 8 ; callgraph. 9 10 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" 11 target triple = "i386-apple-darwin10.0" 12 13 14 define void @list_DeleteElement(i32 (i8*, i8*)* nocapture %Test) nounwind ssp { 15 entry: 16 %0 = call i32 %Test(i8* null, i8* undef) nounwind 17 ret void 18 } 19 20 21 define void @list_DeleteDuplicates(i32 (i8*, i8*)* nocapture %Test) nounwind ssp { 22 foo: 23 call void @list_DeleteElement(i32 (i8*, i8*)* %Test) nounwind ssp 24 call fastcc void @list_Rplacd1284() nounwind ssp 25 unreachable 26 27 } 28 29 define internal i32 @inf_LiteralsHaveSameSubtermAndAreFromSameClause(i32* nocapture %L1, i32* nocapture %L2) nounwind readonly ssp { 30 entry: 31 unreachable 32 } 33 34 35 define internal fastcc void @inf_GetBackwardPartnerLits(i32* nocapture %Flags) nounwind ssp { 36 test: 37 call void @list_DeleteDuplicates(i32 (i8*, i8*)* bitcast (i32 (i32*, i32*)* @inf_LiteralsHaveSameSubtermAndAreFromSameClause to i32 (i8*, i8*)*)) nounwind 38 ret void 39 } 40 41 42 define void @inf_BackwardEmptySortPlusPlus() nounwind ssp { 43 entry: 44 call fastcc void @inf_GetBackwardPartnerLits(i32* null) nounwind ssp 45 unreachable 46 } 47 48 define void @inf_BackwardWeakening() nounwind ssp { 49 entry: 50 call fastcc void @inf_GetBackwardPartnerLits(i32* null) nounwind ssp 51 unreachable 52 } 53 54 declare fastcc void @list_Rplacd1284() nounwind ssp 55 56 57 58 59 ;============================ 60 ; PR5208 61 62 define void @AAA() personality i32 (...)* @__gxx_personality_v0 { 63 entry: 64 %A = alloca i8, i32 undef, align 1 65 invoke fastcc void @XXX() 66 to label %invcont98 unwind label %lpad156 67 68 invcont98: 69 unreachable 70 71 lpad156: 72 %exn = landingpad {i8*, i32} 73 cleanup 74 unreachable 75 } 76 77 declare i32 @__gxx_personality_v0(...) 78 79 declare fastcc void @YYY() 80 81 define internal fastcc void @XXX() personality i32 (...)* @__gxx_personality_v0 { 82 entry: 83 %B = alloca i8, i32 undef, align 1 84 invoke fastcc void @YYY() 85 to label %bb260 unwind label %lpad 86 87 bb260: 88 ret void 89 90 lpad: 91 %exn = landingpad {i8*, i32} 92 cleanup 93 resume { i8*, i32 } %exn 94 } 95 96 97 98 ;; This exposed a crash handling devirtualized calls. 99 define void @f1(void ()* %f) ssp { 100 entry: 101 call void %f() 102 ret void 103 } 104 105 define void @f4(i32 %size) ssp personality i32 (...)* @__gxx_personality_v0 { 106 entry: 107 invoke void @f1(void ()* @f3) 108 to label %invcont3 unwind label %lpad18 109 110 invcont3: ; preds = %bb1 111 ret void 112 113 lpad18: ; preds = %invcont3, %bb1 114 %exn = landingpad {i8*, i32} 115 cleanup 116 unreachable 117 } 118 119 define void @f3() ssp { 120 entry: 121 unreachable 122 } 123 124 declare void @f5() ssp 125 126 127 128