[llvm] r296366 - [InlineFunction] add nonnull assumptions based on argument attributes

[Hans Wennborg via llvm-commits]

Reverted in r296398 for PR32082

On Mon, Feb 27, 2017 at 10:13 AM, Sanjay Patel via llvm-commits
<llvm-commits at lists.llvm.org> wrote:
> Author: spatel
> Date: Mon Feb 27 12:13:48 2017
> New Revision: 296366
>
> URL: http://llvm.org/viewvc/llvm-project?rev=296366&view=rev
> Log:
> [InlineFunction] add nonnull assumptions based on argument attributes
>
> This was suggested in D27855: have the inliner add assumptions, so we don't
> lose nonnull info provided by argument attributes.
>
> This still doesn't solve PR28430 (dyn_cast), but this gets us closer.
>
> https://reviews.llvm.org/D29999
>
> Modified:
>     llvm/trunk/lib/Transforms/Utils/InlineFunction.cpp
>     llvm/trunk/test/Transforms/Inline/arg-attr-propagation.ll