Changeset 49 for Deliverables/D4.1/Pretty.ml
 Timestamp:
 Sep 9, 2010, 1:19:58 PM (11 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

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.