Changes between Version 9 and Version 10 of Commentary/Compiler/Backends/LLVM/Alias


Ignore:
Timestamp:
Jan 6, 2012 3:47:36 AM (2 years ago)
Author:
dterei
Comment:

--

Legend:

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

    v9 v10  
    4040!1 = metadata !{ metadata !"heap", metadata !0 } 
    4141!2 = metadata !{ metadata !"stack", metadata !0 } 
     42!3 = metadata !{ metadata !"rx", metadata !2 } 
    4243}}} 
    4344 
    4445The fact that `R[]` never aliases with `Sp[]` is never used as the one way relation isn't expressible in LLVM. 
    4546 
    46 Stores/loads needs to be annotated with `!tbaa` and one of the above three types e.g. 
     47Stores/loads needs to be annotated with `!tbaa` and one of the above four types e.g. 
    4748 
    4849{{{