test/Transforms/IndVarSimplify/floating-point-iv.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -indvars -S | FileCheck %s
   3
   4 define void @test1() nounwind {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    br label [[BB:%.*]]
   8 ; CHECK:       bb:
   9 ; CHECK-NEXT:    [[IV_INT:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[DOTINT:%.*]], [[BB]] ]
  10 ; CHECK-NEXT:    [[INDVAR_CONV:%.*]] = sitofp i32 [[IV_INT]] to double
  11 ; CHECK-NEXT:    [[TMP0:%.*]] = tail call i32 @foo(double [[INDVAR_CONV]]) #0
  12 ; CHECK-NEXT:    [[DOTINT]] = add nuw nsw i32 [[IV_INT]], 1
  13 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp ult i32 [[DOTINT]], 10000
  14 ; CHECK-NEXT:    br i1 [[TMP1]], label [[BB]], label [[RETURN:%.*]]
  15 ; CHECK:       return:
  16 ; CHECK-NEXT:    ret void
  17 ;
  18 entry:
  19   br label %bb
  20
  21 bb:             ; preds = %bb, %entry
  22   %iv = phi double [ 0.000000e+00, %entry ], [ %1, %bb ]
  23   %0 = tail call i32 @foo(double %iv) nounwind
  24   %1 = fadd double %iv, 1.000000e+00
  25   %2 = fcmp olt double %1, 1.000000e+04
  26   br i1 %2, label %bb, label %return
  27
  28 return:         ; preds = %bb
  29   ret void
  30 }
  31
  32 declare i32 @foo(double)
  33
  34 define void @test2() nounwind {
  35 ; CHECK-LABEL: @test2(
  36 ; CHECK-NEXT:  entry:
  37 ; CHECK-NEXT:    br label [[BB:%.*]]
  38 ; CHECK:       bb:
  39 ; CHECK-NEXT:    [[IV_INT:%.*]] = phi i32 [ -10, [[ENTRY:%.*]] ], [ [[DOTINT:%.*]], [[BB]] ]
  40 ; CHECK-NEXT:    [[INDVAR_CONV:%.*]] = sitofp i32 [[IV_INT]] to double
  41 ; CHECK-NEXT:    [[TMP0:%.*]] = tail call i32 @foo(double [[INDVAR_CONV]]) #0
  42 ; CHECK-NEXT:    [[DOTINT]] = add nsw i32 [[IV_INT]], 2
  43 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp slt i32 [[DOTINT]], -1
  44 ; CHECK-NEXT:    br i1 [[TMP1]], label [[BB]], label [[RETURN:%.*]]
  45 ; CHECK:       return:
  46 ; CHECK-NEXT:    ret void
  47 ;
  48 entry:
  49   br label %bb
  50
  51 bb:             ; preds = %bb, %entry
  52   %iv = phi double [ -10.000000e+00, %entry ], [ %1, %bb ]
  53   %0 = tail call i32 @foo(double %iv) nounwind
  54   %1 = fadd double %iv, 2.000000e+00
  55   %2 = fcmp olt double %1, -1.000000e+00
  56   br i1 %2, label %bb, label %return
  57
  58 return:         ; preds = %bb
  59   ret void
  60 }
  61
  62
  63 define void @test3() nounwind {
  64 ; CHECK-LABEL: @test3(
  65 ; CHECK-NEXT:  entry:
  66 ; CHECK-NEXT:    br label [[BB:%.*]]
  67 ; CHECK:       bb:
  68 ; CHECK-NEXT:    [[IV:%.*]] = phi double [ 0.000000e+00, [[ENTRY:%.*]] ], [ [[TMP1:%.*]], [[BB]] ]
  69 ; CHECK-NEXT:    [[TMP0:%.*]] = tail call i32 @foo(double [[IV]]) #0
  70 ; CHECK-NEXT:    [[TMP1]] = fadd double [[IV]], 1.000000e+00
  71 ; CHECK-NEXT:    br i1 false, label [[BB]], label [[RETURN:%.*]]
  72 ; CHECK:       return:
  73 ; CHECK-NEXT:    ret void
  74 ;
  75 entry:
  76   br label %bb
  77
  78 bb:             ; preds = %bb, %entry
  79   %iv = phi double [ 0.000000e+00, %entry ], [ %1, %bb ]
  80   %0 = tail call i32 @foo(double %iv) nounwind
  81   %1 = fadd double %iv, 1.000000e+00
  82   %2 = fcmp olt double %1, -1.000000e+00
  83   br i1 %2, label %bb, label %return
  84
  85 return:
  86   ret void
  87 }
  88
  89 define void @test4() nounwind {
  90 ; CHECK-LABEL: @test4(
  91 ; CHECK-NEXT:  entry:
  92 ; CHECK-NEXT:    br label [[BB:%.*]]
  93 ; CHECK:       bb:
  94 ; CHECK-NEXT:    [[IV_INT:%.*]] = phi i32 [ 40, [[ENTRY:%.*]] ], [ [[DOTINT:%.*]], [[BB]] ]
  95 ; CHECK-NEXT:    [[INDVAR_CONV:%.*]] = sitofp i32 [[IV_INT]] to double
  96 ; CHECK-NEXT:    [[TMP0:%.*]] = tail call i32 @foo(double [[INDVAR_CONV]]) #0
  97 ; CHECK-NEXT:    [[DOTINT]] = add nsw i32 [[IV_INT]], -1
  98 ; CHECK-NEXT:    br i1 false, label [[BB]], label [[RETURN:%.*]]
  99 ; CHECK:       return:
 100 ; CHECK-NEXT:    ret void
 101 ;
 102 entry:
 103   br label %bb
 104
 105 bb:             ; preds = %bb, %entry
 106   %iv = phi double [ 40.000000e+00, %entry ], [ %1, %bb ]
 107   %0 = tail call i32 @foo(double %iv) nounwind
 108   %1 = fadd double %iv, -1.000000e+00
 109   %2 = fcmp olt double %1, 1.000000e+00
 110   br i1 %2, label %bb, label %return
 111
 112 return:
 113   ret void
 114 }
 115
 116 ; PR6761
 117 define void @test5() nounwind {
 118 ; <label>:0
 119 ; CHECK-LABEL: @test5(
 120 ; CHECK-NEXT:    br label [[TMP1:%.*]]
 121 ; CHECK:       1:
 122 ; CHECK-NEXT:    [[DOTINT:%.*]] = phi i32 [ 9, [[TMP0:%.*]] ], [ [[DOTINT1:%.*]], [[TMP1]] ]
 123 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call i32 @foo(double 0.000000e+00)
 124 ; CHECK-NEXT:    [[DOTINT1]] = add nsw i32 [[DOTINT]], -1
 125 ; CHECK-NEXT:    [[TMP3:%.*]] = icmp slt i32 [[DOTINT1]], 0
 126 ; CHECK-NEXT:    br i1 [[TMP3]], label [[EXIT:%.*]], label [[TMP1]]
 127 ; CHECK:       exit:
 128 ; CHECK-NEXT:    ret void
 129 ;
 130   br label %1
 131
 132 ; <label>:1
 133   %2 = phi double [ 9.000000e+00, %0 ], [ %4, %1 ]
 134   %3 = tail call i32 @foo(double 0.0)
 135   %4 = fadd double %2, -1.000000e+00
 136   %5 = fcmp ult double %4, 0.000000e+00
 137   br i1 %5, label %exit, label %1
 138
 139 exit:
 140   ret void
 141 }