summaryrefslogtreecommitdiff
path: root/asm
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-09 16:58:57 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-09 16:58:57 +0100
commit36a354fc8b914f6b96cba19a67c8f6ce712ac656 (patch)
treeffb35f531a1230143f87af4ff5ac870e65164a7a /asm
parent8d87eacbcb26e7abc429d7824e90c617f172045e (diff)
downloadSystDigit-Projet-36a354fc8b914f6b96cba19a67c8f6ce712ac656.tar.gz
SystDigit-Projet-36a354fc8b914f6b96cba19a67c8f6ce712ac656.zip
Basic operating system...
Diffstat (limited to 'asm')
-rw-r--r--asm/asmlex.mll4
-rw-r--r--asm/assembler.ml8
2 files changed, 9 insertions, 3 deletions
diff --git a/asm/asmlex.mll b/asm/asmlex.mll
index 7be493e..7459966 100644
--- a/asm/asmlex.mll
+++ b/asm/asmlex.mll
@@ -94,6 +94,10 @@ rule token = parse
with Not_found -> ID id }
| "0x" (((hexdigit)+) as n)
{ INT (read_16 n) }
+ | "'\\n'" { INT (Char.code '\n') }
+ | "'\\t'" { INT (Char.code '\t') }
+ | "'\\r'" { INT (Char.code '\r') }
+ | "'" (_ as c) "'" { INT (Char.code c) }
| (digit)+ as n { INT (int_of_string n) }
| "0b" (['0' '1']+ as n) { INT (read_2 n) }
| ['A'-'Z']+ as name { try REG (List.assoc name regs) with Not_found -> raise (Asm_error ("no reg " ^ name))}
diff --git a/asm/assembler.ml b/asm/assembler.ml
index 66999fb..8c8ff97 100644
--- a/asm/assembler.ml
+++ b/asm/assembler.ml
@@ -2,6 +2,8 @@ open Asm
open Printf
open Lexing
+exception No_such_label of string
+
let init_string n f =
let res = String.make n 'a' in
for i = 0 to n - 1 do res.[i] <- f i done; res
@@ -83,13 +85,13 @@ let print_program p =
let pc = ref 0 in
let value = function
| Imm i -> i
- | Lab l -> fst (Imap.find l p.lbls) in
+ | Lab l -> try fst (Imap.find l p.lbls) with Not_found -> raise (No_such_label l) in
let value2 = function
| Imm i -> i
- | Lab l -> fst (Imap.find l p.lbls) - !pc in
+ | Lab l -> try fst (Imap.find l p.lbls) - !pc with Not_found -> raise (No_such_label l) in
let value3 = function
| Imm i -> i
- | Lab l -> (byte 16 (fst (Imap.find l p.lbls))) lsr 8 in
+ | Lab l -> try (byte 16 (fst (Imap.find l p.lbls))) lsr 8 with Not_found -> raise (No_such_label l) in
let get_reps = function
| 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)