Changeset 1568 for Deliverables/D2.2/8051/src/ERTL/ERTL.mli
- Timestamp:
- Nov 25, 2011, 7:43:39 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/ERTL/ERTL.mli
r1542 r1568 38 38 type registers = Register.t list 39 39 40 type argument = RTL.argument 41 40 42 type statement = 41 43 … … 63 65 are the destination hardware register, the source pseudo register, and the 64 66 label of the next statement. *) 65 | St_set_hdw of I8051.register * Register.t * Label.t67 | St_set_hdw of I8051.register * argument * Label.t 66 68 67 69 (* Assign the content of a hardware register to a hardware … … 101 103 | St_addrL of Register.t * AST.ident * Label.t 102 104 103 (* Assign an integer constant to a register. Parameters are the destination104 register, the integer and the label of the next statement.*)105 | St_int of Register.t * int * Label.t105 (* (\* Assign an integer constant to a register. Parameters are the destination *) 106 (* register, the integer and the label of the next statement. *\) *) 107 (* | St_int of Register.t * int * Label.t *) 106 108 107 109 (* Move the content of a register to another. Parameters are the destination 108 110 register, the source register, and the label of the next statement. *) 109 | St_move of Register.t * Register.t * Label.t111 | St_move of Register.t * argument * Label.t 110 112 111 113 (* Apply a binary operation that will later be translated in an operation on … … 127 129 (* Apply a binary operation. Parameters are the operation, the destination 128 130 register, the source registers, and the label of the next statement. *) 129 | St_op2 of I8051.op2 * Register.t * Register.t * Register.t * Label.t131 | St_op2 of I8051.op2 * Register.t * Register.t * argument * Label.t 130 132 131 133 (* Set the carry flag to zero. Parameter is the label of the next
Note: See TracChangeset
for help on using the changeset viewer.