1*dd48a9b0SNoah Goldstein; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 2*dd48a9b0SNoah Goldstein; RUN: opt -passes=loop-deletion -S < %s | FileCheck %s 3*dd48a9b0SNoah Goldstein; This reduced testcase from pr65022. We are only testing that is doesn't crash. 4*dd48a9b0SNoah Goldstein 5*dd48a9b0SNoah Goldsteindefine void @f(i32 %spec.select) { 6*dd48a9b0SNoah Goldstein; CHECK-LABEL: define void @f 7*dd48a9b0SNoah Goldstein; CHECK-SAME: (i32 [[SPEC_SELECT:%.*]]) { 8*dd48a9b0SNoah Goldstein; CHECK-NEXT: entry: 9*dd48a9b0SNoah Goldstein; CHECK-NEXT: br label [[L_OUTER:%.*]] 10*dd48a9b0SNoah Goldstein; CHECK: L.outer: 11*dd48a9b0SNoah Goldstein; CHECK-NEXT: br label [[IF_END:%.*]] 12*dd48a9b0SNoah Goldstein; CHECK: if.end: 13*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[DOTB:%.*]] = load i1, ptr null, align 1 14*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[TMP0:%.*]] = select i1 [[DOTB]], i32 0, i32 1 15*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[TMP0]], -1 16*dd48a9b0SNoah Goldstein; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN3:%.*]], label [[WHILE_COND_SPLIT_LOOP_EXIT1:%.*]] 17*dd48a9b0SNoah Goldstein; CHECK: if.then3: 18*dd48a9b0SNoah Goldstein; CHECK-NEXT: br label [[IF_END]] 19*dd48a9b0SNoah Goldstein; CHECK: while.cond.split.loop.exit1: 20*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[DOTLCSSA:%.*]] = phi i32 [ [[TMP0]], [[IF_END]] ] 21*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[NOT_LE:%.*]] = xor i32 [[DOTLCSSA]], 1 22*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[TOBOOL7_NOT:%.*]] = icmp eq i32 [[NOT_LE]], 0 23*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[SPEC_SELECT3:%.*]] = select i1 [[TOBOOL7_NOT]], i32 0, i32 [[SPEC_SELECT]] 24*dd48a9b0SNoah Goldstein; CHECK-NEXT: [[TOBOOL10_NOT:%.*]] = icmp eq i32 [[SPEC_SELECT3]], 0 25*dd48a9b0SNoah Goldstein; CHECK-NEXT: br i1 [[TOBOOL10_NOT]], label [[FOR_COND_PREHEADER:%.*]], label [[L_OUTER]] 26*dd48a9b0SNoah Goldstein; CHECK: for.cond.preheader: 27*dd48a9b0SNoah Goldstein; CHECK-NEXT: ret void 28*dd48a9b0SNoah Goldstein; 29*dd48a9b0SNoah Goldsteinentry: 30*dd48a9b0SNoah Goldstein br label %L.outer 31*dd48a9b0SNoah Goldstein 32*dd48a9b0SNoah GoldsteinL.outer: ; preds = %while.cond.split.loop.exit1, %entry 33*dd48a9b0SNoah Goldstein br label %if.end 34*dd48a9b0SNoah Goldstein 35*dd48a9b0SNoah Goldsteinif.end: ; preds = %if.then3, %L.outer 36*dd48a9b0SNoah Goldstein %.b = load i1, ptr null, align 1 37*dd48a9b0SNoah Goldstein %0 = select i1 %.b, i32 0, i32 1 38*dd48a9b0SNoah Goldstein %cmp = icmp sgt i32 %0, -1 39*dd48a9b0SNoah Goldstein br i1 %cmp, label %if.then3, label %while.cond.split.loop.exit1 40*dd48a9b0SNoah Goldstein 41*dd48a9b0SNoah Goldsteinif.then3: ; preds = %if.end 42*dd48a9b0SNoah Goldstein br label %if.end 43*dd48a9b0SNoah Goldstein 44*dd48a9b0SNoah Goldsteinwhile.cond.split.loop.exit1: ; preds = %if.end 45*dd48a9b0SNoah Goldstein %.lcssa = phi i32 [ %0, %if.end ] 46*dd48a9b0SNoah Goldstein %not.le = xor i32 %.lcssa, 1 47*dd48a9b0SNoah Goldstein %tobool7.not = icmp eq i32 %not.le, 0 48*dd48a9b0SNoah Goldstein %spec.select3 = select i1 %tobool7.not, i32 0, i32 %spec.select 49*dd48a9b0SNoah Goldstein %tobool10.not = icmp eq i32 %spec.select3, 0 50*dd48a9b0SNoah Goldstein br i1 %tobool10.not, label %for.cond.preheader, label %L.outer 51*dd48a9b0SNoah Goldstein 52*dd48a9b0SNoah Goldsteinfor.cond.preheader: ; preds = %while.cond.split.loop.exit1 53*dd48a9b0SNoah Goldstein ret void 54*dd48a9b0SNoah Goldstein} 55*dd48a9b0SNoah Goldstein 56*dd48a9b0SNoah Goldstein; uselistorder directives 57*dd48a9b0SNoah Goldsteinuselistorder i32 0, { 1, 0, 2, 3 } 58