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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Inconsistent results for affine.apply
        </td>
    </tr>

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

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

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

<pre>
    I have the following MLIR program:
test.mlir:
```
#map2 = affine_map<(d0, d1) -> (((d1 - (d1 + 2)) floordiv 8) mod 8)>

module {
  func.func nested @func1() -> f32 {
    %idx1 = arith.constant 1 : index
    %res2 = affine.apply #map2(%idx1, %idx1)
    vector.print %res2 : index
    %0 = arith.index_cast %res2 : index to i64
    %1 = arith.sitofp %0 : i64 to f32
    return %1 : f32
 }
}
```
When I ran ```/data/tmp/v1102/llvm-project/build/bin/mlir-opt --lower-affine --convert-arith-to-llvm --convert-vector-to-llvm --convert-func-to-llvm --convert-index-to-llvm --reconcile-unrealized-casts test.mlir | /data/tmp/v1102/llvm-project/build/bin/mlir-cpu-runner -e func1 --shared-libs=/data/tmp/v1102/llvm-project/build/lib/libmlir_runner_utils.so,/data/tmp/v1102/llvm-project/build/lib/libmlir_c_runner_utils.so``` on the program, I got the result of:
```
7
7.000000e+00
```
However, when I ran ```/data/tmp/v1102/llvm-project/build/bin/mlir-opt --affine-simplify-structures --lower-affine --convert-arith-to-llvm --convert-vector-to-llvm --convert-func-to-llvm --convert-index-to-llvm --reconcile-unrealized-casts test.mlir | /data/tmp/v1102/llvm-project/build/bin/mlir-cpu-runner -e func1 --shared-libs=/data/tmp/v1102/llvm-project/build/lib/libmlir_runner_utils.so,/data/tmp/v1102/llvm-project/build/lib/libmlir_c_runner_utils.so``` on the program, I got the result of:
```
8
8.000000e+00
```
The above two results seem to be inconsistent. I'm not sure if there is any bug in my program or if the wrong usage of the above passes caused these results.

My git version is 33bdb53d864e3e244d8fd5649062f17b7d4c958d.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsVk2P6yYX_jVkc4SFwU7sRRYzkxu9kd67qSp1OcLm2OEKgwU4uemvr7CdmYzuVFVbdVPVsvg4cJ7z9QiQIejeIu5J-UzKw0ZO8ez8_iptf3O2_5bLTePUbX-Cs7wgxDNC54xxV217-Pr_008wetd7ORDxRNiBsKeIIWaD0f5NQrZs_ZcpF4McORBxANl12uLrIEciXgivFCP8BVROeA2UiC9AeLX8KgcKS0_4M3DC67SpM855pS9Qpdng1Dwg4stqa24HpyaDQHbPyxygm2ybpQYshogKSMHSNJ-NrbY7wR91AAgvtfqeL557Hc9Z62yI0kZIwifQVuH3D_s9hsdIMzmO5gZrCmZjM2SK-m1YvyNcsI3OZ6PXNj7AfWaJPbg1r762MnyiBNGB3hYfdB9DCjq6brwjPqW9SaUT_F3FY5y8vWs-PSyS3WHN_NvgY_V_OaOFE3hp4X2FH5WMkvBjHEbCj5c8Z5zwozGXgY7efcM2En5sJm1U6rUl_JgoRt0YgVLjrujpkmGgtHX2gj7SOR4aHU04D_IlqZ8sJAZ8Ip7T9iD32DrbaoN0sh6l0b-ioinZAd7ID2SXKvpX42rHifrJWvRAcWZrDpSGs_SoqNFNIOLwJ9GNbpY2GXhdwF-nqE3IgiP85W_BtT8A3msLzs6nxv2Y4C9wgt7FWegxTCaC637vrNitXcbmDwl_ZuzTnf9zV7ygT_jXf4BiC7lo0MNodHejIfqpjZPH8B___sX8q9buj_n38xlBNi7dkVe3AgcIiEM6PRsEbdNloUNEGzM4Eb4bwLoIYfIIukv-pEEAaW_QTD1oC8Pt7jc4v26Cq3e2hynIHsEtosXwKEPAAK2cAqokD_cIQ_Z4HX69Qa8jXNAH7WwyKUSjmlKoalugQF4UqupUuS1qtuVdvmt2qmjrslLZRu2FqkUtN7jPd4KVoq7KcnPed0K0greCCdHmbVtJ1uS7MkfGWCFqZBu954wXqaasFqwsM1nWyApR5WVV7_K2IgXDQWqTpYJnzvcbHcKE-zwvtmWxMbJBE-ZnCufz84Lz9GDx-5kgzdQHUjCjQwzvCFFHMz9tZoXyAKeHIrwVqXP-w_W8mbzZn2McQ6IFPxJ-7HU8T03WumFl5I_EnL0NhB9Xhy97_lsAAAD__-cn5mQ">