73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=loop-deletion -verify-dom-info -S | 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"5 6; loop1 contains an irreducible cycle, which may loop infinitely. Do not remove7; 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 void24;25entry:26 br label %loop127 28loop1:29 br i1 %c1, label %loop1.bb1, label %irr.bb130 31loop1.bb1:32 br label %irr.bb233 34irr.bb1:35 br i1 %c2, label %loop1.latch, label %irr.bb236 37irr.bb2:38 br i1 %c3, label %loop1.latch, label %irr.bb139 40loop1.latch:41 br i1 false, label %loop1, label %exit42 43exit:44 ret void45}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 void52;53 br label %loop154 55loop1:56 br i1 %c1, label %loop1.bb1, label %irr.bb157 58loop1.bb1:59 br label %irr.bb260 61irr.bb1:62 br i1 %c2, label %loop1.latch, label %irr.bb263 64irr.bb2:65 br i1 %c3, label %loop1.latch, label %irr.bb166 67loop1.latch:68 br i1 false, label %loop1, label %exit69 70exit:71 ret void72}73