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

    <tr>
        <th>Summary</th>
        <td>
            Why it's a <2, 2> return type? Also, why `var f = multiply_transpose(transpose(a), c);` would trigger a shape inference error?
        </td>
    </tr>

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

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

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

<pre>
    https://github.com/llvm/llvm-project/blob/9c2700dfa51a3f10e47f902939bbbe0a5b6b9c9b/mlir/test/Examples/Toy/Ch1/ast.toy#L18

Question:

1. Here the `*` symbol means element-wise multiplication, right? The why <2, 2> return type? <3, 2>? Also, for the rest <2, 2>.
2. For `var e = multiply_transpose(b, c);` Why is this valid? I think b has shape <2, 3>, c has shape <3, 2>. This should trigger a shape inference error.
3. For `var f = multiply_transpose(transpose(a), c);` The comment said the shape is incompatible, and would trigger a shape inference error. But I don't get it. I think since a is of shape <2, 3>, transpose(a) is <3, 2>. c is <3, 2>, so this shouldn't trigger a shape inference error.


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylVMFu2zAM_Rr5ItSQpTi2Dz4kTYsN2GVAgR0HyaZtbbJlSHKz_P0op-maAh0yDDAo0aTIx0dKyraneghh9kTsCH_Er9dhWFTa2BEVY54vy93s7A9oAqrKWIVL1fCCsbaTeSZFlzHYFF3FeCUqpRQwmautqpoquo5GO1wC-Hj-4ZccZwMet0_2hPJ-yFBKH9IQdfElKwk7ELY7y68LntN2ihjf_M5S-gkc0DAAJVtG-A4l9adRWUNHkJOnYGCEKdwdtQc6Libo2ehGrsH4PXW6HwIRj_QJQxyHEyXinkcDJ-KBOgiLm2g4zRB90CYutqjvjLdR76xbITgEeRUgPcPkKX1EF8T2LB1FqOJwgXL6HhzCnK0HwksVDzaEV0TsYyXfEJD2GBvFszS6jVk_R336SRUdpKd-kDO8JhURWYxxbXtFnWKdOhrsYloasPoeHJUvnnrqkM2pAQrOWfeCXlyh7z5G_3YvYxHXxUSGcaZiN6iXul0pe0nsMTfaZuyLMhAPyqmlx5tQ0v0SkJQ2NrQItIdAdUhfafI6usqYw3Yf0PUeeXS-pq15_yuu3p5bc6bznP42Ts8ygTrbbsuciUKUSVuLFm-OTIIOBuq193hXCo-x_jaVlylcp_d_m3QT5Zg1WZz592dDe7-slz4vq6pIhrorMpHh81GovGhls6nyvNk0XbflssqaLk-MVGB8TfI94XyCI11D4J7kh0TXnHGeZVnOqiwXZZrLsmCi2Wy5arsWOrJhMEpt0ogjta5PXL1CUkvv0Wi0D_6PUXqv-wlgTYfx5RIG6-q9Wxo4SM2YSNb09Qr_N27Jnyg">