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

    <tr>
        <th>Summary</th>
        <td>
            missed optimization under the condition that modulo (a % b) implies
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Test case:
https://godbolt.org/z/Kh7zcrvoz
```cpp
int foo(int a) {
 if ((a % 5) == 3)
    return (a < 0);
  else
    return 0;
}
```
Can CVP handle this?
See Also: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91029
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkUsGOnDoQ_Jrm0lpk2rCMDxxmF3F5lyclyjUydg84MRhhs6vM10fAZiNNJCTcXeV2uco6RjfMzA1UL1C1md7SGNbm55Ne1_Aesz7YX81XjgmNjgzyCqIFcR1TWuJeUQfUDcH2wac8rANQdwfq_hvru1nfwv2kw7M4P7MsZ8fNCW8hAF32lQZSCPXLiaG7IdAF6KIRqMLqQGULskUJpD5YiLhy2tYZT6Z8RbGj8s8YZB_5H7L4JEDdPsg7y1c94-u3_3HUs_WMaXQRZHdiX5jx6mMAecUHE4zJh3n7MKHfhrvzXgN1cQzv3_ttyM3gQHbOgmxVIUhltpFWSaUzbopaCFULqqpsbJRVxEVZWm3UpagKe9Pl86WqSRW27o3IXEOCZFHQs5BlWVR5ZQuranmz3GutjIZS8KSdz71_m3ZJmYtx46aWJVHmdc8-HpETzfyOBwhE-wtYm33PU78NEUrhXUzx75TkkudmcjGyxbAkN7m7Ti7MuM2WV0wjowmzdUcvjTrhFOzmA36m2e9pumnxjmO2rb55sNGlcetzEyagbj_34_e0rOEHmwTUHWojUHfc5ncAAAD__x6Q0XY">