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

    <tr>
        <th>Summary</th>
        <td>
            multiplicativity of abs
        </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>
    Alive2 Proof: https://alive2.llvm.org/ce/z/XEDy0f
Original program: https://godbolt.org/z/e1YhxzWEh
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkkDGP3CAQhX_N0Fi7gsGszwXFRnu0SZekHAy2SfBiAd7L3q-PbJ0SKammeHrfvPeolDDdvdegPoG6MdrqnLL-eaKc01thNrmnvsbw8Nh8ySmNIK_NXOtaQF4BDaChQz3H-FjOKU-AZvCA5h3QfHu9PfkI_Ab8-jmHKdwpNmtOU6blf9CUnE2xfkB2vxff51_vX19n5rR0veyJeS06rpBz1Us2a-pHNVB_kaJ3L9YpR5x3qJTvOmEFEQsaObZciJZj2yt5bpXqnNwBrb1IcYGW-4VC_FOAhVI2r7sX3l1YJOtjOdZBvPu35hABcR8r691zsttUoOUxlFr-Umqo0etlizWsMQxUwyPUZ5PGhmxhW476n_ahzps9D2kBNDvl45zWnH74oQKa43cBNEe23wEAAP__1wqLrg">