1 ; RUN: llc < %s -disable-fp-elim 2 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-n8:16:32-S128" 3 target triple = "i386-apple-macosx10.7" 4 5 ; This test case has a landing pad with two predecessors, and a variable that 6 ; is undef on the first edge while carrying the first function return value on 7 ; the second edge. 8 ; 9 ; Live range splitting tries to isolate the block containing the first function 10 ; call, and it is important that the last split point is after the function call 11 ; so the return value can spill. 12 ; 13 ; <rdar://problem/10664933> 14 15 @Exception = external unnamed_addr constant { i8*, i8* } 16 17 declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) nounwind 18 19 define void @f(i32* nocapture %arg, i32* nocapture %arg1, i32* nocapture %arg2, i32* nocapture %arg3, i32 %arg4, i32 %arg5) optsize ssp { 20 bb: 21 br i1 undef, label %bb6, label %bb7 22 23 bb6: ; preds = %bb 24 %tmp = select i1 false, i32 0, i32 undef 25 br label %bb7 26 27 bb7: ; preds = %bb6, %bb 28 %tmp8 = phi i32 [ %tmp, %bb6 ], [ 0, %bb ] 29 %tmp9 = shl i32 %tmp8, 2 30 %tmp10 = invoke noalias i8* @_Znam(i32 undef) optsize 31 to label %bb11 unwind label %bb20 32 33 bb11: ; preds = %bb7 34 %tmp12 = ptrtoint i8* %tmp10 to i32 35 %tmp13 = bitcast i8* %tmp10 to i32* 36 %tmp14 = shl i32 %tmp8, 2 37 %tmp15 = getelementptr i32, i32* %tmp13, i32 undef 38 %tmp16 = getelementptr i32, i32* %tmp13, i32 undef 39 %tmp17 = zext i32 %tmp9 to i64 40 %tmp18 = add i64 %tmp17, -1 41 %tmp19 = icmp ugt i64 %tmp18, 4294967295 42 br i1 %tmp19, label %bb29, label %bb31 43 44 bb20: ; preds = %bb43, %bb41, %bb29, %bb7 45 %tmp21 = phi i32 [ undef, %bb7 ], [ %tmp12, %bb43 ], [ %tmp12, %bb29 ], [ %tmp12, %bb41 ] 46 %tmp22 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 47 catch i8* bitcast ({ i8*, i8* }* @Exception to i8*) 48 br i1 undef, label %bb23, label %bb69 49 50 bb23: ; preds = %bb38, %bb20 51 %tmp24 = phi i32 [ %tmp12, %bb38 ], [ %tmp21, %bb20 ] 52 %tmp25 = icmp eq i32 %tmp24, 0 53 br i1 %tmp25, label %bb28, label %bb26 54 55 bb26: ; preds = %bb23 56 %tmp27 = inttoptr i32 %tmp24 to i8* 57 br label %bb28 58 59 bb28: ; preds = %bb26, %bb23 60 ret void 61 62 bb29: ; preds = %bb11 63 invoke void @OnOverFlow() optsize 64 to label %bb30 unwind label %bb20 65 66 bb30: ; preds = %bb29 67 unreachable 68 69 bb31: ; preds = %bb11 70 %tmp32 = bitcast i32* %tmp15 to i8* 71 %tmp33 = zext i32 %tmp8 to i64 72 %tmp34 = add i64 %tmp33, -1 73 %tmp35 = icmp ugt i64 %tmp34, 4294967295 74 %tmp36 = icmp sgt i32 %tmp8, 0 75 %tmp37 = add i32 %tmp9, -4 76 br label %bb38 77 78 bb38: ; preds = %bb67, %bb31 79 %tmp39 = phi i32 [ %tmp68, %bb67 ], [ undef, %bb31 ] 80 %tmp40 = icmp sgt i32 %tmp39, undef 81 br i1 %tmp40, label %bb41, label %bb23 82 83 bb41: ; preds = %bb38 84 invoke void @Pjii(i32* %tmp16, i32 0, i32 %tmp8) optsize 85 to label %bb42 unwind label %bb20 86 87 bb42: ; preds = %bb41 88 tail call void @llvm.memset.p0i8.i32(i8* %tmp32, i8 0, i32 %tmp9, i32 1, i1 false) nounwind 89 br i1 %tmp35, label %bb43, label %bb45 90 91 bb43: ; preds = %bb42 92 invoke void @OnOverFlow() optsize 93 to label %bb44 unwind label %bb20 94 95 bb44: ; preds = %bb43 96 unreachable 97 98 bb45: ; preds = %bb57, %bb42 99 %tmp46 = phi i32 [ %tmp58, %bb57 ], [ 255, %bb42 ] 100 %tmp47 = icmp slt i32 undef, 0 101 br i1 %tmp47, label %bb48, label %bb59 102 103 bb48: ; preds = %bb45 104 tail call void @llvm.memset.p0i8.i32(i8* %tmp32, i8 0, i32 %tmp9, i32 1, i1 false) nounwind 105 br i1 %tmp36, label %bb49, label %bb57 106 107 bb49: ; preds = %bb49, %bb48 108 %tmp50 = phi i32 [ %tmp55, %bb49 ], [ 0, %bb48 ] 109 %tmp51 = add i32 %tmp50, undef 110 %tmp52 = add i32 %tmp50, undef 111 %tmp53 = getelementptr i32, i32* %tmp13, i32 %tmp52 112 %tmp54 = load i32, i32* %tmp53, align 4 113 %tmp55 = add i32 %tmp50, 1 114 %tmp56 = icmp eq i32 %tmp55, %tmp8 115 br i1 %tmp56, label %bb57, label %bb49 116 117 bb57: ; preds = %bb49, %bb48 118 %tmp58 = add i32 %tmp46, -1 119 br label %bb45 120 121 bb59: ; preds = %bb45 122 %tmp60 = ashr i32 %tmp46, 31 123 tail call void @llvm.memset.p0i8.i32(i8* null, i8 0, i32 %tmp37, i32 1, i1 false) nounwind 124 br i1 %tmp36, label %bb61, label %bb67 125 126 bb61: ; preds = %bb61, %bb59 127 %tmp62 = phi i32 [ %tmp65, %bb61 ], [ 0, %bb59 ] 128 %tmp63 = add i32 %tmp62, %tmp14 129 %tmp64 = getelementptr i32, i32* %tmp13, i32 %tmp63 130 store i32 0, i32* %tmp64, align 4 131 %tmp65 = add i32 %tmp62, 1 132 %tmp66 = icmp eq i32 %tmp65, %tmp8 133 br i1 %tmp66, label %bb67, label %bb61 134 135 bb67: ; preds = %bb61, %bb59 136 %tmp68 = add i32 %tmp39, -1 137 br label %bb38 138 139 bb69: ; preds = %bb20 140 resume { i8*, i32 } %tmp22 141 } 142 143 declare i32 @__gxx_personality_v0(...) 144 145 declare noalias i8* @_Znam(i32) optsize 146 147 declare void @Pjii(i32*, i32, i32) optsize 148 149 declare i32 @llvm.eh.typeid.for(i8*) nounwind readnone 150 151 declare void @OnOverFlow() noreturn optsize ssp align 2 152
