[llvm-bugs] [Bug 46873] New: LiveIntervals verifier errors not caught when using -run-pass

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=46873

            Bug ID: 46873
           Summary: LiveIntervals verifier errors not caught when using
                    -run-pass
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Common Code Generator Code
          Assignee: unassignedbugs at nondot.org
          Reporter: Matthew.Arsenault at amd.com
                CC: llvm-bugs at lists.llvm.org

When using -run-pass with a single pass, LiveIntervals is not available in the
final verifier run, and thus does not catch broken live intervals introduced by
the pass. This seems to only work correctly only if another non-verifier pass
is forced to run after the pass you are trying to observe.

A workaround is to either force a run of another pass that needs LiveIntervals
after the interesting pass, or to use -start-before/-start-after around the
pass 

e.g.
llc -run-pass=breaks-liveints -verify-machineinstrs foo.mir // No verifier
error
llc -run-pass=breaks-liveints,somethingelse -verify-machineinstrs // Verifier
error
llc -start-before=breaks-liveints -stop-after=somethingelse
-verify-machineinstrs // Verifier error

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200728/ad2844c2/attachment.html>