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

    <tr>
        <th>Summary</th>
        <td>
            CorrelatedValuePropagation(?) 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.

The Rust MIR reproducer is: https://godbolt.org/z/sb568G8r4

With this command line, the program runs:
```
rustc 9870897538617236803.rs -Copt-level=2 -Cllvm-args=-opt-bisect-limit=478
```
Any greater value of opt-bisect-limit runs CorrelatedValuePropagation on `main` and produces a program that just executes a `ud2`.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJykk8Fq3DAQhp9mfBl2kUe21j74sN3FpdBCCaU9y_KsrVS2FkneNHn6YidNIbS9FAQCjfTPP9-MdIx2mJkbKN9Bec70kkYfmqg5jc7OWef7x-aj_c44pnSNII9ALVA72DQu3d74Cah17vZr212Dv2eTgFob48IRqM1lXSmFabQRbcRL8BNqvCxPTxwwjTrhwDMHnTji3RITfvpwB_L4r4ym4-UBqA1LTE7PycY9iCOI45eRXzUw8DX4fjEc0MY_KPq-8y7tfRiA2iegNnalqt5XoXgW-2bT-Gzb-GnSc4_Ozgx0wjQyXoMfgp4wLPOmKY6gxMsSx9WZwbo6iKo-lLJS-YGkqoTch4i7k7-mneMbO5Bnwt1pY6fDEEGed2uws5FN2jk72QTyXByqNwmO8yMOgXXigDftFkZ_wbcvN3N48iGw04n7r-vFz8Ff9aCT9TP6GUGJSdsZlMC1xBdkEfVrhVuP7leq_IPNkrYgKLH0BErss76RfS1rnXGTH4rqQEUu62xsiKueTJEXitiQKsmYuqe8UEoZLQ1ltiFBpShlTqKgvN5XdVmYsuqLslbyQgyF4Elbt1_5rI3Ktqlq8oKoUpnTHbu4zS7RzA-4RYFoHeXQbFC7ZYhQCGdjir9lkk2Om7-DAapAtkA1TjYaP12t286zJbjmP77Cs-9bQz8DAAD__6RhHl4">