1562521e2SJingu Kang; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2562521e2SJingu Kang; RUN: opt -passes=loop-bound-split -S < %s | FileCheck %s 3562521e2SJingu Kang 4562521e2SJingu Kang; Previously, it caused compiler crash from verifier. 5562521e2SJingu Kang; The phi node in exit block should be updated properly. 6562521e2SJingu Kang 7562521e2SJingu Kangdefine i16 @test_int() { 8562521e2SJingu Kang; CHECK-LABEL: @test_int( 9562521e2SJingu Kang; CHECK-NEXT: entry: 10562521e2SJingu Kang; CHECK-NEXT: br label [[ENTRY_SPLIT:%.*]] 11562521e2SJingu Kang; CHECK: entry.split: 12562521e2SJingu Kang; CHECK-NEXT: br label [[FOR_BODY:%.*]] 13562521e2SJingu Kang; CHECK: for.body: 14562521e2SJingu Kang; CHECK-NEXT: [[I:%.*]] = phi i16 [ 0, [[ENTRY_SPLIT]] ], [ [[ADD:%.*]], [[COND_END:%.*]] ] 15562521e2SJingu Kang; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i16 [[I]], 3 16562521e2SJingu Kang; CHECK-NEXT: br i1 true, label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] 17562521e2SJingu Kang; CHECK: cond.true: 18562521e2SJingu Kang; CHECK-NEXT: br label [[COND_END]] 19562521e2SJingu Kang; CHECK: cond.false: 20562521e2SJingu Kang; CHECK-NEXT: br label [[COND_END]] 21562521e2SJingu Kang; CHECK: cond.end: 22562521e2SJingu Kang; CHECK-NEXT: [[CALL:%.*]] = call i16 @foo() 23562521e2SJingu Kang; CHECK-NEXT: [[ADD]] = add nuw nsw i16 [[I]], 1 24562521e2SJingu Kang; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i16 [[I]], 3 25562521e2SJingu Kang; CHECK-NEXT: br i1 [[CMP2]], label [[FOR_BODY]], label [[ENTRY_SPLIT_SPLIT:%.*]] 26562521e2SJingu Kang; CHECK: entry.split.split: 27*4c98070cSJingu Kang; CHECK-NEXT: [[CALL_LCSSA_LCSSA:%.*]] = phi i16 [ [[CALL]], [[COND_END]] ] 28*4c98070cSJingu Kang; CHECK-NEXT: [[I_LCSSA:%.*]] = phi i16 [ [[ADD]], [[COND_END]] ] 29562521e2SJingu Kang; CHECK-NEXT: [[TMP0:%.*]] = icmp ne i16 [[I_LCSSA]], 11 30562521e2SJingu Kang; CHECK-NEXT: br i1 [[TMP0]], label [[FOR_BODY_SPLIT_PREHEADER:%.*]], label [[END:%.*]] 31562521e2SJingu Kang; CHECK: for.body.split.preheader: 32562521e2SJingu Kang; CHECK-NEXT: br label [[FOR_BODY_SPLIT:%.*]] 33562521e2SJingu Kang; CHECK: for.body.split: 34*4c98070cSJingu Kang; CHECK-NEXT: [[I_SPLIT:%.*]] = phi i16 [ [[ADD_SPLIT:%.*]], [[COND_END_SPLIT:%.*]] ], [ [[I_LCSSA]], [[FOR_BODY_SPLIT_PREHEADER]] ] 35562521e2SJingu Kang; CHECK-NEXT: [[CMP1_SPLIT:%.*]] = icmp ult i16 [[I_SPLIT]], 3 36562521e2SJingu Kang; CHECK-NEXT: br i1 false, label [[COND_TRUE_SPLIT:%.*]], label [[COND_FALSE_SPLIT:%.*]] 37562521e2SJingu Kang; CHECK: cond.false.split: 38562521e2SJingu Kang; CHECK-NEXT: br label [[COND_END_SPLIT]] 39562521e2SJingu Kang; CHECK: cond.true.split: 40562521e2SJingu Kang; CHECK-NEXT: br label [[COND_END_SPLIT]] 41562521e2SJingu Kang; CHECK: cond.end.split: 42562521e2SJingu Kang; CHECK-NEXT: [[CALL_SPLIT:%.*]] = call i16 @foo() 43562521e2SJingu Kang; CHECK-NEXT: [[ADD_SPLIT]] = add nuw nsw i16 [[I_SPLIT]], 1 44562521e2SJingu Kang; CHECK-NEXT: [[CMP2_SPLIT:%.*]] = icmp ult i16 [[I_SPLIT]], 11 45562521e2SJingu Kang; CHECK-NEXT: br i1 [[CMP2_SPLIT]], label [[FOR_BODY_SPLIT]], label [[END_LOOPEXIT:%.*]] 46562521e2SJingu Kang; CHECK: end.loopexit: 47562521e2SJingu Kang; CHECK-NEXT: [[CALL_LCSSA_PH:%.*]] = phi i16 [ [[CALL_SPLIT]], [[COND_END_SPLIT]] ] 48562521e2SJingu Kang; CHECK-NEXT: br label [[END]] 49562521e2SJingu Kang; CHECK: end: 50*4c98070cSJingu Kang; CHECK-NEXT: [[CALL_LCSSA:%.*]] = phi i16 [ [[CALL_LCSSA_LCSSA]], [[ENTRY_SPLIT_SPLIT]] ], [ [[CALL_LCSSA_PH]], [[END_LOOPEXIT]] ] 51562521e2SJingu Kang; CHECK-NEXT: ret i16 [[CALL_LCSSA]] 52562521e2SJingu Kang; 53562521e2SJingu Kangentry: 54562521e2SJingu Kang br label %for.body 55562521e2SJingu Kang 56562521e2SJingu Kangfor.body: ; preds = %entry, %cond.end 57562521e2SJingu Kang %i = phi i16 [ 0, %entry ], [ %add, %cond.end ] 58562521e2SJingu Kang %cmp1 = icmp ult i16 %i, 3 59562521e2SJingu Kang br i1 %cmp1, label %cond.true, label %cond.false 60562521e2SJingu Kang 61562521e2SJingu Kangcond.true: ; preds = %for.body 62562521e2SJingu Kang br label %cond.end 63562521e2SJingu Kang 64562521e2SJingu Kangcond.false: ; preds = %for.body 65562521e2SJingu Kang br label %cond.end 66562521e2SJingu Kang 67562521e2SJingu Kangcond.end: ; preds = %cond.false, %cond.true 68562521e2SJingu Kang %call = call i16 @foo() 69562521e2SJingu Kang %add = add nuw nsw i16 %i, 1 70562521e2SJingu Kang %cmp2 = icmp ult i16 %i, 11 71562521e2SJingu Kang br i1 %cmp2, label %for.body, label %end 72562521e2SJingu Kang 73562521e2SJingu Kangend: ; preds = %cond.end 74562521e2SJingu Kang ret i16 %call 75562521e2SJingu Kang} 76562521e2SJingu Kang 77562521e2SJingu Kangdeclare i16 @foo() 78