limit-depth.ll
3.43 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
; RUN: opt -scalar-evolution-max-arith-depth=0 -scalar-evolution-max-cast-depth=0 -analyze -scalar-evolution < %s | FileCheck %s
; Check that depth set to 0 prevents getAddExpr and getMulExpr from making
; transformations in SCEV. We expect the result to be very straightforward.
define void @test_add(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
; CHECK-LABEL: @test_add
; CHECK: %s2 = add i32 %s1, %p3
; CHECK-NEXT: --> (%a + %a + %b + %b + %c + %c + %d + %d + %e + %e + %f + %f)
%tmp0 = add i32 %a, %b
%tmp1 = add i32 %b, %c
%tmp2 = add i32 %c, %d
%tmp3 = add i32 %d, %e
%tmp4 = add i32 %e, %f
%tmp5 = add i32 %f, %a
%p1 = add i32 %tmp0, %tmp3
%p2 = add i32 %tmp1, %tmp4
%p3 = add i32 %tmp2, %tmp5
%s1 = add i32 %p1, %p2
%s2 = add i32 %s1, %p3
ret void
}
define void @test_mul(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
; CHECK-LABEL: @test_mul
; CHECK: %s2 = mul i32 %s1, %p3
; CHECK-NEXT: --> (2 * 3 * 4 * 5 * 6 * 7 * %a * %b * %c * %d * %e * %f)
%tmp0 = mul i32 %a, 2
%tmp1 = mul i32 %b, 3
%tmp2 = mul i32 %c, 4
%tmp3 = mul i32 %d, 5
%tmp4 = mul i32 %e, 6
%tmp5 = mul i32 %f, 7
%p1 = mul i32 %tmp0, %tmp3
%p2 = mul i32 %tmp1, %tmp4
%p3 = mul i32 %tmp2, %tmp5
%s1 = mul i32 %p1, %p2
%s2 = mul i32 %s1, %p3
ret void
}
define void @test_sext(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
; CHECK-LABEL: @test_sext
; CHECK: %se2 = sext i64 %iv2.inc to i128
; CHECK-NEXT: --> {(1 + (sext i64 {(sext i32 (1 + %a) to i64),+,1}<nsw><%loop> to i128))<nsw>,+,1}<nsw><%loop2>
entry:
br label %loop
loop:
%iv = phi i32 [ %a, %entry ], [ %iv.inc, %loop ]
%iv.inc = add nsw i32 %iv, 1
%cond = icmp sle i32 %iv.inc, 50
br i1 %cond, label %loop, label %between
between:
%se = sext i32 %iv.inc to i64
br label %loop2
loop2:
%iv2 = phi i64 [ %se, %between ], [ %iv2.inc, %loop2 ]
%iv2.inc = add nsw i64 %iv2, 1
%cond2 = icmp sle i64 %iv2.inc, 50
br i1 %cond2, label %loop2, label %exit
exit:
%se2 = sext i64 %iv2.inc to i128
ret void
}
define void @test_zext(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
; CHECK-LABEL: @test_zext
; CHECK: %ze2 = zext i64 %iv2.inc to i128
; CHECK-NEXT: --> {(1 + (zext i64 {7,+,1}<nuw><nsw><%loop> to i128))<nuw><nsw>,+,1}<nuw><%loop2>
entry:
br label %loop
loop:
%iv = phi i32 [ 6, %entry ], [ %iv.inc, %loop ]
%iv.inc = add nsw i32 %iv, 1
%cond = icmp sle i32 %iv.inc, 50
br i1 %cond, label %loop, label %between
between:
%ze = zext i32 %iv.inc to i64
br label %loop2
loop2:
%iv2 = phi i64 [ %ze, %between ], [ %iv2.inc, %loop2 ]
%iv2.inc = add nuw i64 %iv2, 1
%cond2 = icmp sle i64 %iv2.inc, 50
br i1 %cond2, label %loop2, label %exit
exit:
%ze2 = zext i64 %iv2.inc to i128
ret void
}
define void @test_trunc(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
; CHECK-LABEL: @test_trunc
; CHECK: %trunc2 = trunc i64 %iv2.inc to i32
; CHECK-NEXT: --> {(trunc i64 (1 + {7,+,1}<%loop>) to i32),+,1}<%loop2>
entry:
br label %loop
loop:
%iv = phi i128 [ 6, %entry ], [ %iv.inc, %loop ]
%iv.inc = add nsw i128 %iv, 1
%cond = icmp sle i128 %iv.inc, 50
br i1 %cond, label %loop, label %between
between:
%trunc = trunc i128 %iv.inc to i64
br label %loop2
loop2:
%iv2 = phi i64 [ %trunc, %between ], [ %iv2.inc, %loop2 ]
%iv2.inc = add nuw i64 %iv2, 1
%cond2 = icmp sle i64 %iv2.inc, 50
br i1 %cond2, label %loop2, label %exit
exit:
%trunc2 = trunc i64 %iv2.inc to i32
ret void
}