1
Fork 0

move CMSE validation to hir_analysis

This commit is contained in:
Folkert 2024-07-17 16:47:03 +02:00
parent 8a3dd7fb5f
commit 7b63734961
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
13 changed files with 363 additions and 197 deletions

View file

@ -5,6 +5,7 @@ inputs and outputs.
is relevant.
- outputs must either fit in 4 bytes, or be a foundational type of
size 8 (`i64`, `u64`, `f64`).
- no generics can be used in the signature
For more information,
see [arm's aapcs32](https://github.com/ARM-software/abi-aa/releases).