[all-commits] [llvm/llvm-project] 28de5f: [AArch64] Sink to umull if we know tops bits are z...

[David Green via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 28de5f99bbe10d8982500abf5df24a80ab1bae79
      https://github.com/llvm/llvm-project/commit/28de5f99bbe10d8982500abf5df24a80ab1bae79
  Author: David Green <david.green at arm.com>
  Date:   2023-01-16 (Mon, 16 Jan 2023)

  Changed paths:
    M llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
    M llvm/test/CodeGen/AArch64/aarch64-matrix-umull-smull.ll
    M llvm/test/Transforms/CodeGenPrepare/AArch64/sink-free-instructions.ll

  Log Message:
  -----------
  [AArch64] Sink to umull if we know tops bits are zero.

This is an extension to the code for sinking splats to multiplies, where
if we can detect that the top bits are known-zero we can treat the
instruction like a zext. The existing code was also adjusted in the
process to make it more precise about only sinking if both operands are
zext or sext.

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