| Dan Gohman | a590b79 | 2010-04-13 01:46:36 +0000 | [diff] [blame] | 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: @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* %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: @f |
| 36 | ; CHECK-NOT: rem |
| 37 | ; CHECK: rem |
| 38 | ; CHECK-NOT: 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* %arg, i64 %t26 ; <i64*> [#uses=1] |
| 82 | %t30 = add nsw i64 %t27, %t22 ; <i64> [#uses=1] |
| 83 | %t31 = getelementptr inbounds i64* %arg, i64 %t28 ; <i64*> [#uses=1] |
| 84 | %t32 = zext i32 %t23 to i64 ; <i64> [#uses=1] |
| 85 | %t33 = load i64* %t29 ; <i64> [#uses=1] |
| 86 | %t34 = getelementptr inbounds i64* %arg, i64 %t30 ; <i64*> [#uses=1] |
| 87 | %t35 = load 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* %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 | } |