1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s 3 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]], 1 14; CHECK-NEXT: br i1 [[CMP_PRE]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] 15; CHECK: if.then: 16; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, false 17; 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, true 24; 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, %n 32 %start.add.idx = add nuw nsw i8 %start, %idx 33 %start.add.n = add nuw nsw i8 %start, %n 34 %start.add.1 = add nuw nsw i8 %start, 1 35 br i1 %cmp.pre, label %if.then, label %if.end 36 37if.then: ; preds = %entry 38 %t.0 = icmp ult i8 %start.add.idx, %start.add.n 39 %f.0 = icmp uge i8 %start.add.idx, %start.add.n 40 %r.1 = xor i1 %t.0, %f.0 41 42 %c.1 = icmp ult i8 %start.add.1, %start.add.n 43 %r.2 = xor i1 %r.1, %c.1 44 45 %c.2 = icmp ult i8 %start.add.idx, %start.add.1 46 %r.3 = xor i1 %r.2, %c.2 47 ret i1 %r.3 48 49 50if.end: ; preds = %entry 51 %f.1 = icmp ult i8 %start.add.idx, %start.add.n 52 %t.1 = icmp uge i8 %start.add.idx, %start.add.n 53 %r.4 = xor i1 %f.1, %t.1 54 55 %c.3 = icmp ult i8 %start.add.1, %start.add.n 56 %r.5 = xor i1 %r.4, %c.3 57 58 %c.4 = icmp ult i8 %start.add.idx, %start.add.1 59 %r.6 = xor i1 %r.5, %c.4 60 61 ret i1 %r.6 62} 63