[all-commits] [llvm/llvm-project] 325927: [X86] Update LiveVariables in more cases in conver...

[Jay Foad via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 325927ffb9036bb9fb0c67b1788ad2cc9aad6e27
      https://github.com/llvm/llvm-project/commit/325927ffb9036bb9fb0c67b1788ad2cc9aad6e27
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2022-10-25 (Tue, 25 Oct 2022)

  Changed paths:
    M llvm/lib/Target/X86/X86InstrInfo.cpp
    M llvm/test/CodeGen/X86/add.ll
    M llvm/test/CodeGen/X86/masked_load.ll

  Log Message:
  -----------
  [X86] Update LiveVariables in more cases in convertToThreeAddress

Following on from D129634, this patch fixes more X86 CodeGen test
failures with D129213 applied, which adds verification of LiveIntervals
after the TwoAddressInstruction pass runs. These failures only showed up
with LLVM_ENABLE_EXPENSIVE_CHECKS=ON which adds the equivalent of an
implicit -verify-machineinstrs on all tests.

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


  Commit: 0243057304132b143e548436244722d3d70b2832
      https://github.com/llvm/llvm-project/commit/0243057304132b143e548436244722d3d70b2832
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2022-10-25 (Tue, 25 Oct 2022)

  Changed paths:
    M llvm/lib/CodeGen/MachineVerifier.cpp

  Log Message:
  -----------
  [MachineVerifier] Try harder to verify LiveVariables

Verify the LiveVariables analysis after a pass that claims to preserve
it, even if there are no further passes (apart from the verifier itself)
that would use the analysis.

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


Compare: https://github.com/llvm/llvm-project/compare/19b9e6204a9e...024305730413