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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR][tensor::ExtractSliceOp] Extract slice verification invalid
        </td>
    </tr>

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

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

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

<pre>
    ```

 // Last element is 2044 from extracted_slice
    // extracted_slice is banished
    // ??
    // [.. 2044 2045 2046] [0] [0 1 2 3 4 5 6 ...]
 //     0    1    2      3   4 5 6 7 8 0
    // Next offset should be 5
 // Ends at 743 (last one, so arg2 size should at least be 744)

%concat = tensor.concat dim(1) %arg1, %extracted_slice, %arg2 : (tensor<8x2047x9xi32>, tensor<8x1x9xi32>, tensor<8x743x9xi32>) -> tensor<8x2791x9xi32>
 %extracted_slice_0 = tensor.extract_slice %concat[3, 100, 0] [2, 300, 2] [2, 9, 3] : tensor<8x2791x9xi32> to tensor<2x300x2xi32>
```

Why is this not verified?

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx0U02PozgQ_TXFpdTILtt8HDgknURaqXdX2j3ssWXACd4huIWdKJlfPzKQaTpSI2TL79XnK1t7b0-DMRWoLahdoi-hc2PVuebH_Z7Urr1XkLHlZxtgGwQ6AB3wTfuApjdnMwS0HolJicfRndHcwqibYNp339vGRB_Eh9sTGT1rPVjfmfarIYhD_L9iapumcyZiUsUlA7WLOHvsyJFQoESFGaZpCmq3qjp-LC48LjSdUSAu9jkWyL7m_MvcArrj0ZuAvnOXvsXaoFrF3A-tRx0wlwKBij4K4wYD9IreoR5PhN7-NA9vHbA30aY2mEsJVM7CAqnGDY0OCGKHwQzejemCtPYMVHCgEoGUHk88RgdSz1rP6JQTRKywmAOBeC1uxGR-K29WEIh9NF1x_Dsil2JFlfgCYr_mKS9XvpMqz1W9s3VLC7nM_3fXoLYipuaMxe0xT4oHMWO0xsqJmBCx-bYgDO6To5tg7EaftT5d7f-6e7yPobMeBxfwakZ7tKad72HSVqItRakTU_FclCRlUcikq7jmplCFbLmUSh-zo2Kcy7wQWVsK0sfEVsRIMeKcCSGlTA3Tui0pU8YwXtc5SGbO2vZp31_PqRtPifX-YipOWZbxpNe16f30RInOvR2BohTJWEX7l_py8iBZb33wnxGCDf30rP98--Of-AjU9iHEBsRmP0_h3ziEvz-ijAuC81zm3hsdrBvQDlfd2za5jH3VhfDhY4zp8p9s6C512rgz0CHmXraXj9H9b5oAdJha8UCHpZtrRb8CAAD__xDDRvI">