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

    <tr>
        <th>Summary</th>
        <td>
            InstCombine(?) miscompilation
        </td>
    </tr>

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

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

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

<pre>
    Like https://github.com/llvm/llvm-project/issues/139866 this is from a fuzzer that generates Rust MIR: https://github.com/cbeuw/rustlantis.

I've tried to reduce the MIR, but I think there's a pretty complicated structure required because I can't get the MIR very small.
https://godbolt.org/z/G6qsWP57T

The program seems to miscompile starting at `rustc -Zmir-opt-level=0 -Copt-level=1 -Cllvm-args=-opt-bisect-limit=159`
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyk0s1q5DgQB_CnKV-KbmT5q33wobeDl4ZdWEJgYW6SXW1rIlsdValD8vSDO4QMc5jLnIylovRT6W-Y3bQSdVD9BdVDZpLMIXZsSGbv1syG8a37xz0TziJXhuIIugfdT07mZPdDWED33t8-P7trDN9pENC9Y07EoPu8aA91jTI7Rsd4iWFBg5f0_k4RZTaCE60UjRDjY2LBf8-PUBx_d-JgKb2C7mNi8WYVx3tQR1DHM-jmRijR0YgSMNKYBkKZ6d5Vn9AmwfOGWZ-35UigG0aD10gibziE5erdYIRGZIlpkBQJI70kF2lES4NJTHjGwaygm80un-3xRvENeTHeb5xf_GG0wcs-xAl0_w66_7t-4f__q5qnD_rTTHiNYYpmQSZaePMvjjeR84QsJopbJzSCUKvt6gPuvi0u7sJVdp5u5KF4ULg7_fyf4-50fxkTJ4bi4V5sHdMgO-8WJ1tN1UKtsrErxrZoTUZd3pSHNq_bUmdzV5elUhc7NmNr8npshjo3TVm1VX4w7aU5ZK7TSleqVoXSeVXq_WAbyo21qqaqKcsGSkWLcX6_SbYRZPd0dHmpq_yQeWPJ8z2DWq_0ivdd0HqLZOzufJsmhlJ5x8JfbcSJp-68spzCYt1KoA9Q9KDbr9EZcWHNUvTdH2T4A3rr9I8AAAD__y4GCxM">