Changeset 2951 for extracted/rTLabs_syntax.ml
 Timestamp:
 Mar 25, 2013, 11:30:01 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/rTLabs_syntax.ml
r2827 r2951 139 139 Graphs.label > 'a1) > 'a1 > statement > 'a1 **) 140 140 let rec statement_rect_Type4 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function 141  St_skip x_149 07 > h_St_skip x_14907142  St_cost (x_149 09, x_14908) > h_St_cost x_14909 x_14908143  St_const (t, x_149 12, x_14911, x_14910) >144 h_St_const t x_149 12 x_14911 x_14910145  St_op1 (t', t, x_149 16, x_14915, x_14914, x_14913) >146 h_St_op1 t' t x_149 16 x_14915 x_14914 x_14913147  St_op2 (t', t1, t2, x_149 21, x_14920, x_14919, x_14918, x_14917) >148 h_St_op2 t' t1 t2 x_149 21 x_14920 x_14919 x_14918 x_14917149  St_load (x_149 25, x_14924, x_14923, x_14922) >150 h_St_load x_149 25 x_14924 x_14923 x_14922151  St_store (x_149 29, x_14928, x_14927, x_14926) >152 h_St_store x_149 29 x_14928 x_14927 x_14926153  St_call_id (x_149 33, x_14932, x_14931, x_14930) >154 h_St_call_id x_149 33 x_14932 x_14931 x_14930155  St_call_ptr (x_149 37, x_14936, x_14935, x_14934) >156 h_St_call_ptr x_149 37 x_14936 x_14935 x_14934157  St_cond (x_149 40, x_14939, x_14938) > h_St_cond x_14940 x_14939 x_14938141  St_skip x_14946 > h_St_skip x_14946 142  St_cost (x_14948, x_14947) > h_St_cost x_14948 x_14947 143  St_const (t, x_14951, x_14950, x_14949) > 144 h_St_const t x_14951 x_14950 x_14949 145  St_op1 (t', t, x_14955, x_14954, x_14953, x_14952) > 146 h_St_op1 t' t x_14955 x_14954 x_14953 x_14952 147  St_op2 (t', t1, t2, x_14960, x_14959, x_14958, x_14957, x_14956) > 148 h_St_op2 t' t1 t2 x_14960 x_14959 x_14958 x_14957 x_14956 149  St_load (x_14964, x_14963, x_14962, x_14961) > 150 h_St_load x_14964 x_14963 x_14962 x_14961 151  St_store (x_14968, x_14967, x_14966, x_14965) > 152 h_St_store x_14968 x_14967 x_14966 x_14965 153  St_call_id (x_14972, x_14971, x_14970, x_14969) > 154 h_St_call_id x_14972 x_14971 x_14970 x_14969 155  St_call_ptr (x_14976, x_14975, x_14974, x_14973) > 156 h_St_call_ptr x_14976 x_14975 x_14974 x_14973 157  St_cond (x_14979, x_14978, x_14977) > h_St_cond x_14979 x_14978 x_14977 158 158  St_return > h_St_return 159 159 … … 174 174 Graphs.label > 'a1) > 'a1 > statement > 'a1 **) 175 175 let rec statement_rect_Type5 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function 176  St_skip x_149 53 > h_St_skip x_14953177  St_cost (x_149 55, x_14954) > h_St_cost x_14955 x_14954178  St_const (t, x_149 58, x_14957, x_14956) >179 h_St_const t x_149 58 x_14957 x_14956180  St_op1 (t', t, x_1 4962, x_14961, x_14960, x_14959) >181 h_St_op1 t' t x_1 4962 x_14961 x_14960 x_14959182  St_op2 (t', t1, t2, x_1 4967, x_14966, x_14965, x_14964, x_14963) >183 h_St_op2 t' t1 t2 x_1 4967 x_14966 x_14965 x_14964 x_14963184  St_load (x_1 4971, x_14970, x_14969, x_14968) >185 h_St_load x_1 4971 x_14970 x_14969 x_14968186  St_store (x_1 4975, x_14974, x_14973, x_14972) >187 h_St_store x_1 4975 x_14974 x_14973 x_14972188  St_call_id (x_1 4979, x_14978, x_14977, x_14976) >189 h_St_call_id x_1 4979 x_14978 x_14977 x_14976190  St_call_ptr (x_1 4983, x_14982, x_14981, x_14980) >191 h_St_call_ptr x_1 4983 x_14982 x_14981 x_14980192  St_cond (x_1 4986, x_14985, x_14984) > h_St_cond x_14986 x_14985 x_14984176  St_skip x_14992 > h_St_skip x_14992 177  St_cost (x_14994, x_14993) > h_St_cost x_14994 x_14993 178  St_const (t, x_14997, x_14996, x_14995) > 179 h_St_const t x_14997 x_14996 x_14995 180  St_op1 (t', t, x_15001, x_15000, x_14999, x_14998) > 181 h_St_op1 t' t x_15001 x_15000 x_14999 x_14998 182  St_op2 (t', t1, t2, x_15006, x_15005, x_15004, x_15003, x_15002) > 183 h_St_op2 t' t1 t2 x_15006 x_15005 x_15004 x_15003 x_15002 184  St_load (x_15010, x_15009, x_15008, x_15007) > 185 h_St_load x_15010 x_15009 x_15008 x_15007 186  St_store (x_15014, x_15013, x_15012, x_15011) > 187 h_St_store x_15014 x_15013 x_15012 x_15011 188  St_call_id (x_15018, x_15017, x_15016, x_15015) > 189 h_St_call_id x_15018 x_15017 x_15016 x_15015 190  St_call_ptr (x_15022, x_15021, x_15020, x_15019) > 191 h_St_call_ptr x_15022 x_15021 x_15020 x_15019 192  St_cond (x_15025, x_15024, x_15023) > h_St_cond x_15025 x_15024 x_15023 193 193  St_return > h_St_return 194 194 … … 209 209 Graphs.label > 'a1) > 'a1 > statement > 'a1 **) 210 210 let rec statement_rect_Type3 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function 211  St_skip x_1 4999 > h_St_skip x_14999212  St_cost (x_150 01, x_15000) > h_St_cost x_15001 x_15000213  St_const (t, x_150 04, x_15003, x_15002) >214 h_St_const t x_150 04 x_15003 x_15002215  St_op1 (t', t, x_150 08, x_15007, x_15006, x_15005) >216 h_St_op1 t' t x_150 08 x_15007 x_15006 x_15005217  St_op2 (t', t1, t2, x_150 13, x_15012, x_15011, x_15010, x_15009) >218 h_St_op2 t' t1 t2 x_150 13 x_15012 x_15011 x_15010 x_15009219  St_load (x_150 17, x_15016, x_15015, x_15014) >220 h_St_load x_150 17 x_15016 x_15015 x_15014221  St_store (x_150 21, x_15020, x_15019, x_15018) >222 h_St_store x_150 21 x_15020 x_15019 x_15018223  St_call_id (x_150 25, x_15024, x_15023, x_15022) >224 h_St_call_id x_150 25 x_15024 x_15023 x_15022225  St_call_ptr (x_150 29, x_15028, x_15027, x_15026) >226 h_St_call_ptr x_150 29 x_15028 x_15027 x_15026227  St_cond (x_150 32, x_15031, x_15030) > h_St_cond x_15032 x_15031 x_15030211  St_skip x_15038 > h_St_skip x_15038 212  St_cost (x_15040, x_15039) > h_St_cost x_15040 x_15039 213  St_const (t, x_15043, x_15042, x_15041) > 214 h_St_const t x_15043 x_15042 x_15041 215  St_op1 (t', t, x_15047, x_15046, x_15045, x_15044) > 216 h_St_op1 t' t x_15047 x_15046 x_15045 x_15044 217  St_op2 (t', t1, t2, x_15052, x_15051, x_15050, x_15049, x_15048) > 218 h_St_op2 t' t1 t2 x_15052 x_15051 x_15050 x_15049 x_15048 219  St_load (x_15056, x_15055, x_15054, x_15053) > 220 h_St_load x_15056 x_15055 x_15054 x_15053 221  St_store (x_15060, x_15059, x_15058, x_15057) > 222 h_St_store x_15060 x_15059 x_15058 x_15057 223  St_call_id (x_15064, x_15063, x_15062, x_15061) > 224 h_St_call_id x_15064 x_15063 x_15062 x_15061 225  St_call_ptr (x_15068, x_15067, x_15066, x_15065) > 226 h_St_call_ptr x_15068 x_15067 x_15066 x_15065 227  St_cond (x_15071, x_15070, x_15069) > h_St_cond x_15071 x_15070 x_15069 228 228  St_return > h_St_return 229 229 … … 244 244 Graphs.label > 'a1) > 'a1 > statement > 'a1 **) 245 245 let rec statement_rect_Type2 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function 246  St_skip x_150 45 > h_St_skip x_15045247  St_cost (x_150 47, x_15046) > h_St_cost x_15047 x_15046248  St_const (t, x_150 50, x_15049, x_15048) >249 h_St_const t x_150 50 x_15049 x_15048250  St_op1 (t', t, x_150 54, x_15053, x_15052, x_15051) >251 h_St_op1 t' t x_150 54 x_15053 x_15052 x_15051252  St_op2 (t', t1, t2, x_150 59, x_15058, x_15057, x_15056, x_15055) >253 h_St_op2 t' t1 t2 x_150 59 x_15058 x_15057 x_15056 x_15055254  St_load (x_15 063, x_15062, x_15061, x_15060) >255 h_St_load x_15 063 x_15062 x_15061 x_15060256  St_store (x_15 067, x_15066, x_15065, x_15064) >257 h_St_store x_15 067 x_15066 x_15065 x_15064258  St_call_id (x_15 071, x_15070, x_15069, x_15068) >259 h_St_call_id x_15 071 x_15070 x_15069 x_15068260  St_call_ptr (x_15 075, x_15074, x_15073, x_15072) >261 h_St_call_ptr x_15 075 x_15074 x_15073 x_15072262  St_cond (x_15 078, x_15077, x_15076) > h_St_cond x_15078 x_15077 x_15076246  St_skip x_15084 > h_St_skip x_15084 247  St_cost (x_15086, x_15085) > h_St_cost x_15086 x_15085 248  St_const (t, x_15089, x_15088, x_15087) > 249 h_St_const t x_15089 x_15088 x_15087 250  St_op1 (t', t, x_15093, x_15092, x_15091, x_15090) > 251 h_St_op1 t' t x_15093 x_15092 x_15091 x_15090 252  St_op2 (t', t1, t2, x_15098, x_15097, x_15096, x_15095, x_15094) > 253 h_St_op2 t' t1 t2 x_15098 x_15097 x_15096 x_15095 x_15094 254  St_load (x_15102, x_15101, x_15100, x_15099) > 255 h_St_load x_15102 x_15101 x_15100 x_15099 256  St_store (x_15106, x_15105, x_15104, x_15103) > 257 h_St_store x_15106 x_15105 x_15104 x_15103 258  St_call_id (x_15110, x_15109, x_15108, x_15107) > 259 h_St_call_id x_15110 x_15109 x_15108 x_15107 260  St_call_ptr (x_15114, x_15113, x_15112, x_15111) > 261 h_St_call_ptr x_15114 x_15113 x_15112 x_15111 262  St_cond (x_15117, x_15116, x_15115) > h_St_cond x_15117 x_15116 x_15115 263 263  St_return > h_St_return 264 264 … … 279 279 Graphs.label > 'a1) > 'a1 > statement > 'a1 **) 280 280 let rec statement_rect_Type1 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function 281  St_skip x_15 091 > h_St_skip x_15091282  St_cost (x_15 093, x_15092) > h_St_cost x_15093 x_15092283  St_const (t, x_15 096, x_15095, x_15094) >284 h_St_const t x_15 096 x_15095 x_15094285  St_op1 (t', t, x_151 00, x_15099, x_15098, x_15097) >286 h_St_op1 t' t x_151 00 x_15099 x_15098 x_15097287  St_op2 (t', t1, t2, x_151 05, x_15104, x_15103, x_15102, x_15101) >288 h_St_op2 t' t1 t2 x_151 05 x_15104 x_15103 x_15102 x_15101289  St_load (x_151 09, x_15108, x_15107, x_15106) >290 h_St_load x_151 09 x_15108 x_15107 x_15106291  St_store (x_151 13, x_15112, x_15111, x_15110) >292 h_St_store x_151 13 x_15112 x_15111 x_15110293  St_call_id (x_151 17, x_15116, x_15115, x_15114) >294 h_St_call_id x_151 17 x_15116 x_15115 x_15114295  St_call_ptr (x_151 21, x_15120, x_15119, x_15118) >296 h_St_call_ptr x_151 21 x_15120 x_15119 x_15118297  St_cond (x_151 24, x_15123, x_15122) > h_St_cond x_15124 x_15123 x_15122281  St_skip x_15130 > h_St_skip x_15130 282  St_cost (x_15132, x_15131) > h_St_cost x_15132 x_15131 283  St_const (t, x_15135, x_15134, x_15133) > 284 h_St_const t x_15135 x_15134 x_15133 285  St_op1 (t', t, x_15139, x_15138, x_15137, x_15136) > 286 h_St_op1 t' t x_15139 x_15138 x_15137 x_15136 287  St_op2 (t', t1, t2, x_15144, x_15143, x_15142, x_15141, x_15140) > 288 h_St_op2 t' t1 t2 x_15144 x_15143 x_15142 x_15141 x_15140 289  St_load (x_15148, x_15147, x_15146, x_15145) > 290 h_St_load x_15148 x_15147 x_15146 x_15145 291  St_store (x_15152, x_15151, x_15150, x_15149) > 292 h_St_store x_15152 x_15151 x_15150 x_15149 293  St_call_id (x_15156, x_15155, x_15154, x_15153) > 294 h_St_call_id x_15156 x_15155 x_15154 x_15153 295  St_call_ptr (x_15160, x_15159, x_15158, x_15157) > 296 h_St_call_ptr x_15160 x_15159 x_15158 x_15157 297  St_cond (x_15163, x_15162, x_15161) > h_St_cond x_15163 x_15162 x_15161 298 298  St_return > h_St_return 299 299 … … 314 314 Graphs.label > 'a1) > 'a1 > statement > 'a1 **) 315 315 let rec statement_rect_Type0 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function 316  St_skip x_151 37 > h_St_skip x_15137317  St_cost (x_151 39, x_15138) > h_St_cost x_15139 x_15138318  St_const (t, x_151 42, x_15141, x_15140) >319 h_St_const t x_151 42 x_15141 x_15140320  St_op1 (t', t, x_151 46, x_15145, x_15144, x_15143) >321 h_St_op1 t' t x_151 46 x_15145 x_15144 x_15143322  St_op2 (t', t1, t2, x_151 51, x_15150, x_15149, x_15148, x_15147) >323 h_St_op2 t' t1 t2 x_151 51 x_15150 x_15149 x_15148 x_15147324  St_load (x_151 55, x_15154, x_15153, x_15152) >325 h_St_load x_151 55 x_15154 x_15153 x_15152326  St_store (x_151 59, x_15158, x_15157, x_15156) >327 h_St_store x_151 59 x_15158 x_15157 x_15156328  St_call_id (x_15 163, x_15162, x_15161, x_15160) >329 h_St_call_id x_15 163 x_15162 x_15161 x_15160330  St_call_ptr (x_15 167, x_15166, x_15165, x_15164) >331 h_St_call_ptr x_15 167 x_15166 x_15165 x_15164332  St_cond (x_15 170, x_15169, x_15168) > h_St_cond x_15170 x_15169 x_15168316  St_skip x_15176 > h_St_skip x_15176 317  St_cost (x_15178, x_15177) > h_St_cost x_15178 x_15177 318  St_const (t, x_15181, x_15180, x_15179) > 319 h_St_const t x_15181 x_15180 x_15179 320  St_op1 (t', t, x_15185, x_15184, x_15183, x_15182) > 321 h_St_op1 t' t x_15185 x_15184 x_15183 x_15182 322  St_op2 (t', t1, t2, x_15190, x_15189, x_15188, x_15187, x_15186) > 323 h_St_op2 t' t1 t2 x_15190 x_15189 x_15188 x_15187 x_15186 324  St_load (x_15194, x_15193, x_15192, x_15191) > 325 h_St_load x_15194 x_15193 x_15192 x_15191 326  St_store (x_15198, x_15197, x_15196, x_15195) > 327 h_St_store x_15198 x_15197 x_15196 x_15195 328  St_call_id (x_15202, x_15201, x_15200, x_15199) > 329 h_St_call_id x_15202 x_15201 x_15200 x_15199 330  St_call_ptr (x_15206, x_15205, x_15204, x_15203) > 331 h_St_call_ptr x_15206 x_15205 x_15204 x_15203 332  St_cond (x_15209, x_15208, x_15207) > h_St_cond x_15209 x_15208 x_15207 333 333  St_return > h_St_return 334 334 … … 466 466 Graphs.label Types.sig0 > Graphs.label Types.sig0 > 'a1) > 467 467 internal_function > 'a1 **) 468 let rec internal_function_rect_Type4 h_mk_internal_function x_154 60=468 let rec internal_function_rect_Type4 h_mk_internal_function x_15499 = 469 469 let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0; 470 470 f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0; 471 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_154 60471 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15499 472 472 in 473 473 h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0 … … 481 481 Graphs.label Types.sig0 > Graphs.label Types.sig0 > 'a1) > 482 482 internal_function > 'a1 **) 483 let rec internal_function_rect_Type5 h_mk_internal_function x_15 462=483 let rec internal_function_rect_Type5 h_mk_internal_function x_15501 = 484 484 let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0; 485 485 f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0; 486 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15 462486 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15501 487 487 in 488 488 h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0 … … 496 496 Graphs.label Types.sig0 > Graphs.label Types.sig0 > 'a1) > 497 497 internal_function > 'a1 **) 498 let rec internal_function_rect_Type3 h_mk_internal_function x_15 464=498 let rec internal_function_rect_Type3 h_mk_internal_function x_15503 = 499 499 let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0; 500 500 f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0; 501 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15 464501 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15503 502 502 in 503 503 h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0 … … 511 511 Graphs.label Types.sig0 > Graphs.label Types.sig0 > 'a1) > 512 512 internal_function > 'a1 **) 513 let rec internal_function_rect_Type2 h_mk_internal_function x_15 466=513 let rec internal_function_rect_Type2 h_mk_internal_function x_15505 = 514 514 let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0; 515 515 f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0; 516 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15 466516 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15505 517 517 in 518 518 h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0 … … 526 526 Graphs.label Types.sig0 > Graphs.label Types.sig0 > 'a1) > 527 527 internal_function > 'a1 **) 528 let rec internal_function_rect_Type1 h_mk_internal_function x_15 468=528 let rec internal_function_rect_Type1 h_mk_internal_function x_15507 = 529 529 let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0; 530 530 f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0; 531 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15 468531 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15507 532 532 in 533 533 h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0 … … 541 541 Graphs.label Types.sig0 > Graphs.label Types.sig0 > 'a1) > 542 542 internal_function > 'a1 **) 543 let rec internal_function_rect_Type0 h_mk_internal_function x_15 470=543 let rec internal_function_rect_Type0 h_mk_internal_function x_15509 = 544 544 let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0; 545 545 f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0; 546 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15 470546 f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15509 547 547 in 548 548 h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0 … … 649 649 Obj.magic (fun _ dH > dH __ __ __ __ __ __ __ __ __ __ __)) y 650 650 651 type rTLabs_program = (internal_function AST.fundef, Nat.nat) AST.program 652 651 type rTLabs_program = 652 (internal_function AST.fundef, AST.init_data List.list) AST.program 653
Note: See TracChangeset
for help on using the changeset viewer.