llvm/test/Analysis/ScalarEvolution/2008-08-04-IVOverflow.ll

   1 ; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-max-iterations=0 2>&1 | FileCheck %s
   2 ; PR2621
   3
   4 define i32 @a() nounwind  {
   5 entry:
   6         br label %bb1
   7
   8 bb:
   9         trunc i32 %i.0 to i16
  10         add i16 %0, %x16.0
  11         add i32 %i.0, 1
  12         br label %bb1
  13
  14 bb1:
  15         %i.0 = phi i32 [ 0, %entry ], [ %2, %bb ]
  16         %x16.0 = phi i16 [ 0, %entry ], [ %1, %bb ]
  17         icmp ult i32 %i.0, 888888
  18         br i1 %3, label %bb, label %bb2
  19
  20 bb2:
  21         zext i16 %x16.0 to i32
  22         ret i32 %4
  23 }
  24
  25 ; CHECK: Exits: 20028
  26