1 ; RUN: opt -loop-unroll -loop-simplify -S < %s | FileCheck %s 2 3 ; This test is one of the tests of PR33494. Its compilation takes 4 ; excessive time if we don't mark visited nodes while looking for 5 ; constants in SCEV expression trees. 6 7 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 8 target triple = "x86_64-unknown-linux-gnu" 9 10 define void @test_01(i32* nocapture %a) local_unnamed_addr { 11 12 ; CHECK-LABEL: @test_01( 13 14 entry: 15 %arrayidx = getelementptr inbounds i32, i32* %a, i64 96 16 %arrayidx.promoted51 = load i32, i32* %arrayidx, align 1 17 br label %while.body 18 19 while.body: ; preds = %entry, %while.end29 20 %0 = phi i32 [ %arrayidx.promoted51, %entry ], [ %7, %while.end29 ] 21 %cmp46 = icmp eq i32 %0, 1 22 %conv47 = zext i1 %cmp46 to i32 23 %1 = add i32 %0, 1 24 %2 = icmp ult i32 %1, 3 25 %div48 = select i1 %2, i32 %0, i32 0 26 %cmp349 = icmp sgt i32 %div48, %conv47 27 br i1 %cmp349, label %while.body4.lr.ph, label %while.end29 28 29 while.body4.lr.ph: ; preds = %while.body 30 br label %while.body4 31 32 while.body4: ; preds = %while.body4.lr.ph, %while.end28 33 %3 = phi i32 [ %0, %while.body4.lr.ph ], [ %mul17.lcssa, %while.end28 ] 34 br label %while.body13 35 36 while.body13: ; preds = %while.body4, %while.end.split 37 %mul1745 = phi i32 [ %3, %while.body4 ], [ %mul17, %while.end.split ] 38 %4 = phi i32 [ 15872, %while.body4 ], [ %add, %while.end.split ] 39 %mul = mul nsw i32 %mul1745, %mul1745 40 %mul17 = mul nsw i32 %mul, %mul1745 41 %cmp22 = icmp eq i32 %4, %mul17 42 br i1 %cmp22, label %while.body13.split, label %while.end.split 43 44 while.body13.split: ; preds = %while.body13 45 br label %while.cond19 46 47 while.cond19: ; preds = %while.cond19, %while.body13.split 48 br label %while.cond19 49 50 while.end.split: ; preds = %while.body13 51 %add = shl nsw i32 %4, 1 52 %tobool12 = icmp eq i32 %add, 0 53 br i1 %tobool12, label %while.end28, label %while.body13 54 55 while.end28: ; preds = %while.end.split 56 %add.lcssa = phi i32 [ %add, %while.end.split ] 57 %mul17.lcssa = phi i32 [ %mul17, %while.end.split ] 58 %cmp = icmp eq i32 %mul17.lcssa, 1 59 %conv = zext i1 %cmp to i32 60 %5 = add i32 %mul17.lcssa, 1 61 %6 = icmp ult i32 %5, 3 62 %div = select i1 %6, i32 %mul17.lcssa, i32 0 63 %cmp3 = icmp sgt i32 %div, %conv 64 br i1 %cmp3, label %while.body4, label %while.cond1.while.end29_crit_edge 65 66 while.cond1.while.end29_crit_edge: ; preds = %while.end28 67 %.lcssa = phi i32 [ %mul17.lcssa, %while.end28 ] 68 %add.lcssa50.lcssa = phi i32 [ %add.lcssa, %while.end28 ] 69 store i32 %add.lcssa50.lcssa, i32* %a, align 4 70 br label %while.end29 71 72 while.end29: ; preds = %while.cond1.while.end29_crit_edge, %while.body 73 %7 = phi i32 [ %.lcssa, %while.cond1.while.end29_crit_edge ], [ %0, %while.body ] 74 br label %while.body 75 } 76
