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: unassignedb...@nondot.org
          Reporter: matthew.arsena...@amd.com
                CC: llvm-bugs@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to