Changeset 1046 for src/RTLabs/syntax.ma


Ignore:
Timestamp:
Jun 29, 2011, 12:15:09 PM (9 years ago)
Author:
mulligan
Message:

syntax of rtlabs was wrong: cast not const. more added to rtlabs --> rtl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/syntax.ma

    r1045 r1046  
    3737| St_skip : label → statement
    3838| St_cost : costlabel → label → statement
    39 | St_const : register → constant → label → statement
     39| St_const : register → cast → label → statement
    4040| St_op1 : unary_operation → register → register → label → statement
    4141| St_op2 : binary_operation → register → register → register → label → statement
Note: See TracChangeset for help on using the changeset viewer.