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

    <tr>
        <th>Summary</th>
        <td>
            missed optimization for value range
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </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/W5v3br4Ga
```cpp
int mod1(int a, int b) {
  int v1, v2;
  v1 = a ? 12 : 24;
  v2 = b ? 3 : 6;

  v1 = b ? v1 * 2 : v1;

  return v1 % v2;
}

int mod2(int a, int b) {
  int v1, v2;
  v1 = a ? 12 : 24;
  v2 = b ? 2 : 4;

  v1 = b ? v1 * 2 : v1;

  return v1 % v2;
}
```

GCC can optimize both `mod1` and `mod2`, but Clang fails to optimize `mod1`. I made this example based on the function `mod` of the test program below, but the original is a bit more complex than the example above.
https://github.com/gcc-mirror/gcc/blob/master/gcc/testsuite/gcc.dg/tree-ssa/pr61839_2.c
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8VE2vmzoQ_TVmMwoyw0fCgkVuIq7e_klv-WTDAG4NRrbh3t5fXxmSm6itumslJDxzzpkZc2yEc6qfiCqWv7D8GonFD8ZWXw_CWvPmImnab9W_5Dw0whFLz4xfGT8P3s8uRFgzrHvTSqN9bGzPsP5gWP-Xr6m02avY6azg-9PM855Rk4fRtAnDU1gKhhcIC8mwBHZ82Vmw5dYkoCuy9DO9JsDSKwhgaQ0JAkvPgNkzATeC3Ajphhef8A9VdlII8Ax7rTX5iWzJL3baafnzNOx4fWbedoZ_ZWc7nv3xnd39exa-Xi7QiAnM7NWoPgik8QOwgm--FhzE1N5CDFK8gFw8XLSYeuiE0g68eagfwhj-gVG0BH5QDuhdjLMmkMJRC2YCPxB0y9R4ZaabKnQz3Yb4cFZna3orRpCkzdu9cUCNVb2ahAblQIBUwSpL0JjQ4h38IPb696ZCmpXiX5555YdFxo0ZQ9A0h1FZa-weMKylNpJhPQrn6ZEN07lFedozcRsujLdEB-cEw3q2RXJKy_8xbqK2StsyLUVEVXLkyMtTjkU0VA3mbdelJ-oapC7Ly1OBlOXUUoI5z4pIVcgxTZCXPOenLI-FFDwtkE5tVhyztmAZp1EoHWu9juHWRsq5hapjViZZpIUk7e4_BFsF0kEuvWMZ18p595B55TVVo3KbNbuTYvOlMxZWoRcCK6aeosXq6jcfMFS8vQ6zNV-o8QzrbSrHsN4G-x4AAP__P5lWjw">