llvm/test/Analysis/ScalarEvolution/pr22856.ll

   1 ; RUN: opt -loop-reduce -verify < %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64--linux-gnu"
   5
   6 define void @unbounded() {
   7
   8 block_A:
   9   %0 = sext i32 undef to i64
  10   br i1 undef, label %block_F, label %block_G
  11
  12 block_C:                ; preds = %block_F
  13   br i1 undef, label %block_D, label %block_E
  14
  15 block_D:                  ; preds = %block_D, %block_C
  16   br i1 undef, label %block_E, label %block_D
  17
  18 block_E:              ; preds = %block_D, %block_C
  19   %iv2 = phi i64 [ %4, %block_D ], [ %4, %block_C ]
  20   %1 = add nsw i32 %iv1, 1
  21   %2 = icmp eq i32 %1, undef
  22   br i1 %2, label %block_G, label %block_F
  23
  24 block_F:          ; preds = %block_E, %block_A
  25   %iv3 = phi i64 [ %iv2, %block_E ], [ %0, %block_A ]
  26   %iv1 = phi i32 [ %1, %block_E ], [ undef, %block_A ]
  27   %3 = add nsw i64 %iv3, 2
  28   %4 = add nsw i64 %iv3, 1
  29   br label %block_C
  30
  31 block_G:                              ; preds = %block_E, %block_A
  32   ret void
  33 }