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 ; XFAIL: *
  15 ; RUN: llvm-as < %s | opt -cee -simplifycfg | llvm-dis | not grep cond213
  16 ;
  17 implementation   ; Functions:
  18
  19 declare void %g()
  20
  21 void %f() {
  22 bb0:            ; No predecessors!
  23         br label %bb2
  24
  25 bb2:            ; preds = %bb4, %bb0
  26         %cann-indvar = phi int [ 0, %bb0 ], [ %add1-indvar, %bb4 ]              ; <int> [#uses=2]
  27         %add1-indvar = add int %cann-indvar, 1          ; <int> [#uses=2]
  28         %cond213 = seteq int %add1-indvar, 0            ; <bool> [#uses=1]
  29         br bool %cond213, label %bb4, label %bb3
  30
  31 bb3:            ; preds = %bb2
  32         call void %g( )
  33         br label %bb4
  34
  35 bb4:            ; preds = %bb3, %bb2
  36         %reg109 = add int %cann-indvar, 2               ; <int> [#uses=1]
  37         %cond217 = setle int %reg109, 99                ; <bool> [#uses=1]
  38         br bool %cond217, label %bb2, label %bb5
  39
  40 bb5:            ; preds = %bb4
  41         ret void
  42 }