Changeset 619 for Deliverables/D2.2/8051/src/dev_test.ml

Timestamp:

Mar 2, 2011, 3:27:41 PM (9 years ago)

Author:

ayache

Message:

Update of D2.2 from Paris.

File:

• Deliverables/D2.2/8051/src/dev_test.ml (modified) (2 diffs)

Deliverables/D2.2/8051/src/dev_test.ml

@@ -9 +9 @@
 
   let f filename =
-
-    ASMInterpret.parse_and_interpret_hex filename
-
-(*
+    let target = Languages.Clight in
     let print = false in
-    let interpret = false in
-    let labelize = false in
-    let target = Languages.ASM in
+    let interpret = true in
     let p = Languages.parse Languages.Clight filename in
-    let p = if labelize then Languages.labelize p else p in
+    let p = Languages.labelize p in
     let ps = Languages.compile false Languages.Clight target p in
     let f f' p = match Languages.language_of_ast p with
@@ -24 +19 @@
       | _ -> ()
     in
-    if print then List.iter (f (Languages.save filename)) ps ;
-    if interpret then List.iter (f (fun p -> ignore (Languages.interpret p))) ps
-*)
+    if print then List.iter (f (Languages.save false filename)) ps ;
+    if interpret then
+      List.iter (f (fun p -> ignore (Languages.interpret true p))) ps
   in