Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.mli

    r2996 r3043  
    220220                                                              -> 'string);
    221221                                                  print_nat : (Nat.nat ->
    222                                                               'string) }
     222                                                              'string);
     223                                                  print_bitvector : (Nat.nat
     224                                                                    ->
     225                                                                    BitVector.bitVector
     226                                                                    ->
     227                                                                    'string) }
    223228
    224229val printing_pass_independent_params_rect_Type4 :
     
    226231  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    227232  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    228   (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
    229   printing_pass_independent_params -> 'a2
     233  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     234  BitVector.bitVector -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
     235  -> 'a2
    230236
    231237val printing_pass_independent_params_rect_Type5 :
     
    233239  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    234240  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    235   (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
    236   printing_pass_independent_params -> 'a2
     241  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     242  BitVector.bitVector -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
     243  -> 'a2
    237244
    238245val printing_pass_independent_params_rect_Type3 :
     
    240247  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    241248  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    242   (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
    243   printing_pass_independent_params -> 'a2
     249  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     250  BitVector.bitVector -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
     251  -> 'a2
    244252
    245253val printing_pass_independent_params_rect_Type2 :
     
    247255  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    248256  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    249   (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
    250   printing_pass_independent_params -> 'a2
     257  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     258  BitVector.bitVector -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
     259  -> 'a2
    251260
    252261val printing_pass_independent_params_rect_Type1 :
     
    254263  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    255264  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    256   (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
    257   printing_pass_independent_params -> 'a2
     265  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     266  BitVector.bitVector -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
     267  -> 'a2
    258268
    259269val printing_pass_independent_params_rect_Type0 :
     
    261271  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    262272  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    263   (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
    264   printing_pass_independent_params -> 'a2
     273  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     274  BitVector.bitVector -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
     275  -> 'a2
    265276
    266277val print_String :
     
    288299
    289300val print_nat : 'a1 printing_pass_independent_params -> Nat.nat -> 'a1
     301
     302val print_bitvector :
     303  'a1 printing_pass_independent_params -> Nat.nat -> BitVector.bitVector ->
     304  'a1
    290305
    291306val printing_pass_independent_params_inv_rect_Type4 :
     
    294309  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    295310  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
    296   -> 'a1) -> __ -> 'a2) -> 'a2
     311  -> 'a1) -> (Nat.nat -> BitVector.bitVector -> 'a1) -> __ -> 'a2) -> 'a2
    297312
    298313val printing_pass_independent_params_inv_rect_Type3 :
     
    301316  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    302317  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
    303   -> 'a1) -> __ -> 'a2) -> 'a2
     318  -> 'a1) -> (Nat.nat -> BitVector.bitVector -> 'a1) -> __ -> 'a2) -> 'a2
    304319
    305320val printing_pass_independent_params_inv_rect_Type2 :
     
    308323  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    309324  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
    310   -> 'a1) -> __ -> 'a2) -> 'a2
     325  -> 'a1) -> (Nat.nat -> BitVector.bitVector -> 'a1) -> __ -> 'a2) -> 'a2
    311326
    312327val printing_pass_independent_params_inv_rect_Type1 :
     
    315330  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    316331  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
    317   -> 'a1) -> __ -> 'a2) -> 'a2
     332  -> 'a1) -> (Nat.nat -> BitVector.bitVector -> 'a1) -> __ -> 'a2) -> 'a2
    318333
    319334val printing_pass_independent_params_inv_rect_Type0 :
     
    322337  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    323338  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
    324   -> 'a1) -> __ -> 'a2) -> 'a2
     339  -> 'a1) -> (Nat.nat -> BitVector.bitVector -> 'a1) -> __ -> 'a2) -> 'a2
    325340
    326341val printing_pass_independent_params_jmdiscr :
     
    676691
    677692val print_joint_function :
    678   Joint.params -> AST.ident List.list -> ('a2, 'a1) code_iteration_params ->
    679   'a2 printing_params -> Joint.joint_function -> 'a2 List.list
     693  Joint.params -> AST.ident List.list -> AST.ident List.list -> ('a2, 'a1)
     694  code_iteration_params -> 'a2 printing_params -> Joint.joint_function -> 'a2
     695  List.list
    680696
    681697val print_joint_program :
Note: See TracChangeset for help on using the changeset viewer.