|
150
|
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 }
|
