Changeset 2775 for extracted/eRTL.ml


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTL.ml

    r2773 r2775  
    112112    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    113113let rec move_dst_rect_Type4 h_PSD h_HDW = function
    114 | PSD x_16211 -> h_PSD x_16211
    115 | HDW x_16212 -> h_HDW x_16212
     114| PSD x_21042 -> h_PSD x_21042
     115| HDW x_21043 -> h_HDW x_21043
    116116
    117117(** val move_dst_rect_Type5 :
    118118    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    119119let rec move_dst_rect_Type5 h_PSD h_HDW = function
    120 | PSD x_16216 -> h_PSD x_16216
    121 | HDW x_16217 -> h_HDW x_16217
     120| PSD x_21047 -> h_PSD x_21047
     121| HDW x_21048 -> h_HDW x_21048
    122122
    123123(** val move_dst_rect_Type3 :
    124124    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    125125let rec move_dst_rect_Type3 h_PSD h_HDW = function
    126 | PSD x_16221 -> h_PSD x_16221
    127 | HDW x_16222 -> h_HDW x_16222
     126| PSD x_21052 -> h_PSD x_21052
     127| HDW x_21053 -> h_HDW x_21053
    128128
    129129(** val move_dst_rect_Type2 :
    130130    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    131131let rec move_dst_rect_Type2 h_PSD h_HDW = function
    132 | PSD x_16226 -> h_PSD x_16226
    133 | HDW x_16227 -> h_HDW x_16227
     132| PSD x_21057 -> h_PSD x_21057
     133| HDW x_21058 -> h_HDW x_21058
    134134
    135135(** val move_dst_rect_Type1 :
    136136    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    137137let rec move_dst_rect_Type1 h_PSD h_HDW = function
    138 | PSD x_16231 -> h_PSD x_16231
    139 | HDW x_16232 -> h_HDW x_16232
     138| PSD x_21062 -> h_PSD x_21062
     139| HDW x_21063 -> h_HDW x_21063
    140140
    141141(** val move_dst_rect_Type0 :
    142142    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    143143let rec move_dst_rect_Type0 h_PSD h_HDW = function
    144 | PSD x_16236 -> h_PSD x_16236
    145 | HDW x_16237 -> h_HDW x_16237
     144| PSD x_21067 -> h_PSD x_21067
     145| HDW x_21068 -> h_HDW x_21068
    146146
    147147(** val move_dst_inv_rect_Type4 :
     
    338338| Ertl_new_frame -> h_ertl_new_frame
    339339| Ertl_del_frame -> h_ertl_del_frame
    340 | Ertl_frame_size x_16276 -> h_ertl_frame_size x_16276
     340| Ertl_frame_size x_21107 -> h_ertl_frame_size x_21107
    341341
    342342(** val ertl_seq_rect_Type5 :
     
    345345| Ertl_new_frame -> h_ertl_new_frame
    346346| Ertl_del_frame -> h_ertl_del_frame
    347 | Ertl_frame_size x_16281 -> h_ertl_frame_size x_16281
     347| Ertl_frame_size x_21112 -> h_ertl_frame_size x_21112
    348348
    349349(** val ertl_seq_rect_Type3 :
     
    352352| Ertl_new_frame -> h_ertl_new_frame
    353353| Ertl_del_frame -> h_ertl_del_frame
    354 | Ertl_frame_size x_16286 -> h_ertl_frame_size x_16286
     354| Ertl_frame_size x_21117 -> h_ertl_frame_size x_21117
    355355
    356356(** val ertl_seq_rect_Type2 :
     
    359359| Ertl_new_frame -> h_ertl_new_frame
    360360| Ertl_del_frame -> h_ertl_del_frame
    361 | Ertl_frame_size x_16291 -> h_ertl_frame_size x_16291
     361| Ertl_frame_size x_21122 -> h_ertl_frame_size x_21122
    362362
    363363(** val ertl_seq_rect_Type1 :
     
    366366| Ertl_new_frame -> h_ertl_new_frame
    367367| Ertl_del_frame -> h_ertl_del_frame
    368 | Ertl_frame_size x_16296 -> h_ertl_frame_size x_16296
     368| Ertl_frame_size x_21127 -> h_ertl_frame_size x_21127
    369369
    370370(** val ertl_seq_rect_Type0 :
     
    373373| Ertl_new_frame -> h_ertl_new_frame
    374374| Ertl_del_frame -> h_ertl_del_frame
    375 | Ertl_frame_size x_16301 -> h_ertl_frame_size x_16301
     375| Ertl_frame_size x_21132 -> h_ertl_frame_size x_21132
    376376
    377377(** val ertl_seq_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.