Changes between Version 1 and Version 2 of Commentary/Compiler/Backends/LLVM/Alias


Ignore:
Timestamp:
Jan 3, 2012 11:43:12 PM (3 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Backends/LLVM/Alias

    v1 v2  
    11= Improving LLVM Alias Analysis = 
    22 
     3This page tracks the information and progress relevant to improving the alias analysis pass for the LLVM backend of GHC. 
     4 
     5== Max's Work == 
     6 
     7Max had a crack at writing a custom alias analysis pass for LLVM, relevant links are: 
     8 
     9 * [http://lists.cs.uiuc.edu/pipermail/llvmdev/2011-September/043603.html Email to LLVM dev] 
     10 * [http://blog.omega-prime.co.uk/?p=135 Blog post about results] 
     11 
     12== TBAA == 
     13 
     14LLVM as of version 2.9 includes Type Based Alias Analysis. This mean using metadata you can specify a type hierarchy (with alias properties between types) and annotate your code with these types to improve the alias information. This should allow us to improve the alias analysis without any changes to LLVM itself like Max made. 
     15 
     16 * [http://llvm.org/docs/LangRef.html#tbaa LLVM TBBA Doc] 
     17 
     18== STG / Cmm Alias Properties == 
     19 
     20_ToDo_: Document the alias properties of Cmm code given to LLVM backend. 
     21 
     22== Progress == 
     23 
     24David and Johan plan to have a crack at this at the start of 2012. 
     25