Changeset 3043 for extracted/aSM.mli


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/aSM.mli

    r2999 r3043  
    10881088| Jmp of identifier
    10891089| Jnz of subaddressing_mode * identifier * identifier
    1090 | MovSuccessor of subaddressing_mode * word_side * identifier
    10911090| Call of identifier
    1092 | Mov of subaddressing_mode * identifier
     1091| Mov of (subaddressing_mode, (subaddressing_mode, word_side) Types.prod)
     1092         Types.sum * identifier * BitVector.word
    10931093
    10941094val pseudo_instruction_rect_Type4 :
    10951095  (identifier preinstruction -> 'a1) -> (String.string -> 'a1) ->
    10961096  (CostLabel.costlabel -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode
    1097   -> identifier -> identifier -> 'a1) -> (subaddressing_mode -> word_side ->
    1098   identifier -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode ->
    1099   identifier -> 'a1) -> pseudo_instruction -> 'a1
     1097  -> identifier -> identifier -> 'a1) -> (identifier -> 'a1) ->
     1098  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1099  -> identifier -> BitVector.word -> 'a1) -> pseudo_instruction -> 'a1
    11001100
    11011101val pseudo_instruction_rect_Type5 :
    11021102  (identifier preinstruction -> 'a1) -> (String.string -> 'a1) ->
    11031103  (CostLabel.costlabel -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode
    1104   -> identifier -> identifier -> 'a1) -> (subaddressing_mode -> word_side ->
    1105   identifier -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode ->
    1106   identifier -> 'a1) -> pseudo_instruction -> 'a1
     1104  -> identifier -> identifier -> 'a1) -> (identifier -> 'a1) ->
     1105  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1106  -> identifier -> BitVector.word -> 'a1) -> pseudo_instruction -> 'a1
    11071107
    11081108val pseudo_instruction_rect_Type3 :
    11091109  (identifier preinstruction -> 'a1) -> (String.string -> 'a1) ->
    11101110  (CostLabel.costlabel -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode
    1111   -> identifier -> identifier -> 'a1) -> (subaddressing_mode -> word_side ->
    1112   identifier -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode ->
    1113   identifier -> 'a1) -> pseudo_instruction -> 'a1
     1111  -> identifier -> identifier -> 'a1) -> (identifier -> 'a1) ->
     1112  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1113  -> identifier -> BitVector.word -> 'a1) -> pseudo_instruction -> 'a1
    11141114
    11151115val pseudo_instruction_rect_Type2 :
    11161116  (identifier preinstruction -> 'a1) -> (String.string -> 'a1) ->
    11171117  (CostLabel.costlabel -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode
    1118   -> identifier -> identifier -> 'a1) -> (subaddressing_mode -> word_side ->
    1119   identifier -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode ->
    1120   identifier -> 'a1) -> pseudo_instruction -> 'a1
     1118  -> identifier -> identifier -> 'a1) -> (identifier -> 'a1) ->
     1119  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1120  -> identifier -> BitVector.word -> 'a1) -> pseudo_instruction -> 'a1
    11211121
    11221122val pseudo_instruction_rect_Type1 :
    11231123  (identifier preinstruction -> 'a1) -> (String.string -> 'a1) ->
    11241124  (CostLabel.costlabel -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode
    1125   -> identifier -> identifier -> 'a1) -> (subaddressing_mode -> word_side ->
    1126   identifier -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode ->
    1127   identifier -> 'a1) -> pseudo_instruction -> 'a1
     1125  -> identifier -> identifier -> 'a1) -> (identifier -> 'a1) ->
     1126  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1127  -> identifier -> BitVector.word -> 'a1) -> pseudo_instruction -> 'a1
    11281128
    11291129val pseudo_instruction_rect_Type0 :
    11301130  (identifier preinstruction -> 'a1) -> (String.string -> 'a1) ->
    11311131  (CostLabel.costlabel -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode
    1132   -> identifier -> identifier -> 'a1) -> (subaddressing_mode -> word_side ->
    1133   identifier -> 'a1) -> (identifier -> 'a1) -> (subaddressing_mode ->
    1134   identifier -> 'a1) -> pseudo_instruction -> 'a1
     1132  -> identifier -> identifier -> 'a1) -> (identifier -> 'a1) ->
     1133  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1134  -> identifier -> BitVector.word -> 'a1) -> pseudo_instruction -> 'a1
    11351135
    11361136val pseudo_instruction_inv_rect_Type4 :
     
    11381138  (String.string -> __ -> 'a1) -> (CostLabel.costlabel -> __ -> 'a1) ->
    11391139  (identifier -> __ -> 'a1) -> (subaddressing_mode -> identifier ->
    1140   identifier -> __ -> 'a1) -> (subaddressing_mode -> word_side -> identifier
    1141   -> __ -> 'a1) -> (identifier -> __ -> 'a1) -> (subaddressing_mode ->
    1142   identifier -> __ -> 'a1) -> 'a1
     1140  identifier -> __ -> 'a1) -> (identifier -> __ -> 'a1) ->
     1141  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1142  -> identifier -> BitVector.word -> __ -> 'a1) -> 'a1
    11431143
    11441144val pseudo_instruction_inv_rect_Type3 :
     
    11461146  (String.string -> __ -> 'a1) -> (CostLabel.costlabel -> __ -> 'a1) ->
    11471147  (identifier -> __ -> 'a1) -> (subaddressing_mode -> identifier ->
    1148   identifier -> __ -> 'a1) -> (subaddressing_mode -> word_side -> identifier
    1149   -> __ -> 'a1) -> (identifier -> __ -> 'a1) -> (subaddressing_mode ->
    1150   identifier -> __ -> 'a1) -> 'a1
     1148  identifier -> __ -> 'a1) -> (identifier -> __ -> 'a1) ->
     1149  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1150  -> identifier -> BitVector.word -> __ -> 'a1) -> 'a1
    11511151
    11521152val pseudo_instruction_inv_rect_Type2 :
     
    11541154  (String.string -> __ -> 'a1) -> (CostLabel.costlabel -> __ -> 'a1) ->
    11551155  (identifier -> __ -> 'a1) -> (subaddressing_mode -> identifier ->
    1156   identifier -> __ -> 'a1) -> (subaddressing_mode -> word_side -> identifier
    1157   -> __ -> 'a1) -> (identifier -> __ -> 'a1) -> (subaddressing_mode ->
    1158   identifier -> __ -> 'a1) -> 'a1
     1156  identifier -> __ -> 'a1) -> (identifier -> __ -> 'a1) ->
     1157  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1158  -> identifier -> BitVector.word -> __ -> 'a1) -> 'a1
    11591159
    11601160val pseudo_instruction_inv_rect_Type1 :
     
    11621162  (String.string -> __ -> 'a1) -> (CostLabel.costlabel -> __ -> 'a1) ->
    11631163  (identifier -> __ -> 'a1) -> (subaddressing_mode -> identifier ->
    1164   identifier -> __ -> 'a1) -> (subaddressing_mode -> word_side -> identifier
    1165   -> __ -> 'a1) -> (identifier -> __ -> 'a1) -> (subaddressing_mode ->
    1166   identifier -> __ -> 'a1) -> 'a1
     1164  identifier -> __ -> 'a1) -> (identifier -> __ -> 'a1) ->
     1165  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1166  -> identifier -> BitVector.word -> __ -> 'a1) -> 'a1
    11671167
    11681168val pseudo_instruction_inv_rect_Type0 :
     
    11701170  (String.string -> __ -> 'a1) -> (CostLabel.costlabel -> __ -> 'a1) ->
    11711171  (identifier -> __ -> 'a1) -> (subaddressing_mode -> identifier ->
    1172   identifier -> __ -> 'a1) -> (subaddressing_mode -> word_side -> identifier
    1173   -> __ -> 'a1) -> (identifier -> __ -> 'a1) -> (subaddressing_mode ->
    1174   identifier -> __ -> 'a1) -> 'a1
     1172  identifier -> __ -> 'a1) -> (identifier -> __ -> 'a1) ->
     1173  ((subaddressing_mode, (subaddressing_mode, word_side) Types.prod) Types.sum
     1174  -> identifier -> BitVector.word -> __ -> 'a1) -> 'a1
    11751175
    11761176val pseudo_instruction_discr : pseudo_instruction -> pseudo_instruction -> __
Note: See TracChangeset for help on using the changeset viewer.