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

    <tr>
        <th>Summary</th>
        <td>
            [mlir][spirv] Plumb through support for SPV_KHR_integer_dot_product
        </td>
    </tr>

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

    <tr>
      <th>Assignees</th>
      <td>
            antiagainst,
            kuhar
      </td>
    </tr>

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

<pre>
    [SPV_KHR_integer_dot_product](https://htmlpreview.github.io/?https://github.com/KhronosGroup/SPIRV-Registry/blob/master/extensions/KHR/SPV_KHR_integer_dot_product.html) allows performing int8 dot product in an efficient way. It's important for int8 quantized models. To plumb support for it, we need to

- [ ] Define the ops in the extension
- [ ] Add patterns with higher benefits to lower to these special ops 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx9Uk2PmzAQ_TVwGQUR8xE4cMg2Sne1lyhb7TUyMIBbY1PbJE1_fcck23YrdSWM7Zk3M2_mudbttQqyh5fD6-n58XgSymGP5tRqd5qMbufGBdkuYMXg3GSDZBuwPX2DG-Vk8CzwEvXCDXMdCe1dyf498O5s9EiX58Fope1no-eJri-Hp-Pr6oi9sM5cyVBLXdM2cuvQ0AF_OFRWaGV98ONxifkvz8iTClgJXEp9sTCh6bQZheqB0AUQFO5QMgBXgF0nGoHKwYVfI3hyAdtYEOOkjeNkpfBb6PeZruIntjDqFqWN4IuGSc5jDXaePPyGpQSf4IKgkKBOB_EuiLe3_wpoyrR2sMNOKAQ3IOjJeir--LvXf-HbtoWJO5qIsnChccIg-gEN1Kgok7NUCKhhstCBUlkEO2EjuFzyh1it85zleZxkZdhWSVsmJQ-dcBK98qMUxkucPdhJmLMveVg6c6TW3A_vOvxg_OFsZPWB-FKe37YVhXxFellsL6yd0cubbfJkHQ5VmmOzzlmxKZoOs2TD4rrOU2ywSJKmWaeh5DUp4JkHjC3kk-2NOWNEPhQVixmLy7hYF3GWlVGeZgkFtwVD3iVpG6QxjlzIyFOJtOlDUy2s6rm35JT0HO0fJ7dW9CTovaJ_CLznQlnnC5LetH2bB27u9fnsBm2qv3Dh0mS1dPgL7Ogkng">