Displaying 2 results from an estimated 2 matches for "buffer_stor".
Did you mean:
buffer_store
2016 Mar 22
0
New intrinsic property IntrOnlyWrite
...g pointer and non-pointer accesses to the same address, you have a
potentially serious problem.
As a concrete example, let's take the following:
%mem = malloc() <-- returns a noalias pointer
%buf = construct_buf_ref(%mem) <-- assume this is transparent and
doesn't capture
load %mem
buffer_store(%buf)
load %mem
In this (psuedo code) example, basicaa will use capture tracking to
*prove* that buffer_store can't have written to %mem. buffer_store is
allowed to write to any memory it can address, but because %mem has not
been captured, buffer_store can not obtain a pointer to it. Thi...
2016 Mar 21
3
New intrinsic property IntrOnlyWrite
On 19.03.2016 14:47, Philip Reames wrote:
> I'm generally in support of this change. I haven't looked at the patch
> yet, but the direction seems worthwhile.
>
> Note that we already have a writeonly predicate in a few places in the
> code (BasicAA being one). If we do introduce the new intrinsic
> property, we should refactor all of these places to use the new
>