Changeset 3059 for extracted/eRTL.ml


Ignore:
Timestamp:
Apr 2, 2013, 1:25:09 AM (7 years ago)
Author:
sacerdot
Message:

New extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTL.ml

    r3043 r3059  
    126126    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    127127let rec move_dst_rect_Type4 h_PSD h_HDW = function
    128 | PSD x_18555 -> h_PSD x_18555
    129 | HDW x_18556 -> h_HDW x_18556
     128| PSD x_18499 -> h_PSD x_18499
     129| HDW x_18500 -> h_HDW x_18500
    130130
    131131(** val move_dst_rect_Type5 :
    132132    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    133133let rec move_dst_rect_Type5 h_PSD h_HDW = function
    134 | PSD x_18560 -> h_PSD x_18560
    135 | HDW x_18561 -> h_HDW x_18561
     134| PSD x_18504 -> h_PSD x_18504
     135| HDW x_18505 -> h_HDW x_18505
    136136
    137137(** val move_dst_rect_Type3 :
    138138    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    139139let rec move_dst_rect_Type3 h_PSD h_HDW = function
    140 | PSD x_18565 -> h_PSD x_18565
    141 | HDW x_18566 -> h_HDW x_18566
     140| PSD x_18509 -> h_PSD x_18509
     141| HDW x_18510 -> h_HDW x_18510
    142142
    143143(** val move_dst_rect_Type2 :
    144144    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    145145let rec move_dst_rect_Type2 h_PSD h_HDW = function
    146 | PSD x_18570 -> h_PSD x_18570
    147 | HDW x_18571 -> h_HDW x_18571
     146| PSD x_18514 -> h_PSD x_18514
     147| HDW x_18515 -> h_HDW x_18515
    148148
    149149(** val move_dst_rect_Type1 :
    150150    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    151151let rec move_dst_rect_Type1 h_PSD h_HDW = function
    152 | PSD x_18575 -> h_PSD x_18575
    153 | HDW x_18576 -> h_HDW x_18576
     152| PSD x_18519 -> h_PSD x_18519
     153| HDW x_18520 -> h_HDW x_18520
    154154
    155155(** val move_dst_rect_Type0 :
    156156    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    157157let rec move_dst_rect_Type0 h_PSD h_HDW = function
    158 | PSD x_18580 -> h_PSD x_18580
    159 | HDW x_18581 -> h_HDW x_18581
     158| PSD x_18524 -> h_PSD x_18524
     159| HDW x_18525 -> h_HDW x_18525
    160160
    161161(** val move_dst_inv_rect_Type4 :
     
    352352| Ertl_new_frame -> h_ertl_new_frame
    353353| Ertl_del_frame -> h_ertl_del_frame
    354 | Ertl_frame_size x_18620 -> h_ertl_frame_size x_18620
     354| Ertl_frame_size x_18564 -> h_ertl_frame_size x_18564
    355355
    356356(** val ertl_seq_rect_Type5 :
     
    359359| Ertl_new_frame -> h_ertl_new_frame
    360360| Ertl_del_frame -> h_ertl_del_frame
    361 | Ertl_frame_size x_18625 -> h_ertl_frame_size x_18625
     361| Ertl_frame_size x_18569 -> h_ertl_frame_size x_18569
    362362
    363363(** val ertl_seq_rect_Type3 :
     
    366366| Ertl_new_frame -> h_ertl_new_frame
    367367| Ertl_del_frame -> h_ertl_del_frame
    368 | Ertl_frame_size x_18630 -> h_ertl_frame_size x_18630
     368| Ertl_frame_size x_18574 -> h_ertl_frame_size x_18574
    369369
    370370(** val ertl_seq_rect_Type2 :
     
    373373| Ertl_new_frame -> h_ertl_new_frame
    374374| Ertl_del_frame -> h_ertl_del_frame
    375 | Ertl_frame_size x_18635 -> h_ertl_frame_size x_18635
     375| Ertl_frame_size x_18579 -> h_ertl_frame_size x_18579
    376376
    377377(** val ertl_seq_rect_Type1 :
     
    380380| Ertl_new_frame -> h_ertl_new_frame
    381381| Ertl_del_frame -> h_ertl_del_frame
    382 | Ertl_frame_size x_18640 -> h_ertl_frame_size x_18640
     382| Ertl_frame_size x_18584 -> h_ertl_frame_size x_18584
    383383
    384384(** val ertl_seq_rect_Type0 :
     
    387387| Ertl_new_frame -> h_ertl_new_frame
    388388| Ertl_del_frame -> h_ertl_del_frame
    389 | Ertl_frame_size x_18645 -> h_ertl_frame_size x_18645
     389| Ertl_frame_size x_18589 -> h_ertl_frame_size x_18589
    390390
    391391(** val ertl_seq_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.