source: Deliverables/D4.1/Pretty.mli @ 550

Last change on this file since 550 was 454, checked in by sacerdot, 9 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 
1val 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
21val pp_instruction: [< ASM.labelled_instruction] -> string
22
23val print_program : [< ASM.labelled_instruction] ASM.program -> string
Note: See TracBrowser for help on using the repository browser.