145 lines
5.6 KiB
LLVM
145 lines
5.6 KiB
LLVM
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||
|
|
; RUN: opt -loop-reduce -S %s | FileCheck %s
|
||
|
|
|
||
|
|
; Make sure SCEVExpander does not crash and introduce unnecessary LCSSA PHI nodes.
|
||
|
|
|
||
|
|
define void @schedule_block() {
|
||
|
|
; CHECK-LABEL: @schedule_block(
|
||
|
|
; CHECK-NEXT: entry:
|
||
|
|
; CHECK-NEXT: switch i16 undef, label [[IF_END156_I:%.*]] [
|
||
|
|
; CHECK-NEXT: i16 27, label [[IF_THEN_I:%.*]]
|
||
|
|
; CHECK-NEXT: i16 28, label [[IF_THEN_I]]
|
||
|
|
; CHECK-NEXT: i16 29, label [[IF_THEN13_I:%.*]]
|
||
|
|
; CHECK-NEXT: i16 32, label [[LAND_LHS_TRUE136_I:%.*]]
|
||
|
|
; CHECK-NEXT: ]
|
||
|
|
; CHECK: if.then.i:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: if.then13.i:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: land.lhs.true136.i:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: if.end156.i:
|
||
|
|
; CHECK-NEXT: switch i16 undef, label [[WHILE_END256:%.*]] [
|
||
|
|
; CHECK-NEXT: i16 29, label [[IF_THEN210:%.*]]
|
||
|
|
; CHECK-NEXT: i16 28, label [[IF_THEN210]]
|
||
|
|
; CHECK-NEXT: i16 27, label [[LAND_LHS_TRUE191:%.*]]
|
||
|
|
; CHECK-NEXT: i16 32, label [[IF_END248:%.*]]
|
||
|
|
; CHECK-NEXT: ]
|
||
|
|
; CHECK: land.lhs.true191:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: if.then210:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: if.end248:
|
||
|
|
; CHECK-NEXT: br label [[FOR_END:%.*]]
|
||
|
|
; CHECK: while.end256:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: for.end:
|
||
|
|
; CHECK-NEXT: br label [[WHILE_BODY1013:%.*]]
|
||
|
|
; CHECK: while.body1013:
|
||
|
|
; CHECK-NEXT: br label [[FOR_COND_I2472:%.*]]
|
||
|
|
; CHECK: for.cond.i2472:
|
||
|
|
; CHECK-NEXT: [[I_0_I:%.*]] = phi i32 [ 0, [[WHILE_BODY1013]] ], [ [[TMP2:%.*]], [[FOR_END34_I:%.*]] ]
|
||
|
|
; CHECK-NEXT: br i1 false, label [[FOR_COND3_PREHEADER_I:%.*]], label [[IF_END107_I_LOOPEXIT:%.*]]
|
||
|
|
; CHECK: for.cond3.preheader.i:
|
||
|
|
; CHECK-NEXT: [[TMP0:%.*]] = sext i32 [[I_0_I]] to i64
|
||
|
|
; CHECK-NEXT: [[TMP1:%.*]] = add nsw i64 [[TMP0]], 1
|
||
|
|
; CHECK-NEXT: br label [[FOR_COND3_I:%.*]]
|
||
|
|
; CHECK: for.cond3.i:
|
||
|
|
; CHECK-NEXT: [[INDVARS_IV301_I2691:%.*]] = phi i64 [ [[INDVARS_IV_NEXT302_I:%.*]], [[FOR_BODY5_I:%.*]] ], [ [[TMP1]], [[FOR_COND3_PREHEADER_I]] ]
|
||
|
|
; CHECK-NEXT: [[INDVARS_IV_NEXT302_I]] = add nsw i64 [[INDVARS_IV301_I2691]], 1
|
||
|
|
; CHECK-NEXT: br label [[FOR_BODY5_I]]
|
||
|
|
; CHECK: for.body5.i:
|
||
|
|
; CHECK-NEXT: br i1 false, label [[FOR_COND3_I]], label [[FOR_BODY5_I_FOR_END_I2475_LOOPEXIT_CRIT_EDGE:%.*]]
|
||
|
|
; CHECK: for.body5.i.for.end.i2475.loopexit_crit_edge:
|
||
|
|
; CHECK-NEXT: [[TMP2]] = trunc i64 [[INDVARS_IV_NEXT302_I]] to i32
|
||
|
|
; CHECK-NEXT: br label [[FOR_END34_I]]
|
||
|
|
; CHECK: for.end34.i:
|
||
|
|
; CHECK-NEXT: br i1 false, label [[FOR_COND_I2472]], label [[IF_ELSE_I2488:%.*]]
|
||
|
|
; CHECK: if.else.i2488:
|
||
|
|
; CHECK-NEXT: br i1 undef, label [[IF_END107_I:%.*]], label [[FOR_BODY45_PREHEADER_I:%.*]]
|
||
|
|
; CHECK: for.body45.preheader.i:
|
||
|
|
; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[I_0_I]] to i64
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
; CHECK: if.end107.i.loopexit:
|
||
|
|
; CHECK-NEXT: br label [[IF_END107_I]]
|
||
|
|
; CHECK: if.end107.i:
|
||
|
|
; CHECK-NEXT: unreachable
|
||
|
|
;
|
||
|
|
entry:
|
||
|
|
switch i16 undef, label %if.end156.i [
|
||
|
|
i16 27, label %if.then.i
|
||
|
|
i16 28, label %if.then.i
|
||
|
|
i16 29, label %if.then13.i
|
||
|
|
i16 32, label %land.lhs.true136.i
|
||
|
|
]
|
||
|
|
|
||
|
|
if.then.i: ; preds = %entry, %entry
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
if.then13.i: ; preds = %entry
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
land.lhs.true136.i: ; preds = %entry
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
if.end156.i: ; preds = %entry
|
||
|
|
switch i16 undef, label %while.end256 [
|
||
|
|
i16 29, label %if.then210
|
||
|
|
i16 28, label %if.then210
|
||
|
|
i16 27, label %land.lhs.true191
|
||
|
|
i16 32, label %if.end248
|
||
|
|
]
|
||
|
|
|
||
|
|
land.lhs.true191: ; preds = %if.end156.i
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
if.then210: ; preds = %if.end156.i, %if.end156.i
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
if.end248: ; preds = %if.end156.i
|
||
|
|
br label %for.end
|
||
|
|
|
||
|
|
while.end256: ; preds = %if.end156.i
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
for.end: ; preds = %if.end248
|
||
|
|
br label %while.body1013
|
||
|
|
|
||
|
|
while.body1013: ; preds = %for.end
|
||
|
|
br label %for.cond.i2472
|
||
|
|
|
||
|
|
for.cond.i2472: ; preds = %for.end34.i, %while.body1013
|
||
|
|
%i.0.i = phi i32 [ 0, %while.body1013 ], [ %2, %for.end34.i ]
|
||
|
|
br i1 undef, label %for.cond3.preheader.i, label %if.end107.i
|
||
|
|
|
||
|
|
for.cond3.preheader.i: ; preds = %for.cond.i2472
|
||
|
|
%0 = sext i32 %i.0.i to i64
|
||
|
|
%1 = add nsw i64 %0, 1
|
||
|
|
br label %for.cond3.i
|
||
|
|
|
||
|
|
for.cond3.i: ; preds = %for.body5.i, %for.cond3.preheader.i
|
||
|
|
%indvars.iv301.i2691 = phi i64 [ %indvars.iv.next302.i, %for.body5.i ], [ %1, %for.cond3.preheader.i ]
|
||
|
|
%indvars.iv.next302.i = add nsw i64 %indvars.iv301.i2691, 1
|
||
|
|
br label %for.body5.i
|
||
|
|
|
||
|
|
for.body5.i: ; preds = %for.cond3.i
|
||
|
|
br i1 undef, label %for.cond3.i, label %for.body5.i.for.end.i2475.loopexit_crit_edge
|
||
|
|
|
||
|
|
for.body5.i.for.end.i2475.loopexit_crit_edge: ; preds = %for.body5.i
|
||
|
|
%2 = trunc i64 %indvars.iv.next302.i to i32
|
||
|
|
br label %for.end34.i
|
||
|
|
|
||
|
|
for.end34.i: ; preds = %for.body5.i.for.end.i2475.loopexit_crit_edge
|
||
|
|
br i1 undef, label %for.cond.i2472, label %if.else.i2488
|
||
|
|
|
||
|
|
if.else.i2488: ; preds = %for.end34.i
|
||
|
|
br i1 undef, label %if.end107.i, label %for.body45.preheader.i
|
||
|
|
|
||
|
|
for.body45.preheader.i: ; preds = %if.else.i2488
|
||
|
|
%3 = sext i32 %i.0.i to i64
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
if.end107.i: ; preds = %if.else.i2488, %for.cond.i2472
|
||
|
|
unreachable
|
||
|
|
}
|