<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/65167>65167</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            MachineVerifier misses some use of undefined registers
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:codegen,
            llvm:regalloc
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          arsenm
      </td>
    </tr>
</table>

<pre>
    87117a2e20059f476e067b0f1a5bc50473f3c08f added some XFAILed tests which the verifier fails to identify. The verifier does catch these, but only with LiveIntervals. If using its other custom liveness tracking, it misses them.

https://reviews.llvm.org/D127103 accidentally fixed some of these in the process of trying to split out the verifier's liveness implementation
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxUkkGP2yAQhX8Nvow2wji244MP6UaWVtreqqpXDIM9LYaIwdnm31d2ut3uBaQHzLzvDZqZpoDYi_qLqC-FXvMcU68TY1iKMdp7f2rLstUKlZR1545tg7JpR-lKXY-mlse2cpWRJwfaWrTAcUH4MZxfXtFCRs4MbzOZGfKMcMNEjjCB0-QZcgSyGDK5-wG-_X9uIzIYnR_vGIV6hnHNEIO_wxvlGV7phi8hY7ppzwd4cbAyhQkoM8Q8YwKzco4LeLphQGbISZtfFKatFmVYiBl5K78chLwIeX6sc85XFtVZqEGoIeGN8I0P3t-WQ0yTUMOlVG0pK9DG7O6193dw9PsdPrqHZ6CwQ19TNFv_TU_3zWOOwFdPGeKaP-UiVMsfhmm5ely2DpliKGxf2a7qdIF92XRV3VZd2RRzX7tTK3Vnazs25YitHDt3UmN5dLqrj1YV1CupKtnJsqzKsm4OdjSqqkerG6W6StXiKHHR5P9RFsS8Yt_UZdMWXo_oef8hSm03RHU20eKEQSgl1POHnHDS3kez6fWlSP2mP43rxOIoPXH-CLLIlD32X7WZKeD398H_ncoe5Mp7mGuw6CighYQTccbExZp8_3lQE-V5HQ8mLkINu53H9nRN8SeaLNSwQ7FQw871JwAA__8qcv8d">