Changeset 2775 for extracted/status.ml


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/status.ml

    r2773 r2775  
    8989    serialBufferType -> 'a1 **)
    9090let rec serialBufferType_rect_Type4 h_Eight h_Nine = function
    91 | Eight x_19500 -> h_Eight x_19500
    92 | Nine (x_19502, x_19501) -> h_Nine x_19502 x_19501
     91| Eight x_24240 -> h_Eight x_24240
     92| Nine (x_24242, x_24241) -> h_Nine x_24242 x_24241
    9393
    9494(** val serialBufferType_rect_Type5 :
     
    9696    serialBufferType -> 'a1 **)
    9797let rec serialBufferType_rect_Type5 h_Eight h_Nine = function
    98 | Eight x_19506 -> h_Eight x_19506
    99 | Nine (x_19508, x_19507) -> h_Nine x_19508 x_19507
     98| Eight x_24246 -> h_Eight x_24246
     99| Nine (x_24248, x_24247) -> h_Nine x_24248 x_24247
    100100
    101101(** val serialBufferType_rect_Type3 :
     
    103103    serialBufferType -> 'a1 **)
    104104let rec serialBufferType_rect_Type3 h_Eight h_Nine = function
    105 | Eight x_19512 -> h_Eight x_19512
    106 | Nine (x_19514, x_19513) -> h_Nine x_19514 x_19513
     105| Eight x_24252 -> h_Eight x_24252
     106| Nine (x_24254, x_24253) -> h_Nine x_24254 x_24253
    107107
    108108(** val serialBufferType_rect_Type2 :
     
    110110    serialBufferType -> 'a1 **)
    111111let rec serialBufferType_rect_Type2 h_Eight h_Nine = function
    112 | Eight x_19518 -> h_Eight x_19518
    113 | Nine (x_19520, x_19519) -> h_Nine x_19520 x_19519
     112| Eight x_24258 -> h_Eight x_24258
     113| Nine (x_24260, x_24259) -> h_Nine x_24260 x_24259
    114114
    115115(** val serialBufferType_rect_Type1 :
     
    117117    serialBufferType -> 'a1 **)
    118118let rec serialBufferType_rect_Type1 h_Eight h_Nine = function
    119 | Eight x_19524 -> h_Eight x_19524
    120 | Nine (x_19526, x_19525) -> h_Nine x_19526 x_19525
     119| Eight x_24264 -> h_Eight x_24264
     120| Nine (x_24266, x_24265) -> h_Nine x_24266 x_24265
    121121
    122122(** val serialBufferType_rect_Type0 :
     
    124124    serialBufferType -> 'a1 **)
    125125let rec serialBufferType_rect_Type0 h_Eight h_Nine = function
    126 | Eight x_19530 -> h_Eight x_19530
    127 | Nine (x_19532, x_19531) -> h_Nine x_19532 x_19531
     126| Eight x_24270 -> h_Eight x_24270
     127| Nine (x_24272, x_24271) -> h_Nine x_24272 x_24271
    128128
    129129(** val serialBufferType_inv_rect_Type4 :
     
    182182    -> 'a1) -> lineType -> 'a1 **)
    183183let rec lineType_rect_Type4 h_P1 h_P3 h_SerialBuffer = function
    184 | P1 x_19579 -> h_P1 x_19579
    185 | P3 x_19580 -> h_P3 x_19580
    186 | SerialBuffer x_19581 -> h_SerialBuffer x_19581
     184| P1 x_24319 -> h_P1 x_24319
     185| P3 x_24320 -> h_P3 x_24320
     186| SerialBuffer x_24321 -> h_SerialBuffer x_24321
    187187
    188188(** val lineType_rect_Type5 :
     
    190190    -> 'a1) -> lineType -> 'a1 **)
    191191let rec lineType_rect_Type5 h_P1 h_P3 h_SerialBuffer = function
    192 | P1 x_19586 -> h_P1 x_19586
    193 | P3 x_19587 -> h_P3 x_19587
    194 | SerialBuffer x_19588 -> h_SerialBuffer x_19588
     192| P1 x_24326 -> h_P1 x_24326
     193| P3 x_24327 -> h_P3 x_24327
     194| SerialBuffer x_24328 -> h_SerialBuffer x_24328
    195195
    196196(** val lineType_rect_Type3 :
     
    198198    -> 'a1) -> lineType -> 'a1 **)
    199199let rec lineType_rect_Type3 h_P1 h_P3 h_SerialBuffer = function
    200 | P1 x_19593 -> h_P1 x_19593
    201 | P3 x_19594 -> h_P3 x_19594
    202 | SerialBuffer x_19595 -> h_SerialBuffer x_19595
     200| P1 x_24333 -> h_P1 x_24333
     201| P3 x_24334 -> h_P3 x_24334
     202| SerialBuffer x_24335 -> h_SerialBuffer x_24335
    203203
    204204(** val lineType_rect_Type2 :
     
    206206    -> 'a1) -> lineType -> 'a1 **)
    207207let rec lineType_rect_Type2 h_P1 h_P3 h_SerialBuffer = function
    208 | P1 x_19600 -> h_P1 x_19600
    209 | P3 x_19601 -> h_P3 x_19601
    210 | SerialBuffer x_19602 -> h_SerialBuffer x_19602
     208| P1 x_24340 -> h_P1 x_24340
     209| P3 x_24341 -> h_P3 x_24341
     210| SerialBuffer x_24342 -> h_SerialBuffer x_24342
    211211
    212212(** val lineType_rect_Type1 :
     
    214214    -> 'a1) -> lineType -> 'a1 **)
    215215let rec lineType_rect_Type1 h_P1 h_P3 h_SerialBuffer = function
    216 | P1 x_19607 -> h_P1 x_19607
    217 | P3 x_19608 -> h_P3 x_19608
    218 | SerialBuffer x_19609 -> h_SerialBuffer x_19609
     216| P1 x_24347 -> h_P1 x_24347
     217| P3 x_24348 -> h_P3 x_24348
     218| SerialBuffer x_24349 -> h_SerialBuffer x_24349
    219219
    220220(** val lineType_rect_Type0 :
     
    222222    -> 'a1) -> lineType -> 'a1 **)
    223223let rec lineType_rect_Type0 h_P1 h_P3 h_SerialBuffer = function
    224 | P1 x_19614 -> h_P1 x_19614
    225 | P3 x_19615 -> h_P3 x_19615
    226 | SerialBuffer x_19616 -> h_SerialBuffer x_19616
     224| P1 x_24354 -> h_P1 x_24354
     225| P3 x_24355 -> h_P3 x_24355
     226| SerialBuffer x_24356 -> h_SerialBuffer x_24356
    227227
    228228(** val lineType_inv_rect_Type4 :
     
    731731    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    732732    preStatus -> 'a2 **)
    733 let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_20002 =
     733let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_24742 =
    734734  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    735735    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    737737    special_function_registers_8053; special_function_registers_8052 =
    738738    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    739     p3_latch0; clock = clock0 } = x_20002
     739    p3_latch0; clock = clock0 } = x_24742
    740740  in
    741741  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    749749    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    750750    preStatus -> 'a2 **)
    751 let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_20004 =
     751let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_24744 =
    752752  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    753753    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    755755    special_function_registers_8053; special_function_registers_8052 =
    756756    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    757     p3_latch0; clock = clock0 } = x_20004
     757    p3_latch0; clock = clock0 } = x_24744
    758758  in
    759759  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    767767    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    768768    preStatus -> 'a2 **)
    769 let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_20006 =
     769let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_24746 =
    770770  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    771771    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    773773    special_function_registers_8053; special_function_registers_8052 =
    774774    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    775     p3_latch0; clock = clock0 } = x_20006
     775    p3_latch0; clock = clock0 } = x_24746
    776776  in
    777777  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    785785    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    786786    preStatus -> 'a2 **)
    787 let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_20008 =
     787let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_24748 =
    788788  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    789789    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    791791    special_function_registers_8053; special_function_registers_8052 =
    792792    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    793     p3_latch0; clock = clock0 } = x_20008
     793    p3_latch0; clock = clock0 } = x_24748
    794794  in
    795795  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    803803    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    804804    preStatus -> 'a2 **)
    805 let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_20010 =
     805let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_24750 =
    806806  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    807807    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    809809    special_function_registers_8053; special_function_registers_8052 =
    810810    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    811     p3_latch0; clock = clock0 } = x_20010
     811    p3_latch0; clock = clock0 } = x_24750
    812812  in
    813813  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    821821    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    822822    preStatus -> 'a2 **)
    823 let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_20012 =
     823let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_24752 =
    824824  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    825825    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    827827    special_function_registers_8053; special_function_registers_8052 =
    828828    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    829     p3_latch0; clock = clock0 } = x_20012
     829    p3_latch0; clock = clock0 } = x_24752
    830830  in
    831831  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
Note: See TracChangeset for help on using the changeset viewer.