summaryrefslogtreecommitdiff
path: root/src/initial_check.mli
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-02-09 18:11:37 +0000
committerAlasdair Armstrong2018-02-09 18:16:17 +0000
commitc8e8d4abd22391431f8d63456d0e64eabb136f93 (patch)
treea554583e23c72088fb474e569da751f09f5daed2 /src/initial_check.mli
parent92813dc4c9c0cf1f86d34b09423ef6ce873b5f1c (diff)
Formalize C backend intermediate representation in Ott
Describes precisely the intermediate representation used in the C backend in an ott grammar, and also removes several C-isms where raw C code was inserted into the IR, so in theory this IR could be interpreted by a small VM/interpreter or compiled to LLVM bytecode etc. Currently the I_raw constructor for inserting C code is just used for inserting GCC attributes, so it can safely be ignored. Also augment and refactor the instruction type with an aux constructor so location information can be propagated down to this level.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions