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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Inconsistent results for arith.remf
        </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 private @func1() {
    %cst_0 = arith.constant 7.668000e+03 : f32
    %cst_2 = arith.constant 2.515200e+04 : f32
    %cst_3 = arith.constant 3.904000e+04 : f32
    %1 = arith.remf %cst_2, %cst_3 : f32 
    vector.print %1 : f32
    %26 = arith.remf %cst_0, %1 : f32 
 vector.print %26 : f32
    return
  }
}
```
When I ran ```mlir-opt --convert-arith-to-llvm --convert-vector-to-llvm --convert-func-to-llvm test.mlir``` on the program, and executed the executable file, I got the final result of:
```
-13888
7668
```
However, when I ran ```mlir-opt --int-range-optimizations --convert-arith-to-llvm --convert-vector-to-llvm --convert-func-to-llvm test.mlir``` on the program, and executed the executable file, I got the final result of:
```
-13888
-6220
```
I also wrote a C++ program that I supposed to be equivalent to the above MLIR program:
```
#include <cmath>
#include <iostream> 
int main()
{
  float a = 7.668000e+03;
  float b = 2.515200e+04;
  float c = 3.904000e+04;
 float res1, res2;
  res1 = std::fmod(b, c);
  std::cout << res1 << "\n";
  res2 = std::fmod(a, res1);
  std::cout << res2 << "\n";
  return 0;
}
```
The execute result of this C++ program is:
```
25152
7668
```
The three above 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 dd82fd4744397e0510c8204f1a6031441e21858e.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcVk2Pq7gS_TXOpgQyNuZjwaI7ua0X6d3N05NmOTJQgK_AztgmPT2_fmRISLo7fe-sR-pO_HHq1Il9qkA6p3qNWBHxTMRhJ2c_GFu9St2_Gd3_SOSuNu1bdYRBnhH8gNCZcTSvSvfw_b_H_8HJmt7KifAnQg-EPnl0Pp5GZbcVktHL3zKdTDuPCCR_XufQzbqJwwecrDpLj0BSGuYJYQVh5R0UAAgTjfO_UyD8ANIqP8SN0c5L7SGPs6yglCJhz5QD4U_QcfYplj2KZbFIBLvEpl_G8kexPC5pSn8am9zFWZy6TQth-3vuJRJuoWdsvLHxySrtrzyf2Vn2BT290CcfqT_yLgwfiC362errnOSHy31ug_cX-9uAGo5gpYZtJxghMicPUdQYfUbro0Vk5E00jufpbn1V9GAjWGFbvtnrmgKMXnx5NSLbg9Qt4J_YzB7bZW-dyHpE6NSIAXOE3vjV0ErLESy6efRguq98GyW8KIp1nGdZ8RD0H_OKZ7QhwevPj0NpH1mpewxzNam_pFdGu3_ZQUUZY_Qh6ghydAZerfEIEvaEPRP2fBUHfpAejuDm08m4IM5AjYB_zOosR9Q-LARNsjZnfNyJPiQkjCvdjHOLQPi-maQfCP_2aE8Z5y0Gpm-XcglFMkml14Z0LYOtK3WjkR7kUoPvexDhH0D1AnrfbD6BmgX0vqvcQCvGokvC9Vh07I4gLC_RzrfhJPhTN5mWsKIO4Caov4E3TGNmH3454fsrwzImjBGx1-HrXQr2MIW86En-WRb2iyyh-QDdlr5qO__fbIs3b4IflPtkKuW-MgcL9_GL2g6J_GDxaro1mQOHOF38qXR4JijnUfsYjoTlE2jjwc0WQQVVGAYOpH6Deu5BaZjeNn3GXkChLHQPs5M9rr_mmvQknUMHjZzdWrJuExKvMr-_Qa88nNE6ZXRI1rYF69o0T1Ne5khFQpuC0bRLZEZ5kqYJsqQQBca7tuJtyUu5wyrJk1xkuRBiN1QcU8zbpsgKITJMWV2KlssykU2KJW3ETlWMspRmVIR_IWKZ1o3gokFeljWVHUkpTlKNcWhOsbH9Tjk3Y1WmKU92o6xxdMtLCGNL0wqWOOxsFeBRPfeOpHRUzrsbgVd-XF5clgBxgOPd6W-30xl791zczXasBu9PixPYC2EvvfLDXMeNmQh7CeSXr-hkzQ9sPGEvi1RH2Muq9lyxvwMAAP__duitfg">