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

    <tr>
        <th>Summary</th>
        <td>
            Regression in instCombine Pass: Incorrect Simplification of icmp with Bitwise AND and llvm.assume Condition
        </td>
    </tr>

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

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

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

<pre>
    In LLVM 18.1.0, instCombine considered the llvm.assume condition and managed to prove that the branch is always false.

https://godbolt.org/z/181GG7vvE

Now, instCombine fails to simplify the branch's condition.

https://godbolt.org/z/z4xMT533G
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkkFv3CAUhH8NvqBYgPHaPnBIsvUqUhJVadU72M82FYYVD-928-sre1tlm1svcHgMzMyHRrSjB1CkfCDlPtNLmkJUb8Hv9aQ9Zzwzob-oJ0-fn3-8UF7nPGdEPFLrMT2G2VgPtAsebQ8RepomoM6d5lwjLvM26m2ywVPtezprr8f1VKDHGE5A06TTpjFR-26iFql2Z31BOmiHkBO2J-z-uk4pHZEU90S0RLRj6E1wKQ9xJKJ9J6LlNT8cqtPpy63oNZw_ux20dbhaQDsfnR0uNwaIqPDD8389_y5_vXwvi-KQ9arom6LRGSheCckqXjdFNqmKgWl2goHUza6qy9oMxjRFKXflIHeDyawSTEhW84aLkhci75jsuNHGAHBZMiCSwayty7eKQxwzi7iA4kxWlcicNuBwYymEhzPdpkSIFW1Uq-jOLCMSyZzFhB_XJJscqDcYIyCutKz_p7OvGtfs9Ml3IUboEv12Lc92eqMbBmq7-UjPNk30waazRaD3r_sN--2HePxbbrZEpz6VatO0mLwLMxHtKvqz3R1j-AldIqLdEuFK-xr5pMTvAAAA__-XfOXs">