Changeset 816 for src/Cminor/syntax.ma


Ignore:
Timestamp:
May 19, 2011, 3:06:42 PM (9 years ago)
Author:
campbell
Message:

Clight to Cminor compilation, modulo switch statements, temporary
generation, 32 to 8 bit translation and miscellaneous bugs.

Also, remove (unused) signatures from function call statements in Cminor
and RTLabs; and separate comparison of integers and pointers in Clight
semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/syntax.ma

    r751 r816  
    1616| St_assign : ident → expr → stmt
    1717| St_store : memory_chunk → expr → expr → stmt
    18 (* ident for returned value, expression to identify fn, args, signature. *)
    19 | St_call : option ident → expr → list expr → signature → stmt
    20 | St_tailcall : expr → list expr → signature → stmt
     18(* ident for returned value, expression to identify fn, args. *)
     19| St_call : option ident → expr → list expr → stmt
     20| St_tailcall : expr → list expr → stmt
    2121| St_seq : stmt → stmt → stmt
    2222| St_ifthenelse : expr → stmt → stmt → stmt
Note: See TracChangeset for help on using the changeset viewer.