search for: tibell

On Wed, Jan 18, 2012 at 6:13 PM, Johan Tibell <johan.tibell at gmail.com> wrote: > Hi, > > While adding support for TBAA to GHC's LLVM backend, we ran into the > following issue: given a pointer that we know has certain aliasing > properties (e.g. it points to the stack, not the heap) we'd like to > >  * anno...

Hi, While adding support for TBAA to GHC's LLVM backend, we ran into the following issue: given a pointer that we know has certain aliasing properties (e.g. it points to the stack, not the heap) we'd like to * annotate all loads and stores to that pointer with a TBAA type "stack", and * also annotate all loads and stores to pointers derived from that pointer as

On Wed, Jan 18, 2012 at 6:22 PM, Eli Friedman <eli.friedman at gmail.com> wrote: > On Wed, Jan 18, 2012 at 6:13 PM, Johan Tibell <johan.tibell at gmail.com> wrote: >> While adding support for TBAA to GHC's LLVM backend, we ran into the >> following issue: given a pointer that we know has certain aliasing >> properties (e.g. it points to the stack, not the heap) we'd like to >> >>  ...