65 lines · plain
1; REQUIRES: asserts2; RUN: opt -passes="ipsccp<func-spec>,inline,instcombine,simplifycfg" -S \3; RUN: -funcspec-min-function-size=23 -funcspec-max-iters=100 \4; RUN: -debug-only=function-specialization < %s 2>&1 | FileCheck %s5 6; Make sure the number of specializations created are not7; linear to the number of iterations (funcspec-max-iters).8 9; CHECK: FnSpecialization: Created 4 specializations in module10 11@Global = internal constant i32 1, align 412 13define internal void @recursiveFunc(ptr readonly %arg) {14 %temp = alloca i32, align 415 %arg.load = load i32, ptr %arg, align 416 %arg.cmp = icmp slt i32 %arg.load, 1000017 br i1 %arg.cmp, label %loop1, label %ret.block18 19loop1:20 br label %loop221 22loop2:23 br label %loop324 25loop3:26 br label %loop427 28loop4:29 br label %block630 31block6:32 call void @print_val(i32 %arg.load)33 %arg.add = add nsw i32 %arg.load, 134 store i32 %arg.add, ptr %temp, align 435 call void @recursiveFunc(ptr %temp)36 br label %loop4.end37 38loop4.end:39 %exit_cond1 = call i1 @exit_cond()40 br i1 %exit_cond1, label %loop4, label %loop3.end41 42loop3.end:43 %exit_cond2 = call i1 @exit_cond()44 br i1 %exit_cond2, label %loop3, label %loop2.end45 46loop2.end:47 %exit_cond3 = call i1 @exit_cond()48 br i1 %exit_cond3, label %loop2, label %loop1.end49 50loop1.end:51 %exit_cond4 = call i1 @exit_cond()52 br i1 %exit_cond4, label %loop1, label %ret.block53 54ret.block:55 ret void56}57 58define i32 @main() {59 call void @recursiveFunc(ptr @Global)60 ret i32 061}62 63declare dso_local void @print_val(i32)64declare dso_local i1 @exit_cond()65