[all-commits] [llvm/llvm-project] 17acf8: [AArch64][PAC] Eliminate excessive MOVs when compu...

[Anatoly Trosinenko via All-commits]

  Branch: refs/heads/users/atrosinenko/pauth-discriminator
  Home:   https://github.com/llvm/llvm-project
  Commit: 17acf80411729eec3bb5e5cddbf0f6c540962530
      https://github.com/llvm/llvm-project/commit/17acf80411729eec3bb5e5cddbf0f6c540962530
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2024-11-26 (Tue, 26 Nov 2024)

  Changed paths:
    M llvm/lib/Target/AArch64/AArch64AsmPrinter.cpp
    M llvm/lib/Target/AArch64/AArch64InstrInfo.td
    M llvm/test/CodeGen/AArch64/ptrauth-call.ll

  Log Message:
  -----------
  [AArch64][PAC] Eliminate excessive MOVs when computing blend

As function calls do not generally preserve X16 and X17, it is beneficial
to allow AddrDisc operand of B(L)RA instruction to reside in these
registers and make use of this condition when computing the discriminator.

This can save up to two MOVs in cases such as loading a (signed) virtual
function pointer via a (signed) pointer to vtable, for example

    ldr   x9, [x16]
    mov   x8, x16
    mov   x17, x8
    movk  x17, #34646, lsl #48
    blraa x9, x17

can be simplified to

    ldr   x8, [x16]
    movk  x16, #34646, lsl #48
    blraa x8, x16


  Commit: e70d3a94490c91e999d0bb299fb46f7c047004c1
      https://github.com/llvm/llvm-project/commit/e70d3a94490c91e999d0bb299fb46f7c047004c1
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2024-11-26 (Tue, 26 Nov 2024)

  Changed paths:
    M llvm/lib/Target/AArch64/AArch64AsmPrinter.cpp
    M llvm/lib/Target/AArch64/AArch64InstrInfo.td

  Log Message:
  -----------
  Fixes


Compare: https://github.com/llvm/llvm-project/compare/8728007e6a55...e70d3a94490c

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