Changeset 1116 for src/RTLabs

Timestamp:

Aug 26, 2011, 6:47:25 PM (8 years ago)

Author:

sacerdot

Message:

Some comments.

File:

• src/RTLabs/syntax.ma (modified) (1 diff)

src/RTLabs/syntax.ma

@@ -14 +14 @@
 | St_cost : costlabel → label → statement
 | St_const : register → constant → label → statement
-| St_op1 : unary_operation → register → register → label → statement
-| St_op2 : binary_operation → register → register → register → label → statement
+| St_op1 : unary_operation → register → register → label → statement (* destination source *)
+| St_op2 : binary_operation → register → register → register → label → statement (* destination source1 source2 *)
 | St_load : memory_chunk → register → register → label → statement
 | St_store : memory_chunk → register → register → label → statement