[all-commits] [llvm/llvm-project] fd8e99: [DetectDeadLanes] Enable machine verification afte...

[Jay Foad via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fd8e99700de6b769c76bef9e580b712fee22205d
      https://github.com/llvm/llvm-project/commit/fd8e99700de6b769c76bef9e580b712fee22205d
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-10-01 (Fri, 01 Oct 2021)

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

  Log Message:
  -----------
  [DetectDeadLanes] Enable machine verification after this pass

Machine verification after DetectDeadLanes has been disabled since the
pass was first added in D18427, but I guess this was just due to copy-
and-paste. Enabling it does not show any problems in check-llvm in an
LLVM_ENABLE_EXPENSIVE_CHECKS build.

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


  Commit: 2bfe777a45cee1634ed5e3da32a0abeaf4aeaa72
      https://github.com/llvm/llvm-project/commit/2bfe777a45cee1634ed5e3da32a0abeaf4aeaa72
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-10-01 (Fri, 01 Oct 2021)

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

  Log Message:
  -----------
  [ProcessImplicitDefs] Enable machine verification after this pass

Enabling this does not show any problems in check-llvm in an
LLVM_ENABLE_EXPENSIVE_CHECKS build.

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


  Commit: 08d41f75d9856718776d9c035b2eba666b0688ee
      https://github.com/llvm/llvm-project/commit/08d41f75d9856718776d9c035b2eba666b0688ee
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-10-01 (Fri, 01 Oct 2021)

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

  Log Message:
  -----------
  [UnreachableMachineBlockElim] Enable machine verification after this pass

Enabling this does not show any problems in check-llvm in an
LLVM_ENABLE_EXPENSIVE_CHECKS build.

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


  Commit: 04787239c930c386105d341a172b1d419c42fa9c
      https://github.com/llvm/llvm-project/commit/04787239c930c386105d341a172b1d419c42fa9c
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-10-01 (Fri, 01 Oct 2021)

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

  Log Message:
  -----------
  [LiveVariables] Skip verification of kills inside bundles

LiveVariables does not examine the contents of bundles, so
MachineVerifier should not expect it to know about kill flags on
operands of instructions inside a bundle.

With this fix we can enable machine verification after running the
LiveVariables analysis. Doing this does not show any problems in
check-llvm in an LLVM_ENABLE_EXPENSIVE_CHECKS build.

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


  Commit: 31c92d515dd21c49a2b3bcedd991fffb3b6dfd55
      https://github.com/llvm/llvm-project/commit/31c92d515dd21c49a2b3bcedd991fffb3b6dfd55
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-10-01 (Fri, 01 Oct 2021)

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

  Log Message:
  -----------
  [MachineLoopInfo] Enable machine verification after this pass

Enabling this does not show any problems in check-llvm in an
LLVM_ENABLE_EXPENSIVE_CHECKS build.

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


Compare: https://github.com/llvm/llvm-project/compare/2a6b99d5f823...31c92d515dd2