test/Transforms/IndVarSimplify/2008-11-03-Floating.ll

   1 ; RUN: opt < %s -indvars -S | grep icmp | count 4
   2 define void @bar() nounwind {
   3 entry:
   4         br label %bb
   5
   6 bb:             ; preds = %bb, %entry
   7         %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ]               ; <double> [#uses=2]
   8         %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind         ; <i32> [#uses=0]
   9         %1 = fadd double %x.0.reg2mem.0, 1.000000e+00           ; <double> [#uses=2]
  10         %2 = fcmp olt double %1, 1.000000e+04           ; <i1> [#uses=1]
  11         br i1 %2, label %bb, label %return
  12
  13 return:         ; preds = %bb
  14         ret void
  15 }
  16
  17 declare i32 @foo(double)
  18
  19 define void @bar2() nounwind {
  20 entry:
  21         br label %bb
  22
  23 bb:             ; preds = %bb, %entry
  24         %x.0.reg2mem.0 = phi double [ -10.000000e+00, %entry ], [ %1, %bb ]             ; <double> [#uses=2]
  25         %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind         ; <i32> [#uses=0]
  26         %1 = fadd double %x.0.reg2mem.0, 2.000000e+00           ; <double> [#uses=2]
  27         %2 = fcmp olt double %1, -1.000000e+00          ; <i1> [#uses=1]
  28         br i1 %2, label %bb, label %return
  29
  30 return:         ; preds = %bb
  31         ret void
  32 }
  33
  34
  35 define void @bar3() nounwind {
  36 entry:
  37         br label %bb
  38
  39 bb:             ; preds = %bb, %entry
  40         %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ]               ; <double> [#uses=2]
  41         %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind         ; <i32> [#uses=0]
  42         %1 = fadd double %x.0.reg2mem.0, 1.000000e+00           ; <double> [#uses=2]
  43         %2 = fcmp olt double %1, -1.000000e+00          ; <i1> [#uses=1]
  44         br i1 %2, label %bb, label %return
  45
  46 return:         ; preds = %bb
  47         ret void
  48 }
  49
  50 define void @bar4() nounwind {
  51 entry:
  52         br label %bb
  53
  54 bb:             ; preds = %bb, %entry
  55         %x.0.reg2mem.0 = phi double [ 40.000000e+00, %entry ], [ %1, %bb ]              ; <double> [#uses=2]
  56         %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind         ; <i32> [#uses=0]
  57         %1 = fadd double %x.0.reg2mem.0, -1.000000e+00          ; <double> [#uses=2]
  58         %2 = fcmp olt double %1, 1.000000e+00           ; <i1> [#uses=1]
  59         br i1 %2, label %bb, label %return
  60
  61 return:         ; preds = %bb
  62         ret void
  63 }
  64
  65