Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- informatica:ae:execdrisc [08/04/2011 alle 13:12 (14 anni fa)] – creata Marco Danelutto
+++ informatica:ae:execdrisc [08/04/2011 alle 20:55 (14 anni fa)] (versione attuale) – Marco Danelutto
@@ Linea 1: / Linea 1: @@
 ===== drisc.ml =====
-Per utilizzare il codice occorre comunque caricare "asm.ml" che contiene le definizioni delle istruzioni assembler D-RISC.
+[[http://didawiki.cli.di.unipi.it/doku.php/informatica/ae/ocamldiplog|Back]]
-<code ocaml "drisc.ml">
+Per utilizzare il codice occorre comunque caricare "asm.ml" che contiene le definizioni delle istruzioni assembler D-RISC.
+<code ocaml "drisc.ml">
 (** shortcut to maps ... *)
 type assoc = Ass of string * int;;
@@ Linea 33: / Linea 34: @@
      Penv(pc,r,m,a) ->
 	printf "PC=%d \n" !pc;
+        printf "%d registers. #MV = %d \n"
+		(Array.length r) (Array.length m);
         pp_reg_set r;
         pp_mem m
@@ Linea 40: / Linea 43: @@
     @param i the instruction to be executed
     @param env the initial environment. it is modified via side effects *)
-let exec_i i env =
+let step pgm env =
+  let apgm = Array.of_list (prog_to_asm pgm) in
   match env with
     Penv(pc,r,m,labs) ->
-  (match i with
+  (let i = apgm.(!pc) in
+   match i with
     ADD(Reg(a),Reg(b),Reg(c)) -> r.(c) := !(r.(a)) + !(r.(b));pc:= !pc+1
 |   SUB(Reg(a),Reg(b),Reg(c)) -> r.(c) := !(r.(a)) - !(r.(b));pc:= !pc+1
@@ Linea 95: / Linea 100: @@
        then pc := !pc + l
        else pc := !pc + 1
-| _ -> printf "UNINPLEMENTED")
+|   END -> failwith "Program terminated"
+| _ -> printf "UNIMPLEMENTED:"; pp_asm i)
 ;;
@@ Linea 111: / Linea 117: @@
        | LabInstr(LabOff(l),i) -> (labels ri (addr+1))
       )
+;;
+let create_regs n =
+  Array.create n (ref 0);;
+let stepper r m ipc prg steps =
+  let pc = ref ipc in
+  let reg = create_regs r in
+  let mem = create_regs m in
+  let penv = Penv(pc,reg,mem,(labels prg 0)) in
+  let aprg = Array.of_list prg in
+  for i=0 to steps do
+    printf "===========> STEP %d: executing " i;
+	(pp_instr !pc aprg.(i)); printf "\n";
+    step prg penv;
+    dump penv;
+  done
 ;;
 </code>
+[[http://didawiki.cli.di.unipi.it/doku.php/informatica/ae/ocamldiplog|Back]]