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

    <tr>
        <th>Summary</th>
        <td>
            [DAG] Add computeKnownBits(FREEZE(X)) handling
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            good first issue,
            llvm:SelectionDAG
      </td>
    </tr>

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

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

<pre>
    Similar to #161507 - add FREEZE handling to allow us to analyze demanded elements of a node through a FREEZE

The tricky bit will be to add test coverage - you will need a FREEZE node that can't be removed due to some elements possibly being undef/poison, but other elements that are not and have useful known bits data for a dependent node.

This might be easier once #161512 has landed.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxEUr1u4zwQfBqqWdiQVpZsFSqcOP6KdMlXHK5bkWuJF4pr8MeB7-kPUv4qEtjZ2ZnBUIx29My9ah5Ucyoop0lC__L8amfxxSDm3r_a2ToKkAQU1lVbNeUeNkDGwPnl6en3E0zkjbN-XCDknLxDjuvfk7v_ZTA8kzdsgB3P7FMEuQCBF8OQpiB5nIA-yVR5VOXx_4khBavf7jDYBO_WORh45TQGEscEWm4caGTYwF3yB8Qzm2-mL35KoMkr3KeFIvAsNzZg8koXZeYfWVeJ0Q7uDgMvdrI3fFF4voqN4hU-wpATSJo4_OysBygweElA3sBEN4Yc-ZIdvHl594uFCIYSwUUCEBi-sjfs0ypx-2XZRpjtOK0ymaLlAOI1f6VeIUwUwa1RbgvT16arOyq4r_ZNV3dttW-KqadKD_pgWr2vh4o6g1jpVne7qjl0l7rdFbbHEpuqLLHsyq5utmVVN7odBk1tWVd7o3Ylz2Td1rnbvJUwFjbGzH3VVu0OC0cDu7g2BnEUMXCxISZYQQpR4aNCXHZVfXxlxzpZ8afjf8usORWhX2abIY9R7UpnY4o_l5JNbm3jgm9OcDQGtMzXnPh5yfLBpqjw8NkVPPxS2CnsvitY5OD6KaVrVPVR4VnhebRpysNWy6zwvMr6eDbXIH9YJ4XnVXpUeP60eOvxXwAAAP__sicD1A">