Changeset 43


Ignore:
Timestamp:
Sep 8, 2010, 11:58:29 AM (9 years ago)
Author:
mulligan
Message:

Address1 function completed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.ml

    r42 r43  
    504504  | MUL(`A, `B) ->
    505505    [(true,false,true,false),(false,true,false,false)]
     506  | NOP ->
     507    [(false,false,false,false),(false,false,false,false)]
     508  | ORL (`U1(`A, `REG(r1,r2,r3))) ->
     509    [(false,true,false,false),(true,r1,r2,r3)]
     510  | ORL (`U1(`A, `DIRECT b1)) ->
     511    [(false,true,false,false),(false,true,false,true); b1]
     512  | ORL (`U1(`A, `INDIRECT i1)) ->
     513    [(false,true,false,false),(false,true,true,i1)]
     514  | ORL (`U1(`A, `DATA b1)) ->
     515    [(false,true,false,false),(false,true,false,false); b1]
     516  | ORL (`U2(`DIRECT b1, `A)) ->
     517    [(false,true,false,false),(false,false,true,false); b1]
     518  | ORL (`U2 (`DIRECT b1, `DATA b2)) ->
     519    [(false,true,false,false),(false,false,true,true); b1; b2]
     520  | ORL (`U3 (`C, `BIT b1)) ->
     521    [(false,true,true,true),(false,false,true,false); byte_of_byte7 b1]
     522  | ORL (`U3 (`C, `NBIT b1)) ->
     523    [(true,false,true,false),(false,false,false,false); byte_of_byte7 b1]
     524  | POP (`DIRECT b1) ->
     525    [(true,true,false,true),(false,false,false,false); b1]
     526  | PUSH (`DIRECT b1) ->
     527    [(true,true,false,false),(false,false,false,false); b1]
     528  | RET ->
     529    [(false,false,true,false),(false,false,true,false)]
     530  | RETI ->
     531    [(false,false,true,true),(false,false,true,false)]
     532  | RL `A ->
     533    [(false,false,true,false),(false,false,true,true)]
     534  | RLC `A ->
     535    [(false,false,true,true),(false,false,true,true)]
     536  | RR `A ->
     537    [(false,false,false,false),(false,false,true,true)]
     538  | RRC `A ->
     539    [(false,false,false,true),(false,false,true,true)]
     540  | SETB `C ->
     541    [(true,true,false,true),(false,false,true,true)]
     542  | SETB (`BIT b1) ->
     543    [(true,true,false,true),(false,false,true,false); byte_of_byte7 b1]
     544  | SJMP (`REL b1) ->
     545    [(true,false,false,false),(false,false,false,false); b1]
     546  | SUBB (`A, `DIRECT b1) ->
     547    [(true,false,false,true),(false,true,false,true); b1]
     548  | SUBB (`A, `INDIRECT i1) ->
     549    [(true,false,false,true),(false,true,true,i1)]
     550  | SUBB (`A, `DATA b1) ->
     551    [(true,false,false,true),(false,true,false,false); b1]
     552  | SWAP `A ->
     553    [(true,true,false,false),(false,true,false,false)]
     554  | XCH (`A, `REG(r1,r2,r3)) ->
     555    [(true,true,false,false),(true,r1,r2,r3)]
     556  | XCH (`A, `DIRECT b1) ->
     557    [(true,true,false,false),(false,true,false,true); b1]
     558  | XCH (`A, `INDIRECT i1) ->
     559    [(true,true,false,false),(false,true,true,i1)]
     560  | XCHD(`A, `INDIRECT i1) ->
     561    [(true,true,false,true),(false,true,true,i1)]
     562  | XRL(`U1(`A, `REG(r1,r2,r3))) ->
     563    [(false,true,true,false),(true,r1,r2,r3)]
     564  | XRL(`U1(`A, `DIRECT b1)) ->
     565    [(false,true,true,false),(false,true,false,true); b1]
     566  | XRL(`U1(`A, `INDIRECT i1)) ->
     567    [(false,true,true,false),(false,true,true,i1)]
     568  | XRL(`U1(`A, `DATA b1)) ->
     569    [(false,true,true,false),(false,true,false,false); b1]
     570  | XRL(`U2(`DIRECT b1, `A)) ->
     571    [(false,true,true,false),(false,false,true,false); b1]
     572  | XRL(`U2(`DIRECT b1, `DATA b2)) ->
     573    [(false,true,true,false),(false,false,true,true); b1; b2]
    506574;;
    507575
Note: See TracChangeset for help on using the changeset viewer.