Last change
on this file since 203 was
163,
checked in by mulligan, 10 years ago
|
Fixed bug with JNB not jumping correctly.
|
File size:
587 bytes
|
Rev | Line | |
---|
[163] | 1 | val pp_arg: |
---|
| 2 | [< `A |
---|
| 3 | | `ADDR11 of 'a BitVectors.vect |
---|
| 4 | | `ADDR16 of 'b BitVectors.vect |
---|
| 5 | | `A_DPTR |
---|
| 6 | | `A_PC |
---|
| 7 | | `B |
---|
| 8 | | `BIT of BitVectors.byte |
---|
| 9 | | `C |
---|
| 10 | | `DATA of 'c BitVectors.vect |
---|
| 11 | | `DATA16 of 'd BitVectors.vect |
---|
| 12 | | `DIRECT of BitVectors.byte |
---|
| 13 | | `DPTR |
---|
| 14 | | `EXT_INDIRECT of bool |
---|
| 15 | | `EXT_IND_DPTR |
---|
| 16 | | `INDIRECT of bool |
---|
| 17 | | `IND_DPTR |
---|
| 18 | | `NBIT of BitVectors.byte |
---|
| 19 | | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit |
---|
| 20 | | `REL of 'e BitVectors.vect ] -> string |
---|
[138] | 21 | val pp_instruction: [< ASM.labelled_instruction] -> string |
---|
Note: See
TracBrowser
for help on using the repository browser.