Changeset 3043 for extracted/joint.mli
 Timestamp:
 Mar 29, 2013, 6:38:26 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/joint.mli
r2951 r3043 584 584  POP of __ 585 585  PUSH of __ 586  ADDRESS of AST.ident * __ * __586  ADDRESS of AST.ident * BitVector.word * __ * __ 587 587  OPACCS of BackEndOps.opAccs * __ * __ * __ * __ 588 588  OP1 of BackEndOps.op1 * __ * __ … … 596 596 val joint_seq_rect_Type4 : 597 597 unserialized_params > AST.ident List.list > (String.string > 'a1) > (__ 598 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > __ > __ >599 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) >600 (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ >601 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) >602 (__ > 'a1) > joint_seq > 'a1598 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > BitVector.word 599 > __ > __ > 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) 600 > (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ 601 > 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) 602 > (__ > 'a1) > joint_seq > 'a1 603 603 604 604 val joint_seq_rect_Type5 : 605 605 unserialized_params > AST.ident List.list > (String.string > 'a1) > (__ 606 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > __ > __ >607 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) >608 (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ >609 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) >610 (__ > 'a1) > joint_seq > 'a1606 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > BitVector.word 607 > __ > __ > 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) 608 > (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ 609 > 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) 610 > (__ > 'a1) > joint_seq > 'a1 611 611 612 612 val joint_seq_rect_Type3 : 613 613 unserialized_params > AST.ident List.list > (String.string > 'a1) > (__ 614 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > __ > __ >615 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) >616 (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ >617 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) >618 (__ > 'a1) > joint_seq > 'a1614 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > BitVector.word 615 > __ > __ > 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) 616 > (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ 617 > 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) 618 > (__ > 'a1) > joint_seq > 'a1 619 619 620 620 val joint_seq_rect_Type2 : 621 621 unserialized_params > AST.ident List.list > (String.string > 'a1) > (__ 622 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > __ > __ >623 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) >624 (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ >625 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) >626 (__ > 'a1) > joint_seq > 'a1622 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > BitVector.word 623 > __ > __ > 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) 624 > (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ 625 > 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) 626 > (__ > 'a1) > joint_seq > 'a1 627 627 628 628 val joint_seq_rect_Type1 : 629 629 unserialized_params > AST.ident List.list > (String.string > 'a1) > (__ 630 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > __ > __ >631 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) >632 (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ >633 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) >634 (__ > 'a1) > joint_seq > 'a1630 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > BitVector.word 631 > __ > __ > 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) 632 > (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ 633 > 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) 634 > (__ > 'a1) > joint_seq > 'a1 635 635 636 636 val joint_seq_rect_Type0 : 637 637 unserialized_params > AST.ident List.list > (String.string > 'a1) > (__ 638 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > __ > __ >639 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) >640 (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ >641 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) >642 (__ > 'a1) > joint_seq > 'a1638 > 'a1) > (__ > 'a1) > (__ > 'a1) > (AST.ident > __ > BitVector.word 639 > __ > __ > 'a1) > (BackEndOps.opAccs > __ > __ > __ > __ > 'a1) 640 > (BackEndOps.op1 > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ 641 > 'a1) > 'a1 > 'a1 > (__ > __ > __ > 'a1) > (__ > __ > __ > 'a1) 642 > (__ > 'a1) > joint_seq > 'a1 643 643 644 644 val joint_seq_inv_rect_Type4 : 645 645 unserialized_params > AST.ident List.list > joint_seq > (String.string 646 646 > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 647 'a1) > (AST.ident > __ > __ > __ > __ > 'a1) > (BackEndOps.opAccs>648 __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 > __ > __ > __ >649 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 'a1) > (__ > 'a1)>650 (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ > __ > __ > __ >651 'a1) > (__ > __ > 'a1) > 'a1647 'a1) > (AST.ident > __ > BitVector.word > __ > __ > __ > 'a1) > 648 (BackEndOps.opAccs > __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 649 > __ > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 650 'a1) > (__ > 'a1) > (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ 651 > __ > __ > __ > 'a1) > (__ > __ > 'a1) > 'a1 652 652 653 653 val joint_seq_inv_rect_Type3 : 654 654 unserialized_params > AST.ident List.list > joint_seq > (String.string 655 655 > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 656 'a1) > (AST.ident > __ > __ > __ > __ > 'a1) > (BackEndOps.opAccs>657 __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 > __ > __ > __ >658 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 'a1) > (__ > 'a1)>659 (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ > __ > __ > __ >660 'a1) > (__ > __ > 'a1) > 'a1656 'a1) > (AST.ident > __ > BitVector.word > __ > __ > __ > 'a1) > 657 (BackEndOps.opAccs > __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 658 > __ > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 659 'a1) > (__ > 'a1) > (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ 660 > __ > __ > __ > 'a1) > (__ > __ > 'a1) > 'a1 661 661 662 662 val joint_seq_inv_rect_Type2 : 663 663 unserialized_params > AST.ident List.list > joint_seq > (String.string 664 664 > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 665 'a1) > (AST.ident > __ > __ > __ > __ > 'a1) > (BackEndOps.opAccs>666 __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 > __ > __ > __ >667 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 'a1) > (__ > 'a1)>668 (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ > __ > __ > __ >669 'a1) > (__ > __ > 'a1) > 'a1665 'a1) > (AST.ident > __ > BitVector.word > __ > __ > __ > 'a1) > 666 (BackEndOps.opAccs > __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 667 > __ > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 668 'a1) > (__ > 'a1) > (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ 669 > __ > __ > __ > 'a1) > (__ > __ > 'a1) > 'a1 670 670 671 671 val joint_seq_inv_rect_Type1 : 672 672 unserialized_params > AST.ident List.list > joint_seq > (String.string 673 673 > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 674 'a1) > (AST.ident > __ > __ > __ > __ > 'a1) > (BackEndOps.opAccs>675 __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 > __ > __ > __ >676 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 'a1) > (__ > 'a1)>677 (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ > __ > __ > __ >678 'a1) > (__ > __ > 'a1) > 'a1674 'a1) > (AST.ident > __ > BitVector.word > __ > __ > __ > 'a1) > 675 (BackEndOps.opAccs > __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 676 > __ > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 677 'a1) > (__ > 'a1) > (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ 678 > __ > __ > __ > 'a1) > (__ > __ > 'a1) > 'a1 679 679 680 680 val joint_seq_inv_rect_Type0 : 681 681 unserialized_params > AST.ident List.list > joint_seq > (String.string 682 682 > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 'a1) > (__ > __ > 683 'a1) > (AST.ident > __ > __ > __ > __ > 'a1) > (BackEndOps.opAccs>684 __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 > __ > __ > __ >685 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 'a1) > (__ > 'a1)>686 (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ > __ > __ > __ >687 'a1) > (__ > __ > 'a1) > 'a1683 'a1) > (AST.ident > __ > BitVector.word > __ > __ > __ > 'a1) > 684 (BackEndOps.opAccs > __ > __ > __ > __ > __ > 'a1) > (BackEndOps.op1 685 > __ > __ > __ > 'a1) > (BackEndOps.op2 > __ > __ > __ > __ > 686 'a1) > (__ > 'a1) > (__ > 'a1) > (__ > __ > __ > __ > 'a1) > (__ 687 > __ > __ > __ > 'a1) > (__ > __ > 'a1) > 'a1 688 688 689 689 val joint_seq_discr : … … 1405 1405 type joint_function = joint_closed_internal_function AST.fundef 1406 1406 1407 type joint_program = { joint_prog : (joint_function, AST.init_data List.list) 1407 type joint_program = { jp_functions : AST.ident List.list; 1408 joint_prog : (joint_function, AST.init_data List.list) 1408 1409 AST.program; 1409 1410 init_cost_label : CostLabel.costlabel } 1410 1411 1411 1412 val joint_program_rect_Type4 : 1412 params > ( (joint_function, AST.init_data List.list) AST.program >1413 CostLabel.costlabel> 'a1) > joint_program > 'a11413 params > (AST.ident List.list > (joint_function, AST.init_data List.list) 1414 AST.program > CostLabel.costlabel > __ > 'a1) > joint_program > 'a1 1414 1415 1415 1416 val joint_program_rect_Type5 : 1416 params > ( (joint_function, AST.init_data List.list) AST.program >1417 CostLabel.costlabel> 'a1) > joint_program > 'a11417 params > (AST.ident List.list > (joint_function, AST.init_data List.list) 1418 AST.program > CostLabel.costlabel > __ > 'a1) > joint_program > 'a1 1418 1419 1419 1420 val joint_program_rect_Type3 : 1420 params > ( (joint_function, AST.init_data List.list) AST.program >1421 CostLabel.costlabel> 'a1) > joint_program > 'a11421 params > (AST.ident List.list > (joint_function, AST.init_data List.list) 1422 AST.program > CostLabel.costlabel > __ > 'a1) > joint_program > 'a1 1422 1423 1423 1424 val joint_program_rect_Type2 : 1424 params > ( (joint_function, AST.init_data List.list) AST.program >1425 CostLabel.costlabel> 'a1) > joint_program > 'a11425 params > (AST.ident List.list > (joint_function, AST.init_data List.list) 1426 AST.program > CostLabel.costlabel > __ > 'a1) > joint_program > 'a1 1426 1427 1427 1428 val joint_program_rect_Type1 : 1428 params > ( (joint_function, AST.init_data List.list) AST.program >1429 CostLabel.costlabel> 'a1) > joint_program > 'a11429 params > (AST.ident List.list > (joint_function, AST.init_data List.list) 1430 AST.program > CostLabel.costlabel > __ > 'a1) > joint_program > 'a1 1430 1431 1431 1432 val joint_program_rect_Type0 : 1432 params > ((joint_function, AST.init_data List.list) AST.program > 1433 CostLabel.costlabel > 'a1) > joint_program > 'a1 1433 params > (AST.ident List.list > (joint_function, AST.init_data List.list) 1434 AST.program > CostLabel.costlabel > __ > 'a1) > joint_program > 'a1 1435 1436 val jp_functions : params > joint_program > AST.ident List.list 1434 1437 1435 1438 val joint_prog : … … 1440 1443 1441 1444 val joint_program_inv_rect_Type4 : 1442 params > joint_program > ((joint_function, AST.init_data List.list) 1443 AST.program > CostLabel.costlabel > __ > 'a1) > 'a1 1445 params > joint_program > (AST.ident List.list > (joint_function, 1446 AST.init_data List.list) AST.program > CostLabel.costlabel > __ > __ > 1447 'a1) > 'a1 1444 1448 1445 1449 val joint_program_inv_rect_Type3 : 1446 params > joint_program > ((joint_function, AST.init_data List.list) 1447 AST.program > CostLabel.costlabel > __ > 'a1) > 'a1 1450 params > joint_program > (AST.ident List.list > (joint_function, 1451 AST.init_data List.list) AST.program > CostLabel.costlabel > __ > __ > 1452 'a1) > 'a1 1448 1453 1449 1454 val joint_program_inv_rect_Type2 : 1450 params > joint_program > ((joint_function, AST.init_data List.list) 1451 AST.program > CostLabel.costlabel > __ > 'a1) > 'a1 1455 params > joint_program > (AST.ident List.list > (joint_function, 1456 AST.init_data List.list) AST.program > CostLabel.costlabel > __ > __ > 1457 'a1) > 'a1 1452 1458 1453 1459 val joint_program_inv_rect_Type1 : 1454 params > joint_program > ((joint_function, AST.init_data List.list) 1455 AST.program > CostLabel.costlabel > __ > 'a1) > 'a1 1460 params > joint_program > (AST.ident List.list > (joint_function, 1461 AST.init_data List.list) AST.program > CostLabel.costlabel > __ > __ > 1462 'a1) > 'a1 1456 1463 1457 1464 val joint_program_inv_rect_Type0 : 1458 params > joint_program > ((joint_function, AST.init_data List.list) 1459 AST.program > CostLabel.costlabel > __ > 'a1) > 'a1 1465 params > joint_program > (AST.ident List.list > (joint_function, 1466 AST.init_data List.list) AST.program > CostLabel.costlabel > __ > __ > 1467 'a1) > 'a1 1460 1468 1461 1469 val joint_program_discr : params > joint_program > joint_program > __ … … 1483 1491 List.list) AST.program 1484 1492 1493 val prog_names : params > joint_program > AST.ident List.list 1494 1495 val transform_joint_program : 1496 params > params > (AST.ident List.list > joint_closed_internal_function 1497 > joint_closed_internal_function) > joint_program > joint_program 1498 1485 1499 type stack_cost_model = (AST.ident, Nat.nat) Types.prod List.list 1486 1500
Note: See TracChangeset
for help on using the changeset viewer.