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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR AsmPrinter] Notify when switching to generic asmprinter
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir:core
      </td>
    </tr>

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

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

<pre>
    When printing an operation with (e.g.) `op->dump()`, the asmprinter runs the verifier to check to see if the op is well formed before invoking its custom printer.  If the verifier succeeds, it uses the custom printer, otherwise it uses the generic printer.

This is super cool, but also confusing if you don't happen to know this.  I think we should print a prominent "operation verification failed, printing with generic MLIR syntax:" warning when this happens.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxVkt9vnDAMx_8aeLGK-HFw5IGHdl2lSts0TZP2HIKB7EKCcHK3--_ncNdWlSLi2MnXH9v0brh2f2a0sG7aem0nkBbcipv02lm4aD9DUraYTVlSCkia3K0PSfV1CMvKfvaxKym_gJ8RJC27DG6wBUu774ybHjV7vAM1ozpFgxBBj3vcraAJLmgMjG5bcIAe2eC4PbtTBNKeQAXyboG7egbwOn5Wp6AU4kARRXsIhLf0nx_GqGP3dtGEn-5NaFlKvWdI8uckf7x9f89MyIsC9wWUcybq9MGDNMRVOTsG2klHuLoAg7NJefQwy3XlznK9J-sunEZTJI-GPXHJQLMLZrjlBMm7W7RFtpOy_JjBrUZ1O4xSGxxi_veB7TN64__-7fUX0NV6-S-pHlkHLnKz-7U45chw56Isxa5omqLNRZvn6dBVg6iETL32Brukftq1Hmn5eW9e_Qw_nNfj9aZFnFjNUZorfMv_8QukYTPd7P1KO8gLr4lJQ58pt_DBmPPb9sCV_0Xl-aiJAvIUX-rjoarTuatE2Yr8OBaVaESe13XfiKIVx6GXdXWsqtTIHg1FXq52MXrjdIp_ID4xcaq7Mi_LvC1FWRxELbLhIAes2qYaC9XkY5Eccly4q1kkydw2pVu3Q_VhIg4aTZ4-gpJITxb3BkV9Gfzs-IX0njuQ7vzdDv8f3hciTQ">