diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 18:38:23 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 18:38:23 +0100 |
commit | cc00abd9e33a00d3c7acfe310bf8d6522e9a1888 (patch) | |
tree | 0ef555fb2116466fcef0bda4d3504d2a89461970 | |
parent | b840059a7f2fb0e3796414f30f1e241d03b44dbf (diff) | |
download | SystDigit-Projet-cc00abd9e33a00d3c7acfe310bf8d6522e9a1888.tar.gz SystDigit-Projet-cc00abd9e33a00d3c7acfe310bf8d6522e9a1888.zip |
Use newlines as delimiters.
-rw-r--r-- | asm/asmlex.mll | 3 | ||||
-rw-r--r-- | asm/asmpars.mly | 22 |
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 } |