Changeset 2775 for extracted/rTLabsToRTL.ml

Timestamp:

Mar 5, 2013, 9:52:39 PM (8 years ago)

Author:

sacerdot

Message:

The compiler now computes also the stack cost model.

File:

• extracted/rTLabsToRTL.ml (modified) (7 diffs)

extracted/rTLabsToRTL.ml

@@ -120 +120 @@
 
 open RTL
-
-open AssocList
 
 open Deqsets_extra
@@ -152 +150 @@
     -> 'a1) -> register_type -> 'a1 **)
 let rec register_type_rect_Type4 h_register_int h_register_ptr = function
-| Register_int x_16092 -> h_register_int x_16092
-| Register_ptr (x_16094, x_16093) -> h_register_ptr x_16094 x_16093
+| Register_int x_20923 -> h_register_int x_20923
+| Register_ptr (x_20925, x_20924) -> h_register_ptr x_20925 x_20924
 
 (** val register_type_rect_Type5 :
@@ -159 +157 @@
     -> 'a1) -> register_type -> 'a1 **)
 let rec register_type_rect_Type5 h_register_int h_register_ptr = function
-| Register_int x_16098 -> h_register_int x_16098
-| Register_ptr (x_16100, x_16099) -> h_register_ptr x_16100 x_16099
+| Register_int x_20929 -> h_register_int x_20929
+| Register_ptr (x_20931, x_20930) -> h_register_ptr x_20931 x_20930
 
 (** val register_type_rect_Type3 :
@@ -166 +164 @@
     -> 'a1) -> register_type -> 'a1 **)
 let rec register_type_rect_Type3 h_register_int h_register_ptr = function
-| Register_int x_16104 -> h_register_int x_16104
-| Register_ptr (x_16106, x_16105) -> h_register_ptr x_16106 x_16105
+| Register_int x_20935 -> h_register_int x_20935
+| Register_ptr (x_20937, x_20936) -> h_register_ptr x_20937 x_20936
 
 (** val register_type_rect_Type2 :
@@ -173 +171 @@
     -> 'a1) -> register_type -> 'a1 **)
 let rec register_type_rect_Type2 h_register_int h_register_ptr = function
-| Register_int x_16110 -> h_register_int x_16110
-| Register_ptr (x_16112, x_16111) -> h_register_ptr x_16112 x_16111
+| Register_int x_20941 -> h_register_int x_20941
+| Register_ptr (x_20943, x_20942) -> h_register_ptr x_20943 x_20942
 
 (** val register_type_rect_Type1 :
@@ -180 +178 @@
     -> 'a1) -> register_type -> 'a1 **)
 let rec register_type_rect_Type1 h_register_int h_register_ptr = function
-| Register_int x_16116 -> h_register_int x_16116
-| Register_ptr (x_16118, x_16117) -> h_register_ptr x_16118 x_16117
+| Register_int x_20947 -> h_register_int x_20947
+| Register_ptr (x_20949, x_20948) -> h_register_ptr x_20949 x_20948
 
 (** val register_type_rect_Type0 :
@@ -187 +185 @@
     -> 'a1) -> register_type -> 'a1 **)
 let rec register_type_rect_Type0 h_register_int h_register_ptr = function
-| Register_int x_16122 -> h_register_int x_16122
-| Register_ptr (x_16124, x_16123) -> h_register_ptr x_16124 x_16123
+| Register_int x_20953 -> h_register_int x_20953
+| Register_ptr (x_20955, x_20954) -> h_register_ptr x_20955 x_20954
 
 (** val register_type_inv_rect_Type4 :