Changeset 888 for src/RTLabs/syntax.ma


Ignore:
Timestamp:
Jun 6, 2011, 4:28:07 PM (9 years ago)
Author:
campbell
Message:

Use simplified conditionals in RTLabs, following the prototype.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/syntax.ma

    r887 r888  
    2424| St_tailcall_id : ident → list register → statement
    2525| St_tailcall_ptr : register → list register → statement
    26 (* Um, what? *)
    27 | St_condcst : constant → label → label → statement
    28 | St_cond1 : unary_operation → register → label → label → statement
    29 | St_cond2 : binary_operation → register → register → label → label → statement
     26| St_cond : register → label → label → statement
    3027| St_jumptable : register → list label → statement
    3128| St_return : statement
Note: See TracChangeset for help on using the changeset viewer.