... | ... | @@ -9,14 +9,14 @@ We use the C preprocessor on `.cmm` files, making extensive use of macros to mak |
|
|
## Reading references
|
|
|
|
|
|
|
|
|
Reading material for learning Cmm is somewhat scattered, so I (Arash) have created a list of useful links. Since the Cmm language is changing as GHC changes, I have prioritized. (*Feel free to add/remove/modify this this list! :)*)
|
|
|
Reading material for learning Cmm is somewhat scattered, so I (Arash) have created a list of useful links. Since the Cmm language is changing as GHC changes, I have prioritized resources that are not too old. (*Feel free to add/remove/modify this list! :)*)
|
|
|
|
|
|
- An overview of Cmm is given in [ David Terei's bachelor thesis](https://davidterei.com/downloads/papers/terei:2009:honours_thesis.pdf) (chapter 2.4.3).
|
|
|
- The comments in the beginning of [compiler/cmm/CmmParse.y](/trac/ghc/browser/ghc/compiler/cmm/CmmParse.y) is super-useful and kept up to date. The rest of the file contains the *grammar* of the language. Afraid of grammars? Edward Yang wrote this fantastic [ blog post](http://blog.ezyang.com/2013/07/no-grammar-no-problem/) on how to understand the constructs of Cmm by using the grammar.
|
|
|
- Cmm has a preprocessor like the one in C and many of the macros are defined in [includes/Cmm.h](/trac/ghc/browser/ghc/includes/Cmm.h).
|
|
|
- In 2012, Simon Marlow extended the Cmm language by adding a new high-level syntax which can be used when you don't need low-level access (like registers). The [ commit](https://github.com/ghc/ghc/commit/a7c0387d20c1c9994d1100b14fbb8fb4e28a259e) explains the details.
|
|
|
- Cmm is also described [on this wiki](commentary/compiler/cmm-type), but it is written before the new syntax was introduced.
|
|
|
- Stack frame types are created using ``INFO_TABLE_RET``, the syntax can be confusing since there are both *arguments* and *fields*, I (Arash) have not seen anything like it in other programming languages. I tried to explain it in my [ master thesis](http://arashrouhani.com/papers/master-thesis.pdf) (sections 4.2 and 4.2.1).
|
|
|
- Stack frame types are created using `INFO_TABLE_RET`, the syntax can be confusing since there are both *arguments* and *fields*, I (Arash) have not seen anything like it in other programming languages. I tried to explain it in my [ master thesis](http://arashrouhani.com/papers/master-thesis.pdf) (sections 4.2 and 4.2.1).
|
|
|
|
|
|
## Other information
|
|
|
|
... | ... | |