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

    <tr>
        <th>Summary</th>
        <td>
            No canonicalization for signed mul overflow
        </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 Proof:
https://alive2.llvm.org/ce/z/m-kd7-

_Originally posted by @AtariDreams in https://github.com/llvm/llvm-project/pull/93370_
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkc2u3CAMhZ_GbNCMiJOQYcEi1SjLtm9wBYnJ0JIwApKruU9fJar6s7wrsGydc_zZ5OznlUhD-wXaOzNbecSk-2KSvycyS2Y2Ti_dB78T8u8pRgd1D-IOon-U8sxHhQPgYM6Rawj7co1pBhxGAhw-AIfl8nPqLiB6EP3bt-Rnv5oQXvwZc6GJ2xeHRvzjyf3K_xeffXls9jrGBXA4LH4_l2eKP2gsgMNzCwFwUHXdiTc26XpStTKMdNVhJaSQUrKHltPolLHWOmvajoxr65tTx29qrbwp5jUKbERXtZXEBuUVm3qsLMobmZE6dNAIWowPfzZlPueNtLopVCwYSyGfOBFXeudnExAPukmfme02Z2hE8LnkvyrFl0D6a-SjWePqRxP8hyk-rtzFxM8zTXzZAo87JRfiO9tS0J_GdObJB6gz767xVwAAAP__K-amTQ">