Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semanticsUtils.ml

    r2829 r2867  
    154154    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    155155    -> hw_register_env -> 'a1 **)
    156 let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_3 =
    157   let { reg_env = reg_env0; other_bit = other_bit0 } = x_3 in
     156let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_26065 =
     157  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26065 in
    158158  h_mk_hw_register_env reg_env0 other_bit0
    159159
     
    161161    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    162162    -> hw_register_env -> 'a1 **)
    163 let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_5 =
    164   let { reg_env = reg_env0; other_bit = other_bit0 } = x_5 in
     163let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_26067 =
     164  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26067 in
    165165  h_mk_hw_register_env reg_env0 other_bit0
    166166
     
    168168    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    169169    -> hw_register_env -> 'a1 **)
    170 let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_7 =
    171   let { reg_env = reg_env0; other_bit = other_bit0 } = x_7 in
     170let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_26069 =
     171  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26069 in
    172172  h_mk_hw_register_env reg_env0 other_bit0
    173173
     
    175175    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    176176    -> hw_register_env -> 'a1 **)
    177 let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_9 =
    178   let { reg_env = reg_env0; other_bit = other_bit0 } = x_9 in
     177let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_26071 =
     178  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26071 in
    179179  h_mk_hw_register_env reg_env0 other_bit0
    180180
     
    182182    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    183183    -> hw_register_env -> 'a1 **)
    184 let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_11 =
    185   let { reg_env = reg_env0; other_bit = other_bit0 } = x_11 in
     184let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_26073 =
     185  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26073 in
    186186  h_mk_hw_register_env reg_env0 other_bit0
    187187
     
    189189    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    190190    -> hw_register_env -> 'a1 **)
    191 let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_13 =
    192   let { reg_env = reg_env0; other_bit = other_bit0 } = x_13 in
     191let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_26075 =
     192  let { reg_env = reg_env0; other_bit = other_bit0 } = x_26075 in
    193193  h_mk_hw_register_env reg_env0 other_bit0
    194194
     
    301301    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    302302    'a1) -> reg_sp -> 'a1 **)
    303 let rec reg_sp_rect_Type4 h_mk_reg_sp x_29 =
    304   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_29 in
     303let rec reg_sp_rect_Type4 h_mk_reg_sp x_26091 =
     304  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26091 in
    305305  h_mk_reg_sp reg_sp_env0 stackp0
    306306
     
    308308    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    309309    'a1) -> reg_sp -> 'a1 **)
    310 let rec reg_sp_rect_Type5 h_mk_reg_sp x_31 =
    311   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_31 in
     310let rec reg_sp_rect_Type5 h_mk_reg_sp x_26093 =
     311  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26093 in
    312312  h_mk_reg_sp reg_sp_env0 stackp0
    313313
     
    315315    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    316316    'a1) -> reg_sp -> 'a1 **)
    317 let rec reg_sp_rect_Type3 h_mk_reg_sp x_33 =
    318   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_33 in
     317let rec reg_sp_rect_Type3 h_mk_reg_sp x_26095 =
     318  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26095 in
    319319  h_mk_reg_sp reg_sp_env0 stackp0
    320320
     
    322322    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    323323    'a1) -> reg_sp -> 'a1 **)
    324 let rec reg_sp_rect_Type2 h_mk_reg_sp x_35 =
    325   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_35 in
     324let rec reg_sp_rect_Type2 h_mk_reg_sp x_26097 =
     325  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26097 in
    326326  h_mk_reg_sp reg_sp_env0 stackp0
    327327
     
    329329    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    330330    'a1) -> reg_sp -> 'a1 **)
    331 let rec reg_sp_rect_Type1 h_mk_reg_sp x_37 =
    332   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_37 in
     331let rec reg_sp_rect_Type1 h_mk_reg_sp x_26099 =
     332  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26099 in
    333333  h_mk_reg_sp reg_sp_env0 stackp0
    334334
     
    336336    (ByteValues.beval Identifiers.identifier_map -> ByteValues.xpointer ->
    337337    'a1) -> reg_sp -> 'a1 **)
    338 let rec reg_sp_rect_Type0 h_mk_reg_sp x_39 =
    339   let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_39 in
     338let rec reg_sp_rect_Type0 h_mk_reg_sp x_26101 =
     339  let { reg_sp_env = reg_sp_env0; stackp = stackp0 } = x_26101 in
    340340  h_mk_reg_sp reg_sp_env0 stackp0
    341341
     
    459459    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    460460    -> 'a1) -> sem_graph_params -> 'a1 **)
    461 let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_55 =
    462   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_55 in
     461let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_26117 =
     462  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26117 in
    463463  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    464464
     
    466466    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    467467    -> 'a1) -> sem_graph_params -> 'a1 **)
    468 let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_57 =
    469   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_57 in
     468let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_26119 =
     469  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26119 in
    470470  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    471471
     
    473473    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    474474    -> 'a1) -> sem_graph_params -> 'a1 **)
    475 let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_59 =
    476   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_59 in
     475let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_26121 =
     476  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26121 in
    477477  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    478478
     
    480480    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    481481    -> 'a1) -> sem_graph_params -> 'a1 **)
    482 let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_61 =
    483   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_61 in
     482let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_26123 =
     483  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26123 in
    484484  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    485485
     
    487487    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    488488    -> 'a1) -> sem_graph_params -> 'a1 **)
    489 let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_63 =
    490   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_63 in
     489let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_26125 =
     490  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26125 in
    491491  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    492492
     
    494494    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    495495    -> 'a1) -> sem_graph_params -> 'a1 **)
    496 let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_65 =
    497   let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_65 in
     496let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_26127 =
     497  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0 } = x_26127 in
    498498  h_mk_sem_graph_params sgp_pars0 sgp_sup0
    499499
     
    599599    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    600600    -> 'a1) -> sem_lin_params -> 'a1 **)
    601 let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_82 =
    602   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_82 in
     601let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_26144 =
     602  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26144 in
    603603  h_mk_sem_lin_params slp_pars0 slp_sup0
    604604
     
    606606    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    607607    -> 'a1) -> sem_lin_params -> 'a1 **)
    608 let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_84 =
    609   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_84 in
     608let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_26146 =
     609  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26146 in
    610610  h_mk_sem_lin_params slp_pars0 slp_sup0
    611611
     
    613613    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    614614    -> 'a1) -> sem_lin_params -> 'a1 **)
    615 let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_86 =
    616   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_86 in
     615let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_26148 =
     616  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26148 in
    617617  h_mk_sem_lin_params slp_pars0 slp_sup0
    618618
     
    620620    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    621621    -> 'a1) -> sem_lin_params -> 'a1 **)
    622 let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_88 =
    623   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_88 in
     622let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_26150 =
     623  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26150 in
    624624  h_mk_sem_lin_params slp_pars0 slp_sup0
    625625
     
    627627    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    628628    -> 'a1) -> sem_lin_params -> 'a1 **)
    629 let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_90 =
    630   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_90 in
     629let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_26152 =
     630  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26152 in
    631631  h_mk_sem_lin_params slp_pars0 slp_sup0
    632632
     
    634634    (Joint.uns_params -> (__ -> __ Joint_semantics.sem_unserialized_params)
    635635    -> 'a1) -> sem_lin_params -> 'a1 **)
    636 let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_92 =
    637   let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_92 in
     636let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_26154 =
     637  let { slp_pars = slp_pars0; slp_sup = slp_sup0 } = x_26154 in
    638638  h_mk_sem_lin_params slp_pars0 slp_sup0
    639639
Note: See TracChangeset for help on using the changeset viewer.