Merge branch 'emile' into integration-progressive

Conflicts:
	asm/_tags
	asm/asmlex.mll
	asm/asmpars.mly
	asm/assembler.ml

4 files changed, 56 insertions, 54 deletions

diff --git a/asm/asm.ml b/asm/asm.ml
index 7df7604..d3a488b 100644
--- a/asm/asm.ml
+++ b/asm/asm.ml
@@ -5,7 +5,6 @@ type reg = int
 type imm =
 	| Imm of int
 	| Lab of string
-	| Labu of string
 
 type fmt_r =
 	| Add
@@ -61,7 +60,8 @@ type instr =
 
 module Imap = Map.Make(String)
 
-type program = { text : instr list; data : (int * bool) list; lbls : int Imap.t }
+type program = { text : instr list; data : (int * bool) list;
+	lbls : (int * bool) Imap.t }
 
 let keywords_r = [
 		"add",Add;
diff --git a/asm/asmlex.mll b/asm/asmlex.mll
index 726b732..1c7e3e7 100644
--- a/asm/asmlex.mll
+++ b/asm/asmlex.mll
@@ -28,9 +28,12 @@
 		"move",MOVE;
 		"jz",JZ;
 		"jnz",JNZ;
-        "byte",BYTE;
-        "word",WORD;
         "asciiz",ASCIIZ;
+		"_clock",INT 0x4000;
+		"_input",INT 0x4100;
+		"_output",INT 0x4102;
+		"word",WORD;
+		"byte",BYTE
 	]
 	
 	let regs = [
diff --git a/asm/asmpars.mly b/asm/asmpars.mly
index ebc4ae7..46ca7a7 100644
--- a/asm/asmpars.mly
+++ b/asm/asmpars.mly
@@ -15,27 +15,22 @@
       
   let pc = ref 0
   
-  let ram = ref 0x8000
+  let ram = ref 0
   
   let add r i = r := !r + i
   
   let lbls2 = ref (Imap.empty)
   
-  let li u r = function
-    | Imm i ->
-      let c =
-        if u then i < 1 lsl 8
-        else i >= -(1 lsl 7) && i < 1 lsl 7 in
-      if c then (add pc 2; [Lilz (r,Imm i)])
-      else (add pc 4; [Lilz (r,Imm (i land 0x00FF)); Liu (r,Imm ((i land 0xFF00) lsr 8))])
-    | Lab id ->
-      add pc 4; [Lilz (r,Lab id); Liu (r,Labu id)]
-    | _ -> assert false
+	let li u r = function
+		| Imm i ->
+			let c =
+				if u then i < 1 lsl 8
+				else i >= -(1 lsl 7) && i < 1 lsl 7 in
+			if c then (add pc 2; [Lilz (r,Imm i)])
+			else (add pc 4; [Lilz (r,Imm (i land 0x00FF)); Liu (r,Imm ((i land 0xFF00) lsr 8))])
+		| Lab id ->
+			add pc 4; [Lilz (r,Lab id); Liu (r,Lab id)]
     
-  let up = function
-    | Imm i -> Imm i
-    | Lab l -> Labu l
-    | _ -> assert false
 
   let explode s = (* string -> char list *)
     let rec exp i l =
@@ -65,23 +60,20 @@ data:
   DATA d=datas* { d }
   
 datas:
-  | l=label_ram d=datas { d }
-  | BYTE bs=int* { List.map (fun i -> add ram 1; i,false) bs }
-  | WORD bs=int* { List.map (fun i -> add ram 2; i,true) bs }
-  | ASCIIZ s=STR {
-        add ram 1;
-        List.map (fun c -> add ram 1; Char.code c, false) (explode s) @ [0, false]
-        }
-  
-label_ram:
-  id=ID COLON { lbls2  := Imap.add id !ram !lbls2; id }
-label_pc:
-  id=ID COLON { lbls2 := Imap.add id !pc !lbls2; id }
-  
+	| labeld d=datas { d }
+	| BYTE bs=int* { List.map (fun i -> add ram 1; i,false) bs }
+	| WORD bs=int* { List.map (fun i -> add ram 2; i,true) bs }
+	
+labeli:
+	id=ID COLON { lbls2 := Imap.add id (!pc,true) !lbls2 }
+
+labeld:
+	id=ID COLON { lbls2 := Imap.add id (!ram,false) !lbls2 }
+
 instr:
-  | l=label_pc i=instr { i }
-  | i=_instr { i }
-  
+	| labeli i=instr { i }
+	| i=_instr { i }
+	
 _instr:
   | o=ROP r1=REG r2=REG r3=REG { add pc 2; [R (o,r1,r2,r3)] }
   | o=RIOP r1=REG r2=REG imm=imm
diff --git a/asm/assembler.ml b/asm/assembler.ml
index 1158181..48049ef 100644
--- a/asm/assembler.ml
+++ b/asm/assembler.ml
@@ -74,19 +74,20 @@ let code = function
 let its = function
 	| Imm i -> string_of_int i
 	| Lab l -> l
-	| Labu l -> l
 
 let print_program p =
 	let pc = ref 0 in
 	let value = function
 		| Imm i -> i
-		| Lab l -> Imap.find l p.lbls
-		| Labu l -> (Imap.find l p.lbls) lsr 8 in
+		| Lab l -> fst (Imap.find l p.lbls) in
 	let value2 = function
 		| Imm i -> i
-		| Lab l -> Imap.find l p.lbls - !pc
-		| _ -> assert false in
+		| Lab l -> fst (Imap.find l p.lbls) - !pc in
+	let value3 = function
+		| Imm i -> i
+		| Lab l -> (byte 16 (fst (Imap.find l p.lbls))) lsr 8 in
 	let get_reps = function
+        | TwoRawBytes(a, b) -> (a) lxor (b lsl 8), sprintf "bytes %d %d" a b
 		| R (o,r1,r2,r3) -> r (code o) r1 r2 r3,
 			sprintf "%s %s %s %s" (List.assoc o rev_keywords) (rts r1) (rts r2) (rts r3)
 		| Incri (r,d) -> i 0b00110 r d, sprintf "incri %s %d" (rts r) d
@@ -100,20 +101,18 @@ let print_program p =
 		| Lb (r1,r2,i) -> k 0b10010 r1 r2 i, sprintf "lb %s %d(%s)" (rts r1) i (rts r2)
 		| Sb (r1,r2,i) -> k 0b10011 r1 r2 i, sprintf "sb %s %d(%s)" (rts r1) i (rts r2)
 		| Lra i -> j 0b01100 (value2 i), sprintf "lra %s" (its i)
-		| Lil (r,i) -> (0b11000 lsl 11) lxor (r lsl 8) lxor (value i land 0xFF),
+		| Lil (r,i) -> (0b11000 lsl 11) lxor (r lsl 8) lxor ((byte 8 (value i)) land 0xFF),
 			sprintf "lil %s %s" (rts r) (its i)
-		| Lilz (r,i) -> (0b11001 lsl 11) lxor (r lsl 8) lxor (value i land 0xFF),
+		| Lilz (r,i) -> (0b11001 lsl 11) lxor (r lsl 8) lxor ((byte 8 (value i)) land 0xFF),
 			sprintf "lilz %s %s" (rts r) (its i)
-		| Liu (r,i) -> (0b11010 lsl 11) lxor (r lsl 8) lxor (value i land 0xFF),
+		| Liu (r,i) -> (0b11010 lsl 11) lxor (r lsl 8) lxor ((byte 8 (value3 i)) land 0xFF),
 			sprintf "liu %s %s" (rts r) (its i)
-		| Liuz (r,i) -> (0b11011 lsl 11) lxor (r lsl 8) lxor (value i land 0xFF),
-			sprintf "liuz %s %s" (rts r) (its i)
-        | TwoRawBytes(a, b) -> (a) lxor (b lsl 8), sprintf "bytes %d %d" a b
-        in
+		| Liuz (r,i) -> (0b11011 lsl 11) lxor (r lsl 8) lxor ((byte 8 (value3 i)) land 0xFF),
+			sprintf "liuz %s %s" (rts r) (its i) in
 	let n = List.length p.text in
 	let rev_lbls = Array.make n "" in
-	Imap.iter (fun l v ->
-		if v/2 < n then rev_lbls.(v/2) <- rev_lbls.(v/2) ^ " " ^ l) p.lbls;
+	Imap.iter (fun l (v,t) ->
+		if t then rev_lbls.(v/2) <- rev_lbls.(v/2) ^ " " ^ l) p.lbls;
 	let f instr =
 		if rev_lbls.(!pc/2) <> "" then
 			printf "\t#%s:\n" rev_lbls.(!pc/2);
@@ -125,11 +124,19 @@ let print_program p =
 	let n2 = List.fold_left (fun n (_,w) -> if w then n + 2 else n + 1) 0 p.data in
 	if n2 > 0 then (
 		printf "\n%d %d\n" n2 8;
-		let f2 = function
-			| (b,true) ->
-				printf "%s\n" (wts (byte 16 b))
-			| (b,false)->
-				printf "%s\n" (bts (byte 8 b)) in
+		let rev_lbls = Array.make n2 "" in
+		Imap.iter (fun l (v,t) ->
+			if not t then rev_lbls.(v) <- rev_lbls.(v) ^ " " ^ l) p.lbls;
+		pc := 0;
+		let f2 (b,w) =
+			if rev_lbls.(!pc) <> "" then
+				printf "\t#%s:\n" rev_lbls.(!pc);
+			if w then (
+				printf "%s\n" (wts (byte 16 b));
+				pc := !pc + 2
+			) else (
+				printf "%s\n" (bts (byte 8 b));
+				pc := !pc + 1) in
 		List.iter f2 p.data
 	);
 	printf "\n"