1a14a59f2SFlorian Hahn; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2*8ebb3eacSBjorn Pettersson; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s 3a14a59f2SFlorian Hahn 4a14a59f2SFlorian Hahndeclare void @use(i1) 5a14a59f2SFlorian Hahn 6a14a59f2SFlorian Hahn 70bcfd4cbSFlorian Hahndefine i1 @test_uge_temporary_indices_decompose(i8 %start, i8 %n, i8 %idx) { 8a14a59f2SFlorian Hahn; CHECK-LABEL: @test_uge_temporary_indices_decompose( 9a14a59f2SFlorian Hahn; CHECK-NEXT: entry: 10a14a59f2SFlorian Hahn; CHECK-NEXT: [[CMP_PRE:%.*]] = icmp ult i8 [[IDX:%.*]], [[N:%.*]] 11a14a59f2SFlorian Hahn; CHECK-NEXT: [[START_ADD_IDX:%.*]] = add nuw nsw i8 [[START:%.*]], [[IDX]] 12a14a59f2SFlorian Hahn; CHECK-NEXT: [[START_ADD_N:%.*]] = add nuw nsw i8 [[START]], [[N]] 13a14a59f2SFlorian Hahn; CHECK-NEXT: [[START_ADD_1:%.*]] = add nuw nsw i8 [[START]], 1 14a14a59f2SFlorian Hahn; CHECK-NEXT: br i1 [[CMP_PRE]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] 15a14a59f2SFlorian Hahn; CHECK: if.then: 160bcfd4cbSFlorian Hahn; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, false 17a14a59f2SFlorian Hahn; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8 [[START_ADD_1]], [[START_ADD_N]] 180bcfd4cbSFlorian Hahn; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], [[C_1]] 19a14a59f2SFlorian Hahn; CHECK-NEXT: [[C_2:%.*]] = icmp ult i8 [[START_ADD_IDX]], [[START_ADD_1]] 200bcfd4cbSFlorian Hahn; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], [[C_2]] 210bcfd4cbSFlorian Hahn; CHECK-NEXT: ret i1 [[R_3]] 22a14a59f2SFlorian Hahn; CHECK: if.end: 230bcfd4cbSFlorian Hahn; CHECK-NEXT: [[R_4:%.*]] = xor i1 false, true 24a14a59f2SFlorian Hahn; CHECK-NEXT: [[C_3:%.*]] = icmp ult i8 [[START_ADD_1]], [[START_ADD_N]] 250bcfd4cbSFlorian Hahn; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_3]] 26a14a59f2SFlorian Hahn; CHECK-NEXT: [[C_4:%.*]] = icmp ult i8 [[START_ADD_IDX]], [[START_ADD_1]] 270bcfd4cbSFlorian Hahn; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[R_5]], [[C_4]] 280bcfd4cbSFlorian Hahn; CHECK-NEXT: ret i1 [[R_6]] 29a14a59f2SFlorian Hahn; 30a14a59f2SFlorian Hahnentry: 31a14a59f2SFlorian Hahn %cmp.pre = icmp ult i8 %idx, %n 32a14a59f2SFlorian Hahn %start.add.idx = add nuw nsw i8 %start, %idx 33a14a59f2SFlorian Hahn %start.add.n = add nuw nsw i8 %start, %n 34a14a59f2SFlorian Hahn %start.add.1 = add nuw nsw i8 %start, 1 35a14a59f2SFlorian Hahn br i1 %cmp.pre, label %if.then, label %if.end 36a14a59f2SFlorian Hahn 37a14a59f2SFlorian Hahnif.then: ; preds = %entry 38a14a59f2SFlorian Hahn %t.0 = icmp ult i8 %start.add.idx, %start.add.n 39a14a59f2SFlorian Hahn %f.0 = icmp uge i8 %start.add.idx, %start.add.n 400bcfd4cbSFlorian Hahn %r.1 = xor i1 %t.0, %f.0 41a14a59f2SFlorian Hahn 42a14a59f2SFlorian Hahn %c.1 = icmp ult i8 %start.add.1, %start.add.n 430bcfd4cbSFlorian Hahn %r.2 = xor i1 %r.1, %c.1 44a14a59f2SFlorian Hahn 45a14a59f2SFlorian Hahn %c.2 = icmp ult i8 %start.add.idx, %start.add.1 460bcfd4cbSFlorian Hahn %r.3 = xor i1 %r.2, %c.2 470bcfd4cbSFlorian Hahn ret i1 %r.3 48a14a59f2SFlorian Hahn 49a14a59f2SFlorian Hahn 50a14a59f2SFlorian Hahnif.end: ; preds = %entry 51a14a59f2SFlorian Hahn %f.1 = icmp ult i8 %start.add.idx, %start.add.n 52a14a59f2SFlorian Hahn %t.1 = icmp uge i8 %start.add.idx, %start.add.n 530bcfd4cbSFlorian Hahn %r.4 = xor i1 %f.1, %t.1 54a14a59f2SFlorian Hahn 55a14a59f2SFlorian Hahn %c.3 = icmp ult i8 %start.add.1, %start.add.n 560bcfd4cbSFlorian Hahn %r.5 = xor i1 %r.4, %c.3 57a14a59f2SFlorian Hahn 58a14a59f2SFlorian Hahn %c.4 = icmp ult i8 %start.add.idx, %start.add.1 590bcfd4cbSFlorian Hahn %r.6 = xor i1 %r.5, %c.4 60a14a59f2SFlorian Hahn 610bcfd4cbSFlorian Hahn ret i1 %r.6 62a14a59f2SFlorian Hahn} 63