287 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 22; RUN: llc -simplifycfg-require-and-preserve-domtree=1 < %s -frame-pointer=all -verify-machineinstrs | FileCheck %s3 4target 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"5target triple = "i386-apple-macosx10.7"6 7; This test case has a landing pad with two predecessors, and a variable that8; is undef on the first edge while carrying the first function return value on9; the second edge.10;11; Live range splitting tries to isolate the block containing the first function12; call, and it is important that the last split point is after the function call13; so the return value can spill.14;15; <rdar://problem/10664933>16 17@Exception = external unnamed_addr constant { ptr, ptr }18 19declare void @llvm.memset.p0.i32(ptr nocapture, i8, i32, i1) nounwind20 21define void @f(ptr nocapture %arg, ptr nocapture %arg1, ptr nocapture %arg2, ptr nocapture %arg3, i32 %arg4, i32 %arg5) optsize ssp personality ptr @__gxx_personality_v0 {22; CHECK-LABEL: f:23; CHECK: ## %bb.0: ## %bb24; CHECK-NEXT: pushl %ebp25; CHECK-NEXT: .cfi_def_cfa_offset 826; CHECK-NEXT: .cfi_offset %ebp, -827; CHECK-NEXT: movl %esp, %ebp28; CHECK-NEXT: .cfi_def_cfa_register %ebp29; CHECK-NEXT: pushl %ebx30; CHECK-NEXT: pushl %edi31; CHECK-NEXT: pushl %esi32; CHECK-NEXT: subl $28, %esp33; CHECK-NEXT: .cfi_offset %esi, -2034; CHECK-NEXT: .cfi_offset %edi, -1635; CHECK-NEXT: .cfi_offset %ebx, -1236; CHECK-NEXT: xorl %eax, %eax37; CHECK-NEXT: xorl %edi, %edi38; CHECK-NEXT: testb %al, %al39; CHECK-NEXT: Ltmp0: ## EH_LABEL40; CHECK-NEXT: ## implicit-def: $ebx41; CHECK-NEXT: calll __Znam42; CHECK-NEXT: Ltmp1: ## EH_LABEL43; CHECK-NEXT: ## %bb.1: ## %bb1144; CHECK-NEXT: movl %eax, %esi45; CHECK-NEXT: movb $1, %al46; CHECK-NEXT: testb %al, %al47; CHECK-NEXT: jne LBB0_248; CHECK-NEXT: ## %bb.7: ## %bb3149; CHECK-NEXT: ## implicit-def: $eax50; CHECK-NEXT: ## kill: killed $eax51; CHECK-NEXT: LBB0_8: ## %bb3852; CHECK-NEXT: ## =>This Loop Header: Depth=153; CHECK-NEXT: ## Child Loop BB0_13 Depth 254; CHECK-NEXT: ## Child Loop BB0_16 Depth 355; CHECK-NEXT: ## Child Loop BB0_21 Depth 256; CHECK-NEXT: movb $1, %al57; CHECK-NEXT: testb %al, %al58; CHECK-NEXT: jne LBB0_959; CHECK-NEXT: ## %bb.10: ## %bb4160; CHECK-NEXT: ## in Loop: Header=BB0_8 Depth=161; CHECK-NEXT: Ltmp2: ## EH_LABEL62; CHECK-NEXT: xorl %eax, %eax63; CHECK-NEXT: movl %eax, {{[0-9]+}}(%esp)64; CHECK-NEXT: movl %eax, {{[0-9]+}}(%esp)65; CHECK-NEXT: movl %esi, (%esp)66; CHECK-NEXT: calll _Pjii67; CHECK-NEXT: Ltmp3: ## EH_LABEL68; CHECK-NEXT: ## %bb.11: ## %bb4269; CHECK-NEXT: ## in Loop: Header=BB0_8 Depth=170; CHECK-NEXT: xorl %eax, %eax71; CHECK-NEXT: decl %eax72; CHECK-NEXT: testl %eax, %eax73; CHECK-NEXT: jne LBB0_1874; CHECK-NEXT: ## %bb.12: ## %bb45.preheader75; CHECK-NEXT: ## in Loop: Header=BB0_8 Depth=176; CHECK-NEXT: movl $255, %eax77; CHECK-NEXT: LBB0_13: ## %bb4578; CHECK-NEXT: ## Parent Loop BB0_8 Depth=179; CHECK-NEXT: ## => This Loop Header: Depth=280; CHECK-NEXT: ## Child Loop BB0_16 Depth 381; CHECK-NEXT: movb $1, %cl82; CHECK-NEXT: testb %cl, %cl83; CHECK-NEXT: jne LBB0_1984; CHECK-NEXT: ## %bb.14: ## %bb4885; CHECK-NEXT: ## in Loop: Header=BB0_13 Depth=286; CHECK-NEXT: jne LBB0_1787; CHECK-NEXT: ## %bb.15: ## %bb49.preheader88; CHECK-NEXT: ## in Loop: Header=BB0_13 Depth=289; CHECK-NEXT: xorl %ecx, %ecx90; CHECK-NEXT: movl %esi, %edx91; CHECK-NEXT: movl %edi, %ebx92; CHECK-NEXT: LBB0_16: ## %bb4993; CHECK-NEXT: ## Parent Loop BB0_8 Depth=194; CHECK-NEXT: ## Parent Loop BB0_13 Depth=295; CHECK-NEXT: ## => This Inner Loop Header: Depth=396; CHECK-NEXT: incl %ecx97; CHECK-NEXT: addl $4, %edx98; CHECK-NEXT: decl %ebx99; CHECK-NEXT: jne LBB0_16100; CHECK-NEXT: LBB0_17: ## %bb57101; CHECK-NEXT: ## in Loop: Header=BB0_13 Depth=2102; CHECK-NEXT: decl %eax103; CHECK-NEXT: jmp LBB0_13104; CHECK-NEXT: LBB0_19: ## %bb59105; CHECK-NEXT: ## in Loop: Header=BB0_8 Depth=1106; CHECK-NEXT: movl $-4, %eax107; CHECK-NEXT: movl %eax, {{[0-9]+}}(%esp)108; CHECK-NEXT: movl $0, (%esp)109; CHECK-NEXT: calll ___bzero110; CHECK-NEXT: movb $1, %al111; CHECK-NEXT: testb %al, %al112; CHECK-NEXT: jne LBB0_22113; CHECK-NEXT: ## %bb.20: ## %bb61.preheader114; CHECK-NEXT: ## in Loop: Header=BB0_8 Depth=1115; CHECK-NEXT: movl %esi, %eax116; CHECK-NEXT: movl %edi, %ecx117; CHECK-NEXT: LBB0_21: ## %bb61118; CHECK-NEXT: ## Parent Loop BB0_8 Depth=1119; CHECK-NEXT: ## => This Inner Loop Header: Depth=2120; CHECK-NEXT: movl $0, (%eax)121; CHECK-NEXT: addl $4, %eax122; CHECK-NEXT: decl %ecx123; CHECK-NEXT: jne LBB0_21124; CHECK-NEXT: LBB0_22: ## %bb67125; CHECK-NEXT: ## in Loop: Header=BB0_8 Depth=1126; CHECK-NEXT: decl {{[-0-9]+}}(%e{{[sb]}}p) ## 4-byte Folded Spill127; CHECK-NEXT: jmp LBB0_8128; CHECK-NEXT: LBB0_18: ## %bb43129; CHECK-NEXT: Ltmp5: ## EH_LABEL130; CHECK-NEXT: movl %esi, %ebx131; CHECK-NEXT: calll _OnOverFlow132; CHECK-NEXT: Ltmp6: ## EH_LABEL133; CHECK-NEXT: jmp LBB0_3134; CHECK-NEXT: LBB0_2: ## %bb29135; CHECK-NEXT: Ltmp7: ## EH_LABEL136; CHECK-NEXT: movl %esi, %ebx137; CHECK-NEXT: calll _OnOverFlow138; CHECK-NEXT: Ltmp8: ## EH_LABEL139; CHECK-NEXT: LBB0_3: ## %bb30140; CHECK-NEXT: ud2141; CHECK-NEXT: LBB0_4: ## %bb20.loopexit142; CHECK-NEXT: Ltmp4: ## EH_LABEL143; CHECK-NEXT: LBB0_9:144; CHECK-NEXT: movl %esi, %ebx145; CHECK-NEXT: LBB0_6: ## %bb23146; CHECK-NEXT: testl %ebx, %ebx147; CHECK-NEXT: addl $28, %esp148; CHECK-NEXT: popl %esi149; CHECK-NEXT: popl %edi150; CHECK-NEXT: popl %ebx151; CHECK-NEXT: popl %ebp152; CHECK-NEXT: retl153; CHECK-NEXT: LBB0_5: ## %bb20.loopexit.split-lp154; CHECK-NEXT: Ltmp9: ## EH_LABEL155; CHECK-NEXT: jmp LBB0_6156; CHECK-NEXT: Lfunc_end0:157bb:158 br i1 undef, label %bb6, label %bb7159 160bb6: ; preds = %bb161 %tmp = select i1 false, i32 0, i32 undef162 br label %bb7163 164bb7: ; preds = %bb6, %bb165 %tmp8 = phi i32 [ %tmp, %bb6 ], [ 0, %bb ]166 %tmp9 = shl i32 %tmp8, 2167 %tmp10 = invoke noalias ptr @_Znam(i32 undef) optsize168 to label %bb11 unwind label %bb20169 170bb11: ; preds = %bb7171 %tmp12 = ptrtoint ptr %tmp10 to i32172 %tmp14 = shl i32 %tmp8, 2173 %tmp15 = getelementptr i32, ptr %tmp10, i32 undef174 %tmp16 = getelementptr i32, ptr %tmp10, i32 undef175 %tmp17 = zext i32 %tmp9 to i64176 %tmp18 = add i64 %tmp17, -1177 %tmp19 = icmp ugt i64 %tmp18, 4294967295178 br i1 %tmp19, label %bb29, label %bb31179 180bb20: ; preds = %bb43, %bb41, %bb29, %bb7181 %tmp21 = phi i32 [ undef, %bb7 ], [ %tmp12, %bb43 ], [ %tmp12, %bb29 ], [ %tmp12, %bb41 ]182 %tmp22 = landingpad { ptr, i32 }183 catch ptr @Exception184 br i1 undef, label %bb23, label %bb69185 186bb23: ; preds = %bb38, %bb20187 %tmp24 = phi i32 [ %tmp12, %bb38 ], [ %tmp21, %bb20 ]188 %tmp25 = icmp eq i32 %tmp24, 0189 br i1 %tmp25, label %bb28, label %bb26190 191bb26: ; preds = %bb23192 %tmp27 = inttoptr i32 %tmp24 to ptr193 br label %bb28194 195bb28: ; preds = %bb26, %bb23196 ret void197 198bb29: ; preds = %bb11199 invoke void @OnOverFlow() optsize200 to label %bb30 unwind label %bb20201 202bb30: ; preds = %bb29203 unreachable204 205bb31: ; preds = %bb11206 %tmp33 = zext i32 %tmp8 to i64207 %tmp34 = add i64 %tmp33, -1208 %tmp35 = icmp ugt i64 %tmp34, 4294967295209 %tmp36 = icmp sgt i32 %tmp8, 0210 %tmp37 = add i32 %tmp9, -4211 br label %bb38212 213bb38: ; preds = %bb67, %bb31214 %tmp39 = phi i32 [ %tmp68, %bb67 ], [ undef, %bb31 ]215 %tmp40 = icmp sgt i32 %tmp39, undef216 br i1 %tmp40, label %bb41, label %bb23217 218bb41: ; preds = %bb38219 invoke void @Pjii(ptr %tmp16, i32 0, i32 %tmp8) optsize220 to label %bb42 unwind label %bb20221 222bb42: ; preds = %bb41223 tail call void @llvm.memset.p0.i32(ptr %tmp15, i8 0, i32 %tmp9, i1 false) nounwind224 br i1 %tmp35, label %bb43, label %bb45225 226bb43: ; preds = %bb42227 invoke void @OnOverFlow() optsize228 to label %bb44 unwind label %bb20229 230bb44: ; preds = %bb43231 unreachable232 233bb45: ; preds = %bb57, %bb42234 %tmp46 = phi i32 [ %tmp58, %bb57 ], [ 255, %bb42 ]235 %tmp47 = icmp slt i32 undef, 0236 br i1 %tmp47, label %bb48, label %bb59237 238bb48: ; preds = %bb45239 tail call void @llvm.memset.p0.i32(ptr %tmp15, i8 0, i32 %tmp9, i1 false) nounwind240 br i1 %tmp36, label %bb49, label %bb57241 242bb49: ; preds = %bb49, %bb48243 %tmp50 = phi i32 [ %tmp55, %bb49 ], [ 0, %bb48 ]244 %tmp51 = add i32 %tmp50, undef245 %tmp52 = add i32 %tmp50, undef246 %tmp53 = getelementptr i32, ptr %tmp10, i32 %tmp52247 %tmp54 = load i32, ptr %tmp53, align 4248 %tmp55 = add i32 %tmp50, 1249 %tmp56 = icmp eq i32 %tmp55, %tmp8250 br i1 %tmp56, label %bb57, label %bb49251 252bb57: ; preds = %bb49, %bb48253 %tmp58 = add i32 %tmp46, -1254 br label %bb45255 256bb59: ; preds = %bb45257 %tmp60 = ashr i32 %tmp46, 31258 tail call void @llvm.memset.p0.i32(ptr null, i8 0, i32 %tmp37, i1 false) nounwind259 br i1 %tmp36, label %bb61, label %bb67260 261bb61: ; preds = %bb61, %bb59262 %tmp62 = phi i32 [ %tmp65, %bb61 ], [ 0, %bb59 ]263 %tmp63 = add i32 %tmp62, %tmp14264 %tmp64 = getelementptr i32, ptr %tmp10, i32 %tmp63265 store i32 0, ptr %tmp64, align 4266 %tmp65 = add i32 %tmp62, 1267 %tmp66 = icmp eq i32 %tmp65, %tmp8268 br i1 %tmp66, label %bb67, label %bb61269 270bb67: ; preds = %bb61, %bb59271 %tmp68 = add i32 %tmp39, -1272 br label %bb38273 274bb69: ; preds = %bb20275 resume { ptr, i32 } %tmp22276}277 278declare i32 @__gxx_personality_v0(...)279 280declare noalias ptr @_Znam(i32) optsize281 282declare void @Pjii(ptr, i32, i32) optsize283 284declare i32 @llvm.eh.typeid.for(ptr) nounwind readnone285 286declare void @OnOverFlow() noreturn optsize ssp align 2287