[all-commits] [llvm/llvm-project] 63eb7f: [ARM] Implement PAC return address signing mechani...

Ties Stuij via All-commits all-commits at lists.llvm.org
Tue Dec 7 02:15:54 PST 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 63eb7ff47de5df48b6bc0cf0a6d3d17022634151
      https://github.com/llvm/llvm-project/commit/63eb7ff47de5df48b6bc0cf0a6d3d17022634151
  Author: Ties Stuij <ties.stuij at arm.com>
  Date:   2021-12-07 (Tue, 07 Dec 2021)

  Changed paths:
    M llvm/include/llvm/Support/ARMEHABI.h
    M llvm/lib/Target/ARM/ARMAsmPrinter.cpp
    M llvm/lib/Target/ARM/ARMBaseInstrInfo.cpp
    M llvm/lib/Target/ARM/ARMBaseInstrInfo.h
    M llvm/lib/Target/ARM/ARMBranchTargets.cpp
    M llvm/lib/Target/ARM/ARMExpandPseudoInsts.cpp
    M llvm/lib/Target/ARM/ARMFrameLowering.cpp
    M llvm/lib/Target/ARM/ARMISelLowering.cpp
    M llvm/lib/Target/ARM/ARMLoadStoreOptimizer.cpp
    M llvm/lib/Target/ARM/ARMMachineFunctionInfo.h
    M llvm/lib/Target/ARM/ARMRegisterInfo.td
    M llvm/lib/Target/ARM/ARMSubtarget.h
    M llvm/lib/Target/ARM/AsmParser/ARMAsmParser.cpp
    M llvm/lib/Target/ARM/MCTargetDesc/ARMELFStreamer.cpp
    M llvm/lib/Target/ARM/MCTargetDesc/ARMUnwindOpAsm.cpp
    M llvm/test/CodeGen/ARM/2012-10-04-AAPCS-byval-align8.ll
    M llvm/test/CodeGen/ARM/ipra-reg-usage.ll
    M llvm/test/CodeGen/ARM/machine-outliner-calls.mir
    M llvm/test/CodeGen/ARM/machine-outliner-default.mir
    M llvm/test/CodeGen/ARM/machine-outliner-lr-regsave.mir
    M llvm/test/CodeGen/ARM/machine-outliner-stack-fixup-arm.mir
    M llvm/test/CodeGen/ARM/machine-outliner-stack-fixup-thumb.mir
    M llvm/test/CodeGen/ARM/va_arg.ll
    M llvm/test/CodeGen/ARM/vargs_align.ll
    A llvm/test/CodeGen/Thumb2/bti-pac-replace-1.mir
    A llvm/test/CodeGen/Thumb2/bti-pac-replace-2.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-basic.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-indirect-tail-call.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-outliner-1.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-outliner-2.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-outliner-3.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-outliner-4.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-outliner-5.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-overalign.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-unsupported-arch.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-varargs-1.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-varargs-2.ll
    A llvm/test/CodeGen/Thumb2/pacbti-m-vla.ll
    A llvm/test/MC/ARM/ra-auth-code-errors.s
    A llvm/test/MC/ARM/ra-auth-code.s
    M llvm/test/MC/Disassembler/ARM/sub-sp-imm-thumb2.txt
    M llvm/test/tools/llvm-readobj/ELF/ARM/unwind.s
    M llvm/tools/llvm-readobj/ARMEHABIPrinter.h

  Log Message:
  -----------
  [ARM] Implement PAC return address signing mechanism for PACBTI-M

This patch implements PAC return address signing for armv8-m. This patch roughly
accomplishes the following things:

- PAC and AUT instructions are generated.
- They're part of the stack frame setup, so that shrink-wrapping can move them
inwards to cover only part of a function
- The auth code generated by PAC is saved across subroutine calls so that AUT
can find it again to check
- PAC is emitted before stacking registers (so that the SP it signs is the one
on function entry).
- The new pseudo-register ra_auth_code is mentioned in the DWARF frame data
- With CMSE also in use: PAC is emitted before stacking FPCXTNS, and AUT
validates the corresponding value of SP
- Emit correct unwind information when PAC is replaced by PACBTI
- Handle tail calls correctly

Some notes:

We make the assembler accept the `.save {ra_auth_code}` directive that is
emitted by the compiler when it saves a register that contains a
return address authentication code.

For EHABI we need to have the `FrameSetup` flag on the instruction and
handle the `t2PACBTI` opcode (identically to `t2PAC`), so we can emit
`.save {ra_auth_code}`, instead of `.save {r12}`.

For PACBTI-M, the instruction which computes return address PAC should use SP
value before adjustment for the argument registers save are (used for variadic
functions and when a parameter is is split between stack and register), but at
the same it should be after the instruction that saves FPCXT when compiling a
CMSE entry function.

This patch moves the varargs SP adjustment after the FPCXT save (they are never
enabled at the same time), so in a following patch handling of the `PAC`
instruction can be placed between them.

Epilogue emission code adjusted in a similar manner.

PACBTI-M code generation should not emit any instructions for architectures
v6-m, v8-m.base, and for A- and R-class cores. Diagnostic message for such cases
is handled separately by a future ticket.

note on tail calls:

If the called function has four arguments that occupy registers `r0`-`r3`, the
only option for holding the function pointer itself is `r12`, but this register
is used to keep the PAC during function/prologue epilogue and clobbers the
function pointer.

When we do the tail call we need the five registers (`r0`-`r3` and `r12`) to
keep six values - the four function arguments, the function pointer and the PAC,
which is obviously impossible.

One option would be to authenticate the return address before all callee-saved
registers are restored, so we have a scratch register to temporarily keep the
value of `r12`. The issue with this approach is that it violates a fundamental
invariant that PAC is computed using CFA as a modifier. It would also mean using
separate instructions to pop `lr` and the rest of the callee-saved registers,
which would offset the advantages of doing a tail call.

Instead, this patch disables indirect tail calls when the called function take
four or more arguments and the return address sign and authentication is enabled
for the caller function, conservatively assuming the caller function would spill
LR.

This patch is part of a series that adds support for the PACBTI-M extension of
the Armv8.1-M architecture, as detailed here:

https://community.arm.com/arm-community-blogs/b/architectures-and-processors-blog/posts/armv8-1-m-pointer-authentication-and-branch-target-identification-extension

The PACBTI-M specification can be found in the Armv8-M Architecture Reference
Manual:

https://developer.arm.com/documentation/ddi0553/latest

The following people contributed to this patch:

- Momchil Velikov
- Ties Stuij

Reviewed By: danielkiss

Differential Revision: https://reviews.llvm.org/D112429




More information about the All-commits mailing list