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


Ignore:
Timestamp:
Jan 6, 2012 3:47:36 AM (4 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{{{