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

    <tr>
        <th>Summary</th>
        <td>
            Inliner fails to simplify inlined function based on known callsite attributes
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            missed-optimization
      </td>
    </tr>

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

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

<pre>
    caller3 example from tests:
https://github.com/llvm/llvm-project/blob/ca42cd3e1264f8b44304019da07b6059a610fd24/llvm/test/Transforms/Inline/nonnull.ll#L75


It should be simplified to "call bar", but currently Inliner fails to do so (ignores SimplifiedValues in this case?)


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkk9v3CAQxT8NvoyywoP_rA8-pI0sReqtVe9gxmsaDCsGtt1--spO20TqqRcQQvNm3m-eZnaXQDSK9oNonypd8hrTaPXNWRP9TQd-uVcm2vs4a-8pKaAfert6giXFDTJxZqEehXwS8nHN-Xq8cBI4XVxeiznNcRM4eX_7cz1cU_xGcxY4GR-NwGnWDc5WUY1ds5xN0yjZyHqwWvamk-2gu1ouFps3nb2vwOlL0oGXmDYWOD0H7wIJnEIMoXh_8l6g-tS3r8O9P58z8BqLt2AI2G1X7xZHFnIEgbg7BaOTQBT4EUzJMJeUKGR_h9cuCRbtPO8FNgLvZWd3CTERw-e_el-1L8TgAuTVMcyaSahJ4PB-lsqOyg5q0BWNdXeWvWpVPVTr2A5107W97mdzlkaaphmU7Baz1HherKTKjShxR9Uitm09nIxWuNQkqdY4G9mLRtKm3U7itp1iulSOudDY1UPXVV4b8nxsHnFzzGQf4jW7zf3U2cWw22-fqjQeSzPlwqKR3nHmN73ssqfxHya_kd7BHT8WlhLmXROMZrIQA7yE-D3AjppdJtA5J2dKJq5K8uN_J-kwtqfg8PYrAAD__1pJ7DM">