Changeset 1250 for src/ERTL/uses.ma


Ignore:
Timestamp:
Sep 22, 2011, 12:02:35 PM (9 years ago)
Author:
sacerdot
Message:
  1. Sigma types projections moved to utilities/extralib.ma
  2. Extended statement turned into extended instructions, decreasing the amount of code in the translations
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r1249 r1250  
    11include "ERTL/ERTL.ma".
    2 
    32include "utilities/adt/table_adt.ma".
    43
     
    3332        match reg2 with
    3433        [ pseudo p ⇒ count p uses
    35         | hardware h2 ⇒ uses
    36         ]
    37       ]
     34        | hardware h2 ⇒ uses]]
    3835    | joint_instr_clear_carry ⇒ uses
    3936    | joint_instr_set_carry ⇒ uses
     
    4946    | joint_instr_store srcr r1 r2 ⇒ count r1 (count r2 (count srcr uses))
    5047    | joint_instr_cond srcr l2 ⇒ count srcr uses
    51     ]
     48    | joint_instr_extension ext ⇒
     49      match ext with
     50      [ ertl_st_ext_new_frame l ⇒ uses
     51      | ertl_st_ext_del_frame l ⇒ uses
     52      | ertl_st_ext_frame_size r l ⇒ count r uses]]
    5253  | joint_st_return ⇒ uses
    5354  | joint_st_goto l ⇒ uses
    54   | joint_st_extension ext ⇒
    55     match ext with
    56     [ ertl_st_ext_new_frame l ⇒ uses
    57     | ertl_st_ext_del_frame l ⇒ uses
    58     | ertl_st_ext_frame_size r l ⇒ count r uses
    59     ]
    6055  ].
    6156
Note: See TracChangeset for help on using the changeset viewer.