Changeset 49 for Deliverables/D4.1
- Timestamp:
- Sep 9, 2010, 1:19:58 PM (10 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r46 r49 130 130 let pc,b1 = next pc in 131 131 CLR (`BIT b1), pc, 1 132 | (true,true,true,true),(false,true,false,false) -> 133 CPL `A, pc, 1 134 | (true,false,true,true),(false,false,true,true) -> 135 CPL `C, pc, 1 136 | (true,false,true,true),(false,false,true,false) -> 137 let pc,b1 = next pc in 138 CPL (`BIT b1), pc, 1 132 139 | (true,true,false,true),(false,true,false,false) -> 133 140 DA `A, pc, 1 … … 405 412 | CLR (`BIT b1) -> 406 413 [(true,true,false,false),(false,false,true,false); b1] 414 | CPL `A -> 415 [(true,true,true,true),(false,true,false,false)] 416 | CPL `C -> 417 [(true,false,true,true),(false,false,true,true)] 418 | CPL (`BIT b1) -> 419 [(true,false,true,true),(false,false,true,false); b1] 407 420 | DA `A -> 408 421 [(true,true,false,true),(false,true,false,false)] -
Deliverables/D4.1/Pretty.ml
r46 r49 19 19 "word11: " ^ pretty_word (((false,false,false,false),(false,b1,b2,b3)),b) 20 20 21 let pretty_instruction =21 let pretty_instruction_debug = 22 22 function 23 23 ACALL (`ADDR11 (a10,a9,a8,b1)) -> … … 57 57 | ANL (`U3 (`C,`NBIT b1)) -> 58 58 "ANL C /bit (" ^ pretty_byte b1 ^ ")" 59 | CJNE (`U1 (`A, `DIRECT b1), `REL b2) -> 60 "CJNE A direct rel (" ^ pretty_byte b1 ^ pretty_byte b2 ^ ")" 61 | CJNE (`U1 (`A, `DATA b1), `REL b2) -> 62 "CJNE A #data rel (" ^ pretty_byte b1 ^ pretty_byte b2 ^ ")" 63 | CJNE (`U2 (`REG(r1,r2,r3), `DATA b1), `REL b2) -> 64 "CJNE Ri #data rel (" ^ pretty_byte b1 ^ pretty_byte b2 ^ ")" 65 | CJNE (`U2 (`INDIRECT i1, `DATA b1), `REL b2) -> 66 "CJNE @Ri #data rel (" ^ pretty_bit i1 ^ pretty_byte b1 ^ pretty_byte b2 ^ ")" 67 | CLR `A -> 68 "CLR A" 69 | CLR `C -> 70 "CLR C" 71 | CLR (`BIT b1) -> 72 "CLR bit (" ^ pretty_byte b1 ^ ")" 59 73 (* 60 | CJNE (`U1 (`A, `DIRECT b1), `REL b2) ->61 [(true,false,true,true),(false,true,false,true); b1; b2]62 | CJNE (`U1 (`A, `DATA b1), `REL b2) ->63 [(true,false,true,true),(false,true,false,false); b1; b2]64 | CJNE (`U2 (`REG(r1,r2,r3), `DATA b1), `REL b2) ->65 [(true,false,true,true),(true,r1,r2,r3); b1; b2]66 | CJNE (`U2 (`INDIRECT i1, `DATA b1), `REL b2) ->67 [(true,false,true,true),(false,true,true,i1); b1; b2]68 | CLR `A ->69 [(true,true,true,false),(false,true,false,false)]70 | CLR `C ->71 [(true,true,false,false),(false,false,true,true)]72 | CLR (`BIT b1) ->73 [(true,true,false,false),(false,false,true,false); byte_of_byte7 b1]74 74 | DA `A -> 75 75 [(true,true,false,true),(false,true,false,false)]
Note: See TracChangeset
for help on using the changeset viewer.