Changeset 200 for Deliverables/D4.1/ASM.mli
- Timestamp:
- Oct 20, 2010, 1:35:59 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASM.mli
r158 r200 25 25 type addr16 = [ `ADDR16 of word ] 26 26 27 type instruction = 27 type 'addr jump = 28 [ `JC of 'addr 29 | `JNC of 'addr 30 | `JB of bit * 'addr 31 | `JNB of bit * 'addr 32 | `JBC of bit * 'addr 33 | `JZ of 'addr 34 | `JNZ of 'addr 35 | `CJNE of (acc * [ direct | data ], [ reg | indirect ] * data) union2 * 'addr 36 | `DJNZ of [ reg | direct ] * 'addr 37 ] 38 39 type 'addr preinstruction = 28 40 (* arithmetic operations *) 29 41 [ `ADD of acc * [ reg | direct | indirect | data ] … … 75 87 76 88 (* program branching *) 77 | `JC of rel 78 | `JNC of rel 79 | `JB of bit * rel 80 | `JNB of bit * rel 81 | `JBC of bit * rel 89 | 'addr jump 82 90 | `ACALL of addr11 83 91 | `LCALL of addr16 … … 88 96 | `SJMP of rel 89 97 | `JMP of indirect_dptr 90 | `JZ of rel91 | `JNZ of rel92 | `CJNE of (acc * [ direct | data ], [ reg | indirect ] * data) union2 * rel93 | `DJNZ of [ reg | direct ] * rel94 98 | `NOP ] 99 100 type instruction = rel preinstruction 95 101 96 102 type labelled_instruction = … … 100 106 | `Jmp of string 101 107 | `Call of string 108 | `Mov of dptr * string 109 | `WithLabel of [`Label of string] jump 102 110 ] 111 112 (* pairs <datalabel,size> *) 113 type preamble = (string * int) list 114 115 type assembly_program = preamble * labelled_instruction list;;
Note: See TracChangeset
for help on using the changeset viewer.