Changeset 816 for src/RTLabs/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.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/test/search.ma

    r765 r816  
    221221    (pair ?? main21 (make_St_const 19 (Ointconst (repr 23)) main20));
    222222    (pair ?? main20 (make_St_store Mint8unsigned (Aindexed (repr 0)) [[18]] 19 main19));
    223     (pair ?? main2 (make_St_call_id id_search [3; 4; 5] (Some ? 1) (mk_signature [ASTptr Any; ASTint; ASTint] (Some ? ASTint)) main1));
     223    (pair ?? main2 (make_St_call_id id_search [3; 4; 5] (Some ? 1) main1));
    224224    (pair ?? main19 (make_St_const 14 (Oaddrstack (repr 0)) main18));
    225225    (pair ?? main18 (make_St_const 16 (Ointconst (repr 3)) main17));
Note: See TracChangeset for help on using the changeset viewer.