[all-commits] [llvm/llvm-project] 4832c8: [MachineVerifier] Fix COPY check in MachineVerifie...

[Michael Maitland via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4832c88e4956b3c7dc0a5064d946477448d5239d
      https://github.com/llvm/llvm-project/commit/4832c88e4956b3c7dc0a5064d946477448d5239d
  Author: Michael Maitland <michaeltmaitland at gmail.com>
  Date:   2023-11-07 (Tue, 07 Nov 2023)

  Changed paths:
    M llvm/lib/CodeGen/MachineVerifier.cpp
    M llvm/test/MachineVerifier/copy-scalable.mir

  Log Message:
  -----------
  [MachineVerifier] Fix COPY check in MachineVerifier for scalable vectors

This change fixes #71518, which compared the KnownMinValue of the
scalable virtual register with the FixedSize of the physical register in
the wrong direction. It turns out that we cannot include this check at all since
it will lead to a false failures. Test cases are added to show that
the false failures no longer occur after this fix.