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
|
; RUN: opt -S -instcombine < %s | FileCheck %s
define i32 @compute_min_2(i32 %x, i32 %y) {
; CHECK-LABEL: compute_min_2
entry:
%not_x = sub i32 -1, %x
%not_y = sub i32 -1, %y
%cmp = icmp sgt i32 %not_x, %not_y
%not_min = select i1 %cmp, i32 %not_x, i32 %not_y
%min = sub i32 -1, %not_min
ret i32 %min
; CHECK: %0 = icmp slt i32 %x, %y
; CHECK-NEXT: %1 = select i1 %0, i32 %x, i32 %y
; CHECK-NEXT: ret i32 %1
}
define i32 @compute_min_3(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: compute_min_3
entry:
%not_x = sub i32 -1, %x
%not_y = sub i32 -1, %y
%not_z = sub i32 -1, %z
%cmp_1 = icmp sgt i32 %not_x, %not_y
%not_min_1 = select i1 %cmp_1, i32 %not_x, i32 %not_y
%cmp_2 = icmp sgt i32 %not_min_1, %not_z
%not_min_2 = select i1 %cmp_2, i32 %not_min_1, i32 %not_z
%min = sub i32 -1, %not_min_2
ret i32 %min
; CHECK: %0 = icmp slt i32 %x, %y
; CHECK-NEXT: %1 = select i1 %0, i32 %x, i32 %y
; CHECK-NEXT: %2 = icmp slt i32 %1, %z
; CHECK-NEXT: %3 = select i1 %2, i32 %1, i32 %z
; CHECK-NEXT: ret i32 %3
}
define i32 @compute_min_arithmetic(i32 %x, i32 %y) {
; CHECK-LABEL: compute_min_arithmetic
entry:
%not_value = sub i32 3, %x
%not_y = sub i32 -1, %y
%cmp = icmp sgt i32 %not_value, %not_y
%not_min = select i1 %cmp, i32 %not_value, i32 %not_y
ret i32 %not_min
; CHECK: %0 = add i32 %x, -4
; CHECK-NEXT: %1 = icmp slt i32 %0, %y
; CHECK-NEXT: %2 = select i1 %1, i32 %0, i32 %y
; CHECK-NEXT: %3 = xor i32 %2, -1
; CHECK-NEXT: ret i32 %3
}
declare void @fake_use(i32)
define i32 @compute_min_pessimization(i32 %x, i32 %y) {
; CHECK-LABEL: compute_min_pessimization
entry:
%not_value = sub i32 3, %x
call void @fake_use(i32 %not_value)
%not_y = sub i32 -1, %y
%cmp = icmp sgt i32 %not_value, %not_y
; CHECK: %not_value = sub i32 3, %x
; CHECK: %cmp = icmp sgt i32 %not_value, %not_y
%not_min = select i1 %cmp, i32 %not_value, i32 %not_y
%min = sub i32 -1, %not_min
ret i32 %min
}
|
