test/Transforms/CorrelatedExprs/looptest.ll

   1 ; This testcase tests to see if adds and PHI's are handled in their full
   2 ; generality.  This testcase comes from the following C code:
   3 ;
   4 ; void f() {
   5 ;   int i;
   6 ;   for (i = 1; i < 100; i++) {
   7 ;     if (i)
   8 ;       g();
   9 ;   }
  10 ; }
  11 ;
  12 ; Note that this is a "feature" test, not a correctness test.
  13 ;
  14 ; RUN: as < %s | opt -cee -simplifycfg | dis | not grep cond213
  15 ;
  16 implementation   ; Functions:
  17
  18 declare void %g()
  19
  20 void %f() {
  21 bb0:            ; No predecessors!
  22         br label %bb2
  23
  24 bb2:            ; preds = %bb4, %bb0
  25         %cann-indvar = phi int [ 0, %bb0 ], [ %add1-indvar, %bb4 ]              ; <int> [#uses=2]
  26         %add1-indvar = add int %cann-indvar, 1          ; <int> [#uses=2]
  27         %cond213 = seteq int %add1-indvar, 0            ; <bool> [#uses=1]
  28         br bool %cond213, label %bb4, label %bb3
  29
  30 bb3:            ; preds = %bb2
  31         call void %g( )
  32         br label %bb4
  33
  34 bb4:            ; preds = %bb3, %bb2
  35         %reg109 = add int %cann-indvar, 2               ; <int> [#uses=1]
  36         %cond217 = setle int %reg109, 99                ; <bool> [#uses=1]
  37         br bool %cond217, label %bb2, label %bb5
  38
  39 bb5:            ; preds = %bb4
  40         ret void
  41 }