111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 52; RUN: opt -p loop-unroll -scev-cheap-expansion-budget=2 -S %s | FileCheck --check-prefix=BUDGET2 %s3; RUN: opt -p loop-unroll -scev-cheap-expansion-budget=3 -S %s | FileCheck --check-prefix=BUDGET3 %s4 5; Note that BUDGET3 will expose a conditional branch going to the same label.6; This is expected, and the profile information associated will be dropped when7; the branch is simplified to unconditional.8 9define i32 @test_expansion_cost_2(i32 %start, i32 %end) !prof !0 {10; BUDGET2-LABEL: define i32 @test_expansion_cost_2(11; BUDGET2-SAME: i32 [[START:%.*]], i32 [[END:%.*]]) !prof [[PROF0:![0-9]+]] {12; BUDGET2-NEXT: [[ENTRY:.*]]:13; BUDGET2-NEXT: [[SUB:%.*]] = add i32 [[END]], -114; BUDGET2-NEXT: br label %[[LOOP_HEADER:.*]]15; BUDGET2: [[LOOP_HEADER]]:16; BUDGET2-NEXT: [[IV:%.*]] = phi i32 [ [[START]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP_LATCH:.*]] ]17; BUDGET2-NEXT: [[C:%.*]] = icmp eq i32 [[IV]], [[SUB]]18; BUDGET2-NEXT: br i1 [[C]], label %[[THEN:.*]], label %[[LOOP_LATCH]], !prof [[PROF1:![0-9]+]]19; BUDGET2: [[THEN]]:20; BUDGET2-NEXT: br label %[[LOOP_LATCH]]21; BUDGET2: [[LOOP_LATCH]]:22; BUDGET2-NEXT: [[IV_NEXT]] = add nsw i32 [[IV]], 123; BUDGET2-NEXT: [[EC:%.*]] = icmp eq i32 [[IV_NEXT]], [[END]]24; BUDGET2-NEXT: br i1 [[EC]], label %[[EXIT:.*]], label %[[LOOP_HEADER]], !prof [[PROF2:![0-9]+]], !llvm.loop [[LOOP3:![0-9]+]]25; BUDGET2: [[EXIT]]:26; BUDGET2-NEXT: ret i32 027;28; BUDGET3-LABEL: define i32 @test_expansion_cost_2(29; BUDGET3-SAME: i32 [[START:%.*]], i32 [[END:%.*]]) !prof [[PROF0:![0-9]+]] {30; BUDGET3-NEXT: [[ENTRY:.*]]:31; BUDGET3-NEXT: [[SUB:%.*]] = add i32 [[END]], -132; BUDGET3-NEXT: [[TMP0:%.*]] = sub i32 [[SUB]], [[START]]33; BUDGET3-NEXT: [[TMP1:%.*]] = icmp ne i32 [[TMP0]], 034; BUDGET3-NEXT: br i1 [[TMP1]], label %[[ENTRY_SPLIT:.*]], label %[[EXIT_PEEL_BEGIN:.*]], !prof [[PROF1:![0-9]+]]35; BUDGET3: [[ENTRY_SPLIT]]:36; BUDGET3-NEXT: br label %[[LOOP_HEADER:.*]]37; BUDGET3: [[LOOP_HEADER]]:38; BUDGET3-NEXT: [[IV:%.*]] = phi i32 [ [[START]], %[[ENTRY_SPLIT]] ], [ [[IV_NEXT:%.*]], %[[LOOP_LATCH:.*]] ]39; BUDGET3-NEXT: [[C:%.*]] = icmp eq i32 [[IV]], [[SUB]]40; BUDGET3-NEXT: br i1 [[C]], label %[[THEN:.*]], label %[[LOOP_LATCH]], !prof [[PROF2:![0-9]+]]41; BUDGET3: [[THEN]]:42; BUDGET3-NEXT: br label %[[LOOP_LATCH]]43; BUDGET3: [[LOOP_LATCH]]:44; BUDGET3-NEXT: [[IV_NEXT]] = add nsw i32 [[IV]], 145; BUDGET3-NEXT: [[TMP2:%.*]] = sub i32 [[END]], 146; BUDGET3-NEXT: [[EC:%.*]] = icmp eq i32 [[IV_NEXT]], [[TMP2]]47; BUDGET3-NEXT: br i1 [[EC]], label %[[EXIT_PEEL_BEGIN_LOOPEXIT:.*]], label %[[LOOP_HEADER]], !prof [[PROF3:![0-9]+]], !llvm.loop [[LOOP4:![0-9]+]]48; BUDGET3: [[EXIT_PEEL_BEGIN_LOOPEXIT]]:49; BUDGET3-NEXT: [[DOTPH:%.*]] = phi i32 [ [[IV_NEXT]], %[[LOOP_LATCH]] ]50; BUDGET3-NEXT: br label %[[EXIT_PEEL_BEGIN]]51; BUDGET3: [[EXIT_PEEL_BEGIN]]:52; BUDGET3-NEXT: [[TMP3:%.*]] = phi i32 [ [[START]], %[[ENTRY]] ], [ [[DOTPH]], %[[EXIT_PEEL_BEGIN_LOOPEXIT]] ]53; BUDGET3-NEXT: br label %[[LOOP_HEADER_PEEL:.*]]54; BUDGET3: [[LOOP_HEADER_PEEL]]:55; BUDGET3-NEXT: [[C_PEEL:%.*]] = icmp eq i32 [[TMP3]], [[SUB]]56; BUDGET3-NEXT: br i1 [[C_PEEL]], label %[[THEN_PEEL:.*]], label %[[LOOP_LATCH_PEEL:.*]], !prof [[PROF2]]57; BUDGET3: [[THEN_PEEL]]:58; BUDGET3-NEXT: br label %[[LOOP_LATCH_PEEL]]59; BUDGET3: [[LOOP_LATCH_PEEL]]:60; BUDGET3-NEXT: [[IV_NEXT_PEEL:%.*]] = add nsw i32 [[TMP3]], 161; BUDGET3-NEXT: [[EC_PEEL:%.*]] = icmp eq i32 [[IV_NEXT_PEEL]], [[END]]62; BUDGET3-NEXT: br i1 [[EC_PEEL]], label %[[EXIT_PEEL_NEXT:.*]], label %[[EXIT_PEEL_NEXT]], !prof [[PROF3]]63; BUDGET3: [[EXIT_PEEL_NEXT]]:64; BUDGET3-NEXT: br label %[[LOOP_HEADER_PEEL_NEXT:.*]]65; BUDGET3: [[LOOP_HEADER_PEEL_NEXT]]:66; BUDGET3-NEXT: br label %[[EXIT:.*]]67; BUDGET3: [[EXIT]]:68; BUDGET3-NEXT: ret i32 069;70entry:71 %sub = add i32 %end, -172 br label %loop.header73 74loop.header:75 %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop.latch ]76 %c = icmp eq i32 %iv, %sub77 br i1 %c, label %then, label %loop.latch, !prof !178 79then:80 br label %loop.latch81 82loop.latch:83 %iv.next = add nsw i32 %iv, 184 %ec = icmp eq i32 %iv.next, %end85 br i1 %ec, label %exit, label %loop.header, !prof !2, !llvm.loop !386 87exit:88 ret i32 089}90 91!0 = !{!"function_entry_count", i32 10}92!1 = !{!"branch_weights", i32 2, i32 3}93!2 = !{!"branch_weights", i32 1, i32 10}94!3 = distinct !{!3, !4}95!4 = !{!"llvm.loop.estimated_trip_count", i32 42}96;.97; BUDGET2: [[PROF0]] = !{!"function_entry_count", i32 10}98; BUDGET2: [[PROF1]] = !{!"branch_weights", i32 2, i32 3}99; BUDGET2: [[PROF2]] = !{!"branch_weights", i32 1, i32 10}100; BUDGET2: [[LOOP3]] = distinct !{[[LOOP3]], [[META4:![0-9]+]]}101; BUDGET2: [[META4]] = !{!"llvm.loop.estimated_trip_count", i32 42}102;.103; BUDGET3: [[PROF0]] = !{!"function_entry_count", i32 10}104; BUDGET3: [[PROF1]] = !{!"branch_weights", i32 10, i32 1}105; BUDGET3: [[PROF2]] = !{!"branch_weights", i32 2, i32 3}106; BUDGET3: [[PROF3]] = !{!"branch_weights", i32 1, i32 10}107; BUDGET3: [[LOOP4]] = distinct !{[[LOOP4]], [[META5:![0-9]+]], [[META6:![0-9]+]]}108; BUDGET3: [[META5]] = !{!"llvm.loop.peeled.count", i32 1}109; BUDGET3: [[META6]] = !{!"llvm.loop.estimated_trip_count", i32 41}110;.111