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