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

    <tr>
        <th>Summary</th>
        <td>
            Signed integer overflow in Constraint Elimination pass
        </td>
    </tr>

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

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

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

<pre>
    ```
$ cat /tmp/a.ll
define double @f() {
entry:
  %0 = shl nuw i64 4503599627370496, 11
  %cmp3.not.1.i.i856 = icmp eq i64 %0, 0
  br i1 %cmp3.not.1.i.i856, label %if.end23.sink.split.i894, label %lor.lhs.false.i858

lor.lhs.false.i858: ; preds = %entry
  br label %if.end23.sink.split.i894

if.end23.sink.split.i894: ; preds = %lor.lhs.false.i858, %entry
  ret double 0.000000e+00
}
# opt built with ubsan
$ opt -p constraint-elimination -disable-output /tmp/a.ll
../../llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:700:11: runtime error: signed integer overflow: -9223372036854775808 * -1 cannot be represented in type 'int64_t' (aka 'long')
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior ../../llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:700:11
```

@fhahn 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVD1v7DYQ_DV7zeIEaqnPQoXOznWvifOKVAElrU6MeaRCUjacXx9Q7xzbyAVpIggSwOHuDGdIqhD0xTJ3UJ6gfDyoLS7Od4q3QdnncBjc9NZBJW6v6IEKHFVEoHO8rkBnlRkDop941pZxcttgGKEQM1AD1CLUJxA92-jfQPYgekSgUiDIRwyLQbu9oq4KLEohy7atqJa1KNoK6AHz_H3-eF1lZl3M8kxnuimrvV6P1xX5j70-NU01Yi8ZPOr8bmGaY9TAJqF6zthOJLOg7XMWVqNjppu2-DLJOJ-ZJWSzMoFTjyb5IPo747JHkCdcPU9hVwhU_lj6TdR_M--t_xW9R3BHBz18ZfYc36MRmdgfBjqJPdH6cc9VolsjDps2EV91XHAbgrK3yBN0XHF0NkSvtI1HNvqqrYraWTxOOqjB8NFtcd3-uTmyDOi8f4x5uaafHoDOv3hlw-z8NQCdn0ZllAc6P_zN8dMHRTauK8i-FgJkn-fJB7_ZqK-M7L3zaWDfyRNqG_nCHt0L-9m41wQdWyIpaxKyasqirstGNAjU4zHHUVnrIg6MnlfPgW3cu2B8WxmBam1jVfwWgWoEatSzSoPG2QtQDdSC6J--f_vW__xrYvpuf5yE6cSLetHOPymro_6Td4nbO3ocbjD-_96I_suBFX06jYtaLB6mTk6tbNWBu7wupKA8b-mwdGoshJqEmKmsWJX5KHmuprIqp7lhMYmD7khQKSRVJKTMKSMxCNlOQzPJVs3tBIXgq9ImS6vInL8cdAgbd7mUeVkc9n0f9luGyPIr7igQpUvHd6noOGyXAIUwOsTw0SbqaLh7up9tiunDE_xkCq4qhMPmTbfEuIZ09dAZ6HzRcdmGbHTXT44n9tW733mMQOddWrL9pv2lo78CAAD__9x8kus">