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