xref: /aosp_15_r20/external/llvm/test/Transforms/InstCombine/compare-udiv.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -instcombine -S < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1
4*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ugt i32 %d, %n
5*9880d681SAndroid Build Coastguard Workerdefine i1 @test1(i32 %n, i32 %d) {
6*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 %n, %d
7*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i32 %div, 0
8*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
9*9880d681SAndroid Build Coastguard Worker}
10*9880d681SAndroid Build Coastguard Worker
11*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2
12*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ugt i32 %d, 64
13*9880d681SAndroid Build Coastguard Workerdefine i1 @test2(i32 %d) {
14*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 64, %d
15*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i32 %div, 0
16*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
17*9880d681SAndroid Build Coastguard Worker}
18*9880d681SAndroid Build Coastguard Worker
19*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test3
20*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ule i32 %d, %n
21*9880d681SAndroid Build Coastguard Workerdefine i1 @test3(i32 %n, i32 %d) {
22*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 %n, %d
23*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ne i32 %div, 0
24*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
25*9880d681SAndroid Build Coastguard Worker}
26*9880d681SAndroid Build Coastguard Worker
27*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test4
28*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ult i32 %d, 65
29*9880d681SAndroid Build Coastguard Workerdefine i1 @test4(i32 %d) {
30*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 64, %d
31*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ne i32 %div, 0
32*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
33*9880d681SAndroid Build Coastguard Worker}
34*9880d681SAndroid Build Coastguard Worker
35*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test5
36*9880d681SAndroid Build Coastguard Worker; CHECK: ret i1 true
37*9880d681SAndroid Build Coastguard Workerdefine i1 @test5(i32 %d) {
38*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 -1, %d
39*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ne i32 %div, 0
40*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
41*9880d681SAndroid Build Coastguard Worker}
42*9880d681SAndroid Build Coastguard Worker
43*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test6
44*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ult i32 %d, 6
45*9880d681SAndroid Build Coastguard Workerdefine i1 @test6(i32 %d) {
46*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 5, %d
47*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ugt i32 %div, 0
48*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
49*9880d681SAndroid Build Coastguard Worker}
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Worker; (icmp ugt (udiv C1, X), C1) -> false.
52*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test7
53*9880d681SAndroid Build Coastguard Worker; CHECK: ret i1 false
54*9880d681SAndroid Build Coastguard Workerdefine i1 @test7(i32 %d) {
55*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 8, %d
56*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ugt i32 %div, 8
57*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
58*9880d681SAndroid Build Coastguard Worker}
59*9880d681SAndroid Build Coastguard Worker
60*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test8
61*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ult i32 %d, 2
62*9880d681SAndroid Build Coastguard Workerdefine i1 @test8(i32 %d) {
63*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
64*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ugt i32 %div, 3
65*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
66*9880d681SAndroid Build Coastguard Worker}
67*9880d681SAndroid Build Coastguard Worker
68*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test9
69*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ult i32 %d, 2
70*9880d681SAndroid Build Coastguard Workerdefine i1 @test9(i32 %d) {
71*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
72*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ugt i32 %div, 2
73*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
74*9880d681SAndroid Build Coastguard Worker}
75*9880d681SAndroid Build Coastguard Worker
76*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test10
77*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ult i32 %d, 3
78*9880d681SAndroid Build Coastguard Workerdefine i1 @test10(i32 %d) {
79*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
80*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ugt i32 %div, 1
81*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
82*9880d681SAndroid Build Coastguard Worker}
83*9880d681SAndroid Build Coastguard Worker
84*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test11
85*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ugt i32 %d, 4
86*9880d681SAndroid Build Coastguard Workerdefine i1 @test11(i32 %d) {
87*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
88*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ult i32 %div, 1
89*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
90*9880d681SAndroid Build Coastguard Worker}
91*9880d681SAndroid Build Coastguard Worker
92*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test12
93*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ugt i32 %d, 2
94*9880d681SAndroid Build Coastguard Workerdefine i1 @test12(i32 %d) {
95*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
96*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ult i32 %div, 2
97*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
98*9880d681SAndroid Build Coastguard Worker}
99*9880d681SAndroid Build Coastguard Worker
100*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test13
101*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ugt i32 %d, 1
102*9880d681SAndroid Build Coastguard Workerdefine i1 @test13(i32 %d) {
103*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
104*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ult i32 %div, 3
105*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
106*9880d681SAndroid Build Coastguard Worker}
107*9880d681SAndroid Build Coastguard Worker
108*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test14
109*9880d681SAndroid Build Coastguard Worker; CHECK: %cmp1 = icmp ugt i32 %d, 1
110*9880d681SAndroid Build Coastguard Workerdefine i1 @test14(i32 %d) {
111*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
112*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ult i32 %div, 4
113*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
114*9880d681SAndroid Build Coastguard Worker}
115*9880d681SAndroid Build Coastguard Worker
116*9880d681SAndroid Build Coastguard Worker; icmp ugt X, UINT_MAX -> false.
117*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test15
118*9880d681SAndroid Build Coastguard Worker; CHECK: ret i1 false
119*9880d681SAndroid Build Coastguard Workerdefine i1 @test15(i32 %d) {
120*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
121*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ugt i32 %div, -1
122*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
123*9880d681SAndroid Build Coastguard Worker}
124*9880d681SAndroid Build Coastguard Worker
125*9880d681SAndroid Build Coastguard Worker; icmp ult X, UINT_MAX -> true.
126*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test16
127*9880d681SAndroid Build Coastguard Worker; CHECK: ret i1 true
128*9880d681SAndroid Build Coastguard Workerdefine i1 @test16(i32 %d) {
129*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 4, %d
130*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp ult i32 %div, -1
131*9880d681SAndroid Build Coastguard Worker  ret i1 %cmp1
132*9880d681SAndroid Build Coastguard Worker}
133