63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4declare void @use(i1)5 6 7define i1 @test_uge_temporary_indices_decompose(i8 %start, i8 %n, i8 %idx) {8; CHECK-LABEL: @test_uge_temporary_indices_decompose(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[CMP_PRE:%.*]] = icmp ult i8 [[IDX:%.*]], [[N:%.*]]11; CHECK-NEXT: [[START_ADD_IDX:%.*]] = add nuw nsw i8 [[START:%.*]], [[IDX]]12; CHECK-NEXT: [[START_ADD_N:%.*]] = add nuw nsw i8 [[START]], [[N]]13; CHECK-NEXT: [[START_ADD_1:%.*]] = add nuw nsw i8 [[START]], 114; CHECK-NEXT: br i1 [[CMP_PRE]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]15; CHECK: if.then:16; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, false17; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8 [[START_ADD_1]], [[START_ADD_N]]18; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], [[C_1]]19; CHECK-NEXT: [[C_2:%.*]] = icmp ult i8 [[START_ADD_IDX]], [[START_ADD_1]]20; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], [[C_2]]21; CHECK-NEXT: ret i1 [[R_3]]22; CHECK: if.end:23; CHECK-NEXT: [[R_4:%.*]] = xor i1 false, true24; CHECK-NEXT: [[C_3:%.*]] = icmp ult i8 [[START_ADD_1]], [[START_ADD_N]]25; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_3]]26; CHECK-NEXT: [[C_4:%.*]] = icmp ult i8 [[START_ADD_IDX]], [[START_ADD_1]]27; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[R_5]], [[C_4]]28; CHECK-NEXT: ret i1 [[R_6]]29;30entry:31 %cmp.pre = icmp ult i8 %idx, %n32 %start.add.idx = add nuw nsw i8 %start, %idx33 %start.add.n = add nuw nsw i8 %start, %n34 %start.add.1 = add nuw nsw i8 %start, 135 br i1 %cmp.pre, label %if.then, label %if.end36 37if.then: ; preds = %entry38 %t.0 = icmp ult i8 %start.add.idx, %start.add.n39 %f.0 = icmp uge i8 %start.add.idx, %start.add.n40 %r.1 = xor i1 %t.0, %f.041 42 %c.1 = icmp ult i8 %start.add.1, %start.add.n43 %r.2 = xor i1 %r.1, %c.144 45 %c.2 = icmp ult i8 %start.add.idx, %start.add.146 %r.3 = xor i1 %r.2, %c.247 ret i1 %r.348 49 50if.end: ; preds = %entry51 %f.1 = icmp ult i8 %start.add.idx, %start.add.n52 %t.1 = icmp uge i8 %start.add.idx, %start.add.n53 %r.4 = xor i1 %f.1, %t.154 55 %c.3 = icmp ult i8 %start.add.1, %start.add.n56 %r.5 = xor i1 %r.4, %c.357 58 %c.4 = icmp ult i8 %start.add.idx, %start.add.159 %r.6 = xor i1 %r.5, %c.460 61 ret i1 %r.662}63