Changeset 2873 for extracted/compiler.ml


Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.ml

    r2867 r2873  
    510510  let i2 = Obj.magic observe Ertlptr_pass { Types.fst = p2; Types.snd = st1 }
    511511  in
    512   let { Types.fst = eta29089; Types.snd = max_stack } =
     512  let { Types.fst = eta29104; Types.snd = max_stack } =
    513513    ERTLptrToLTL.ertlptr_to_ltl compute_fixpoint colour_graph p2
    514514  in
    515   let { Types.fst = p3; Types.snd = stack_cost } = eta29089 in
     515  let { Types.fst = p3; Types.snd = stack_cost } = eta29104 in
    516516  let st2 = lookup_stack_cost (Joint.graph_params_to_params LTL.lTL) p3 in
    517517  let i3 = Obj.magic observe Ltl_pass { Types.fst = p3; Types.snd = st2 } in
     
    586586    Csyntax.clight_program -> Label.clight_cost_map -> 'a1) ->
    587587    compiler_output -> 'a1 **)
    588 let rec compiler_output_rect_Type4 h_mk_compiler_output x_25195 =
     588let rec compiler_output_rect_Type4 h_mk_compiler_output x_25364 =
    589589  let { c_labelled_object_code = c_labelled_object_code0; c_stack_cost =
    590590    c_stack_cost0; c_max_stack = c_max_stack0; c_labelled_clight =
    591     c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25195
     591    c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25364
    592592  in
    593593  h_mk_compiler_output c_labelled_object_code0 c_stack_cost0 c_max_stack0
     
    598598    Csyntax.clight_program -> Label.clight_cost_map -> 'a1) ->
    599599    compiler_output -> 'a1 **)
    600 let rec compiler_output_rect_Type5 h_mk_compiler_output x_25197 =
     600let rec compiler_output_rect_Type5 h_mk_compiler_output x_25366 =
    601601  let { c_labelled_object_code = c_labelled_object_code0; c_stack_cost =
    602602    c_stack_cost0; c_max_stack = c_max_stack0; c_labelled_clight =
    603     c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25197
     603    c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25366
    604604  in
    605605  h_mk_compiler_output c_labelled_object_code0 c_stack_cost0 c_max_stack0
     
    610610    Csyntax.clight_program -> Label.clight_cost_map -> 'a1) ->
    611611    compiler_output -> 'a1 **)
    612 let rec compiler_output_rect_Type3 h_mk_compiler_output x_25199 =
     612let rec compiler_output_rect_Type3 h_mk_compiler_output x_25368 =
    613613  let { c_labelled_object_code = c_labelled_object_code0; c_stack_cost =
    614614    c_stack_cost0; c_max_stack = c_max_stack0; c_labelled_clight =
    615     c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25199
     615    c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25368
    616616  in
    617617  h_mk_compiler_output c_labelled_object_code0 c_stack_cost0 c_max_stack0
     
    622622    Csyntax.clight_program -> Label.clight_cost_map -> 'a1) ->
    623623    compiler_output -> 'a1 **)
    624 let rec compiler_output_rect_Type2 h_mk_compiler_output x_25201 =
     624let rec compiler_output_rect_Type2 h_mk_compiler_output x_25370 =
    625625  let { c_labelled_object_code = c_labelled_object_code0; c_stack_cost =
    626626    c_stack_cost0; c_max_stack = c_max_stack0; c_labelled_clight =
    627     c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25201
     627    c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25370
    628628  in
    629629  h_mk_compiler_output c_labelled_object_code0 c_stack_cost0 c_max_stack0
     
    634634    Csyntax.clight_program -> Label.clight_cost_map -> 'a1) ->
    635635    compiler_output -> 'a1 **)
    636 let rec compiler_output_rect_Type1 h_mk_compiler_output x_25203 =
     636let rec compiler_output_rect_Type1 h_mk_compiler_output x_25372 =
    637637  let { c_labelled_object_code = c_labelled_object_code0; c_stack_cost =
    638638    c_stack_cost0; c_max_stack = c_max_stack0; c_labelled_clight =
    639     c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25203
     639    c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25372
    640640  in
    641641  h_mk_compiler_output c_labelled_object_code0 c_stack_cost0 c_max_stack0
     
    646646    Csyntax.clight_program -> Label.clight_cost_map -> 'a1) ->
    647647    compiler_output -> 'a1 **)
    648 let rec compiler_output_rect_Type0 h_mk_compiler_output x_25205 =
     648let rec compiler_output_rect_Type0 h_mk_compiler_output x_25374 =
    649649  let { c_labelled_object_code = c_labelled_object_code0; c_stack_cost =
    650650    c_stack_cost0; c_max_stack = c_max_stack0; c_labelled_clight =
    651     c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25205
     651    c_labelled_clight0; c_clight_cost_map = c_clight_cost_map0 } = x_25374
    652652  in
    653653  h_mk_compiler_output c_labelled_object_code0 c_stack_cost0 c_max_stack0
Note: See TracChangeset for help on using the changeset viewer.