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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Inconsistent results for arith.ceildivsi
        </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:
```
module {
 func.func @func1() -> f32 {
    %c1189465982_i64 = arith.constant 1189465982 : i64
    %c-9223372036854775808_i64 = arith.constant -9223372036854775808 : i64
    %156 = arith.ceildivsi %c-9223372036854775808_i64, %c1189465982_i64 : i64
    vector.print %156 : i64
    %0 = arith.sitofp %156 : i64 to f32
    return %0 : f32
 }
}
```
When I ran ```/data/tmp/v1107/llvm-project/build/bin/mlir-opt --int-range-optimizations --arith-expand --convert-arith-to-llvm --convert-vector-to-llvm --convert-func-to-llvm --reconcile-unrealized-casts test.mlir  | /data/tmp/v1107/llvm-project/build/bin/mlir-cpu-runner -e func1 --shared-libs=/data/tmp/v1107/llvm-project/build/lib/libmlir_runner_utils.so,/data/tmp/v1107/llvm-project/build/lib/libmlir_c_runner_utils.so``` on the program, I got the result of:
```
-7754212542
-7.754212e+09
```
However, when I ran ```/data/tmp/v1107/llvm-project/build/bin/mlir-opt --arith-expand --convert-arith-to-llvm --convert-vector-to-llvm --convert-func-to-llvm --reconcile-unrealized-casts test.mlir  | /data/tmp/v1107/llvm-project/build/bin/mlir-cpu-runner -e func1 --shared-libs=/data/tmp/v1107/llvm-project/build/lib/libmlir_runner_utils.so,/data/tmp/v1107/llvm-project/build/lib/libmlir_c_runner_utils.so``` on the program, I got the result of:
```
7754212542
7.754212e+09
```

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 1469d82e1cb3edc939d6b93089046edfef0cf36c.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsVk2PpDYQ_TXuS8nImO8Dh9nptNJS9hJFynFkTAFeGRvZpjuzvz4y3T3TOzMb5UM5RIqEDH6uelVFPbCF92o0iC0pPpFivxNrmKxrz8KMz9aMX1Kx62z_3B5hEieEMCEMVmt7VmaEzz8df4bF2dGJmWQPhO0JewjoQzJr5V4QUrLrtU1n268agVSfLnMYViOTOADJWbynhNeEN0BJ9gMMGb-zBQDCC5mmdZOXRVPzJ1XmQLI9CKfClEhrfBAmwKsFkOwBVJl_y0AbzrOs4iwr6yKvqqJm9fe4PrL9kDUtynt_VLpXJ6_-MCDhjx-X9Ib-hDJYlyxOmfAa630O7C4Dr4IdljfWEGx8qa9ODsPqzM334W6RVPtrC18evu3lrxMaOIITBl5X-KEXQRB-CPNC-OGUpqwi_KD1aaaLs19QBsIP3ap0H-_KEH6IgqF2CUCpMoE6YUaMczWrryIoazxQuhVF8bdFmB4oldac0IUrHCyNEe7wyxv7YCFq7A52KK2RSiNdjUOh1VfsqRQ-eHgRMwCpYp_-bmlyWalbjUEHFDfFp0Cpn4TDnmrVeZLt_yK7Vt1ljAGeLuRPa1DaJ94S_viP6OQ7wlt7wZrtN3D77vkjHGG0YQMd-lUHsMP3Pn5aVUXOU17k_AYkFwQJ_8SaD51-tGc8oYuhzv-C4P6X1X9eVm9V9SdEdRl_mRBEZ-PWdrbXOB484hx_kx2CMnEbUD6gCQkcCa9mMDaAXx2CGmJ68cGDMM_QrSMoA_PzrQyw7moEZ2fNCKsXI4K9QJfAi_AePUixeuwj7m8F--Q-1c_PMKoAJ3ReWRNDpnnZ9DXHVHYZ9rLJmr7smozVDctL7AccmByyUia7vs36JmvEDtu0ylhTlVVW7KYW0zTvRMFL2Qy8HMq8EGzAFGXdlQ2XYqdazngeW5yygqdF0tcVIstZV-cNykySnOEslE5i_xPrxp3yfsU2TQveZDstOtR-O11wvp0KOI_nDNdueunW0ZOcaeWDf2UIKujtRLI5FHs43jXhpUmDdW832t3qdDuFsPgoFH4g_DCqMK1dIu181eh7qW4Je8IP15xPLf89AAD__w5LyGU">