Changeset 41


Ignore:
Timestamp:
Sep 8, 2010, 10:43:47 AM (9 years ago)
Author:
mulligan
Message:

More added to address1 function. Weird type error?

Location:
Deliverables/D4.1
Files:
3 edited

Legend:

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

    r35 r41  
    362362  | ADD (`A,`REG (r1,r2,r3)) ->
    363363     [(false,false,true,false),(true,r1,r2,r3)]
    364   (* ... *)
     364  | ADD (`A, `DIRECT b1) ->
     365     [(false,false,true,false),(false,true,false,true); b1]
     366  | ADD (`A, `INDIRECT i1) ->
     367     [(false,false,true,false),(false,true,true,i1)]
     368  | ADD (`A, `DATA b1) ->
     369     [(false,false,true,false),(false,true,false,false); b1]
     370  | ADDC (`A, `REG(r1,r2,r3)) ->
     371     [(false,false,true,true),(true,r1,r2,r3)]
     372  | ADDC (`A, `DIRECT b1) ->
     373     [(false,false,true,true),(false,true,false,true); b1]
     374  | ADDC (`A,`INDIRECT i1) ->
     375     [(false,false,true,true),(false,true,true,i1)]
     376  | ADDC (`A,`DATA b1) ->
     377     [(false,false,true,true),(false,true,false,false); b1]
     378  | AJMP (`ADDR11 (a10,a9,a8,b1)) ->
     379     [(a10,a9,a8,false),(false,false,false,true)]
     380  | ANL (`U1 (`A, `REG (r1,r2,r3))) ->
     381     [(false,true,false,true),(true,r1,r2,r3)]
     382  | ANL (`U1 (`A, `DIRECT b1)) ->
     383     [(false,true,false,true),(false,true,false,true); b1]
     384  | ANL (`U1 (`A, `INDIRECT i1)) ->
     385     [(false,true,false,true),(false,true,true,i1)]
     386  | ANL (`U1 (`A, `DATA b1)) ->
     387     [(false,true,false,true),(false,true,false,false); b1]
     388  | ANL (`U2 (`DIRECT b1,`A)) ->
     389     [(false,true,false,true),(false,false,true,false); b1]
     390  | ANL (`U2 (`DIRECT b1,`DATA b2)) ->
     391     [(false,true,false,true),(false,false,true,true); b1; b2]
     392(*  | ANL (`U3 (`C,`BIT b1)) ->
     393     [(true,false,false,false),(false,false,true,false); b1]
     394  | ANL (`U3 (`C,`NBIT b1)) ->
     395    [(true,false,true,true),(false,false,false,false); b1] *)
    365396;;
    366397
  • Deliverables/D4.1/physical.ml

    r28 r41  
    106106  else byte_of_int res
    107107;;
     108
     109let byte_of_bit b =
     110  (false,false,false,false),(false,false,false,b)
     111;;
  • Deliverables/D4.1/physical.mli

    r28 r41  
    1919val int_of_byte: byte -> int
    2020val int_of_nibble: nibble -> int
     21val byte_of_bit: bit -> byte
    2122
    2223val (++): word -> int -> word
Note: See TracChangeset for help on using the changeset viewer.