[LLVMbugs] [Bug 408] NEW: Need a target-independent machine code verifier

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=408

           Summary: Need a target-independent machine code verifier
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: Common Code Generator Code
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: brukman+bugs at uiuc.edu


Too many times, when writing a backend, one generates invalid machine code, and
sometimes, it results in unintelligble assert() failures in LiveVariables.cpp,
but sometimes, it may fall through and just generate bad code.

To simplify development & debugging of backends, a verifier for machine code a
la the one for LLVM code, is proposed.  Per discussion on IRC, here are some
desireable frequent errors to catch and throw errors appropriately:

1. vreg used before definition
2. vreg multiply defined
3. mreg live across MBB

Comments/additions welcome.



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.