Changeset 2890 for extracted/semanticsUtils.ml
 Timestamp:
 Mar 15, 2013, 11:11:45 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/semanticsUtils.ml
r2873 r2890 154 154 (ByteValues.beval BitVectorTrie.bitVectorTrie > ByteValues.bebit > 'a1) 155 155 > hw_register_env > 'a1 **) 156 let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_262 34=157 let { reg_env = reg_env0; other_bit = other_bit0 } = x_262 34in156 let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_26260 = 157 let { reg_env = reg_env0; other_bit = other_bit0 } = x_26260 in 158 158 h_mk_hw_register_env reg_env0 other_bit0 159 159 … … 161 161 (ByteValues.beval BitVectorTrie.bitVectorTrie > ByteValues.bebit > 'a1) 162 162 > hw_register_env > 'a1 **) 163 let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_262 36=164 let { reg_env = reg_env0; other_bit = other_bit0 } = x_262 36in163 let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_26262 = 164 let { reg_env = reg_env0; other_bit = other_bit0 } = x_26262 in 165 165 h_mk_hw_register_env reg_env0 other_bit0 166 166 … … 168 168 (ByteValues.beval BitVectorTrie.bitVectorTrie > ByteValues.bebit > 'a1) 169 169 > hw_register_env > 'a1 **) 170 let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_262 38=171 let { reg_env = reg_env0; other_bit = other_bit0 } = x_262 38in170 let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_26264 = 171 let { reg_env = reg_env0; other_bit = other_bit0 } = x_26264 in 172 172 h_mk_hw_register_env reg_env0 other_bit0 173 173 … … 175 175 (ByteValues.beval BitVectorTrie.bitVectorTrie > ByteValues.bebit > 'a1) 176 176 > hw_register_env > 'a1 **) 177 let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_262 40=178 let { reg_env = reg_env0; other_bit = other_bit0 } = x_262 40in177 let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_26266 = 178 let { reg_env = reg_env0; other_bit = other_bit0 } = x_26266 in 179 179 h_mk_hw_register_env reg_env0 other_bit0 180 180 … … 182 182 (ByteValues.beval BitVectorTrie.bitVectorTrie > ByteValues.bebit > 'a1) 183 183 > hw_register_env > 'a1 **) 184 let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_262 42=185 let { reg_env = reg_env0; other_bit = other_bit0 } = x_262 42in184 let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_26268 = 185 let { reg_env = reg_env0; other_bit = other_bit0 } = x_26268 in 186 186 h_mk_hw_register_env reg_env0 other_bit0 187 187 … … 189 189 (ByteValues.beval BitVectorTrie.bitVectorTrie > ByteValues.bebit > 'a1) 190 190 > hw_register_env > 'a1 **) 191 let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_262 44=192 let { reg_env = reg_env0; other_bit = other_bit0 } = x_262 44in191 let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_26270 = 192 let { reg_env = reg_env0; other_bit = other_bit0 } = x_26270 in 193 193 h_mk_hw_register_env reg_env0 other_bit0 194 194 … … 301 301 (ByteValues.beval Identifiers.identifier_map > ByteValues.xpointer > 302 302 'a1) > reg_sp > 'a1 **) 303 let rec reg_sp_rect_Type4 h_mk_reg_sp x_262 60=304 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_262 60in303 let rec reg_sp_rect_Type4 h_mk_reg_sp x_26286 = 304 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26286 in 305 305 h_mk_reg_sp reg_sp_env0 stackp0 306 306 … … 308 308 (ByteValues.beval Identifiers.identifier_map > ByteValues.xpointer > 309 309 'a1) > reg_sp > 'a1 **) 310 let rec reg_sp_rect_Type5 h_mk_reg_sp x_262 62=311 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_262 62in310 let rec reg_sp_rect_Type5 h_mk_reg_sp x_26288 = 311 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26288 in 312 312 h_mk_reg_sp reg_sp_env0 stackp0 313 313 … … 315 315 (ByteValues.beval Identifiers.identifier_map > ByteValues.xpointer > 316 316 'a1) > reg_sp > 'a1 **) 317 let rec reg_sp_rect_Type3 h_mk_reg_sp x_262 64=318 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_262 64in317 let rec reg_sp_rect_Type3 h_mk_reg_sp x_26290 = 318 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26290 in 319 319 h_mk_reg_sp reg_sp_env0 stackp0 320 320 … … 322 322 (ByteValues.beval Identifiers.identifier_map > ByteValues.xpointer > 323 323 'a1) > reg_sp > 'a1 **) 324 let rec reg_sp_rect_Type2 h_mk_reg_sp x_262 66=325 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_262 66in324 let rec reg_sp_rect_Type2 h_mk_reg_sp x_26292 = 325 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26292 in 326 326 h_mk_reg_sp reg_sp_env0 stackp0 327 327 … … 329 329 (ByteValues.beval Identifiers.identifier_map > ByteValues.xpointer > 330 330 'a1) > reg_sp > 'a1 **) 331 let rec reg_sp_rect_Type1 h_mk_reg_sp x_262 68=332 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_262 68in331 let rec reg_sp_rect_Type1 h_mk_reg_sp x_26294 = 332 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26294 in 333 333 h_mk_reg_sp reg_sp_env0 stackp0 334 334 … … 336 336 (ByteValues.beval Identifiers.identifier_map > ByteValues.xpointer > 337 337 'a1) > reg_sp > 'a1 **) 338 let rec reg_sp_rect_Type0 h_mk_reg_sp x_262 70=339 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_262 70in338 let rec reg_sp_rect_Type0 h_mk_reg_sp x_26296 = 339 let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26296 in 340 340 h_mk_reg_sp reg_sp_env0 stackp0 341 341 … … 459 459 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 460 460 > 'a1) > sem_graph_params > 'a1 **) 461 let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_26 286=462 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26 286in461 let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_26312 = 462 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26312 in 463 463 h_mk_sem_graph_params sgp_pars0 sgp_sup0 464 464 … … 466 466 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 467 467 > 'a1) > sem_graph_params > 'a1 **) 468 let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_26 288=469 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26 288in468 let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_26314 = 469 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26314 in 470 470 h_mk_sem_graph_params sgp_pars0 sgp_sup0 471 471 … … 473 473 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 474 474 > 'a1) > sem_graph_params > 'a1 **) 475 let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_26 290=476 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26 290in475 let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_26316 = 476 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26316 in 477 477 h_mk_sem_graph_params sgp_pars0 sgp_sup0 478 478 … … 480 480 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 481 481 > 'a1) > sem_graph_params > 'a1 **) 482 let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_26 292=483 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26 292in482 let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_26318 = 483 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26318 in 484 484 h_mk_sem_graph_params sgp_pars0 sgp_sup0 485 485 … … 487 487 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 488 488 > 'a1) > sem_graph_params > 'a1 **) 489 let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_26 294=490 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26 294in489 let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_26320 = 490 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26320 in 491 491 h_mk_sem_graph_params sgp_pars0 sgp_sup0 492 492 … … 494 494 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 495 495 > 'a1) > sem_graph_params > 'a1 **) 496 let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_26 296=497 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26 296in496 let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_26322 = 497 let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26322 in 498 498 h_mk_sem_graph_params sgp_pars0 sgp_sup0 499 499 … … 599 599 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 600 600 > 'a1) > sem_lin_params > 'a1 **) 601 let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_263 13=602 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_263 13in601 let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_26339 = 602 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26339 in 603 603 h_mk_sem_lin_params slp_pars0 slp_sup0 604 604 … … 606 606 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 607 607 > 'a1) > sem_lin_params > 'a1 **) 608 let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_263 15=609 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_263 15in608 let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_26341 = 609 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26341 in 610 610 h_mk_sem_lin_params slp_pars0 slp_sup0 611 611 … … 613 613 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 614 614 > 'a1) > sem_lin_params > 'a1 **) 615 let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_263 17=616 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_263 17in615 let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_26343 = 616 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26343 in 617 617 h_mk_sem_lin_params slp_pars0 slp_sup0 618 618 … … 620 620 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 621 621 > 'a1) > sem_lin_params > 'a1 **) 622 let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_263 19=623 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_263 19in622 let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_26345 = 623 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26345 in 624 624 h_mk_sem_lin_params slp_pars0 slp_sup0 625 625 … … 627 627 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 628 628 > 'a1) > sem_lin_params > 'a1 **) 629 let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_263 21=630 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_263 21in629 let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_26347 = 630 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26347 in 631 631 h_mk_sem_lin_params slp_pars0 slp_sup0 632 632 … … 634 634 (Joint.uns_params > (__ > __ Joint_semantics.sem_unserialized_params) 635 635 > 'a1) > sem_lin_params > 'a1 **) 636 let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_263 23=637 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_263 23in636 let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_26349 = 637 let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26349 in 638 638 h_mk_sem_lin_params slp_pars0 slp_sup0 639 639
Note: See TracChangeset
for help on using the changeset viewer.