|
Last change
on this file since 3194 was
454,
checked in by sacerdot, 10 years ago
|
|
CSC + Nicolas + Dominic:
1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)
|
|
File size:
659 bytes
|
| Line | |
|---|
| 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 |
|---|
| 21 | val pp_instruction: [< ASM.labelled_instruction] -> string |
|---|
| 22 | |
|---|
| 23 | val print_program : [< ASM.labelled_instruction] ASM.program -> string |
|---|
Note: See
TracBrowser
for help on using the repository browser.
