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

    <tr>
        <th>Summary</th>
        <td>
            Is there a pass that can analyze the ConstantRange and KnownBits for all variables of a program?
        </td>
    </tr>

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

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

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

<pre>
    I just want to write a pass to analyze the ConstantRange and KnownBits for all variables of a program. This program consists of only one function and has no global variables. I'm not familiar with the implementation of these two abstractions. Can anyone provide me with some advice and assistance on this issue? 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyskc1unTAQhZ_GbEZBxoS_BYsmFVLUXdUXGGAAR8a-8gwX3T59ZZIqfYCurLHs78w5B5nt6ol6Vb2o6nuGh2wh9uuBfuWN_Lqgz8YwP_o3eD9Y4EQvIAHOaIUA4YbMaUaP7vGbQDaC1-BZ0MtP9CsB-hl--HD6FysMS4iAzsEdo8XREUNYEiaGNeKew6_N8t8JpuDZslxvgncPCJ5gOfwkNvgLvCGDD7C6MOI_0BzelGl28EFgwd06ixFOK9u1n91vjnbyghcnLOmWCeQMgCNLxEuAc3jFJPNIsrcY7nYm2OkDxGEnwPlupw-LKcnkeiIIHiTZsMwHqXKAbO7LuSs7zKgvmqI2jdG6yLa-qbsKJ90scz21LVFFRYu6wa6rSt0uXWZ7o82zrkyh66I0RV4srS7GepwqbeplMepZ047W5c7d9zzENbtU-860tckcjuT4KtcYT-fnSsakrmOf_jyNx8rqWbsU9BdFrDjq3zhFE7-K3lBgukL5H3WrcsiO6PpN5Maq_KbMoMywWtmOMZ_CrsyQFvo8nm4xvNMkygyXDVZmuGz-CQAA___W0vQE">