[llvm] [AArch64][PAC] Combine signing with address materialization (PR #130809)

Anatoly Trosinenko via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 26 14:52:17 PDT 2025


atrosinenko wrote:

> One thing I'd like to see is a test case that tries to induce an oracle using the intrinsics in C

@ojhunt Do you suggest adding a real C source to `clang/test` or just adding LLVM IR emitted for C functions like these to LLVM tests introduced by this PR (and checking both MIR and final asm listing - among other things, this would check that dead instructions left by `EmitInstrWithCustomInserter` are eliminated down the pipeline)?

> In an ideal world - out of scope for this change - I think we'd like to error out if we ever see a read from memory into an unauthenticated sign, or a spill and subsequent read of an authenticated value.

IIUC there are a few cases when the former is valid - such as in a dynamic loader, so an opt-out machinery will be needed (such as maybe some function attribute).

https://github.com/llvm/llvm-project/pull/130809


More information about the llvm-commits mailing list