diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2011-10-27 19:19:07 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2011-10-27 19:19:07 +0000 |
| commit | 249d953ed7b850446fdfc600992ffb221da2f9d3 (patch) | |
| tree | fc80fa69369a683449554351b470f6c5aca5ef92 /docs/GetElementPtr.html | |
| parent | 32a43cc0fc3cd42702d7859eaa58dd42f561a54d (diff) | |
Document tbaa metadata in LangRef (documentation largely based on
comments at top of TypeBasedAliasAnalysis.cpp).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143134 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/GetElementPtr.html')
| -rw-r--r-- | docs/GetElementPtr.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/GetElementPtr.html b/docs/GetElementPtr.html index 2c32a9ea7c..6297aa7de7 100644 --- a/docs/GetElementPtr.html +++ b/docs/GetElementPtr.html @@ -594,10 +594,10 @@ idx3 = (char*) &MyVar + 8 because LLVM has no restrictions on mixing types in addressing, loads or stores.</p> - <p>It would be possible to add special annotations to the IR, probably using - metadata, to describe a different type system (such as the C type system), - and do type-based aliasing on top of that. This is a much bigger - undertaking though.</p> + <p>LLVM's type-based alias analysis pass uses metadata to describe a different + type system (such as the C type system), and performs type-based aliasing + on top of that. Further details are in the + <a href="LangRef.html#tbaa">language reference</a>.</p> </div> |