96 lines · plain
1; RUN: opt -passes="ipsccp<func-spec>,inline,instcombine" -force-specialization -funcspec-max-iters=1 -S < %s | FileCheck %s --check-prefix=ITERS12; RUN: opt -passes="ipsccp<func-spec>,inline,instcombine" -force-specialization -funcspec-max-iters=2 -S < %s | FileCheck %s --check-prefix=ITERS23; RUN: opt -passes="ipsccp<func-spec>,inline,instcombine" -force-specialization -funcspec-max-iters=3 -S < %s | FileCheck %s --check-prefix=ITERS34; RUN: opt -passes="ipsccp<func-spec>,inline,instcombine" -force-specialization -funcspec-max-iters=4 -S < %s | FileCheck %s --check-prefix=ITERS45 6@low = internal constant i32 0, align 47@high = internal constant i32 6, align 48 9define internal void @recursiveFunc(ptr nocapture readonly %lo, i32 %step, ptr nocapture readonly %hi) {10 %lo.temp = alloca i32, align 411 %hi.temp = alloca i32, align 412 %lo.load = load i32, ptr %lo, align 413 %hi.load = load i32, ptr %hi, align 414 %cmp = icmp ne i32 %lo.load, %hi.load15 br i1 %cmp, label %block6, label %ret.block16 17block6:18 call void @print_val(i32 %lo.load, i32 %hi.load)19 %add = add nsw i32 %lo.load, %step20 %sub = sub nsw i32 %hi.load, %step21 store i32 %add, ptr %lo.temp, align 422 store i32 %sub, ptr %hi.temp, align 423 call void @recursiveFunc(ptr nonnull %lo.temp, i32 %step, ptr nonnull %hi.temp)24 br label %ret.block25 26ret.block:27 ret void28}29 30; ITERS1: @specialized.arg.1 = internal constant i32 031; ITERS1: @specialized.arg.2 = internal constant i32 632; ITERS1: @specialized.arg.3 = internal constant i32 133; ITERS1: @specialized.arg.4 = internal constant i32 534 35; ITERS2: @specialized.arg.1 = internal constant i32 036; ITERS2: @specialized.arg.2 = internal constant i32 637; ITERS2: @specialized.arg.3 = internal constant i32 138; ITERS2: @specialized.arg.4 = internal constant i32 539; ITERS2: @specialized.arg.5 = internal constant i32 240; ITERS2: @specialized.arg.6 = internal constant i32 441 42; ITERS3: @specialized.arg.1 = internal constant i32 043; ITERS3: @specialized.arg.2 = internal constant i32 644; ITERS3: @specialized.arg.3 = internal constant i32 145; ITERS3: @specialized.arg.4 = internal constant i32 546; ITERS3: @specialized.arg.5 = internal constant i32 247; ITERS3: @specialized.arg.6 = internal constant i32 448; ITERS3: @specialized.arg.7 = internal constant i32 349; ITERS3: @specialized.arg.8 = internal constant i32 350 51; ITERS4: @specialized.arg.1 = internal constant i32 052; ITERS4: @specialized.arg.2 = internal constant i32 653; ITERS4: @specialized.arg.3 = internal constant i32 154; ITERS4: @specialized.arg.4 = internal constant i32 555; ITERS4: @specialized.arg.5 = internal constant i32 256; ITERS4: @specialized.arg.6 = internal constant i32 457; ITERS4: @specialized.arg.7 = internal constant i32 358; ITERS4: @specialized.arg.8 = internal constant i32 359 60define i32 @main() {61; ITERS1-LABEL: @main(62; ITERS1-NEXT: call void @print_val(i32 0, i32 6)63; ITERS1-NEXT: call void @recursiveFunc(ptr nonnull @specialized.arg.3, i32 1, ptr nonnull @specialized.arg.4)64; ITERS1-NEXT: ret i32 065;66; ITERS2-LABEL: @main(67; ITERS2-NEXT: call void @print_val(i32 0, i32 6)68; ITERS2-NEXT: call void @print_val(i32 1, i32 5)69; ITERS2-NEXT: call void @recursiveFunc(ptr nonnull @specialized.arg.5, i32 1, ptr nonnull @specialized.arg.6)70; ITERS2-NEXT: ret i32 071;72; ITERS3-LABEL: @main(73; ITERS3-NEXT: call void @print_val(i32 0, i32 6)74; ITERS3-NEXT: call void @print_val(i32 1, i32 5)75; ITERS3-NEXT: call void @print_val(i32 2, i32 4)76; ITERS3-NEXT: call void @recursiveFunc(ptr nonnull @specialized.arg.7, i32 1, ptr nonnull @specialized.arg.8)77; ITERS3-NEXT: ret i32 078;79; ITERS4-LABEL: @main(80; ITERS4-NEXT: call void @print_val(i32 0, i32 6)81; ITERS4-NEXT: call void @print_val(i32 1, i32 5)82; ITERS4-NEXT: call void @print_val(i32 2, i32 4)83; ITERS4-NEXT: ret i32 084;85 %lo.temp = alloca i32, align 486 %hi.temp = alloca i32, align 487 %lo.load = load i32, ptr @low, align 488 %hi.load = load i32, ptr @high, align 489 store i32 %lo.load, ptr %lo.temp, align 490 store i32 %hi.load, ptr %hi.temp, align 491 call void @recursiveFunc(ptr nonnull %lo.temp, i32 1, ptr nonnull %hi.temp)92 ret i32 093}94 95declare dso_local void @print_val(i32, i32)96