[all-commits] [llvm/llvm-project] 0edc97: [IR][AArch64][PAC] Add "ptrauth(...)" Constant to ...

[Ahmed Bougacha via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0edc97f119f3ac3ff96b11183fe5c001a48a9a8d
      https://github.com/llvm/llvm-project/commit/0edc97f119f3ac3ff96b11183fe5c001a48a9a8d
  Author: Ahmed Bougacha <ahmed at bougacha.org>
  Date:   2024-05-28 (Tue, 28 May 2024)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/docs/PointerAuth.md
    M llvm/include/llvm/AsmParser/LLToken.h
    M llvm/include/llvm/Bitcode/LLVMBitCodes.h
    M llvm/include/llvm/IR/Constants.h
    M llvm/include/llvm/IR/Value.def
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/AsmParser/LLLexer.cpp
    M llvm/lib/AsmParser/LLParser.cpp
    M llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp
    M llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
    M llvm/lib/IR/AsmWriter.cpp
    M llvm/lib/IR/Constants.cpp
    M llvm/lib/IR/ConstantsContext.h
    M llvm/lib/IR/LLVMContextImpl.h
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Assembler/invalid-ptrauth-const1.ll
    A llvm/test/Assembler/invalid-ptrauth-const2.ll
    A llvm/test/Assembler/invalid-ptrauth-const3.ll
    A llvm/test/Assembler/invalid-ptrauth-const4.ll
    A llvm/test/Assembler/invalid-ptrauth-const5.ll
    A llvm/test/Assembler/ptrauth-const.ll
    M llvm/test/Bitcode/compatibility.ll
    M llvm/utils/vim/syntax/llvm.vim

  Log Message:
  -----------
  [IR][AArch64][PAC] Add "ptrauth(...)" Constant to represent signed pointers. (#85738)

This defines a new kind of IR Constant that represents a ptrauth signed
pointer, as used in AArch64 PAuth.

It allows representing most kinds of signed pointer constants used thus
far in the llvm ptrauth implementations, notably those used in the
Darwin and ELF ABIs being implemented for c/c++.  These signed pointer
constants are then lowered to ELF/MachO relocations.

These can be simply thought of as a constant `llvm.ptrauth.sign`, with
the interesting addition of discriminator computation: the `ptrauth`
constant can also represent a combined blend, when both address and
integer discriminator operands are used.  Both operands are otherwise
optional, with default values 0/null.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications