116 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -verify-memoryssa -passes=loop-sink < %s | FileCheck %s3; Make sure that unprofitable loop ICM can be undone by loop sink, and loop sink can handle4; sinking through PHI use.5 6 7define dso_local i32 @_Z3fooii(i32 %arg, i32 %arg1, i32 %arg2) local_unnamed_addr #0 !prof !29 {8; CHECK-LABEL: define dso_local i32 @_Z3fooii9; CHECK-SAME: (i32 [[ARG:%.*]], i32 [[ARG1:%.*]], i32 [[ARG2:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] !prof [[PROF29:![0-9]+]] {10; CHECK-NEXT: .l.check.preheader:11; CHECK-NEXT: br label [[DOTL_CHECK:%.*]]12; CHECK: .l.ret.loopexit:13; CHECK-NEXT: [[DOTLCSSA:%.*]] = phi i32 [ [[I10:%.*]], [[DOTL_ITERATE:%.*]] ]14; CHECK-NEXT: ret i32 [[DOTLCSSA]]15; CHECK: .l.check:16; CHECK-NEXT: [[I4:%.*]] = phi i32 [ 0, [[DOTL_CHECK_PREHEADER:%.*]] ], [ [[I11:%.*]], [[DOTL_ITERATE]] ]17; CHECK-NEXT: [[I5:%.*]] = phi i32 [ [[ARG]], [[DOTL_CHECK_PREHEADER]] ], [ [[I10]], [[DOTL_ITERATE]] ]18; CHECK-NEXT: [[I6:%.*]] = icmp eq i32 [[I4]], [[ARG1]]19; CHECK-NEXT: br i1 [[I6]], label [[DOTL_COLD:%.*]], label [[DOTL_ITERATE]], !prof [[PROF30:![0-9]+]]20; CHECK: .l.cold:21; CHECK-NEXT: [[FLAG:%.*]] = icmp eq i32 [[ARG1]], 522; CHECK-NEXT: br i1 [[FLAG]], label [[DOTL_COLD1:%.*]], label [[DOTL_COLD2:%.*]]23; CHECK: .l.cold1:24; CHECK-NEXT: [[TMP1:%.*]] = mul nsw i32 [[ARG2]], [[ARG2]]25; CHECK-NEXT: br label [[DOTL_COLD3:%.*]]26; CHECK: .l.cold2:27; CHECK-NEXT: [[TMP2:%.*]] = add nsw i32 [[ARG2]], [[ARG2]]28; CHECK-NEXT: br label [[DOTL_COLD3]]29; CHECK: .l.cold3:30; CHECK-NEXT: [[I7:%.*]] = phi i32 [ [[TMP1]], [[DOTL_COLD1]] ], [ [[TMP2]], [[DOTL_COLD2]] ]31; CHECK-NEXT: [[I8:%.*]] = tail call i32 @_Z3bari(i32 [[I5]])32; CHECK-NEXT: [[I9:%.*]] = add nsw i32 [[I8]], [[I7]]33; CHECK-NEXT: br label [[DOTL_ITERATE]]34; CHECK: .l.iterate:35; CHECK-NEXT: [[I10]] = phi i32 [ [[I9]], [[DOTL_COLD3]] ], [ [[I5]], [[DOTL_CHECK]] ]36; CHECK-NEXT: [[I11]] = add nuw nsw i32 [[I4]], 137; CHECK-NEXT: [[I12:%.*]] = icmp eq i32 [[I11]], [[I10]]38; CHECK-NEXT: br i1 [[I12]], label [[DOTL_RET_LOOPEXIT:%.*]], label [[DOTL_CHECK]]39;40 41.l.check.preheader:42 %flag = icmp eq i32 %arg1, 543 %tmp2 = add nsw i32 %arg2, %arg244 %tmp1 = mul nsw i32 %arg2, %arg245 br label %.l.check46 47.l.ret.loopexit: ; preds = %.l.iterate48 %.lcssa = phi i32 [ %i10, %.l.iterate ]49 ret i32 %.lcssa50 51.l.check: ; preds = %.l.iterate, %.l.check.preheader52 %i4 = phi i32 [ 0, %.l.check.preheader ], [ %i11, %.l.iterate ]53 %i5 = phi i32 [ %arg, %.l.check.preheader ], [ %i10, %.l.iterate ]54 %i6 = icmp eq i32 %i4, %arg155 br i1 %i6, label %.l.cold, label %.l.iterate, !prof !3056 57.l.cold: ; preds = %.l.check58 br i1 %flag, label %.l.cold1, label %.l.cold259 60.l.cold1: ; preds = %.l.cold61 br label %.l.cold362 63.l.cold2: ; preds = %.l.cold64 br label %.l.cold365 66.l.cold3: ; preds = %.l.cold2, %.l.cold167 %i7 = phi i32 [ %tmp1, %.l.cold1 ], [ %tmp2, %.l.cold2 ]68 %i8 = tail call i32 @_Z3bari(i32 %i5)69 %i9 = add nsw i32 %i8, %i770 br label %.l.iterate71 72.l.iterate: ; preds = %.l.cold3, %.l.check73 %i10 = phi i32 [ %i9, %.l.cold3 ], [ %i5, %.l.check ]74 %i11 = add nuw nsw i32 %i4, 175 %i12 = icmp eq i32 %i11, %i1076 br i1 %i12, label %.l.ret.loopexit, label %.l.check77}78 79declare dso_local i32 @_Z3bari(i32) local_unnamed_addr80 81attributes #0 = { "use-sample-profile" }82 83!llvm.module.flags = !{!0}84 85!0 = !{i32 1, !"ProfileSummary", !1}86!1 = !{!2, !3, !4, !5, !6, !7, !8, !9, !10, !11}87!2 = !{!"ProfileFormat", !"SampleProfile"}88!3 = !{!"TotalCount", i64 403}89!4 = !{!"MaxCount", i64 200}90!5 = !{!"MaxInternalCount", i64 0}91!6 = !{!"MaxFunctionCount", i64 1}92!7 = !{!"NumCounts", i64 6}93!8 = !{!"NumFunctions", i64 1}94!9 = !{!"IsPartialProfile", i64 0}95!10 = !{!"PartialProfileRatio", double 0.000000e+00}96!11 = !{!"DetailedSummary", !12}97!12 = !{!13, !14, !15, !16, !17, !18, !19, !20, !21, !22, !23, !24, !25, !26, !27, !28}98!13 = !{i32 10000, i64 200, i32 2}99!14 = !{i32 100000, i64 200, i32 2}100!15 = !{i32 200000, i64 200, i32 2}101!16 = !{i32 300000, i64 200, i32 2}102!17 = !{i32 400000, i64 200, i32 2}103!18 = !{i32 500000, i64 200, i32 2}104!19 = !{i32 600000, i64 200, i32 2}105!20 = !{i32 700000, i64 200, i32 2}106!21 = !{i32 800000, i64 200, i32 2}107!22 = !{i32 900000, i64 200, i32 2}108!23 = !{i32 950000, i64 200, i32 2}109!24 = !{i32 990000, i64 200, i32 2}110!25 = !{i32 999000, i64 1, i32 5}111!26 = !{i32 999900, i64 1, i32 5}112!27 = !{i32 999990, i64 1, i32 5}113!28 = !{i32 999999, i64 1, i32 5}114!29 = !{!"function_entry_count", i64 2}115!30 = !{!"branch_weights", i32 1, i32 201}116