106 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=hardware-loops -verify-loop-lcssa -S | FileCheck %s3 4target datalayout = "E-m:e-i64:64-n32:64"5target triple = "ppc64-unknown-linux-elf"6 7declare i1 @cond() readnone8 9; Make sure we do not crash on the test.10 11define void @test() {12; CHECK-LABEL: @test(13; CHECK-NEXT: entry:14; CHECK-NEXT: br label [[WHILE_COND:%.*]]15; CHECK: while.cond:16; CHECK-NEXT: br label [[FOR_BODY:%.*]]17; CHECK: for.body:18; CHECK-NEXT: br label [[FOR_INC:%.*]]19; CHECK: for.inc:20; CHECK-NEXT: [[C_0:%.*]] = call i1 @cond()21; CHECK-NEXT: br i1 [[C_0]], label [[WHILE_COND25_PREHEADER:%.*]], label [[FOR_BODY]]22; CHECK: while.cond25.preheader:23; CHECK-NEXT: [[INDVARS_IV349_PH:%.*]] = phi i64 [ 50, [[FOR_INC]] ]24; CHECK-NEXT: call void @llvm.set.loop.iterations.i64(i64 51)25; CHECK-NEXT: br label [[WHILE_COND25:%.*]]26; CHECK: while.cond25:27; CHECK-NEXT: [[INDVAR:%.*]] = phi i64 [ 0, [[WHILE_COND25_PREHEADER]] ], [ [[INDVAR_NEXT:%.*]], [[LAND_RHS:%.*]] ]28; CHECK-NEXT: [[INDVARS_IV349:%.*]] = phi i64 [ [[INDVARS_IV_NEXT350:%.*]], [[LAND_RHS]] ], [ [[INDVARS_IV349_PH]], [[WHILE_COND25_PREHEADER]] ]29; CHECK-NEXT: [[TMP0:%.*]] = call i1 @llvm.loop.decrement.i64(i64 1)30; CHECK-NEXT: br i1 [[TMP0]], label [[LAND_RHS]], label [[WHILE_END187:%.*]]31; CHECK: land.rhs:32; CHECK-NEXT: [[INDVARS_IV_NEXT350]] = add nsw i64 [[INDVARS_IV349]], -133; CHECK-NEXT: [[C_1:%.*]] = call i1 @cond()34; CHECK-NEXT: [[INDVAR_NEXT]] = add i64 [[INDVAR]], 135; CHECK-NEXT: br i1 [[C_1]], label [[WHILE_COND25]], label [[WHILE_END:%.*]]36; CHECK: while.end:37; CHECK-NEXT: [[INDVAR_LCSSA1:%.*]] = phi i64 [ [[INDVAR]], [[LAND_RHS]] ]38; CHECK-NEXT: [[C_2:%.*]] = call i1 @cond()39; CHECK-NEXT: br i1 [[C_2]], label [[WHILE_END187]], label [[WHILE_COND35_PREHEADER:%.*]]40; CHECK: while.cond35.preheader:41; CHECK-NEXT: [[TMP1:%.*]] = mul nsw i64 [[INDVAR_LCSSA1]], -142; CHECK-NEXT: [[TMP2:%.*]] = add i64 [[TMP1]], 5143; CHECK-NEXT: call void @llvm.set.loop.iterations.i64(i64 [[TMP2]])44; CHECK-NEXT: br label [[WHILE_COND35:%.*]]45; CHECK: while.cond35:46; CHECK-NEXT: [[TMP3:%.*]] = call i1 @llvm.loop.decrement.i64(i64 1)47; CHECK-NEXT: br i1 [[TMP3]], label [[LAND_RHS37:%.*]], label [[IF_END51:%.*]]48; CHECK: land.rhs37:49; CHECK-NEXT: br label [[WHILE_COND35]]50; CHECK: if.end51:51; CHECK-NEXT: br label [[WHILE_COND_BACKEDGE:%.*]]52; CHECK: while.cond.backedge:53; CHECK-NEXT: br label [[WHILE_COND]]54; CHECK: while.end187:55; CHECK-NEXT: ret void56;57entry:58 br label %while.cond59 60while.cond: ; preds = %while.cond.backedge, %entry61 br label %for.body62 63for.body: ; preds = %for.inc, %while.cond64 br label %for.inc65 66for.inc: ; preds = %for.body67 %c.0 = call i1 @cond()68 br i1 %c.0, label %while.cond25, label %for.body69 70while.cond25: ; preds = %land.rhs, %for.inc71 %indvars.iv349 = phi i64 [ %indvars.iv.next350, %land.rhs ], [ 50, %for.inc ]72 %cmp26.not = icmp eq i64 %indvars.iv349, 073 br i1 %cmp26.not, label %while.end187, label %land.rhs74 75land.rhs: ; preds = %while.cond2576 %indvars.iv.next350 = add nsw i64 %indvars.iv349, -177 %c.1 = call i1 @cond()78 br i1 %c.1, label %while.cond25, label %while.end79 80while.end: ; preds = %land.rhs81 %c.2 = call i1 @cond()82 br i1 %c.2, label %while.end187, label %while.cond35.preheader83 84while.cond35.preheader: ; preds = %while.end85 %0 = and i64 %indvars.iv349, 429496729586 br label %while.cond3587 88while.cond35: ; preds = %land.rhs37, %while.cond35.preheader89 %indvars.iv351 = phi i64 [ %0, %while.cond35.preheader ], [ %indvars.iv.next352, %land.rhs37 ]90 %cmp36 = icmp sgt i64 %indvars.iv351, 091 br i1 %cmp36, label %land.rhs37, label %if.end5192 93land.rhs37: ; preds = %while.cond3594 %indvars.iv.next352 = add nsw i64 %indvars.iv351, -195 br label %while.cond3596 97if.end51: ; preds = %while.cond3598 br label %while.cond.backedge99 100while.cond.backedge: ; preds = %if.end51101 br label %while.cond102 103while.end187: ; preds = %while.end, %while.cond25104 ret void105}106