Differenze

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

--- informatica:ae:asmsource [08/04/2011 alle 13:05 (15 anni fa)] – creata Marco Danelutto
+++ informatica:ae:asmsource [08/04/2011 alle 13:13 (15 anni fa)] (versione attuale) – Marco Danelutto
@@ Linea 1: / Linea 1: @@
 ===== asm.ml =====
+[[http://didawiki.cli.di.unipi.it/doku.php/informatica/ae/ocamldiplog|Back]]
 <code ocaml "asm.ml">
@@ Linea 326: / Linea 327: @@
   List.map delab p;;
-(** shortcut to maps ... *)
-type assoc = Ass of string * int;;
-(** checks whether a key is in a map *)
-let rec hasKey k = function
-   [] -> false
-|  Ass(kk,vv)::rm -> if(kk = k) then true else (hasKey k rm);;
-(** looks up a key in a map*)
-let rec valueOfKey k labs =
-  match labs with
-    [] -> failwith "key not found"
-  | Ass(kk,vv)::rl -> if(kk=k) then vv else (valueOfKey k rl);;
-(** execution environment (the state of the processor +
-    the labels compiled.
-    an environment is
-	pc, reg, mem, labels
- *)
-type penv =
-  Penv of int ref * int ref array * int ref array * assoc list;;
-(** pretty print the environment *)
-let dump penv =
-  match penv with
-     Penv(pc,r,m,a) ->
-	printf "PC=%d \n" !pc;
-        pp_reg_set r;
-        pp_mem m
-;;
-(** execute one instruction within an environment
-    @param i the instruction to be executed
-    @param env the initial environment. it is modified via side effects *)
-let exec_i i env =
-  match env with
-    Penv(pc,r,m,labs) ->
-  (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
-|   MUL(Reg(a),Reg(b),Reg(c)) -> r.(c) := !(r.(a)) * !(r.(b));pc:= !pc+1
-|   DIV(Reg(a),Reg(b),Reg(c)) -> r.(c) := !(r.(a)) / !(r.(b));pc:= !pc+1
-|   ADDI(Reg(a),Const(b),Reg(c)) -> r.(c) := !(r.(a)) + b;pc:= !pc+1
-|   SUBI(Reg(a),Const(b),Reg(c)) -> r.(c) := !(r.(a)) - b;pc:= !pc+1
-|   INC(Reg(a)) -> r.(a) := !(r.(a))+1; pc:= !pc +1
-|   DEC(Reg(a)) -> r.(a) := !(r.(a))-1; pc:= !pc +1
-|   LD(Reg(a),Reg(b),Reg(c)) ->
-	let ind = !(r.(a)) + !(r.(b)) in
-	  r.(c) := !(m.(ind)); pc := !pc + 1
-|   LDI(Reg(a),Const(b),Reg(c)) ->
-	let ind = !(r.(a)) + b in
-	  r.(c) := !(m.(ind)); pc := !pc + 1
-|   ST(Reg(a),Reg(b),Reg(c)) ->
-        let ind = !(r.(a)) + !(r.(b)) in
-          m.(ind) := !(r.(c)); pc := !pc + 1
-|   STI(Reg(a),Const(b),Reg(c)) ->
-        let ind = !(r.(a)) + b in
-          m.(ind) := !(r.(c)); pc := !pc + 1
-|   CALL(Reg(f), Reg(ret)) ->
-	r.(ret):= !pc + 1;
- 	pc := !(r.(f))
-|   GOTOR(Reg(l)) ->  pc := !(r.(l))
-|   GOTOL(LabLab(ll)) ->
-	let l = valueOfKey ll labs in
-           pc := !pc + l
-|   IFLEQ(Reg(r1),Reg(r2),LabOff(l)) ->
-       if(!(r.(r1)) <= !(r.(r2)))
-       then pc := !pc + l
-       else pc := !pc + 1
-|   IFLE(Reg(r1),Reg(r2),LabOff(l)) ->
-       if(!(r.(r1)) < !(r.(r2)))
-       then pc := !pc + l
-       else pc := !pc + 1
-|   IFGEQ(Reg(r1),Reg(r2),LabOff(l)) ->
-       if(!(r.(r1)) >= !(r.(r2)))
-       then pc := !pc + l
-       else pc := !pc + 1
-|   IFGE(Reg(r1),Reg(r2),LabOff(l)) ->
-       if(!(r.(r1)) > !(r.(r2)))
-       then pc := !pc + l
-       else pc := !pc + 1
-|   IFEQ(Reg(r1),Reg(r2),LabOff(l)) ->
-       if(!(r.(r1)) = !(r.(r2)))
-       then pc := !pc + l
-       else pc := !pc + 1
-|   IFNEQ(Reg(r1),Reg(r2),LabOff(l)) ->
-       if(not(!(r.(r1)) = !(r.(r2))))
-       then pc := !pc + l
-       else pc := !pc + 1
-| _ -> printf "UNINPLEMENTED")
-;;
-(** compile labels. Takes a program with labels and returns
-    a map with the label addresses
-    @param pgm the program
-    @param addr the initial address of the program  *)
-let rec labels pgm addr =
-  match pgm with
-    [] -> []
-  | i::ri ->
-      (match i with
-         Instr(i) -> (labels ri (addr+1))
-       | LabInstr(LabLab(l),i) -> Ass(l,addr)::(labels ri (addr+1))
-       | LabInstr(LabOff(l),i) -> (labels ri (addr+1))
-      )
-;;
 </code>
+[[http://didawiki.cli.di.unipi.it/doku.php/informatica/ae/ocamldiplog|Back]]