Changeset 816 for src/Cminor/test/factorial.ma

Timestamp:

May 19, 2011, 3:06:42 PM (10 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:

• src/Cminor/test/factorial.ma (modified) (1 diff)

src/Cminor/test/factorial.ma

@@ -20 +20 @@
   St_cost C_cost2 (
   St_seq (
-    St_call (Some ? id_main_i) (Cst (Oaddrsymbol id_get_input (repr 0))) [] (mk_signature [] (Some ? ASTint))
+    St_call (Some ? id_main_i) (Cst (Oaddrsymbol id_get_input (repr 0))) []
   ) (
   St_seq (