56 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=newgvn -S %s | FileCheck %s3 4define void @crash1_pr35074(i32 %this, i1 %c) {5; CHECK-LABEL: @crash1_pr35074(6; CHECK-NEXT: entry:7; CHECK-NEXT: br label [[FOR_COND:%.*]]8; CHECK: for.cond:9; CHECK-NEXT: [[PHIOFOPS:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[Y_0:%.*]], [[FOR_INC6:%.*]] ]10; CHECK-NEXT: [[Y_0]] = phi i32 [ 1, [[ENTRY]] ], [ [[INC7:%.*]], [[FOR_INC6]] ]11; CHECK-NEXT: br i1 [[C:%.*]], label [[FOR_INC6]], label [[FOR_BODY_LR_PH:%.*]]12; CHECK: for.body.lr.ph:13; CHECK-NEXT: br label [[FOR_BODY4:%.*]]14; CHECK: for.body4:15; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[PHIOFOPS]], [[Y_0]]16; CHECK-NEXT: br i1 [[CMP]], label [[FOR_END:%.*]], label [[FOR_BODY4_1:%.*]]17; CHECK: for.end:18; CHECK-NEXT: ret void19; CHECK: for.inc6:20; CHECK-NEXT: [[INC7]] = add nuw nsw i32 [[Y_0]], 121; CHECK-NEXT: br label [[FOR_COND]]22; CHECK: for.body4.1:23; CHECK-NEXT: [[INC_1:%.*]] = add nuw nsw i32 [[Y_0]], 124; CHECK-NEXT: tail call void @_blah(i32 [[INC_1]])25; CHECK-NEXT: br label [[FOR_END]]26;27entry:28 br label %for.cond29 30for.cond: ; preds = %for.inc6, %entry31 %y.0 = phi i32 [ 1, %entry ], [ %inc7, %for.inc6 ]32 br i1 %c, label %for.inc6, label %for.body.lr.ph33 34for.body.lr.ph: ; preds = %for.cond35 %sub = add nsw i32 %y.0, -136 br label %for.body437 38for.body4: ; preds = %for.body.lr.ph39 %cmp = icmp ugt i32 %sub, %y.040 br i1 %cmp, label %for.end, label %for.body4.141 42for.end: ; preds = %for.body4.1, %for.body443 ret void44 45for.inc6: ; preds = %for.cond46 %inc7 = add nuw nsw i32 %y.0, 147 br label %for.cond48 49for.body4.1: ; preds = %for.body450 %inc.1 = add nuw nsw i32 %y.0, 151 tail call void @_blah(i32 %inc.1)52 br label %for.end53}54 55declare void @_blah(i32)56