| ; RUN: opt < %s -partial-inliner -S -stats -pass-remarks=partial-inlining 2>&1 | FileCheck %s | |
| ; RUN: opt < %s -passes=partial-inliner -S -stats -pass-remarks=partial-inlining 2>&1 | FileCheck %s | |
| @stat = external global i32, align 4 | |
| define i32 @inline_fail(i32 %count, ...) { | |
| entry: | |
| %vargs = alloca i8*, align 8 | |
| %vargs1 = bitcast i8** %vargs to i8* | |
| call void @llvm.va_start(i8* %vargs1) | |
| %stat1 = load i32, i32* @stat, align 4 | |
| %cmp = icmp slt i32 %stat1, 0 | |
| br i1 %cmp, label %bb2, label %bb1 | |
| bb1: ; preds = %entry | |
| %vg1 = add nsw i32 %stat1, 1 | |
| store i32 %vg1, i32* @stat, align 4 | |
| %va1 = va_arg i8** %vargs, i32 | |
| call void @foo(i32 %count, i32 %va1) #2 | |
| br label %bb2 | |
| bb2: ; preds = %bb1, %entry | |
| %res = phi i32 [ 1, %bb1 ], [ 0, %entry ] | |
| call void @llvm.va_end(i8* %vargs1) | |
| ret i32 %res | |
| } | |
| define i32 @caller(i32 %arg) { | |
| bb: | |
| %res = tail call i32 (i32, ...) @inline_fail(i32 %arg, i32 %arg) | |
| ret i32 %res | |
| } | |
| declare void @foo(i32, i32) | |
| declare void @llvm.va_start(i8*) | |
| declare void @llvm.va_end(i8*) | |
| ; Check that no remarks have been emitted, inline_fail has not been partial | |
| ; inlined, no code has been extracted and the partial-inlining counter | |
| ; has not been incremented. | |
| ; CHECK-NOT: remark | |
| ; CHECK: tail call i32 (i32, ...) @inline_fail(i32 %arg, i32 %arg) | |
| ; CHECK-NOT: inline_fail.1_bb1 | |
| ; CHECK-NOT: partial-inlining |