diff options
Diffstat (limited to 'llvm/test/Transforms/Inline/inline-varargs.ll')
-rw-r--r-- | llvm/test/Transforms/Inline/inline-varargs.ll | 120 |
1 files changed, 0 insertions, 120 deletions
diff --git a/llvm/test/Transforms/Inline/inline-varargs.ll b/llvm/test/Transforms/Inline/inline-varargs.ll deleted file mode 100644 index d229ef39d59..00000000000 --- a/llvm/test/Transforms/Inline/inline-varargs.ll +++ /dev/null @@ -1,120 +0,0 @@ -; RUN: opt < %s -inline -S | FileCheck %s -; RUN: opt < %s -passes='cgscc(inline,function(instcombine))' -S | FileCheck %s - -declare void @ext_method(i8*, i32) -declare signext i16 @vararg_fn(...) #0 -declare "cc 9" void @vararg_fn_cc9(i8* %p, ...) - -define linkonce_odr void @thunk(i8* %this, ...) { - %this_adj = getelementptr i8, i8* %this, i32 4 - musttail call void (i8*, ...) bitcast (void (i8*, i32)* @ext_method to void (i8*, ...)*)(i8* nonnull %this_adj, ...) - ret void -} - -define void @thunk_caller(i8* %p) { - call void (i8*, ...) @thunk(i8* %p, i32 42) - ret void -} -; CHECK-LABEL: define void @thunk_caller(i8* %p) -; CHECK: call void (i8*, ...) bitcast (void (i8*, i32)* @ext_method to void (i8*, ...)*)(i8* nonnull %this_adj.i, i32 42) - -define signext i16 @test_callee_2(...) { - %res = musttail call signext i16 (...) @vararg_fn(...) #0 - ret i16 %res -} - -define void @test_caller_2(i8* %p, i8* %q, i16 %r) { - call signext i16 (...) @test_callee_2(i8* %p, i8* byval %q, i16 signext %r) - ret void -} -; CHECK-LABEL: define void @test_caller_2 -; CHECK: call signext i16 (...) @vararg_fn(i8* %p, i8* byval %q, i16 signext %r) [[FN_ATTRS:#[0-9]+]] - -define void @test_callee_3(i8* %p, ...) { - call signext i16 (...) @vararg_fn() - ret void -} - -define void @test_caller_3(i8* %p, i8* %q) { - call void (i8*, ...) @test_callee_3(i8* nonnull %p, i8* %q) - ret void -} -; CHECK-LABEL: define void @test_caller_3 -; CHECK: call signext i16 (...) @vararg_fn() - -define void @test_preserve_cc(i8* %p, ...) { - musttail call "cc 9" void (i8*, ...) @vararg_fn_cc9(i8* %p, ...) - ret void -} - -define void @test_caller_preserve_cc(i8* %p, i8* %q) { - call void (i8*, ...) @test_preserve_cc(i8* %p, i8* %q) - ret void -} -; CHECK-LABEL: define void @test_caller_preserve_cc -; CHECK: call "cc 9" void (i8*, ...) @vararg_fn_cc9(i8* %p, i8* %q) - -define internal i32 @varg_accessed(...) { -entry: - %vargs = alloca i8*, align 8 - %vargs.ptr = bitcast i8** %vargs to i8* - call void @llvm.va_start(i8* %vargs.ptr) - %va1 = va_arg i8** %vargs, i32 - call void @llvm.va_end(i8* %vargs.ptr) - ret i32 %va1 -} - -define internal i32 @varg_accessed_alwaysinline(...) alwaysinline { -entry: - %vargs = alloca i8*, align 8 - %vargs.ptr = bitcast i8** %vargs to i8* - call void @llvm.va_start(i8* %vargs.ptr) - %va1 = va_arg i8** %vargs, i32 - call void @llvm.va_end(i8* %vargs.ptr) - ret i32 %va1 -} - -define i32 @call_vargs() { - %res1 = call i32 (...) @varg_accessed(i32 10) - %res2 = call i32 (...) @varg_accessed_alwaysinline(i32 15) - %res = add i32 %res1, %res2 - ret i32 %res -} -; CHECK-LABEL: @call_vargs -; CHECK: %res1 = call i32 (...) @varg_accessed(i32 10) -; CHECK-NEXT: %res2 = call i32 (...) @varg_accessed_alwaysinline(i32 15) - -define void @caller_with_vastart(i8* noalias nocapture readnone %args, ...) { -entry: - %ap = alloca i8*, align 4 - %ap.ptr = bitcast i8** %ap to i8* - %ap2 = alloca i8*, align 4 - %ap2.ptr = bitcast i8** %ap to i8* - call void @llvm.va_start(i8* nonnull %ap.ptr) - call fastcc void @callee_with_vaend(i8* nonnull %ap.ptr) - call void @llvm.va_start(i8* nonnull %ap2.ptr) - call fastcc void @callee_with_vaend_alwaysinline(i8* nonnull %ap2.ptr) - ret void -} - -define internal fastcc void @callee_with_vaend_alwaysinline(i8* %a) alwaysinline { -entry: - tail call void @llvm.va_end(i8* %a) - ret void -} - -define internal fastcc void @callee_with_vaend(i8* %a) { -entry: - tail call void @llvm.va_end(i8* %a) - ret void -} - -; CHECK-LABEL: @caller_with_vastart -; CHECK-NOT: @callee_with_vaend -; CHECK-NOT: @callee_with_vaend_alwaysinline - -declare void @llvm.va_start(i8*) -declare void @llvm.va_end(i8*) - -; CHECK: attributes [[FN_ATTRS]] = { "foo"="bar" } -attributes #0 = { "foo"="bar" } |