[PATCH] D126661: [MachineVerifier] Fix crash on early clobbered subreg operands.

Fri Jun 10 03:24:28 PDT 2022

dfukalov added a comment.

Jay, you are completely correct. Sorry I didn't mention the same info as in dependent review. Updated the description.

================
Comment at: llvm/test/MachineVerifier/verifier-ec-subreg-liveness.mir:1
+# RUN: llc -mtriple amdgcn-amd-amdhsa -run-pass=liveintervals,simple-register-coalescing -verify-machineinstrs -o - %s | FileCheck %s
+# REQUIRES: amdgpu-registered-target
----------------
foad wrote:
> arsenm wrote:
> > dfukalov wrote:
> > > arsenm wrote:
> > > > tests in test/MachineVerifier should run none to just run the verifier. Shouldn't be running codegen passes
> > > The crush is observed only when the verifier runs after a pass that has preserved liveintervals analysis.
> > llc -march=amdgcn -run-pass liveintervals -verify-machineinstrs should work. Don't want to rely on a pass that could make changes for testing this
> I have a vague recollection that `-run-pass liveintervals -verify-machineinstrs` isn't enough because the pass manager frees the liveintervals analysis as soon as it is no longer required, before the verifier has a chance to run. But I could be wrong.
Yes, you're right, the verifier doesn't get liveinterval analysis in `-run-pass liveintervals -verify-machineinstrs` case. Regcoalescer seemed to me the smallest one from a few passes allowed to run unto crash.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D126661/new/

https://reviews.llvm.org/D126661