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
129
130
131
132
133
134
135
136
|
; RUN: opt -disable-output "-passes=print<scalar-evolution>" -S < %s 2>&1 | FileCheck %s
define i16 @test1(i8 %x) {
%A = zext i8 %x to i12
%B = sext i12 %A to i16
; CHECK: zext i8 %x to i16
ret i16 %B
}
define i8 @test2(i8 %x) {
%A = zext i8 %x to i16
%B = add i16 %A, 1025
%C = trunc i16 %B to i8
; CHECK: (1 + %x)
ret i8 %C
}
define i8 @test3(i8 %x) {
%A = zext i8 %x to i16
%B = mul i16 %A, 1027
%C = trunc i16 %B to i8
; CHECK: (3 * %x)
ret i8 %C
}
define void @test4(i32 %x, i32 %y) {
entry:
%Y = and i32 %y, 3
br label %loop
loop:
%A = phi i32 [0, %entry], [%I, %loop]
%rand1 = icmp sgt i32 %A, %Y
%Z1 = select i1 %rand1, i32 %A, i32 %Y
%rand2 = icmp ugt i32 %A, %Z1
%Z2 = select i1 %rand2, i32 %A, i32 %Z1
; CHECK: %Z2 =
; CHECK-NEXT: --> ([[EXPR:.*]]){{ U: [^ ]+ S: [^ ]+}}{{ +}}Exits: 20
%B = trunc i32 %Z2 to i16
%C = sext i16 %B to i30
; CHECK: %C =
; CHECK-NEXT: (trunc i32 ([[EXPR]]) to i30)
%D = sext i16 %B to i32
; CHECK: %D =
; CHECK-NEXT: ([[EXPR]])
%E = sext i16 %B to i34
; CHECK: %E =
; CHECK-NEXT: (zext i32 ([[EXPR]]) to i34)
%F = zext i16 %B to i30
; CHECK: %F =
; CHECK-NEXT: (trunc i32 ([[EXPR]]) to i30
%G = zext i16 %B to i32
; CHECK: %G =
; CHECK-NEXT: ([[EXPR]])
%H = zext i16 %B to i34
; CHECK: %H =
; CHECK-NEXT: (zext i32 ([[EXPR]]) to i34)
%I = add i32 %A, 1
%0 = icmp ne i32 %A, 20
br i1 %0, label %loop, label %exit
exit:
ret void
}
define void @test5(i32 %i) {
; CHECK-LABEL: @test5
%A = and i32 %i, 1
; CHECK: --> (zext i1 (trunc i32 %i to i1) to i32)
%B = and i32 %i, 2
; CHECK: --> (2 * (zext i1 (trunc i32 (%i /u 2) to i1) to i32))
%C = and i32 %i, 63
; CHECK: --> (zext i6 (trunc i32 %i to i6) to i32)
%D = and i32 %i, 126
; CHECK: --> (2 * (zext i6 (trunc i32 (%i /u 2) to i6) to i32))
%E = and i32 %i, 64
; CHECK: --> (64 * (zext i1 (trunc i32 (%i /u 64) to i1) to i32))
%F = and i32 %i, -2147483648
; CHECK: --> (-2147483648 * (%i /u -2147483648))
ret void
}
define void @test6(i8 %x) {
; CHECK-LABEL: @test6
%A = zext i8 %x to i16
%B = shl nuw i16 %A, 8
%C = and i16 %B, -2048
; CHECK: --> (2048 * ((zext i8 %x to i16) /u 8))
ret void
}
; PR22960
define void @test7(i32 %A) {
; CHECK-LABEL: @test7
%B = sext i32 %A to i64
%C = zext i32 %A to i64
%D = sub i64 %B, %C
%E = trunc i64 %D to i16
; CHECK: %E
; CHECK-NEXT: --> 0
ret void
}
define i64 @test8(i64 %a) {
; CHECK-LABEL: @test8
%t0 = udiv i64 %a, 56
%t1 = udiv i64 %t0, 56
; CHECK: %t1
; CHECK-NEXT: --> (%a /u 3136)
ret i64 %t1
}
define i64 @test9(i64 %a) {
; CHECK-LABEL: @test9
%t0 = udiv i64 %a, 100000000000000
%t1 = udiv i64 %t0, 100000000000000
; CHECK: %t1
; CHECK-NEXT: --> 0
ret i64 %t1
}
define i64 @test10(i64 %a, i64 %b) {
; CHECK-LABEL: @test10
%t0 = udiv i64 %a, 100000000000000
%t1 = udiv i64 %t0, 100000000000000
%t2 = mul i64 %b, %t1
; CHECK: %t2
; CHECK-NEXT: --> 0
ret i64 %t2
}
define i64 @test11(i64 %a) {
; CHECK-LABEL: @test11
%t0 = udiv i64 0, %a
; CHECK: %t0
; CHECK-NEXT: --> 0
ret i64 %t0
}
|
