Changeset 816 for src/Cminor/test


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.

Location:
src/Cminor/test
Files:
3 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 (
  • src/Cminor/test/search.ma

    r768 r816  
    123123  ) (
    124124  St_seq (
    125     St_call (Some ? id_main_res) (Cst (Oaddrsymbol id_search (repr 0))) [Cst (Oaddrstack (repr 0)); Cst (Ointconst (repr 5)); Cst (Ointconst (repr 57))] (mk_signature [ASTptr Any; ASTint; ASTint] (Some ? ASTint))
     125    St_call (Some ? id_main_res) (Cst (Oaddrsymbol id_search (repr 0))) [Cst (Oaddrstack (repr 0)); Cst (Ointconst (repr 5)); Cst (Ointconst (repr 57))]
    126126  ) (
    127127  St_return (Some ? (Op1 Ocast8unsigned (Id id_main_res)))
  • src/Cminor/test/switcher.ma

    r771 r816  
    2323  ) (
    2424  St_seq (
    25     St_call (Some ? id_main_x1) (Cst (Oaddrsymbol id_get zero)) [] (mk_signature [] (Some ? ASTint))
     25    St_call (Some ? id_main_x1) (Cst (Oaddrsymbol id_get zero)) []
    2626  ) (
    2727  St_seq (
Note: See TracChangeset for help on using the changeset viewer.