Tracking Issue for the `extern "cmse-nonsecure-entry"` ABI

[hug-dev]

This is a tracking issue for the PR #75810. It was deemed in that PR that a RFC was not necessary because the changes were small.

Feature Gate: #![feature(cmse_nonsecure_entry)]

Description

The extern "cmse-nonsecure-entry" ABI is a target-dependent ABI available for thumbv8m targets. It directly maps to the attribute of the same name in LLVM.

It is to be used under the TrustZone-M technology for Armv8-M architecture.

It will modify code generation of Secure entry functions:

• add a special symbol on the function which is the __acle_se_ prefix and the
  standard function name
• constrain the number of parameters to avoid using the Non-Secure stack
• before returning from the function, clear registers that might contain Secure
  information
• use the BXNS instruction to return

See section 5.4 of ARMv8-M Security Extensions: Requirements on Development Tools - Engineering Specification for more details.

Example

Having a Secure entry function named entry_function:

#![feature(cmse_nonsecure_entry)]

#[no_mangle]
pub extern "cmse-nonsecure-entry" fn entry_function(in: u32) -> u32 {
    in + 6
}

With those commands:

$ rustc --emit obj --crate-type lib --target thumbv8m.main-none-eabi function.rs
$ arm-none-eabi-objdump -D function.o

it will emit the following assembly:

00000000 <entry_function>:
   0:   b580            push    {r7, lr}
   2:   466f            mov     r7, sp
   4:   b082            sub     sp, #8
   6:   9001            str     r0, [sp, #4]
   8:   1d81            adds    r1, r0, #6
   a:   460a            mov     r2, r1
   c:   4281            cmp     r1, r0
   e:   9200            str     r2, [sp, #0]
  10:   d30b            bcc.n   2a <entry_function+0x2a>
  12:   e7ff            b.n     14 <entry_function+0x14>
  14:   9800            ldr     r0, [sp, #0]
  16:   b002            add     sp, #8
  18:   e8bd 4080       ldmia.w sp!, {r7, lr}
  1c:   4671            mov     r1, lr
  1e:   4672            mov     r2, lr
  20:   4673            mov     r3, lr
  22:   46f4            mov     ip, lr
  24:   f38e 8800       msr     CPSR_f, lr
  28:   4774            bxns    lr
  2a:   f240 0000       movw    r0, #0
  2e:   f2c0 0000       movt    r0, #0
  32:   f240 0200       movw    r2, #0
  36:   f2c0 0200       movt    r2, #0
  3a:   211c            movs    r1, #28
  3c:   f7ff fffe       bl      0 <_ZN4core9panicking5panic17h5c028258ca2fb3f5E>
  40:   defe            udf     #254    ; 0xfe

You can see from 1c to 24 the clearing of the registers and the BXNS instruction used on 28.

Steps

• Initial implementation: Add support for cmse_nonsecure_entry attribute #75810
• ABI compliance should be checked by rustc instead of LLVM: CMSE features should check ABI conformance in rustc, not LLVM #81347

Implementation history

• Add support for cmse_nonsecure_entry attribute #75810
• Check that #[cmse_nonsecure_entry] is applied to a function definition #86622
• add extern "C-cmse-nonsecure-entry" fn  #127766
• improve error messages for C-cmse-nonsecure-entry functions #130747
• Improve assembly test for CMSE ABIs #130752
• Withdraw the claim extern "C-cmse-nonsecure-*" always matches extern "C" #142146
• fix issue with cmse-nonsecure-entry ABI being both async and c-variadic #146551
• cmse: disallow impl Trait in cmse-nonsecure-entry return types #147243
• cmse: improve error messages #147479
• cmse: lint on unions crossing the secure boundary #147697
• cmse: add test for async and const functions #148536
• error when ABI does not support guaranteed tail calls #148878

[hug-dev]

Note: the error produced when an entry function require arguments being passed on the stack is currently a LLVM error. It would be better to have this error being thrown out in Rust ABI, for better user experience.

[nihalpasham]

noticed the current implementation only allows FFI functions (or extern "C" functions) to be decorated with the attribute. I'm assuming this is only required because the implementation needs the function to use a C ABI and the function by itself is actually safe (i.e. no unsafe code here). Is my understanding correct?

[hug-dev]

The reason the C ABI is forced for entry function is because parameters must only be passed using registers and not using memory. See this comment for reference:

Ah, I think we should definitely forbid using this attribute with non-"C" ABI functions then. Since the Rust ABI is unstable, it can pass arguments either directly in registers, or in memory, and that would be a problem here.

This is because depending where the parameters would be in memory, there would be more work needed in LLVM to access them from Secure. For example if they were pushed on to the Non-Secure stack when NS calls the entry functions, LLVM would have to put them onto the Secure stack as a prelude before the actual function executes so that the parameters are where expected 👌

[hug-dev]

I am thinking now that this could also be implemented as an ABI, similarly than cmse-nonsecure-call. It could even be the same extern symbol let's say extern "C-cmse-nonsecure" that:

• when put on function declaration, set the function as an entry function, applying the cmse_nonsecure_entry LLVM attribute on it
• when put on function pointer, set the function pointer as non-secure function call, applying the cmse_nonsecure_call callsite attribute

We already restrict the C ABI for entry functions anyway!