Ignore:
Timestamp:
Mar 27, 2013, 6:32:11 PM (8 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.mli

    r2979 r2986  
    275275  AST.ident List.list -> (AST.ident, Joint.joint_function) Types.prod -> __
    276276
    277 val store_bytes :
    278   BitVector.byte List.list -> ASM.labelled_instruction List.list
     277type init_mutable = { virtual_dptr : Z.z; actual_dptr : Z.z;
     278                      built : ASM.labelled_instruction List.list }
     279
     280val init_mutable_rect_Type4 :
     281  (Z.z -> Z.z -> ASM.labelled_instruction List.list -> 'a1) -> init_mutable
     282  -> 'a1
     283
     284val init_mutable_rect_Type5 :
     285  (Z.z -> Z.z -> ASM.labelled_instruction List.list -> 'a1) -> init_mutable
     286  -> 'a1
     287
     288val init_mutable_rect_Type3 :
     289  (Z.z -> Z.z -> ASM.labelled_instruction List.list -> 'a1) -> init_mutable
     290  -> 'a1
     291
     292val init_mutable_rect_Type2 :
     293  (Z.z -> Z.z -> ASM.labelled_instruction List.list -> 'a1) -> init_mutable
     294  -> 'a1
     295
     296val init_mutable_rect_Type1 :
     297  (Z.z -> Z.z -> ASM.labelled_instruction List.list -> 'a1) -> init_mutable
     298  -> 'a1
     299
     300val init_mutable_rect_Type0 :
     301  (Z.z -> Z.z -> ASM.labelled_instruction List.list -> 'a1) -> init_mutable
     302  -> 'a1
     303
     304val virtual_dptr : init_mutable -> Z.z
     305
     306val actual_dptr : init_mutable -> Z.z
     307
     308val built : init_mutable -> ASM.labelled_instruction List.list
     309
     310val init_mutable_inv_rect_Type4 :
     311  init_mutable -> (Z.z -> Z.z -> ASM.labelled_instruction List.list -> __ ->
     312  'a1) -> 'a1
     313
     314val init_mutable_inv_rect_Type3 :
     315  init_mutable -> (Z.z -> Z.z -> ASM.labelled_instruction List.list -> __ ->
     316  'a1) -> 'a1
     317
     318val init_mutable_inv_rect_Type2 :
     319  init_mutable -> (Z.z -> Z.z -> ASM.labelled_instruction List.list -> __ ->
     320  'a1) -> 'a1
     321
     322val init_mutable_inv_rect_Type1 :
     323  init_mutable -> (Z.z -> Z.z -> ASM.labelled_instruction List.list -> __ ->
     324  'a1) -> 'a1
     325
     326val init_mutable_inv_rect_Type0 :
     327  init_mutable -> (Z.z -> Z.z -> ASM.labelled_instruction List.list -> __ ->
     328  'a1) -> 'a1
     329
     330val init_mutable_discr : init_mutable -> init_mutable -> __
     331
     332val init_mutable_jmdiscr : init_mutable -> init_mutable -> __
     333
     334val store_byte : BitVector.byte -> init_mutable -> init_mutable
    279335
    280336val do_store_init_data :
    281   AST.ident List.list -> aSM_universe -> Z.z -> AST.init_data ->
    282   ASM.labelled_instruction List.list
     337  AST.ident List.list -> aSM_universe -> AST.init_data -> init_mutable ->
     338  init_mutable
    283339
    284340val do_store_init_data_list :
     
    286342  ASM.labelled_instruction List.list
    287343
    288 val translate_initialization :
    289   LIN.lin_program -> ASM.labelled_instruction List.list
     344val translate_premain :
     345  LIN.lin_program -> ASM.identifier -> ASM.labelled_instruction List.list
    290346  Monad.smax_def__o__monad
    291347
Note: See TracChangeset for help on using the changeset viewer.