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

    <tr>
        <th>Summary</th>
        <td>
            [InstSimplify] simplifyPHINode phi fold incorrect according to alive
        </td>
    </tr>

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

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

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

<pre>
    When a phi has `undef` as one of the incoming values, and an SSA value as the other, and the SSA value dominates the phi, replacing the phi with the SSA value is incorrect.

https://alive2.llvm.org/ce/z/7RNy3W
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcUcGumzAQ_JrlYr3ILDg0Bx_SRqjv8lQ1h3de8BK7NRjZJk_p11eQtFF7AWs8M7ueoZTcZWLWoD6DOhW0ZBuipp_J0i0aDsZSLLpgbvrd8iRIzNYJS0nAXi6T4QH2UlASYWIRBpEtCzf1YXTTRVzJL5wAvwiajKBJnM_HO7gqVmrIluMfwgo8GWb1oMx34mzdSos8e-pX7wcoPly2_yld2laIkfu8A3kCebx_bc5zguoI2AK25N2Vcef9ddyFeAFsewZsfwG2zfe3W_VeGF2ZQ3WggnXZVPJQN0o1hdVNuW_oE6pD1w1DV9UoS5ZSlqXqSlPvh8JplFiXpWwk1ko1OybkfTUM1FWM3CHUkkdy_u_0wqW0sC5LhUoWnjr2aesEceIPsd0C4lpR1KvopVsuCWrpXcrpaZNd9luZr1PKZzfO3g03UCeRHudvX1_fgrlnNwRvnlEJ6vsQzRZuEFs6xRK9_je1i8t26XZ9GAHbdezj9zLH8IP7DNhuyybA9vGaq8bfAQAA__9AGcg8">