1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=loop-deletion -verify-dom-info -S | FileCheck %s 3 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" 5 6; loop1 contains an irreducible cycle, which may loop infinitely. Do not remove 7; the loop. 8define void @irreducible_subloop_no_mustprogress(i1 %c1, i1 %c2, i1 %c3) { 9; CHECK-LABEL: @irreducible_subloop_no_mustprogress( 10; CHECK-NEXT: entry: 11; CHECK-NEXT: br label [[LOOP1:%.*]] 12; CHECK: loop1: 13; CHECK-NEXT: br i1 [[C1:%.*]], label [[LOOP1_BB1:%.*]], label [[IRR_BB1:%.*]] 14; CHECK: loop1.bb1: 15; CHECK-NEXT: br label [[IRR_BB2:%.*]] 16; CHECK: irr.bb1: 17; CHECK-NEXT: br i1 [[C2:%.*]], label [[LOOP1_LATCH:%.*]], label [[IRR_BB2]] 18; CHECK: irr.bb2: 19; CHECK-NEXT: br i1 [[C3:%.*]], label [[LOOP1_LATCH]], label [[IRR_BB1]] 20; CHECK: loop1.latch: 21; CHECK-NEXT: br label [[EXIT:%.*]] 22; CHECK: exit: 23; CHECK-NEXT: ret void 24; 25entry: 26 br label %loop1 27 28loop1: 29 br i1 %c1, label %loop1.bb1, label %irr.bb1 30 31loop1.bb1: 32 br label %irr.bb2 33 34irr.bb1: 35 br i1 %c2, label %loop1.latch, label %irr.bb2 36 37irr.bb2: 38 br i1 %c3, label %loop1.latch, label %irr.bb1 39 40loop1.latch: 41 br i1 false, label %loop1, label %exit 42 43exit: 44 ret void 45} 46 47define void @irreducible_subloop_with_mustprogress(i1 %c1, i1 %c2, i1 %c3) mustprogress { 48; CHECK-LABEL: @irreducible_subloop_with_mustprogress( 49; CHECK-NEXT: br label [[EXIT:%.*]] 50; CHECK: exit: 51; CHECK-NEXT: ret void 52; 53 br label %loop1 54 55loop1: 56 br i1 %c1, label %loop1.bb1, label %irr.bb1 57 58loop1.bb1: 59 br label %irr.bb2 60 61irr.bb1: 62 br i1 %c2, label %loop1.latch, label %irr.bb2 63 64irr.bb2: 65 br i1 %c3, label %loop1.latch, label %irr.bb1 66 67loop1.latch: 68 br i1 false, label %loop1, label %exit 69 70exit: 71 ret void 72} 73