stabilize c_variadic_naked_functions

[folkertdev]

tracking issue: #148767
reference PR: forthcoming

Stabilization report

Summary

Stabilize the ability to use #[unsafe(naked)] functions to define c-variadic functions. These c-variadic naked functions accept the same set of ABIs as c-variadic foreign functions, this set is larger than what we currently accept for c-variadic definitions.

#[unsafe(naked)]
unsafe extern "aapcs" fn variadic_aapcs(_: f64, _: ...) -> f64 {
    core::arch::naked_asm!(
        r#"
        sub     sp, sp, #12
        stmib   sp, {{r2, r3}}
        vmov    d0, r0, r1
        add     r0, sp, #4
        vldr    d1, [sp, #4]
        add     r0, r0, #15
        bic     r0, r0, #7
        vadd.f64        d0, d0, d1
        add     r1, r0, #8
        str     r1, [sp]
        vldr    d1, [r0]
        vadd.f64        d0, d0, d1
        vmov    r0, r1, d0
        add     sp, sp, #12
        bx      lr
    "#,
    )
}

Accepted ABIs

The set of accepted ABIs is the same as for c-variadic foreign functions, defined as rule items.extern.variadic.conventions:

• "aapcs"
• "C"
• "cdecl"
• "efiapi"
• "system"
• "sysv64"
• "win64"

And their corresponding -unwind variants. Given that naked functions desugar to a block of module assembly and a foreign definition, it makes sense to support the same set as source-level foreign definitions.

For c-variadic definitions we only accept "C" and "C-unwind".

Multiple c-variadic ABIs in the same program

LLVM supports c-variadic calls of different ABIs in the same program. We test both an arm and x86 configuration

• https://github.com/rust-lang/rust/blob/main/tests/ui/c-variadic/same-program-multiple-abis-arm.rs
• https://github.com/rust-lang/rust/blob/main/tests/ui/c-variadic/same-program-multiple-abis-x86_64.rs

Note that GCC, Clang and LLVM do not support c-variadic definitions of multiple ABIs: the va_start, va_arg etc. macros are always expanded using the default C calling convention. Clang and GCC reject a variable argument list on definitions that use a non-default calling convention.

History

• #t-lang > C-variadic naked functions
• implement feature(c_variadic_naked_functions) #148770

The stabilization report of feature(c_variadic) mentions this feature:

• Stabilize c-variadic function definitions #155697

Unresolved questions

None.

[folkertdev]

in the reference we now have to differentiate between naked and non-naked (clothed?) definitions. I guess we'll figure out some terminology in the reference PR.

View changes since the review