search for: memoryspacealiasanalysis

...9;s clear and I'm confident it will be fine. So the addrspace modifier semantic will be the current one (so target address spaces). The idea is to extend the BasicAliasAnalysis to use addrspace modifier + target information to decide aliasing based on physical address spaces and create a "MemorySpaceAliasAnalysis" for those case where source language level information may help, right? Thanks. -Michele

On 08/12/2013 12:44 AM, Michele Scandale wrote: > The idea is to extend the BasicAliasAnalysis to use addrspace modifier + target > information to decide aliasing based on physical address spaces and create a > "MemorySpaceAliasAnalysis" for those case where source language level > information may help, right? I was looking to the AliasAnalysis infrastructure and TBAA implementation details. The only metadata kind currently supported is the MD_tbaa, in fact AliasAnalysis::Location has exactly one field for the TBAA tag....

...; michele.scandale at gmail.com> wrote: > On 08/12/2013 12:44 AM, Michele Scandale wrote: > > The idea is to extend the BasicAliasAnalysis to use addrspace modifier + > target > > information to decide aliasing based on physical address spaces and > create a > > "MemorySpaceAliasAnalysis" for those case where source language level > > information may help, right? > > I was looking to the AliasAnalysis infrastructure and TBAA implementation > details. The only metadata kind currently supported is the MD_tbaa, in fact > AliasAnalysis::Location has exactly one f...

...ail.com>> wrote: > > On 08/12/2013 12:44 AM, Michele Scandale wrote: > > The idea is to extend the BasicAliasAnalysis to use addrspace modifier + > target > > information to decide aliasing based on physical address spaces and create a > > "MemorySpaceAliasAnalysis" for those case where source language level > > information may help, right? > > I was looking to the AliasAnalysis infrastructure and TBAA implementation > details. The only metadata kind currently supported is the MD_tbaa, in fact > AliasAnalysis::Location...

...gt; On 08/12/2013 12:44 AM, Michele Scandale wrote: > > > The idea is to extend the BasicAliasAnalysis to use addrspace > modifier + > > target > > > information to decide aliasing based on physical address spaces > and create a > > > "MemorySpaceAliasAnalysis" for those case where source language > level > > > information may help, right? > > > > I was looking to the AliasAnalysis infrastructure and TBAA > implementation > > details. The only metadata kind currently supported is the MD_tbaa, > in fact...

...2/2013 12:44 AM, Michele Scandale wrote: > > > The idea is to extend the BasicAliasAnalysis to use addrspace modifier + > > target > > > information to decide aliasing based on physical address spaces and > create a > > > "MemorySpaceAliasAnalysis" for those case where source language level > > > information may help, right? > > > > I was looking to the AliasAnalysis infrastructure and TBAA implementation > > details. The only metadata kind currently supported is the MD_tbaa, in &gt...

On Sun, Aug 11, 2013 at 5:49 AM, Michele Scandale < michele.scandale at gmail.com> wrote: > On 08/11/2013 08:41 AM, Micah Villmow wrote: > > How about this as a solution. > > > > Add one hook into TargetInstrInfo, and one into TargetISelLowering. > > > > 1) getAddressSpaceRelation(unsigned AS1, unsigned AS2) - Returns either > disjoint, subset, superset,

On 08/11/2013 08:41 AM, Micah Villmow wrote: > How about this as a solution. > > Add one hook into TargetInstrInfo, and one into TargetISelLowering. > > 1) getAddressSpaceRelation(unsigned AS1, unsigned AS2) - Returns either disjoint, subset, superset, equal. Function defaults to equal. > 2) isAddressSpaceSupported(unsigned AS) - Returns true if supported, false otherwise.

...t;> On 08/12/2013 12:44 AM, Michele Scandale wrote: >>>> The idea is to extend the BasicAliasAnalysis to use addrspace modifier + >>> target >>>> information to decide aliasing based on physical address spaces and >> create a >>>> "MemorySpaceAliasAnalysis" for those case where source language level >>>> information may help, right? >>> >>> I was looking to the AliasAnalysis infrastructure and TBAA implementation >>> details. The only metadata kind currently supported is the MD_tbaa, in >> f...