[all-commits] [llvm/llvm-project] 36231a: [AArch64] Add verification for MemOp immediate ran...

[David Green via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 36231a5b5525b950daf1b7430859061b31a8e01e
      https://github.com/llvm/llvm-project/commit/36231a5b5525b950daf1b7430859061b31a8e01e
  Author: David Green <david.green at arm.com>
  Date:   2024-08-15 (Thu, 15 Aug 2024)

  Changed paths:
    M llvm/lib/Target/AArch64/AArch64InstrInfo.cpp
    M llvm/lib/Target/AArch64/AArch64InstrInfo.h
    M llvm/test/CodeGen/AArch64/machine-outliner-unsafe-stack-call.mir
    A llvm/test/CodeGen/AArch64/verify-memop.mir

  Log Message:
  -----------
  [AArch64] Add verification for MemOp immediate ranges (#97561)

This adds an implementation of AArch64InstrInfo::verifyInstruction for
AArch64, and adds some basic verification of the range of immediate
ranges of memory operations using the information from getMemOpInfo.

Some extra memory operations have been added to getMemOpInfo, along with
the equivalent opcodes to getLoadStoreImmIdx to ensure we use the
correct index.

Please let us know if this starts reporting verification failures, Thanks.



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