102 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes="function(require<block-freq>,loop(loop-unroll-full)),always-inline" < %s | FileCheck %s3 4; Make sure this does not crash.5 6define void @f_116_0(ptr %p) alwaysinline {7; CHECK-LABEL: define void @f_116_0(8; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0:[0-9]+]] {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: [[DOTPRE:%.*]] = load i16, ptr [[P]], align 111; CHECK-NEXT: br label %[[FOR_COND:.*]]12; CHECK: [[FOR_COND]]:13; CHECK-NEXT: [[CMP3:%.*]] = icmp ult i16 [[DOTPRE]], 114; CHECK-NEXT: br i1 [[CMP3]], label %[[FOR_BODY:.*]], label %[[FOR_COND_CLEANUP:.*]]15; CHECK: [[FOR_COND_CLEANUP]]:16; CHECK-NEXT: ret void17; CHECK: [[FOR_BODY]]:18; CHECK-NEXT: br label %[[FOR_COND]]19;20entry:21 %.pre = load i16, ptr %p, align 122 br label %for.cond23 24for.cond: ; preds = %for.body, %entry25 %cmp3 = icmp ult i16 %.pre, 126 br i1 %cmp3, label %for.body, label %for.cond.cleanup27 28for.cond.cleanup: ; preds = %for.cond29 ret void30 31for.body: ; preds = %for.cond32 br label %for.cond33}34 35define void @f_321_0(ptr %p) alwaysinline {36; CHECK-LABEL: define void @f_321_0(37; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0]] {38; CHECK-NEXT: [[ENTRY:.*:]]39; CHECK-NEXT: br label %[[FOR_COND:.*]]40; CHECK: [[FOR_COND]]:41; CHECK-NEXT: br i1 false, label %[[CRIT_EDGE:.*]], label %[[FOR_COND_CLEANUP:.*]]42; CHECK: [[CRIT_EDGE]]:43; CHECK-NEXT: unreachable44; CHECK: [[FOR_COND_CLEANUP]]:45; CHECK-NEXT: [[DOTPRE_I:%.*]] = load i16, ptr [[P]], align 146; CHECK-NEXT: br label %[[FOR_COND_I:.*]]47; CHECK: [[FOR_COND_I]]:48; CHECK-NEXT: [[CMP3_I:%.*]] = icmp ult i16 [[DOTPRE_I]], 149; CHECK-NEXT: br i1 [[CMP3_I]], label %[[FOR_BODY_I:.*]], label %[[F_116_0_EXIT:.*]]50; CHECK: [[FOR_BODY_I]]:51; CHECK-NEXT: br label %[[FOR_COND_I]]52; CHECK: [[F_116_0_EXIT]]:53; CHECK-NEXT: ret void54;55entry:56 br label %for.cond57 58for.cond: ; preds = %crit_edge, %entry59 br i1 false, label %crit_edge, label %for.cond.cleanup60 61crit_edge: ; preds = %for.cond62 br label %for.cond63 64for.cond.cleanup: ; preds = %for.cond65 call void @f_116_0(ptr %p)66 ret void67}68 69define i16 @main(ptr %p) {70; CHECK-LABEL: define i16 @main(71; CHECK-SAME: ptr [[P:%.*]]) {72; CHECK-NEXT: [[ENTRY:.*:]]73; CHECK-NEXT: br label %[[FOR_COND:.*]]74; CHECK: [[FOR_COND]]:75; CHECK-NEXT: br label %[[FOR_COND]]76; CHECK: [[IF_ELSE:.*:]]77; CHECK-NEXT: [[DOTPRE_I_I:%.*]] = load i16, ptr [[P]], align 178; CHECK-NEXT: br label %[[FOR_COND_I_I:.*]]79; CHECK: [[FOR_COND_I_I]]:80; CHECK-NEXT: [[CMP3_I_I:%.*]] = icmp ult i16 [[DOTPRE_I_I]], 181; CHECK-NEXT: br i1 [[CMP3_I_I]], label %[[FOR_BODY_I_I:.*]], label %[[F_321_0_EXIT:.*]]82; CHECK: [[FOR_BODY_I_I]]:83; CHECK-NEXT: br label %[[FOR_COND_I_I]]84; CHECK: [[F_321_0_EXIT]]:85; CHECK-NEXT: br label %[[FOR_COND115:.*]]86; CHECK: [[FOR_COND115]]:87; CHECK-NEXT: br label %[[FOR_COND115]]88;89entry:90 br label %for.cond91 92for.cond: ; preds = %for.cond, %entry93 br label %for.cond94 95if.else: ; No predecessors!96 call void @f_321_0(ptr %p)97 br label %for.cond11598 99for.cond115: ; preds = %for.cond115, %if.else100 br label %for.cond115101}102