user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

c-variadic: check that inline attributes are accepted on c-variadic functions

Browse source 
they don't do anything, because LLVM is unable to inline c-variadic functions (on most targets, anyway)
This commit is contained in:
Folkert de Vries 2025-09-13 20:53:42 +02:00
parent d28c31a600
commit a107ea18af
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 47 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

47
tests/codegen-llvm/cffi/c-variadic-inline.rs Normal file
View file

@ -0,0 +1,47 @@
//@ compile-flags: -C opt-level=3
#![feature(c_variadic)]
// Test that the inline attributes are accepted on C-variadic functions.
//
// Currently LLVM is unable to inline C-variadic functions, but that is valid because despite
// the name even `#[inline(always)]` is just a hint.
#[inline(always)]
unsafe extern "C" fn inline_always(mut ap: ...) -> u32 {
ap.arg::<u32>()
}
#[inline]
unsafe extern "C" fn inline(mut ap: ...) -> u32 {
ap.arg::<u32>()
}
#[inline(never)]
unsafe extern "C" fn inline_never(mut ap: ...) -> u32 {
ap.arg::<u32>()
}
#[cold]
unsafe extern "C" fn cold(mut ap: ...) -> u32 {
ap.arg::<u32>()
}
#[unsafe(no_mangle)]
#[inline(never)]
fn helper() {
// CHECK-LABEL: helper
// CHECK-LABEL: call c_variadic_inline::inline_always
// CHECK-LABEL: call c_variadic_inline::inline
// CHECK-LABEL: call c_variadic_inline::inline_never
// CHECK-LABEL: call c_variadic_inline::cold
unsafe {
inline_always(1);
inline(2);
inline_never(3);
cold(4);
}
}
fn main() {
helper()
}