test/Transforms/LoopSimplify/pr33494.ll

   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 }