summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-10 18:38:23 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-10 18:38:23 +0100
commitcc00abd9e33a00d3c7acfe310bf8d6522e9a1888 (patch)
tree0ef555fb2116466fcef0bda4d3504d2a89461970
parentb840059a7f2fb0e3796414f30f1e241d03b44dbf (diff)
downloadSystDigit-Projet-cc00abd9e33a00d3c7acfe310bf8d6522e9a1888.tar.gz
SystDigit-Projet-cc00abd9e33a00d3c7acfe310bf8d6522e9a1888.zip
Use newlines as delimiters.
-rw-r--r--asm/asmlex.mll3
-rw-r--r--asm/asmpars.mly22
2 files changed, 12 insertions, 13 deletions
diff --git a/asm/asmlex.mll b/asm/asmlex.mll
index cace4b7..fc77c93 100644
--- a/asm/asmlex.mll
+++ b/asm/asmlex.mll
@@ -86,7 +86,7 @@ rule token = parse
| '#' { comment lexbuf }
| ['\t' '\r' ' '] { token lexbuf }
| ':' { COLON }
- | '\n' { Lexing.new_line lexbuf; token lexbuf }
+ | '\n' { Lexing.new_line lexbuf; NLB }
| ((['a'-'z'] | '_') (alpha | digit | '_')*) as id
{ try ROP (List.assoc id keywords_r)
with Not_found -> try RIOP (List.assoc id keywords_ri)
@@ -104,7 +104,6 @@ rule token = parse
| '(' { LP }
| ')' { RP }
| '"' { str [] lexbuf }
- |';' { SEMIC }
and str acc = parse
| "\\\\" { str ('\\' :: acc) lexbuf }
diff --git a/asm/asmpars.mly b/asm/asmpars.mly
index 76b5ce2..e568127 100644
--- a/asm/asmpars.mly
+++ b/asm/asmpars.mly
@@ -40,7 +40,7 @@
%}
-%token EOF,COLON,TEXT,DATA,BYTE,WORD,MINUS,MOVE,JZ,JNZ,LP,RP,HLT,ASCII,SEMIC
+%token EOF,COLON,TEXT,DATA,BYTE,WORD,MINUS,MOVE,JZ,JNZ,LP,RP,HLT,ASCII,NLB
%token POP,PUSH,INCRI,SHI,JJ,JAL,JR,JALR,LW,SW,LB,SB,NOT,LIL,LILZ,LIU,LIUZ,LRA,LI
%token<Asm.reg> REG
%token<Asm.fmt_r> ROP,RIOP
@@ -53,17 +53,17 @@
%%
program:
- TEXT is=instr* data? EOF
+ TEXT NLB* is=instr* data? EOF
{ { text = List.flatten is;
lbls = !lbls2 } }
data:
- DATA d=datas* { d }
+ DATA NLB* d=datas* { d }
datas:
- | labeld datas { () }
- | BYTE n=INT { add ram n }
- | WORD n=INT { add ram (2*n) }
+ | labeld NLB* datas { () }
+ | BYTE n=INT NLB+ { add ram n }
+ | WORD n=INT NLB+ { add ram (2*n) }
labeli:
id=ID COLON { lbls2 := Imap.add id (!pc,true) !lbls2 }
@@ -72,8 +72,8 @@ labeld:
id=ID COLON { lbls2 := Imap.add id (!ram,false) !lbls2 }
instr:
- | labeli i=instr { i }
- | i=_instr { i }
+ | labeli NLB* i=instr { i }
+ | i=_instr NLB+ { i }
_instr:
| o=ROP r1=REG r2=REG r3=REG { add pc 2; [R (o,r1,r2,r3)] }
@@ -134,11 +134,11 @@ _instr:
add pc 2; l @ [R (Jner,r,5,0)] }
| POP r=REG { add pc 4; [Lw (r,7,0); Incri (7,2)] }
| PUSH r=REG { add pc 4; [Incri (7,-2); Sw (r,7,0)] }
- | BYTE bs=int+ SEMIC { List.map (fun b -> add pc 1; Byte b) bs }
- | WORD ws=imm+ SEMIC { List.map (fun w -> add pc 2; itw w) ws }
+ | BYTE bs=int+ { List.map (fun b -> add pc 1; Byte b) bs }
+ | WORD ws=imm+ { List.map (fun w -> add pc 2; itw w) ws }
| HLT { add pc 2; [Hlt] }
| ASCII s=STR { List.map (fun c -> add pc 1; Byte (Char.code c)) s }
-
+
imm:
| id=ID { Lab id }
| n=int { Imm n }