[all-commits] [llvm/llvm-project] 070797: [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: 070797b716a573b42559af50adfb76286964fcda
      https://github.com/llvm/llvm-project/commit/070797b716a573b42559af50adfb76286964fcda
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2024-11-12 (Tue, 12 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: 8728007e6a558428cab9cff0e6e1c3d9750a6e5e
      https://github.com/llvm/llvm-project/commit/8728007e6a558428cab9cff0e6e1c3d9750a6e5e
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2024-11-12 (Tue, 12 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/084f0b04e38b...8728007e6a55

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