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

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