64 lines · plain
1; RUN: opt < %s -passes=partial-inliner -skip-partial-inlining-cost-analysis -S | FileCheck %s2;3 4define i32 @callee_indr_branch(i32 %v) {5entry:6 %cmp = icmp sgt i32 %v, 20007 %addr = select i1 %cmp, ptr blockaddress(@callee_indr_branch, %if.then), ptr blockaddress(@callee_indr_branch, %if.end)8 indirectbr ptr %addr, [ label %if.then, label %if.end]9 10if.then: ; preds = %entry11 %mul = mul nsw i32 %v, 1012 br label %if.then213 14if.then2:15 %sub = sub i32 %v, 1016 br label %if.end17 18if.end: ; preds = %if.then, %entry19 %v2 = phi i32 [ %v, %entry ], [ %mul, %if.then2 ]20 %add = add nsw i32 %v2, 20021 ret i32 %add22}23 24declare void @use_fp(ptr)25declare void @llvm.localescape(...)26declare ptr @llvm.frameaddress(i32)27declare ptr @llvm.localrecover(ptr, ptr, i32)28 29 30 31define i32 @callee_frameescape(i32 %v) {32entry:33 %a = alloca i3234 call void (...) @llvm.localescape(ptr %a)35 %cmp = icmp sgt i32 %v, 200036 br i1 %cmp, label %if.then, label %if.end37 38if.then: ; preds = %entry39 %mul = mul nsw i32 %v, 1040 br label %if.then241 42if.then2:43 %sub = sub i32 %v, 1044 br label %if.end45 46if.end: ; preds = %if.then, %entry47 %v2 = phi i32 [ %v, %entry ], [ %mul, %if.then2 ]48 %add = add nsw i32 %v2, 20049 ret i32 %add50}51 52 53; CHECK-LABEL: @caller54; CHECK: %r1 = call i32 @callee_indr_branch(i32 %v)55; CHECK-NEXT: %r2 = call i32 @callee_frameescape(i32 %v)56define i32 @caller(i32 %v) {57entry:58 %r1 = call i32 @callee_indr_branch(i32 %v)59 %r2 = call i32 @callee_frameescape(i32 %v)60 %res = add i32 %r1, %r261 ret i32 %res62}63 64