[llvm-commits] [llvm] r116958 - /llvm/trunk/lib/Analysis/TypeBasedAliasAnalysis.cpp

[Duncan Sands]

Hi Dan,

> +/// Aliases - Test whether the type represented by A may alias the
> +/// type represented by B.

if I understand the way you've set up TBAA right, it doesn't have to have
anything to do with types, right?  It seems to be a completely abstract
setup where each memory operation can be annotated with a node in an
abstract tree, and where two memory operations will not alias if neither
of their nodes is an ancestor of the other.  Is that correct?  If so, it
could in theory be used for all kinds of other things and not just TBAA.
Or am I misunderstanding the design?

Ciao,

Duncan.