Displaying 4 results from an estimated 4 matches for "visitgep".
Did you mean:
visited
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...66.0%)
+ 0 partial alias responses (0.0%)
1 must alias responses (0.1%)
I suspect this is all caused by a different set of bugs:
1. visitStoreInst does not appear to handle the case of value being a GEP
properly (Personally, i had no idea this was allowed ...)
It should somehow call into the visitGEP code, but it doesn't.
Thus, it never assigns anything into the value of the global.
2. Something is either busted in querying or in attributes for stores that
have geps directly as their pointer value.
I will work up a separate patch for this issue unless someone thinks i
should shoehorn it...
2015 Jan 24
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...no idea this was allowed ...)
> >
>
> You mean that the value being stored is a pointer value coming from a GEP?
> Why would that be special (compared to any other way of generating a
> pointer value, inttoptr for example)?
>
> >
> > It should somehow call into the visitGEP code, but it doesn't.
> >
> >
> > Thus, it never assigns anything into the value of the global.
> > 2. Something is either busted in querying or in attributes for stores
> > that have geps directly as their pointer value.
> >
> >
> >
> >
>...
2015 Jan 26
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...>
> >
> > You mean that the value being stored is a pointer value coming from a
> > GEP? Why would that be special (compared to any other way of
> > generating a pointer value, inttoptr for example)?
> >
> > >
> > > It should somehow call into the visitGEP code, but it doesn't.
> > >
> > >
> > > Thus, it never assigns anything into the value of the global.
> > > 2. Something is either busted in querying or in attributes for
> > > stores
> > > that have geps directly as their pointer value.
>...
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
Works for me
On Thu, Jan 22, 2015 at 8:27 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> We should use graph edges, so we can do something better at set build time
> :)
>
>
> On Thu Jan 22 2015 at 5:20:46 PM George Burgess IV <
> george.burgess.iv at gmail.com> wrote:
>
>> > Should we be added an edge from the inttoptr to all other pointer
>>