search for: targetaddressspac

...ault instead of "Disjoint". For Unknown, any pass can > do the > conservative thing. What I'm suggesting is that Alias Analysis can be a client to where we store address space information. In the example you gave, alias analysis will examine two memory locations, ask the TargetAddressSpace what the relationship is and if it is disjoint, it will return no alias. If the address spaces are in subset relationship, the alias analysis returns maybe unless it has more information. If a client doesn't tell the compiler the correct address space information, the client should...

Hi Mon Ping, I've again attached a patch, wich lets LLVM know about about the relations between different address spaces. Instead of cramming this info in with TargetData (with all kinds of unwanted side effects, especially for the IR), I opted to create a new pass, TargetAddrspaces, which holds this information. Just like TargetData, this can be added to the passmanager by the tool running

...f "Disjoint". For Unknown, any >> pass can do the conservative thing. > > What I'm suggesting is that Alias Analysis can be a client to where we > store address space information. In the example you gave, alias analysis > will examine two memory locations, ask the TargetAddressSpace what the > relationship is and if it is disjoint, it will return no alias. If the > address spaces are in subset relationship, the alias analysis returns maybe > unless it has more information. If a client doesn't tell the compiler the > correct address space information, the...

...st that are created. >>> [Deleted Text] >> >> What I'm suggesting is that Alias Analysis can be a client to where >> we >> store address space information. In the example you gave, alias >> analysis >> will examine two memory locations, ask the TargetAddressSpace what >> the >> relationship is and if it is disjoint, it will return no alias. If >> the >> address spaces are in subset relationship, the alias analysis >> returns maybe >> unless it has more information. If a client doesn't tell the >> comp...