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/test/factorial.ma

    r768 r816  
    2020  St_cost C_cost2 (
    2121  St_seq (
    22     St_call (Some ? id_main_i) (Cst (Oaddrsymbol id_get_input (repr 0))) [] (mk_signature [] (Some ? ASTint))
     22    St_call (Some ? id_main_i) (Cst (Oaddrsymbol id_get_input (repr 0))) []
    2323  ) (
    2424  St_seq (
Note: See TracChangeset for help on using the changeset viewer.