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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
define i1 @test_decompose_sub_nsw_sgt_nonneg(i32 %x, i32 %y) {
; CHECK-LABEL: define i1 @test_decompose_sub_nsw_sgt_nonneg(
; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 [[Y]], [[X]]
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[SUB]], 10
; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
; CHECK: [[IF_THEN]]:
; CHECK-NEXT: ret i1 true
; CHECK: [[IF_ELSE]]:
; CHECK-NEXT: ret i1 true
;
entry:
%sub = sub nsw i32 %y, %x
%cond = icmp sgt i32 %sub, 10
br i1 %cond, label %if.then, label %if.else
if.then:
%ret = icmp slt i32 %x, %y
ret i1 %ret
if.else:
ret i1 true
}
define i1 @test_decompose_sub_nsw_sgt_zero(i32 %x, i32 %y) {
; CHECK-LABEL: define i1 @test_decompose_sub_nsw_sgt_zero(
; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 [[Y]], [[X]]
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[SUB]], 0
; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
; CHECK: [[IF_THEN]]:
; CHECK-NEXT: ret i1 true
; CHECK: [[IF_ELSE]]:
; CHECK-NEXT: ret i1 true
;
entry:
%sub = sub nsw i32 %y, %x
%cond = icmp sgt i32 %sub, 0
br i1 %cond, label %if.then, label %if.else
if.then:
%ret = icmp slt i32 %x, %y
ret i1 %ret
if.else:
ret i1 true
}
define i1 @test_decompose_sub_nsw_sgt_zero_inv(i32 %x, i32 %y) {
; CHECK-LABEL: define i1 @test_decompose_sub_nsw_sgt_zero_inv(
; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 [[Y]], [[X]]
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[SUB]], 10
; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
; CHECK: [[IF_THEN]]:
; CHECK-NEXT: ret i1 false
; CHECK: [[IF_ELSE]]:
; CHECK-NEXT: ret i1 true
;
entry:
%sub = sub nsw i32 %y, %x
%cond = icmp sgt i32 %sub, 10
br i1 %cond, label %if.then, label %if.else
if.then:
%ret = icmp sge i32 %x, %y
ret i1 %ret
if.else:
ret i1 true
}
define i1 @test_decompose_sub_nonsw_sgt_zero(i32 %x, i32 %y) {
; CHECK-LABEL: define i1 @test_decompose_sub_nonsw_sgt_zero(
; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[Y]], [[X]]
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[SUB]], 10
; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
; CHECK: [[IF_THEN]]:
; CHECK-NEXT: [[RET:%.*]] = icmp slt i32 [[X]], [[Y]]
; CHECK-NEXT: ret i1 [[RET]]
; CHECK: [[IF_ELSE]]:
; CHECK-NEXT: ret i1 true
;
entry:
%sub = sub i32 %y, %x
%cond = icmp sgt i32 %sub, 10
br i1 %cond, label %if.then, label %if.else
if.then:
%ret = icmp slt i32 %x, %y
ret i1 %ret
if.else:
ret i1 true
}
define i1 @test_decompose_sub_nsw_sgt_neg(i32 %x, i32 %y) {
; CHECK-LABEL: define i1 @test_decompose_sub_nsw_sgt_neg(
; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 [[Y]], [[X]]
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[SUB]], -10
; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
; CHECK: [[IF_THEN]]:
; CHECK-NEXT: [[RET:%.*]] = icmp slt i32 [[X]], [[Y]]
; CHECK-NEXT: ret i1 [[RET]]
; CHECK: [[IF_ELSE]]:
; CHECK-NEXT: ret i1 true
;
entry:
%sub = sub nsw i32 %y, %x
%cond = icmp sgt i32 %sub, -10
br i1 %cond, label %if.then, label %if.else
if.then:
%ret = icmp slt i32 %x, %y
ret i1 %ret
if.else:
ret i1 true
}
|
