[llvm-bugs] [Bug 46918] New: MIR fails verifier when regalloc produces error: inline assembly requires more registers than available

[via llvm-bugs]

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

            Bug ID: 46918
           Summary: MIR fails verifier when regalloc produces error:
                    inline assembly requires more registers than available
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Register Allocator
          Assignee: unassignedbugs at nondot.org
          Reporter: Matthew.Arsenault at amd.com
                CC: llvm-bugs at lists.llvm.org, quentin.colombet at gmail.com

Created attachment 23793
  --> https://bugs.llvm.org/attachment.cgi?id=23793&action=edit
Testcase

The register allocator currently produces MIR that fails the verifier when it
can't handle inline assembly. It produces the user error in the context, and
then has to produce something and keep going. The MIR should pass the verifier
so the compilation can reach the end successfully. I'm not sure whether it
would be better to hack up the code to avoid failing the verifier, or to change
the verifier check for the error and disable the liveness checks.

llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -verify-machineinstrs

-- 
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/20200730/9169bce8/attachment-0001.html>