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

    <tr>
        <th>Summary</th>
        <td>
            Freeze needed for lshr(mul (X, 2^C + 1), C) -> add (X, lshr (X, C))
        </td>
    </tr>

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

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

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

<pre>
    Alive2 missed the partial undef.

_Originally posted by @AtariDreams in https://github.com/llvm/llvm-project/pull/96324_
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkMuOnjAMhZ_GbKxBwYRLFlkw_wzbbrsbBWIgVbgoCVP9ffoKpE677SqKfXzs85kY3bwxa6heoXrLzJmWPegumeDeAps1ZsNun7rz7pMJVxcjW0wL42FCcsbjuVmechAdiO7jW3Cz24z3Tzz2mNji8ESQ4h8_dBsuKR0Ryg6oB-pnl5ZzyMd9Beq9__zzvBxh_8FjAuqP03ugXtUlyY_M6tKqUpmMddFQIWpBSmaLLquGh0mWRT2pqSayragtKW6nkpuCZeY0CZKiKaqiLtpC5gNNsm6rYazrsRxHAVLwapzPr_35HubMxXiyVq2iJvNmYB9vVEQb_8S7CUQXuaDvm4dzjiCFdzHFvy7JJc-6D8y_GDdmyxanPaCPSwBq19MjUPsd6IEE1fsDgV6xAFJX5QGk8AXKdzTWfumu0a_P45aq7Axe_zfcO0W88N4pPzX9DgAA__9cxqS-">