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

    <tr>
        <th>Summary</th>
        <td>
            [mlir][TOSA] TOSA MLIR dialect does not properly verify broadcast compatibility
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          eric-k256
      </td>
    </tr>
</table>

<pre>
    TOSA ops have the ResultsBroadcastableShape, which adds a verifier to make sure that the shapes of the operands/results are appropriate with broadcasting. The problem is that TOSA broadcasting has stricter requirements (rank of both operands must be equal), which is not caught with the existing trait. The TOSA dialect likely needs its own verifier to use TOSA rules verifying broadcast compatibility.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0kkFvnDAQhX-NuYyyArOQ7IFD0milSq0qJfkDxp7g6RpMPONs999XQLppDz0hNJ4333t6hpmGCbFTzYNqHguTxcfUYSJ7c9JNW_TRXbqXH8_3EGcGb94RxCM8Iecg_JCicdawmD7gszczKv0Fzp6sB-Mcg4F3TPRKmEAijOaEwDktGkZWIV6WGOLr-hdnTGZyrPQxbRfAJAQzzynOiYwgnEk89H_u0jTs4MUjzCn2AUcg3rRX5L-fgTcMLImsYIKEb5kSjjgJg9J3yUynBaKP4q8UMGYW6BHwLZug9OHTHDFMUcCaPHjZmBZ-_EXbMUmGZCNbSRyZgFYg0AnDBSZEx0DCEM_TPxFl_thIOSBvo8uiePUCNo6zEeopkFx2hetqd6gPpsCuau_Kqi7Lqi18V2J5e6jrSttSt1Xbt_v6FtuqtVY3zh3qgjpd6rqs9UHrfdu0O-ts2dR9o_d6f1u7Ru1LHA2FXQjv4y6moSDmjF1b3WldBNNj4LU4Wk94hnWotF56lLpl56bPA6t9GYiFP1WEJKyNGwMl1Tyq5mGxrJrHzfr3b1-from5iFvWSwUwhctHJv8LpMgpdF5kZlXfK31U-jiQ-NzvbByVPi4UH5-bOcWfaEXp48q-1G719jsAAP__SIUOMQ">