Displaying 2 results from an estimated 2 matches for "d27855".
Did you mean:
27855
2016 Dec 16
1
analysis based on nonnull attribute
Based on the earlier comments in this thread and the existence of a
transform that adds 'nonnull' to callsite params, I have proposed a patch
to extend nonnull to a parent function:
https://reviews.llvm.org/D27855
...but given today's comments about inferring the analysis rather than
making it part of the IR, this might be the wrong approach?
On Fri, Dec 16, 2016 at 12:49 PM, Philip Reames via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
>
>
> On 12/16/2016 11:37 AM, Michael Kuperstein...
2016 Dec 16
0
analysis based on nonnull attribute
On 12/16/2016 11:37 AM, Michael Kuperstein wrote:
> Calling an instruction a "source" is basically another way to say "we
> can't dataflow through this".
>
> What I'm trying to say is that this is not really a property of the
> instruction type.
> I agree we should be adding annotations sparingly - that is, we should
> not annotate something we