CTSRD-CHERI / llvm-project

Fork of LLVM adding CHERI support
49 stars 44 forks source link

CHERI-RISC-V needs new vararg and memarg calling convention #745

Open dpgao opened 4 months ago

dpgao commented 4 months ago

Morello LLVM now passes varargs and memargs via a buffer pointed to by a capability register (https://git.morello-project.org/morello/llvm-project/-/merge_requests/204). This is needed for library-based compartmentalisation to function securely.

The same calling convention should be implemented for CHERI-RISC-V.

rwatson commented 4 months ago

Tagging @arichardson who will be interested in this issue, as well as @brooksdavis and @gvnn3 for tracking purposes.