test/Transforms/IndVarSimplify/eliminate-rem.ll

   1 ; RUN: opt -indvars -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   4
   5 ; Indvars should be able to eliminate this srem.
   6 ; CHECK-LABEL: @simple(
   7 ; CHECK-NOT: rem
   8 ; CHECK: ret
   9
  10 define void @simple(i64 %arg, double* %arg3) nounwind {
  11 bb:
  12   %t = icmp slt i64 0, %arg                     ; <i1> [#uses=1]
  13   br i1 %t, label %bb4, label %bb12
  14
  15 bb4:                                              ; preds = %bb
  16   br label %bb5
  17
  18 bb5:                                              ; preds = %bb4, %bb5
  19   %t6 = phi i64 [ %t9, %bb5 ], [ 0, %bb4 ]    ; <i64> [#uses=2]
  20   %t7 = srem i64 %t6, %arg                    ; <i64> [#uses=1]
  21   %t8 = getelementptr inbounds double, double* %arg3, i64 %t7 ; <double*> [#uses=1]
  22   store double 0.000000e+00, double* %t8
  23   %t9 = add nsw i64 %t6, 1                    ; <i64> [#uses=2]
  24   %t10 = icmp slt i64 %t9, %arg               ; <i1> [#uses=1]
  25   br i1 %t10, label %bb5, label %bb11
  26
  27 bb11:                                             ; preds = %bb5
  28   br label %bb12
  29
  30 bb12:                                             ; preds = %bb11, %bb
  31   ret void
  32 }
  33
  34 ; Indvars should be able to eliminate the (i+1)%n.
  35 ; CHECK-LABEL: @f(
  36 ; CHECK-NOT: {{[us]}}rem
  37 ; CHECK: {{[us]}}rem
  38 ; CHECK-NOT: {{[us]}}rem
  39 ; CHECK: ret
  40
  41 define i32 @f(i64* %arg, i64 %arg1, i64 %arg2, i64 %arg3) nounwind {
  42 bb:
  43   %t = icmp sgt i64 %arg1, 0                      ; <i1> [#uses=1]
  44   br i1 %t, label %bb4, label %bb54
  45
  46 bb4:                                              ; preds = %bb
  47   br label %bb5
  48
  49 bb5:                                              ; preds = %bb49, %bb4
  50   %t6 = phi i64 [ %t51, %bb49 ], [ 0, %bb4 ]      ; <i64> [#uses=4]
  51   %t7 = phi i32 [ %t50, %bb49 ], [ 0, %bb4 ]      ; <i32> [#uses=2]
  52   %t8 = add nsw i64 %t6, %arg1                    ; <i64> [#uses=1]
  53   %t9 = add nsw i64 %t8, -2                       ; <i64> [#uses=1]
  54   %t10 = srem i64 %t9, %arg1                      ; <i64> [#uses=1]
  55   %t11 = add nsw i64 %t10, 1                      ; <i64> [#uses=1]
  56   %t12 = add nsw i64 %t6, 1                       ; <i64> [#uses=1]
  57   %t13 = srem i64 %t12, %arg1                     ; <i64> [#uses=1]
  58   %t14 = icmp sgt i64 %arg1, 0                    ; <i1> [#uses=1]
  59   br i1 %t14, label %bb15, label %bb49
  60
  61 bb15:                                             ; preds = %bb5
  62   br label %bb16
  63
  64 bb16:                                             ; preds = %bb44, %bb15
  65   %t17 = phi i64 [ %t46, %bb44 ], [ 0, %bb15 ]    ; <i64> [#uses=1]
  66   %t18 = phi i32 [ %t45, %bb44 ], [ %t7, %bb15 ]  ; <i32> [#uses=2]
  67   %t19 = icmp sgt i64 %arg1, 0                    ; <i1> [#uses=1]
  68   br i1 %t19, label %bb20, label %bb44
  69
  70 bb20:                                             ; preds = %bb16
  71   br label %bb21
  72
  73 bb21:                                             ; preds = %bb21, %bb20
  74   %t22 = phi i64 [ %t41, %bb21 ], [ 0, %bb20 ]    ; <i64> [#uses=4]
  75   %t23 = phi i32 [ %t40, %bb21 ], [ %t18, %bb20 ] ; <i32> [#uses=1]
  76   %t24 = mul i64 %t6, %arg1                       ; <i64> [#uses=1]
  77   %t25 = mul i64 %t13, %arg1                      ; <i64> [#uses=1]
  78   %t26 = add nsw i64 %t24, %t22                   ; <i64> [#uses=1]
  79   %t27 = mul i64 %t11, %arg1                      ; <i64> [#uses=1]
  80   %t28 = add nsw i64 %t25, %t22                   ; <i64> [#uses=1]
  81   %t29 = getelementptr inbounds i64, i64* %arg, i64 %t26 ; <i64*> [#uses=1]
  82   %t30 = add nsw i64 %t27, %t22                   ; <i64> [#uses=1]
  83   %t31 = getelementptr inbounds i64, i64* %arg, i64 %t28 ; <i64*> [#uses=1]
  84   %t32 = zext i32 %t23 to i64                     ; <i64> [#uses=1]
  85   %t33 = load i64, i64* %t29                           ; <i64> [#uses=1]
  86   %t34 = getelementptr inbounds i64, i64* %arg, i64 %t30 ; <i64*> [#uses=1]
  87   %t35 = load i64, i64* %t31                           ; <i64> [#uses=1]
  88   %t36 = add nsw i64 %t32, %t33                   ; <i64> [#uses=1]
  89   %t37 = add nsw i64 %t36, %t35                   ; <i64> [#uses=1]
  90   %t38 = load i64, i64* %t34                           ; <i64> [#uses=1]
  91   %t39 = add nsw i64 %t37, %t38                   ; <i64> [#uses=1]
  92   %t40 = trunc i64 %t39 to i32                    ; <i32> [#uses=2]
  93   %t41 = add nsw i64 %t22, 1                      ; <i64> [#uses=2]
  94   %t42 = icmp slt i64 %t41, %arg1                 ; <i1> [#uses=1]
  95   br i1 %t42, label %bb21, label %bb43
  96
  97 bb43:                                             ; preds = %bb21
  98   br label %bb44
  99
 100 bb44:                                             ; preds = %bb43, %bb16
 101   %t45 = phi i32 [ %t18, %bb16 ], [ %t40, %bb43 ] ; <i32> [#uses=2]
 102   %t46 = add nsw i64 %t17, 1                      ; <i64> [#uses=2]
 103   %t47 = icmp slt i64 %t46, %arg1                 ; <i1> [#uses=1]
 104   br i1 %t47, label %bb16, label %bb48
 105
 106 bb48:                                             ; preds = %bb44
 107   br label %bb49
 108
 109 bb49:                                             ; preds = %bb48, %bb5
 110   %t50 = phi i32 [ %t7, %bb5 ], [ %t45, %bb48 ]   ; <i32> [#uses=2]
 111   %t51 = add nsw i64 %t6, 1                       ; <i64> [#uses=2]
 112   %t52 = icmp slt i64 %t51, %arg1                 ; <i1> [#uses=1]
 113   br i1 %t52, label %bb5, label %bb53
 114
 115 bb53:                                             ; preds = %bb49
 116   br label %bb54
 117
 118 bb54:                                             ; preds = %bb53, %bb
 119   %t55 = phi i32 [ 0, %bb ], [ %t50, %bb53 ]      ; <i32> [#uses=1]
 120   ret i32 %t55
 121 }