Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | LLVM refactor cleanups | Peter Wortmann | 2013-06-27 | 1 | -1/+0 |
| | | | | | Slightly more documentation, removed unused label map (huh), removed MonadIO instance on LlvmM to improve encapsulation. | ||||
* | Use SDoc for all LLVM pretty-printing | Peter Wortmann | 2013-06-27 | 1 | -7/+6 |
| | | | | | | | This patch reworks some parts of the LLVM pretty-printing code that were still using Show and String. Now we should be using SDoc and Outputable throughout. Note that many get*Name functions become pp*Name here as a side-effect. | ||||
* | Iteration on dterei's metadata design | Peter Wortmann | 2013-06-27 | 1 | -50/+9 |
| | | | | | | | | | | | | | | | | | | | | | - MetaArgs is not needed, as variables are already meta data - Same goes for MetaVal - its only reason for existing seems to be to support LLVM's strange pretty-printing for meta-data annotations, and I feel that is better to keep the data structure clean and handle it in the pretty-printing instead. - Rename "MetaData" to "MetaAnnot". Meta-data is still meta-data when it is not associated with an expression or statement - for example compile unit data for debugging. I feel the old name was a bit misleading. - Make the renamed MetaAnnot a proper data type instead of a type alias for a pair. - Rename "MetaExpr" constructor to "MetaStruct". As the data is much more like a LLVM structure (not array, as it can contain values). - Fix a warning | ||||
* | Add ability to call functions with metadata as arguments to LLVM | David Terei | 2013-06-27 | 1 | -8/+18 |
| | | | | backend. | ||||
* | Rework LLVM metadata representation to be more accurate. | David Terei | 2013-06-27 | 1 | -0/+117 |