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

    <tr>
        <th>Summary</th>
        <td>
            CSE Pass has no effect on ops with the same region
        </td>
    </tr>

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

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

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

<pre>
    Hi all,
When using CSE pass, I found that if an Op has Region attribute， CSE Pass will just look into its region, and do CSE on the ops in its region. But actually, if two ops has the same region( which means all ops in their region are same and has no side effect), these two ops should also be treated as common sub-expression and should keep only one of them.

For example, if we have the following IR
`func.func @cse(%arg0: memref<12x64x64x64xsi8>) -> memref<12x57x57x64xsi8> {
%0 = "const"() {values = <3> : tensor<64x2xsi64>} : () -> memref<64x2xsi64> 
%1 = "const"() {values = <2> : tensor<64x8x8x1xsi8>} : () -> memref<64x8x8x1xsi8>
%2 = "conv"(%arg0, %1, %0) ({}) {} : (memref<12x64x64x64xsi8>, memref<64x8x8x1xsi8>, memref<64x2xsi64>) -> memref<12x57x57x64xsi8>
%3 = "conv"(%arg0, %1, %0) ({}) {} : (memref<12x64x64x64xsi8>, memref<64x8x8x1xsi8>, memref<64x2xsi64>) -> memref<12x57x57x64xsi8>
%4 = "eltwise"(%2, %3) ({
  }) {} : (memref<12x57x57x64xsi8>, memref<12x57x57x64xsi8>) -> memref<12x57x57x64xsi8>
return %4 : memref<12x57x57x64xsi8>
}`

These two conv ops have an empty region,  so they will be not able to be estimated by current CSE Pass.

In fact， these two Ops are identical because they have the same functionality and attributes，and also have the same region(which are empty).
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcVcGOozgQ_RpzKXVkTIBw4NBNOrtzmtXsSns2UATPGBtRppP8_coOoZPW7E6fV4pAiuvVe8-FXkkidTSIJUtfWLqP5Ox6O5W_nZU07SWqbXspf1cgtWaiYnzP-PPfPRqYSZkjVH--wiiJmKjgC3R2Ni24XjpQHUgDX0foJcE3PCprQDo3qXp2yF4P7KViuyrg_5BEcFJaw_eZHGhrf4AyzoJyBFOA-vbStNDagLAGXI9gRwJl7so28DI7kI2bpdYXD1IduJMNlV6IR5EccG27g1Ovmh4GlIa8yVtT16OaljKQ0wLzGnwfY4FUi4Bdh41jovBcrkfClY56O-sWpCYLNYKbUDpsQRI0dhisAZrrJzyPExIFDtPeMD8QR7BGX8AaBNv5zsPmevfX58FOgGc5jBoXlyeEXr5hcNhZre3Jj-fLtwWV8W42zcY_gG15Q8jEjolUTkfOkmcYcJiwY0kVi3O2XX6kdix5ZaKAJ5a8PtSkuf-tNcDyl4VJpBxYsgcmRGMNOSZEoCp8zZvUM9L1PKmSgEyewaEhO7GkyrZncSaVbT1vvg-HC_pRwn0hrMzxZ5nFz5h35905vpn-BflD7Y1e3NG_3divVywq8PqWNw-ixM7fWr5fFN5R_uc0qn8X8uHs_So_McLVRfK_cLG9uUDtTsp_7osRsahP7tQHEMAvXXwku1f6s-PP6p3QzZOBRfbzJwzme5bx-0T4aw0fP7Yl8N58YgEOo7vcBSmQ9TFxuWZujWCsA1lrBBeiCsmpIYRVfYFmniY0bg3qhxj6YqCTjXuP8_cI_DpSiE3VonGqkZ6okTPhlXrNqhCrPpacskZq5S4hCddVQWvz8LdP00fsmuTXIPecwTATxSZqy6QtkkJGWMZZnuS7neBx1JeFjLfZVsq0yOou41ncxnnTtjwu6jaPszxSpeAi4XGcxknMebwp2izP2qYuZJF3QqZsy3GQSm-0fhs2djpGimjGMuM85ZGWNWoKK1UIgycIh_4bTPfRVHrMUz0fiW25VuTovYtTTmO5rsVl2Vz3jN97frAn5fqPFxDNky5750ZiyTMTByYOR-X6ud40dmDi4AmW19M42e9hbR2CLGLiEGT_EwAA__8eYGd1">