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

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2773 r2775  
    120120
    121121open RTL
    122 
    123 open AssocList
    124122
    125123open Deqsets_extra
     
    152150    -> 'a1) -> register_type -> 'a1 **)
    153151let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    154 | Register_int x_16092 -> h_register_int x_16092
    155 | Register_ptr (x_16094, x_16093) -> h_register_ptr x_16094 x_16093
     152| Register_int x_20923 -> h_register_int x_20923
     153| Register_ptr (x_20925, x_20924) -> h_register_ptr x_20925 x_20924
    156154
    157155(** val register_type_rect_Type5 :
     
    159157    -> 'a1) -> register_type -> 'a1 **)
    160158let rec register_type_rect_Type5 h_register_int h_register_ptr = function
    161 | Register_int x_16098 -> h_register_int x_16098
    162 | Register_ptr (x_16100, x_16099) -> h_register_ptr x_16100 x_16099
     159| Register_int x_20929 -> h_register_int x_20929
     160| Register_ptr (x_20931, x_20930) -> h_register_ptr x_20931 x_20930
    163161
    164162(** val register_type_rect_Type3 :
     
    166164    -> 'a1) -> register_type -> 'a1 **)
    167165let rec register_type_rect_Type3 h_register_int h_register_ptr = function
    168 | Register_int x_16104 -> h_register_int x_16104
    169 | Register_ptr (x_16106, x_16105) -> h_register_ptr x_16106 x_16105
     166| Register_int x_20935 -> h_register_int x_20935
     167| Register_ptr (x_20937, x_20936) -> h_register_ptr x_20937 x_20936
    170168
    171169(** val register_type_rect_Type2 :
     
    173171    -> 'a1) -> register_type -> 'a1 **)
    174172let rec register_type_rect_Type2 h_register_int h_register_ptr = function
    175 | Register_int x_16110 -> h_register_int x_16110
    176 | Register_ptr (x_16112, x_16111) -> h_register_ptr x_16112 x_16111
     173| Register_int x_20941 -> h_register_int x_20941
     174| Register_ptr (x_20943, x_20942) -> h_register_ptr x_20943 x_20942
    177175
    178176(** val register_type_rect_Type1 :
     
    180178    -> 'a1) -> register_type -> 'a1 **)
    181179let rec register_type_rect_Type1 h_register_int h_register_ptr = function
    182 | Register_int x_16116 -> h_register_int x_16116
    183 | Register_ptr (x_16118, x_16117) -> h_register_ptr x_16118 x_16117
     180| Register_int x_20947 -> h_register_int x_20947
     181| Register_ptr (x_20949, x_20948) -> h_register_ptr x_20949 x_20948
    184182
    185183(** val register_type_rect_Type0 :
     
    187185    -> 'a1) -> register_type -> 'a1 **)
    188186let rec register_type_rect_Type0 h_register_int h_register_ptr = function
    189 | Register_int x_16122 -> h_register_int x_16122
    190 | Register_ptr (x_16124, x_16123) -> h_register_ptr x_16124 x_16123
     187| Register_int x_20953 -> h_register_int x_20953
     188| Register_ptr (x_20955, x_20954) -> h_register_ptr x_20955 x_20954
    191189
    192190(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.