xref: /llvm-project/llvm/test/Transforms/ConstraintElimination/constants-signed-predicates.ll (revision 13ffde316a8541d77116bd18f73efada236617f3)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
3
4define i1 @test_slt() {
5; CHECK-LABEL: @test_slt(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[RES_1:%.*]] = xor i1 true, false
8; CHECK-NEXT:    [[RES_2:%.*]] = xor i1 [[RES_1]], false
9; CHECK-NEXT:    [[RES_3:%.*]] = xor i1 [[RES_2]], false
10; CHECK-NEXT:    [[RES_4:%.*]] = xor i1 [[RES_3]], true
11; CHECK-NEXT:    ret i1 [[RES_4]]
12;
13entry:
14  %t.0 = icmp slt i8 10, 11
15  %f.0 = icmp slt i8 10, 10
16  %res.1 = xor i1 %t.0, %f.0
17  %f.1 = icmp slt i8 10, 9
18  %res.2 = xor i1 %res.1, %f.1
19  %f.2 = icmp slt i8 10, -10
20  %res.3 = xor i1 %res.2, %f.2
21  %t.1 = icmp slt i8 10, 11
22  %res.4 = xor i1 %res.3, %t.1
23  ret i1 %res.4
24}
25
26define i1 @test_sgt() {
27; CHECK-LABEL: @test_sgt(
28; CHECK-NEXT:  entry:
29; CHECK-NEXT:    [[RES_1:%.*]] = xor i1 true, false
30; CHECK-NEXT:    [[RES_2:%.*]] = xor i1 [[RES_1]], false
31; CHECK-NEXT:    [[RES_3:%.*]] = xor i1 [[RES_2]], false
32; CHECK-NEXT:    [[RES_4:%.*]] = xor i1 [[RES_3]], true
33; CHECK-NEXT:    ret i1 [[RES_4]]
34;
35entry:
36  %t.0 = icmp sgt i8 11, 10
37  %f.0 = icmp sgt i8 10, 10
38  %res.1 = xor i1 %t.0, %f.0
39  %f.1 = icmp sgt i8 9, 10
40  %res.2 = xor i1 %res.1, %f.1
41  %f.2 = icmp sgt i8 -10, 10
42  %res.3 = xor i1 %res.2, %f.2
43  %t.1 = icmp sgt i8 -1, -2
44  %res.4 = xor i1 %res.3, %t.1
45  ret i1 %res.4
46}
47
48; Test cases where lhs - rhs results in constant offset.
49define i1 @test_slt_gep_1(ptr %base) {
50; CHECK-LABEL: @test_slt_gep_1(
51; CHECK-NEXT:  entry:
52; CHECK-NEXT:    [[GEP_1:%.*]] = getelementptr inbounds i8, ptr [[BASE:%.*]], i8 1
53; CHECK-NEXT:    [[T_0:%.*]] = icmp slt ptr [[BASE]], [[GEP_1]]
54; CHECK-NEXT:    [[GEP_0:%.*]] = getelementptr inbounds i8, ptr [[BASE]], i8 0
55; CHECK-NEXT:    [[RES_1:%.*]] = xor i1 [[T_0]], false
56; CHECK-NEXT:    [[C_1:%.*]] = icmp slt ptr [[GEP_1]], [[BASE]]
57; CHECK-NEXT:    [[RES_2:%.*]] = xor i1 [[RES_1]], [[C_1]]
58; CHECK-NEXT:    ret i1 [[RES_2]]
59;
60entry:
61  %gep.1 = getelementptr inbounds i8, ptr %base, i8 1
62  %t.0 = icmp slt ptr %base, %gep.1
63  %gep.0 = getelementptr inbounds i8, ptr %base, i8 0
64  %f.0 = icmp slt ptr %base, %gep.0
65  %res.1 = xor i1 %t.0, %f.0
66  %c.1 = icmp slt ptr %gep.1, %base
67  %res.2 = xor i1 %res.1, %c.1
68  ret i1 %res.2
69}
70
71define i1 @test_slt_gep_2(ptr %base) {
72; CHECK-LABEL: @test_slt_gep_2(
73; CHECK-NEXT:    [[GEP_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[BASE:%.*]], i8 -1
74; CHECK-NEXT:    [[C_1:%.*]] = icmp slt ptr [[BASE]], [[GEP_SUB_1]]
75; CHECK-NEXT:    ret i1 [[C_1]]
76;
77  %gep.sub.1 = getelementptr inbounds i8, ptr %base, i8 -1
78  %c.1 = icmp slt ptr %base, %gep.sub.1
79  ret i1 %c.1
80}
81
82define i1 @test_slt_gep_3(ptr %base) {
83; CHECK-LABEL: @test_slt_gep_3(
84; CHECK-NEXT:    [[GEP_1_NOINBOUNDS:%.*]] = getelementptr i8, ptr [[BASE:%.*]], i8 1
85; CHECK-NEXT:    [[C_1:%.*]] = icmp slt ptr [[BASE]], [[GEP_1_NOINBOUNDS]]
86; CHECK-NEXT:    ret i1 [[C_1]]
87;
88  %gep.1.noinbounds = getelementptr i8, ptr %base, i8 1
89  %c.1 = icmp slt ptr %base, %gep.1.noinbounds
90  ret i1 %c.1
91}
92