Changeset 43 for Deliverables/D4.1
- Timestamp:
- Sep 8, 2010, 11:58:29 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r42 r43 504 504 | MUL(`A, `B) -> 505 505 [(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] 506 574 ;; 507 575
Note: See TracChangeset
for help on using the changeset viewer.