Changeset 1099


Ignore:
Timestamp:
Aug 3, 2011, 4:17:41 PM (8 years ago)
Author:
ayache
Message:

Bug fix in Deliverables/D2.2/8051: cast simplification.

Location:
Deliverables/D2.2/8051
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/README

    r818 r1099  
    3434--------------
    3535
    36   - ocaml    (>= 3.13)
     36  - ocaml    (>= 3.12)
    3737  - menhir   (>= 20090505)
    3838  - CIL      (included in the distribution)
  • Deliverables/D2.2/8051/distributed_files

    r619 r1099  
    1 .
    2 ./_tags
    3 ./README
    4 ./Makefile.local
    5 ./myocamlbuild.ml
    6 ./Makefile.config
    7 ./distributed_files
    8 ./cparser
    9 ./cparser/.depend
    10 ./cparser/SimplExpr.ml
    11 ./cparser/Env.mli
    12 ./cparser/C.mli
    13 ./cparser/Builtins.mli
    14 ./cparser/CBuiltins.ml
    15 ./cparser/Lexer.mli
    16 ./cparser/Elab.mli
    17 ./cparser/StructAssign.mli
    18 ./cparser/Parse.mli
    19 ./cparser/Bitfields.ml
    20 ./cparser/Machine.mli
    21 ./cparser/Unblock.ml
    22 ./cparser/Cleanup.mli
    23 ./cparser/Ceval.mli
    24 ./cparser/StructByValue.ml
    25 ./cparser/Unblock.mli
    26 ./cparser/Cabshelper.ml
    27 ./cparser/AddCasts.ml
    28 ./cparser/Main.ml
    29 ./cparser/Cprint.ml
    30 ./cparser/Machine.ml
    31 ./cparser/StructByValue.mli
    32 ./cparser/GCC.ml
    33 ./cparser/uint64.c
    34 ./cparser/Cabs.ml
    35 ./cparser/Cutil.ml
    36 ./cparser/Env.ml
    37 ./cparser/Rename.ml
    38 ./cparser/Bitfields.mli
    39 ./cparser/Transform.ml
    40 ./cparser/Errors.ml
    41 ./cparser/Parse_aux.ml
    42 ./cparser/Elab.ml
    43 ./cparser/Cleanup.ml
    44 ./cparser/Ceval.ml
    45 ./cparser/Parser.mly
    46 ./cparser/Makefile
    47 ./cparser/Cutil.mli
    48 ./cparser/Parse_aux.mli
    49 ./cparser/GCC.mli
    50 ./cparser/AddCasts.mli
    51 ./cparser/SimplExpr.mli
    52 ./cparser/Parse.ml
    53 ./cparser/Errors.mli
    54 ./cparser/Rename.mli
    55 ./cparser/StructAssign.ml
    56 ./cparser/Builtins.ml
    57 ./cparser/Lexer.mll
    58 ./cparser/Cprint.mli
    59 ./cparser/Transform.mli
    60 ./Makefile.generic
    61 ./tests
    62 ./tests/clight
    63 ./tests/clight/binop.log.expected
    64 ./tests/clight/complets.c.expected
    65 ./tests/clight/ifthenelse.c.expected
    66 ./tests/clight/testTB_Array_ecriture.c
    67 ./tests/clight/complets.c
    68 ./tests/clight/fib.Cminor.expected
    69 ./tests/clight/array.c
    70 ./tests/clight/testTB_Array_LE.c
    71 ./tests/clight/fib.RTLabs.expected
    72 ./tests/clight/fib.LIN.expected
    73 ./tests/clight/ifthenelse.Cminor.expected
    74 ./tests/clight/ifthenelse.Clight.expected
    75 ./tests/clight/testCOMP_tri.c
    76 ./tests/clight/testCOMP_tri.log.expected
    77 ./tests/clight/testTB_boucle.c
    78 ./tests/clight/ifthenelse.LIN.expected
    79 ./tests/clight/testTB_Array_LE.c.expected
    80 ./tests/clight/testTB_Array_double.c
    81 ./tests/clight/fir_complexe.c.expected
    82 ./tests/clight/ifthenelse.ERTL.expected
    83 ./tests/clight/fir_complexe.c
    84 ./tests/clight/fir4.c
    85 ./tests/clight/integr.log.expected
    86 ./tests/clight/fib.c
    87 ./tests/clight/binop.c.expected
    88 ./tests/clight/fib.LTL.expected
    89 ./tests/clight/testTB_Array_lecture.c
    90 ./tests/clight/fir4.c.expected
    91 ./tests/clight/ifthenelse.ASM.expected
    92 ./tests/clight/generate
    93 ./tests/clight/fib.ERTL.expected
    94 ./tests/clight/testTB_Array_double.c.expected
    95 ./tests/clight/binop.c
    96 ./tests/clight/testTB_Array_ecriture.log.expected
    97 ./tests/clight/fir_complexe.log.expected
    98 ./tests/clight/testTB_boucle.log.expected
    99 ./tests/clight/testTB_Array_lecture.c.expected
    100 ./tests/clight/ifthenelse.RTL.expected
    101 ./tests/clight/integr.c.expected
    102 ./tests/clight/fib.log.expected
    103 ./tests/clight/integr.c
    104 ./tests/clight/ok-counter
    105 ./tests/clight/for.c.expected
    106 ./tests/clight/ifthenelse.LTL.expected
    107 ./tests/clight/fib.ASM.expected
    108 ./tests/clight/total-counter
    109 ./tests/clight/ko-counter
    110 ./tests/clight/for.log.expected
    111 ./tests/clight/fib.Clight.expected
    112 ./tests/clight/testTB_Array_double.log.expected
    113 ./tests/clight/Makefile
    114 ./tests/clight/testTB_boucle.c.expected
    115 ./tests/clight/testTB_Array_LE.log.expected
    116 ./tests/clight/fib.c.expected
    117 ./tests/clight/fib.RTL.expected
    118 ./tests/clight/testTB_Array_lecture.log.expected
    119 ./tests/clight/array.c.expected
    120 ./tests/clight/fir4.log.expected
    121 ./tests/clight/testCOMP_tri.c.expected
    122 ./tests/clight/complets.log.expected
    123 ./tests/clight/for.c
    124 ./tests/clight/array.log.expected
    125 ./tests/clight/ifthenelse.RTLabs.expected
    126 ./tests/clight/ifthenelse.c
    127 ./tests/clight/ifthenelse.log.expected
    128 ./tests/clight/testTB_Array_ecriture.c.expected
    129 ./tests/Makefile
    130 ./acc.odocl
    131 ./Makefile
    132 ./doc
    133 ./doc/src
    134 ./doc/src/main
    135 ./doc/html
    136 ./doc/html/Memory.BlockMap.html
    137 ./doc/html/code_VALRTLToERTLI.Make.prologue.html
    138 ./doc/html/type_AtomSig.S.ImperativeMap.html
    139 ./doc/html/code_VALPrint.transposerev.html
    140 ./doc/html/type_MyMap.S.html
    141 ./doc/html/type_RTLabsPrinter.html
    142 ./doc/html/code_VALPrint.catenate.html
    143 ./doc/html/code_VALMiscPottier.iteri.html
    144 ./doc/html/AtomSig.S.Set.html
    145 ./doc/html/type_SetMap.html
    146 ./doc/html/code_VALPrintPottier.var.html
    147 ./doc/html/code_LTLPrinter.html
    148 ./doc/html/code_VALPrint.atmost.html
    149 ./doc/html/code_VALPosition.line.html
    150 ./doc/html/code_VALMemory.update.html
    151 ./doc/html/RTLabs.html
    152 ./doc/html/code_VALAcc.input_files.html
    153 ./doc/html/code_VALCminorToRTLabs.translate.html
    154 ./doc/html/RTLPrinter.html
    155 ./doc/html/code_Label.html
    156 ./doc/html/MyMap.OrderedType.html
    157 ./doc/html/code_VALMiscPottier.length.html
    158 ./doc/html/code_VALPrintPottier.list.html
    159 ./doc/html/code_VALRTLInterpret.default.html
    160 ./doc/html/type_Interference.Vertex.html
    161 ./doc/html/type_Position.html
    162 ./doc/html/type_Acc.html
    163 ./doc/html/code_VALLiveness.L.join.html
    164 ./doc/html/RTLToERTLI.html
    165 ./doc/html/code_VALInteger.min_int.html
    166 ./doc/html/type_Languages.html
    167 ./doc/html/type_ClightAnnotator.html
    168 ./doc/html/code_ERTLToLTLI.Make.html
    169 ./doc/html/RTLabsPrinter.html
    170 ./doc/html/type_Integer.html
    171 ./doc/html/type_LIN.html
    172 ./doc/html/code_RTLToERTLI.Make.html
    173 ./doc/html/code_VALPrintPottier.preclist.html
    174 ./doc/html/type_Misc.ListExt.html
    175 ./doc/html/PrintPrimitive.html
    176 ./doc/html/Liveness.L.html
    177 ./doc/html/Options.html
    178 ./doc/html/code_VALInterference.lowest_non_move_related.html
    179 ./doc/html/type_SetMap.Homogeneous.html
    180 ./doc/html/code_VALPosition.cpos.html
    181 ./doc/html/code_UnionFind.html
    182 ./doc/html/code_VALMiscPottier.string_of_list.html
    183 ./doc/html/code_VALLINToASM.translate.html
    184 ./doc/html/code_AnnotationOptions.html
    185 ./doc/html/code_VALMemory.empty_memory.html
    186 ./doc/html/type_Integer.Array.html
    187 ./doc/html/code_VALLTLInterpret.interpret.html
    188 ./doc/html/code_VALRTLInterpret.gread.html
    189 ./doc/html/code_VALInterference.mkiph.html
    190 ./doc/html/type_RTLToERTLI.Make.html
    191 ./doc/html/code_VALCminorAnnotator.cost_labels.html
    192 ./doc/html/code_VALInterference.degree.html
    193 ./doc/html/AtomSig.S.FlexSet.html
    194 ./doc/html/code_ERTLPrinter.html
    195 ./doc/html/code_VALUses.examine_procedure.html
    196 ./doc/html/code_VALInteger.max.html
    197 ./doc/html/code_Memory.OffsetMap.html
    198 ./doc/html/type_RTLToERTL.html
    199 ./doc/html/type_StringTools.html
    200 ./doc/html/code_VALPosition.end_of_position.html
    201 ./doc/html/code_Coloring.html
    202 ./doc/html/code_VALPrintPottier.catenate.html
    203 ./doc/html/code_VALMisc.ListExt.last.html
    204 ./doc/html/type_SetMap.MakeHetero.html
    205 ./doc/html/code_VALMiscPottier.split.html
    206 ./doc/html/Position.html
    207 ./doc/html/type_Build.html
    208 ./doc/html/code_VALInteger.(land).html
    209 ./doc/html/code_VALOptions.annotation_requested.html
    210 ./doc/html/PrioritySet.html
    211 ./doc/html/code_VALInteger.exp2.html
    212 ./doc/html/Label.html
    213 ./doc/html/code_VALInterference.remove.html
    214 ./doc/html/Memory.GlobalMap.html
    215 ./doc/html/code_Misc.SysExt.html
    216 ./doc/html/Integer.html
    217 ./doc/html/code_VALOptionsParsing.options.html
    218 ./doc/html/code_VALPrint.indent.html
    219 ./doc/html/code_RTLToERTLI.html
    220 ./doc/html/code_VALMemory.alloc_datas.html
    221 ./doc/html/code_Interference.Vertex.html
    222 ./doc/html/code_VALOptionsParsing.results.html
    223 ./doc/html/code_VALCminorLabelling.add_cost_labels.html
    224 ./doc/html/code_VALInteger.(_gt_).html
    225 ./doc/html/code_VALOptions.set_source_language.html
    226 ./doc/html/type_AtomSig.S.SetMap.html
    227 ./doc/html/code_VALPosition.dummy.html
    228 ./doc/html/type_Memory.GlobalMap.html
    229 ./doc/html/code_VALERTLToLTLI.Make.translate_instruction.html
    230 ./doc/html/type_Uses.html
    231 ./doc/html/code_Liveness.html
    232 ./doc/html/code_VALRTLInterpret.read.html
    233 ./doc/html/code_VALInterference.droph.html
    234 ./doc/html/type_Clight.html
    235 ./doc/html/Acc.html
    236 ./doc/html/code_VALLanguages.to_string.html
    237 ./doc/html/code_VALValue.int_of_value.html
    238 ./doc/html/code_VALMisc.ListExt.assoc_diff.html
    239 ./doc/html/code_VALClightLabelling.add_cost_labels.html
    240 ./doc/html/code_MIPS.html
    241 ./doc/html/code_ClightToCminor.html
    242 ./doc/html/code_VALInterference.coalesceh.html
    243 ./doc/html/code_PrintPottier.html
    244 ./doc/html/code_VALLiveness.L.psingleton.html
    245 ./doc/html/MyMap.S.html
    246 ./doc/html/type_AtomSig.html
    247 ./doc/html/code_VALPrintPottier.nlnl.html
    248 ./doc/html/index_module_types.html
    249 ./doc/html/code_VALValue.bool_of_value.html
    250 ./doc/html/code_VALInteger.(mod).html
    251 ./doc/html/code_VALCostLabel.constant_map.html
    252 ./doc/html/Memory.OrdInt.html
    253 ./doc/html/MyMap.Make.html
    254 ./doc/html/code_VALPrioritySet.Make.incrementifx.html
    255 ./doc/html/code_StringTools.html
    256 ./doc/html/code_VALOptions.is_debug_enabled.html
    257 ./doc/html/LINPrinter.html
    258 ./doc/html/code_VALMemory.store.html
    259 ./doc/html/code_PrioritySet.Make.html
    260 ./doc/html/code_VALPrint.nlnl.html
    261 ./doc/html/OptionsParsing.html
    262 ./doc/html/code_VALRTLInterpret.gwrite.html
    263 ./doc/html/code_VALInteger.(lsl).html
    264 ./doc/html/type_StringSig.S.html
    265 ./doc/html/code_VALMemory.is_valid_access.html
    266 ./doc/html/code_VALOptions.input_files.html
    267 ./doc/html/AtomSig.html
    268 ./doc/html/AtomSig.S.FlexMap.html
    269 ./doc/html/MyMap.html
    270 ./doc/html/type_AST.html
    271 ./doc/html/Cminor.html
    272 ./doc/html/code_VALMiscPottier.update_list_assoc.html
    273 ./doc/html/Integer.Array.html
    274 ./doc/html/type_StringSig.html
    275 ./doc/html/Interference.html
    276 ./doc/html/code_VALCminorAnnotator.instrument.html
    277 ./doc/html/code_MIPS.RegisterSet.html
    278 ./doc/html/StringTools.html
    279 ./doc/html/code_VALPosition.with_poss.html
    280 ./doc/html/type_ERTLPrinter.html
    281 ./doc/html/code_VALMemory.add_var.html
    282 ./doc/html/code_VALPrintPottier.seplist.html
    283 ./doc/html/code_VALSyntacticAnalysis.process.html
    284 ./doc/html/code_VALPrintPottier.transposerev.html
    285 ./doc/html/type_MyMap.Make.html
    286 ./doc/html/code_VALASMCompute_costs.compute.html
    287 ./doc/html/code_VALPrintPottier.semicolon.html
    288 ./doc/html/Primitive.html
    289 ./doc/html/code_VALPrintPrimitive.callee.html
    290 ./doc/html/MIPS.RegisterSet.html
    291 ./doc/html/code_VALMIPS.print.html
    292 ./doc/html/type_MIPS.RegisterSet.html
    293 ./doc/html/type_StringSig.S.Map.html
    294 ./doc/html/CostLabel.html
    295 ./doc/html/type_Misc.SysExt.html
    296 ./doc/html/code_VALLINInterpret.interpret.html
    297 ./doc/html/html.stamp
    298 ./doc/html/index_attributes.html
    299 ./doc/html/code_VALValue.val_false.html
    300 ./doc/html/code_VALCminorAnnotator.all_labels.html
    301 ./doc/html/type_Label.html
    302 ./doc/html/StringSig.S.Gen.html
    303 ./doc/html/code_VALPosition.unknown_pos.html
    304 ./doc/html/code_VALMemory.add_fun_def.html
    305 ./doc/html/type_MyMap.html
    306 ./doc/html/code_VALInteger.log2.html
    307 ./doc/html/code_RTLPrinter.html
    308 ./doc/html/code_VALLanguages.language_of_ast.html
    309 ./doc/html/code_Error.html
    310 ./doc/html/Misc.ArgExt.html
    311 ./doc/html/code_VALPrint.preclist.html
    312 ./doc/html/type_SetMap.MakeHomo.html
    313 ./doc/html/PrintOps.html
    314 ./doc/html/Value.html
    315 ./doc/html/type_ERTL.html
    316 ./doc/html/code_VALMiscPottier.prefix.html
    317 ./doc/html/code_VALError.resume_if_error.html
    318 ./doc/html/type_RTLabsToRTL.html
    319 ./doc/html/code_VALMIPS.result.html
    320 ./doc/html/code_VALRTLToERTLI.Make.translate_tail_call.html
    321 ./doc/html/index_class_types.html
    322 ./doc/html/Clight.html
    323 ./doc/html/type_PrintCFG.html
    324 ./doc/html/LTLPrinter.html
    325 ./doc/html/code_SetMap.MakeHetero.html
    326 ./doc/html/type_SyntacticAnalysis.html
    327 ./doc/html/type_LTLToLIN.html
    328 ./doc/html/Error.html
    329 ./doc/html/code_VALMIPS.word.html
    330 ./doc/html/code_VALInteger.(lxor).html
    331 ./doc/html/code_VALInteger.Array.set.html
    332 ./doc/html/type_Memory.OffsetMap.html
    333 ./doc/html/code_VALPrint.comma.html
    334 ./doc/html/code_VALInterference.ppp.html
    335 ./doc/html/code_PrintOps.html
    336 ./doc/html/code_VALInterference.lookup.html
    337 ./doc/html/code_VALLTLInterpret.newframe.html
    338 ./doc/html/code_Coloring.Color.html
    339 ./doc/html/Coloring.html
    340 ./doc/html/code_VALMIPS.RegisterMap.lift.html
    341 ./doc/html/code_VALInterference.pph.html
    342 ./doc/html/Interference.Vertex.Set.html
    343 ./doc/html/code_VALERTLInterpret.interpret_primitive.html
    344 ./doc/html/code_VALUnionFind.fresh.html
    345 ./doc/html/code_VALPrintPottier.nl.html
    346 ./doc/html/code_VALMiscPottier.mirror.html
    347 ./doc/html/code_VALPrintPottier.showif.html
    348 ./doc/html/type_MIPS.html
    349 ./doc/html/code_VALInterference.freeze.html
    350 ./doc/html/StringSig.S.Set.html
    351 ./doc/html/type_UnionFind.html
    352 ./doc/html/AtomSig.S.html
    353 ./doc/html/type_Interference.Vertex.Map.html
    354 ./doc/html/type_ERTLToLTL.html
    355 ./doc/html/code_VALASMInterpret.interpret.html
    356 ./doc/html/type_LTLPrinter.html
    357 ./doc/html/code_VALPosition.string_of_lex_pos.html
    358 ./doc/html/code_VALPosition.string_of_pos.html
    359 ./doc/html/code_MIPS.RegisterMap.html
    360 ./doc/html/type_Primitive.html
    361 ./doc/html/code_Value.html
    362 ./doc/html/type_ASMPrinter.html
    363 ./doc/html/SetMap.html
    364 ./doc/html/code_VALPosition.with_pos.html
    365 ./doc/html/code_VALInterference.create.html
    366 ./doc/html/code_Acc.html
    367 ./doc/html/type_AtomSig.S.Map.html
    368 ./doc/html/type_RTLabs.html
    369 ./doc/html/code_PrintCFG.html
    370 ./doc/html/code_LINToASM.html
    371 ./doc/html/code_VALLiveness.analyze.html
    372 ./doc/html/Print.html
    373 ./doc/html/code_VALRTLInterpret.store.html
    374 ./doc/html/code_VALPrioritySet.Make.add.html
    375 ./doc/html/PrintCFG.html
    376 ./doc/html/code_Memory.BlockMap.html
    377 ./doc/html/code_VALPrint.list.html
    378 ./doc/html/code_Spill.html
    379 ./doc/html/code_VALInteger.(lsr).html
    380 ./doc/html/type_PrintPrimitive.html
    381 ./doc/html/code_VALClightPrinter.print_program.html
    382 ./doc/html/type_ClightToCminor.html
    383 ./doc/html/code_VALInteger.(_slash_).html
    384 ./doc/html/type_Register.html
    385 ./doc/html/code_Liveness.L.html
    386 ./doc/html/RTLToERTL.html
    387 ./doc/html/code_CminorPrinter.html
    388 ./doc/html/code_VALPosition.destruct.html
    389 ./doc/html/code_VALUnionFind.union.html
    390 ./doc/html/type_Memory.BlockMap.html
    391 ./doc/html/code_VALPrint.semicolon.html
    392 ./doc/html/code_VALRTLabsPrinter.print_program.html
    393 ./doc/html/code_VALValue.is_false.html
    394 ./doc/html/code_Memory.html
    395 ./doc/html/code_VALPrintPottier.indent.html
    396 ./doc/html/code_VALAnnotationOptions.annotation_requested.html
    397 ./doc/html/PrioritySet.Make.html
    398 ./doc/html/type_ClightParser.html
    399 ./doc/html/code_VALUnionFind.find.html
    400 ./doc/html/code_VALERTLInterpret.hread.html
    401 ./doc/html/code_VALOptions.interpretation_requested.html
    402 ./doc/html/code_Branch.html
    403 ./doc/html/SyntacticAnalysis.html
    404 ./doc/html/code_VALInterference.pppick.html
    405 ./doc/html/LTL.html
    406 ./doc/html/code_VALMemory.string_of_memory_q.html
    407 ./doc/html/AST.html
    408 ./doc/html/code_VALMemory.free.html
    409 ./doc/html/ERTLPrinter.html
    410 ./doc/html/code_VALUnionFind.equivalent.html
    411 ./doc/html/code_CminorToRTLabs.html
    412 ./doc/html/code_VALRTLInterpret.asAddress.html
    413 ./doc/html/Interference.Vertex.Map.html
    414 ./doc/html/code_VALERTLToLTL.translate.html
    415 ./doc/html/Fix.html
    416 ./doc/html/code_VALRTLInterpret.unop.html
    417 ./doc/html/code_VALPosition.pos_or_undef.html
    418 ./doc/html/code_VALError.error.html
    419 ./doc/html/type_MIPSOps.html
    420 ./doc/html/code_Misc.html
    421 ./doc/html/code_VALMemory.load.html
    422 ./doc/html/code_VALClightPrinter.print_expression.html
    423 ./doc/html/type_LTLToLINI.Visit.html
    424 ./doc/html/code_VALPosition.join.html
    425 ./doc/html/index_exceptions.html
    426 ./doc/html/MIPSInterpret.html
    427 ./doc/html/AtomSig.S.SetMap.html
    428 ./doc/html/type_AtomSig.S.Set.html
    429 ./doc/html/code_VALPrintOps.uncon.html
    430 ./doc/html/type_ASM.html
    431 ./doc/html/ASMInterpret.html
    432 ./doc/html/code_MIPSInterpret.html
    433 ./doc/html/code_ERTLToLTL.html
    434 ./doc/html/code_VALPosition.position.html
    435 ./doc/html/StringSig.S.html
    436 ./doc/html/CminorToRTLabs.html
    437 ./doc/html/LTLToLINI.Visit.html
    438 ./doc/html/code_Uses.html
    439 ./doc/html/code_Atom.html
    440 ./doc/html/code_VALInteger.(_gt__equal_).html
    441 ./doc/html/type_ASMCompute_costs.html
    442 ./doc/html/type_LINInterpret.html
    443 ./doc/html/LIN.html
    444 ./doc/html/code_VALCminorPrinter.print_program.html
    445 ./doc/html/AtomSig.S.Map.html
    446 ./doc/html/code_OptionsParsing.html
    447 ./doc/html/SetMap.MakeHetero.html
    448 ./doc/html/code_VALMiscPottier.filter_map.html
    449 ./doc/html/code_ERTLToLTLI.html
    450 ./doc/html/code_Misc.ListExt.html
    451 ./doc/html/type_Print.html
    452 ./doc/html/code_VALLiveness.L.diff.html
    453 ./doc/html/code_VALUnionFind.change.html
    454 ./doc/html/ASMPrinter.html
    455 ./doc/html/type_CminorInterpret.html
    456 ./doc/html/code_VALRTLInterpret.init.html
    457 ./doc/html/Misc.SysExt.html
    458 ./doc/html/code_LINInterpret.html
    459 ./doc/html/code_VALPosition.mapd.html
    460 ./doc/html/code_VALMisc.ListExt.inv_assoc.html
    461 ./doc/html/code_VALPrioritySet.Make.change.html
    462 ./doc/html/Languages.html
    463 ./doc/html/code_VALLanguages.compile.html
    464 ./doc/html/ClightPrinter.html
    465 ./doc/html/code_VALInteger.(_minus_).html
    466 ./doc/html/code_VALInteger.max_int.html
    467 ./doc/html/Fix.IMPERATIVE_MAPS.html
    468 ./doc/html/code_VALInterference.iph.html
    469 ./doc/html/code_VALMIPS.caller_saved.html
    470 ./doc/html/StringSig.html
    471 ./doc/html/type_ASMInterpret.html
    472 ./doc/html/ERTLToLTLI.html
    473 ./doc/html/code_VALClightPrinter.string_of_ctype.html
    474 ./doc/html/code_VALPosition.filename_of_position.html
    475 ./doc/html/code_VALRTLToERTL.translate.html
    476 ./doc/html/type_RTLPrinter.html
    477 ./doc/html/Misc.ListExt.html
    478 ./doc/html/code_VALBranch.compress.html
    479 ./doc/html/RTLInterpret.html
    480 ./doc/html/Misc.html
    481 ./doc/html/type_Liveness.html
    482 ./doc/html/type_Error.html
    483 ./doc/html/code_VALMIPS.callee_saved.html
    484 ./doc/html/LINInterpret.html
    485 ./doc/html/code_VALMemory.alloc.html
    486 ./doc/html/code_ASMPrinter.html
    487 ./doc/html/type_Options.html
    488 ./doc/html/code_VALERTLInterpret.interpret.html
    489 ./doc/html/type_Fix.IMPERATIVE_MAPS.html
    490 ./doc/html/code_ERTLInterpret.html
    491 ./doc/html/code_VALMIPSInterpret.binop.html
    492 ./doc/html/type_ClightInterpret.html
    493 ./doc/html/code_VALError.print_error.html
    494 ./doc/html/ASMCompute_costs.html
    495 ./doc/html/code_VALRTLInterpret.write.html
    496 ./doc/html/StringSig.S.Map.html
    497 ./doc/html/code_ClightInterpret.html
    498 ./doc/html/code_VALMisc.ListExt.cut_last.html
    499 ./doc/html/code_VALMIPS.zero.html
    500 ./doc/html/code_VALMisc.ArgExt.extra_doc.html
    501 ./doc/html/type_PrintOps.html
    502 ./doc/html/Fix.Make.html
    503 ./doc/html/type_Liveness.L.html
    504 ./doc/html/type_RTLToERTLI.html
    505 ./doc/html/UnionFind.html
    506 ./doc/html/code_VALLanguages.save.html
    507 ./doc/html/code_VALInterference.fold.html
    508 ./doc/html/code_VALMisc.ListExt.transitive_forall2.html
    509 ./doc/html/type_AtomSig.S.FlexSet.html
    510 ./doc/html/code_VALPrintPottier.atmost.html
    511 ./doc/html/code_Interference.Vertex.Set.html
    512 ./doc/html/type_Spill.html
    513 ./doc/html/type_Spill.Color.html
    514 ./doc/html/Uses.html
    515 ./doc/html/code_VALLanguages.annotate.html
    516 ./doc/html/code_VALPosition.lex_join.html
    517 ./doc/html/type_CostLabel.html
    518 ./doc/html/code_Languages.html
    519 ./doc/html/type_Coloring.html
    520 ./doc/html/code_VALLTLToLIN.translate.html
    521 ./doc/html/code_Interference.html
    522 ./doc/html/code_VALPrint.space.html
    523 ./doc/html/code_VALRTLToERTLI.Make.epilogue.html
    524 ./doc/html/code_VALPrint.nl.html
    525 ./doc/html/type_AnnotationOptions.html
    526 ./doc/html/Spill.html
    527 ./doc/html/code_VALPosition.with_cpos.html
    528 ./doc/html/code_Zero.html
    529 ./doc/html/Memory.html
    530 ./doc/html/code_VALInterference.mkpph.html
    531 ./doc/html/code_VALLanguages.from_string.html
    532 ./doc/html/SetMap.Homogeneous.html
    533 ./doc/html/LINToASM.html
    534 ./doc/html/type_CminorToRTLabs.html
    535 ./doc/html/code_VALInteger.(asr).html
    536 ./doc/html/code_VALRTLInterpret.asInt.html
    537 ./doc/html/Memory.OffsetMap.html
    538 ./doc/html/code_VALAnnotationOptions.request_annotation.html
    539 ./doc/html/code_VALCminorPrinter.string_of_statement.html
    540 ./doc/html/code_VALPrint.termlist.html
    541 ./doc/html/type_Value.html
    542 ./doc/html/LTLToLIN.html
    543 ./doc/html/code_VALPrintPottier.termlist.html
    544 ./doc/html/Spill.Color.html
    545 ./doc/html/type_ERTLToLTLI.Make.html
    546 ./doc/html/type_MIPSInterpret.html
    547 ./doc/html/code_Position.html
    548 ./doc/html/code_VALLiveness.defined.html
    549 ./doc/html/code_CminorAnnotator.html
    550 ./doc/html/code_VALLanguages.parse.html
    551 ./doc/html/code_VALPrintOps.unop.html
    552 ./doc/html/code_VALMIPS.gp.html
    553 ./doc/html/code_VALPosition.characters.html
    554 ./doc/html/type_LTLToLINI.html
    555 ./doc/html/code_VALBuild.build.html
    556 ./doc/html/code_VALMIPS.RegisterSet.disjoint.html
    557 ./doc/html/code_VALOptions.add_input_file.html
    558 ./doc/html/code_LTLToLINI.Visit.html
    559 ./doc/html/code_Register.html
    560 ./doc/html/code_Spill.Color.html
    561 ./doc/html/code_VALPrioritySet.Make.fold.html
    562 ./doc/html/SetMap.MakeHomo.html
    563 ./doc/html/type_CminorAnnotator.html
    564 ./doc/html/type_ClightPrinter.html
    565 ./doc/html/code_Integer.html
    566 ./doc/html/code_VALError.exit_if_error.html
    567 ./doc/html/code_RTLToERTL.html
    568 ./doc/html/code_VALValue.val_true.html
    569 ./doc/html/type_MIPS.RegisterMap.html
    570 ./doc/html/code_ASMInterpret.html
    571 ./doc/html/type_RTLInterpret.html
    572 ./doc/html/code_VALRTLInterpret.binop.html
    573 ./doc/html/code_VALCminorInterpret.interpret.html
    574 ./doc/html/code_VALLTLInterpret.swrite.html
    575 ./doc/html/type_AtomSig.S.FlexMap.html
    576 ./doc/html/Interference.Vertex.html
    577 ./doc/html/code_VALPrintPottier.seminl.html
    578 ./doc/html/LTLInterpret.html
    579 ./doc/html/code_LINPrinter.html
    580 ./doc/html/code_VALMIPS.parameters.html
    581 ./doc/html/code_VALMiscPottier.memoize.html
    582 ./doc/html/code_VALPrioritySet.Make.empty.html
    583 ./doc/html/code_ClightPrinter.html
    584 ./doc/html/code_VALOptionsParsing.usage_msg.html
    585 ./doc/html/code_VALLTLPrinter.print_program.html
    586 ./doc/html/Coloring.Color.html
    587 ./doc/html/type_PrintPottier.html
    588 ./doc/html/code_VALRTLInterpret.allocate.html
    589 ./doc/html/code_VALRTLInterpret.interpret_alloc.html
    590 ./doc/html/code_VALLiveness.L.bottom.html
    591 ./doc/html/code_VALRTLabsInterpret.interpret.html
    592 ./doc/html/index_methods.html
    593 ./doc/html/code_LTLInterpret.html
    594 ./doc/html/code_VALPosition.string_of_cpos.html
    595 ./doc/html/MIPSOps.html
    596 ./doc/html/code_SyntacticAnalysis.html
    597 ./doc/html/code_MiscPottier.html
    598 ./doc/html/type_Zero.html
    599 ./doc/html/code_VALSpill.Color.coloring.html
    600 ./doc/html/code_VALRTLInterpret.interpret.html
    601 ./doc/html/Liveness.html
    602 ./doc/html/code_VALOptions.request_annotation.html
    603 ./doc/html/code_Print.html
    604 ./doc/html/code_RTLabsInterpret.html
    605 ./doc/html/type_LTLInterpret.html
    606 ./doc/html/RTL.html
    607 ./doc/html/code_VALPrintPottier.annlist.html
    608 ./doc/html/code_SetMap.MakeHomo.html
    609 ./doc/html/style.css
    610 ./doc/html/code_MyMap.html
    611 ./doc/html/code_VALLiveness.L.hsingleton.html
    612 ./doc/html/MIPS.RegisterMap.html
    613 ./doc/html/index_modules.html
    614 ./doc/html/AnnotationOptions.html
    615 ./doc/html/code_VALInterference.coalesce.html
    616 ./doc/html/code_VALLanguages.labelize.html
    617 ./doc/html/code_VALOptions.set_target_language.html
    618 ./doc/html/LTLToLINI.html
    619 ./doc/html/PrintPottier.html
    620 ./doc/html/code_PrioritySet.html
    621 ./doc/html/code_VALInteger.( _star_ ).html
    622 ./doc/html/type_MyMap.OrderedType.html
    623 ./doc/html/ERTLToLTLI.Make.html
    624 ./doc/html/index_values.html
    625 ./doc/html/code_Memory.OrdInt.html
    626 ./doc/html/type_SetMap.Heterogeneous.html
    627 ./doc/html/code_VALValue.string_of_value.html
    628 ./doc/html/code_VALRTLInterpret.load.html
    629 ./doc/html/code_VALInteger.fits16.html
    630 ./doc/html/code_PrintPrimitive.html
    631 ./doc/html/code_VALChecker.same_traces.html
    632 ./doc/html/code_VALMIPS.equal.html
    633 ./doc/html/code_VALInteger.(_tilde__minus_).html
    634 ./doc/html/type_RTLabsInterpret.html
    635 ./doc/html/code_RTLabsToRTL.html
    636 ./doc/html/code_MyMap.Make.html
    637 ./doc/html/type_Memory.OrdInt.html
    638 ./doc/html/code_VALInterference.phpick.html
    639 ./doc/html/Memory.GBlockMap.html
    640 ./doc/html/code_VALLTLInterpret.deleteframe.html
    641 ./doc/html/type_Cminor.html
    642 ./doc/html/index_types.html
    643 ./doc/html/CminorAnnotator.html
    644 ./doc/html/code_VALPrioritySet.Make.priority.html
    645 ./doc/html/code_VALInteger.(_lt__equal_).html
    646 ./doc/html/code_VALInteger.is_power_of_two.html
    647 ./doc/html/code_VALInteger.Array.length.html
    648 ./doc/html/code_SetMap.html
    649 ./doc/html/Branch.html
    650 ./doc/html/code_VALInteger.Array.init.html
    651 ./doc/html/code_VALOptionsParsing.register.html
    652 ./doc/html/code_VALFix.Make.lfp.html
    653 ./doc/html/code_VALPrintPottier.nlspace.html
    654 ./doc/html/code_VALLiveness.eliminable.html
    655 ./doc/html/code_VALPosition.value.html
    656 ./doc/html/ClightInterpret.html
    657 ./doc/html/code_Memory.GlobalMap.html
    658 ./doc/html/code_VALMisc.SysExt.safe_remove.html
    659 ./doc/html/code_VALLTLInterpret.empty_stack.html
    660 ./doc/html/Register.html
    661 ./doc/html/type_Fix.Make.html
    662 ./doc/html/MIPS.html
    663 ./doc/html/type_MiscPottier.html
    664 ./doc/html/code_VALUnionFind.eunion.html
    665 ./doc/html/ERTLInterpret.html
    666 ./doc/html/code_VALLiveness.L.equal.html
    667 ./doc/html/code_VALPrintPottier.comma.html
    668 ./doc/html/type_Branch.html
    669 ./doc/html/Fix.PROPERTY.html
    670 ./doc/html/code_VALRTLInterpret.interpret_primitive.html
    671 ./doc/html/code_VALPrioritySet.Make.increment.html
    672 ./doc/html/type_AtomSig.S.html
    673 ./doc/html/code_VALERTLInterpret.hwrite.html
    674 ./doc/html/code_VALASMPrinter.print_program.html
    675 ./doc/html/code_VALError.warning.html
    676 ./doc/html/RTLToERTLI.Make.html
    677 ./doc/html/code_VALError.global_error.html
    678 ./doc/html/code_VALMIPSInterpret.unop.html
    679 ./doc/html/code_VALClightToCminor.translate.html
    680 ./doc/html/code_VALPosition.iter.html
    681 ./doc/html/code_VALCminorPrinter.print_expression.html
    682 ./doc/html/type_Fix.PROPERTY.html
    683 ./doc/html/code_VALLINPrinter.print_program.html
    684 ./doc/html/code_Misc.ArgExt.html
    685 ./doc/html/code_LTLToLIN.html
    686 ./doc/html/code_Fix.html
    687 ./doc/html/code_ClightLabelling.html
    688 ./doc/html/code_VALInterference.lowest.html
    689 ./doc/html/code_VALInteger.(_plus_).html
    690 ./doc/html/code_VALMisc.ListExt.multi_set_of_list.html
    691 ./doc/html/code_VALRTLabsToRTL.translate.html
    692 ./doc/html/ClightLabelling.html
    693 ./doc/html/code_ASMCompute_costs.html
    694 ./doc/html/ERTL.html
    695 ./doc/html/type_Misc.ArgExt.html
    696 ./doc/html/ClightParser.html
    697 ./doc/html/code_VALInterference.restrict.html
    698 ./doc/html/code_VALRTLToERTLI.Make.translate_call.html
    699 ./doc/html/type_Coloring.Color.html
    700 ./doc/html/MiscPottier.html
    701 ./doc/html/type_Fix.html
    702 ./doc/html/index.html
    703 ./doc/html/code_VALOptions.get_source_language.html
    704 ./doc/html/code_VALInteger.Array.make.html
    705 ./doc/html/code_VALPosition.map.html
    706 ./doc/html/Atom.html
    707 ./doc/html/code_VALClightPrinter.print_statement.html
    708 ./doc/html/code_VALERTLPrinter.print_program.html
    709 ./doc/html/code_VALValue.is_true.html
    710 ./doc/html/code_Checker.html
    711 ./doc/html/type_Checker.html
    712 ./doc/html/type_PrioritySet.html
    713 ./doc/html/type_PrioritySet.Make.html
    714 ./doc/html/code_VALPrint.nlspace.html
    715 ./doc/html/code_VALMIPS.RegisterSet.of_list.html
    716 ./doc/html/type_LINToASM.html
    717 ./doc/html/code_VALPrintOps.bincon.html
    718 ./doc/html/type_CminorPrinter.html
    719 ./doc/html/code_VALOptions.request_interpretation.html
    720 ./doc/html/code_Build.html
    721 ./doc/html/code_VALLanguages.interpret.html
    722 ./doc/html/CminorInterpret.html
    723 ./doc/html/code_VALMemory.empty_global_env.html
    724 ./doc/html/code_VALClightInterpret.interpret.html
    725 ./doc/html/type_ERTLInterpret.html
    726 ./doc/html/type_Memory.GBlockMap.html
    727 ./doc/html/code_VALZero.nonzeroable.html
    728 ./doc/html/index_classes.html
    729 ./doc/html/type_CminorLabelling.html
    730 ./doc/html/code_VALMIPS.ra.html
    731 ./doc/html/code_VALPrintCFG.print_graph.html
    732 ./doc/html/code_VALPrint.seplist.html
    733 ./doc/html/CminorPrinter.html
    734 ./doc/html/code_VALERTLInterpret.destruct.html
    735 ./doc/html/type_LTL.html
    736 ./doc/html/code_VALPrintOps.binop.html
    737 ./doc/html/code_VALMisc.ListExt.hashtbl_of_assoc.html
    738 ./doc/html/code_VALInterference.print_vertex.html
    739 ./doc/html/type_Memory.html
    740 ./doc/html/type_StringSig.S.Gen.html
    741 ./doc/html/code_VALInterference.mki.html
    742 ./doc/html/ASM.html
    743 ./doc/html/code_VALPrint.showif.html
    744 ./doc/html/type_LINPrinter.html
    745 ./doc/html/code_VALInteger.(_lt_).html
    746 ./doc/html/code_VALRTLPrinter.print_program.html
    747 ./doc/html/code_VALMisc.SysExt.alternative.html
    748 ./doc/html/Checker.html
    749 ./doc/html/code_VALClightParser.process.html
    750 ./doc/html/code_VALMiscPottier.subtract.html
    751 ./doc/html/code_CostLabel.html
    752 ./doc/html/code_VALPrioritySet.Make.remove.html
    753 ./doc/html/code_VALOptions.get_target_language.html
    754 ./doc/html/code_VALPrioritySet.Make.lowest.html
    755 ./doc/html/code_VALInterference.mkppp.html
    756 ./doc/html/code_CminorInterpret.html
    757 ./doc/html/code_VALPrintPottier.space.html
    758 ./doc/html/code_Interference.Vertex.Map.html
    759 ./doc/html/code_VALMiscPottier.combine.html
    760 ./doc/html/code_VALPrint.var.html
    761 ./doc/html/code_Integer.Array.html
    762 ./doc/html/code_VALInterference.registers.html
    763 ./doc/html/code_VALMemory.value_of_data.html
    764 ./doc/html/Build.html
    765 ./doc/html/code_VALMemory.access.html
    766 ./doc/html/type_ClightLabelling.html
    767 ./doc/html/code_VALMIPSInterpret.uncon.html
    768 ./doc/html/RTLabsToRTL.html
    769 ./doc/html/type_Interference.html
    770 ./doc/html/code_VALPrint.seminl.html
    771 ./doc/html/code_VALMiscPottier.foldi.html
    772 ./doc/html/type_Misc.html
    773 ./doc/html/code_Fix.Make.html
    774 ./doc/html/code_VALCminorAnnotator.user_labels.html
    775 ./doc/html/code_VALMIPS.registers.html
    776 ./doc/html/AtomSig.S.ImperativeMap.html
    777 ./doc/html/ClightAnnotator.html
    778 ./doc/html/SetMap.Heterogeneous.html
    779 ./doc/html/code_ClightParser.html
    780 ./doc/html/ERTLToLTL.html
    781 ./doc/html/code_VALLTLToLINI.Visit.visit.html
    782 ./doc/html/RTLabsInterpret.html
    783 ./doc/html/ClightToCminor.html
    784 ./doc/html/CminorLabelling.html
    785 ./doc/html/code_VALUnionFind.redundant.html
    786 ./doc/html/code_VALPrint.annlist.html
    787 ./doc/html/code_VALInterference.ipp.html
    788 ./doc/html/code_VALColoring.Color.coloring.html
    789 ./doc/html/type_Atom.html
    790 ./doc/html/code_VALError.error2.html
    791 ./doc/html/code_RTLInterpret.html
    792 ./doc/html/code_RTLabsPrinter.html
    793 ./doc/html/Zero.html
    794 ./doc/html/code_VALMIPSInterpret.bincon.html
    795 ./doc/html/type_StringSig.S.Set.html
    796 ./doc/html/code_VALMIPS.allocatable.html
    797 ./doc/html/code_VALInterference.print.html
    798 ./doc/html/type_OptionsParsing.html
    799 ./doc/html/code_VALInterference.minimum.html
    800 ./doc/html/code_Memory.GBlockMap.html
    801 ./doc/html/code_Options.html
    802 ./doc/html/code_VALInteger.(lor).html
    803 ./doc/html/type_ERTLToLTLI.html
    804 ./doc/html/type_Interference.Vertex.Set.html
    805 ./doc/html/code_LTLToLINI.html
    806 ./doc/html/code_VALPosition.start_of_position.html
    807 ./doc/html/code_CminorLabelling.html
    808 ./doc/html/type_RTL.html
    809 ./doc/html/code_VALLTLInterpret.sread.html
    810 ./doc/html/code_VALPosition.column.html
    811 ./doc/html/code_VALSpill.Color.locals.html
    812 ./doc/html/code_VALInteger.Array.get.html
    813 
    814 ./src
    815 ./src/acc.ml
    816 ./src/acc.mli
    817 ./src/annotationOptions.ml
    818 ./src/annotationOptions.mli
    819 ./src/checker.ml
    820 ./src/checker.mli
    821 ./src/dev_test.ml
    822 ./src/driver.ml
    823 ./src/driver.mli
    824 ./src/languages.ml
    825 ./src/languages.mli
    826 ./src/options.ml
    827 ./src/options.mli
    828 ./src/ASM
    829 ./src/ASM/arch.mli
    830 ./src/ASM/ASMCompute_costs.ml
    831 ./src/ASM/ASMCompute_costs.mli
    832 ./src/ASM/ASMCosts.ml
    833 ./src/ASM/ASMCosts.mli
    834 ./src/ASM/ASMInterpret.ml
    835 ./src/ASM/ASMInterpret.mli
    836 ./src/ASM/ASM.mli
    837 ./src/ASM/ASMPrinter.ml
    838 ./src/ASM/ASMPrinter.mli
    839 ./src/ASM/BitVectors.ml
    840 ./src/ASM/BitVectors.mli
    841 ./src/ASM/I8051.ml
    842 ./src/ASM/I8051.mli
    843 ./src/ASM/IntelHex.ml
    844 ./src/ASM/IntelHex.mli
    845 ./src/ASM/MIPSInterpret.ml
    846 ./src/ASM/MIPSInterpret.mli
    847 ./src/ASM/MIPS.ml
    848 ./src/ASM/MIPS.mli
    849 ./src/ASM/MIPSOps.mli
    850 ./src/ASM/Parser.ml
    851 ./src/ASM/Parser.mli
    852 ./src/ASM/Physical.ml
    853 ./src/ASM/Physical.mli
    854 ./src/ASM/printOps.ml
    855 ./src/ASM/printOps.mli
    856 ./src/ASM/Pretty.ml
    857 ./src/ASM/Pretty.mli
    858 ./src/ASM/Util.ml
    859 ./src/clight
    860 ./src/clight/clightAnnotator.ml
    861 ./src/clight/clightAnnotator.mli
    862 ./src/clight/clightFlags.ml
    863 ./src/clight/clightFromC.ml
    864 ./src/clight/clightInterpret.ml
    865 ./src/clight/clightInterpret.mli
    866 ./src/clight/clightLabelling.ml
    867 ./src/clight/clightLabelling.mli
    868 ./src/clight/clight.mli
    869 ./src/clight/clightParser.ml
    870 ./src/clight/clightParser.mli
    871 ./src/clight/clightPrinter.ml
    872 ./src/clight/clightPrinter.mli
    873 ./src/clight/clightToCminor.ml
    874 ./src/clight/clightToCminor.mli
    875 ./src/clight/clightUtils.ml
    876 ./src/clight/clightUtils.mli
    877 ./src/cminor
    878 ./src/cminor/cminorAnnotator.ml
    879 ./src/cminor/cminorAnnotator.mli
    880 ./src/cminor/cminorFold.ml
    881 ./src/cminor/cminorFold.mli
    882 ./src/cminor/cminorInterpret.ml
    883 ./src/cminor/cminorInterpret.mli
    884 ./src/cminor/cminorLabelling.ml
    885 ./src/cminor/cminorLabelling.mli
    886 ./src/cminor/cminorLexer.mll
    887 ./src/cminor/cminor.mli
    888 ./src/cminor/cminorParser.mly
    889 ./src/cminor/cminorPointers.ml
    890 ./src/cminor/cminorPointers.mli
    891 ./src/cminor/cminorPrinter.ml
    892 ./src/cminor/cminorPrinter.mli
    893 ./src/cminor/cminorToRTLabs.ml
    894 ./src/cminor/cminorToRTLabs.mli
    895 ./src/common
    896 ./src/common/AST.mli
    897 ./src/common/atom.ml
    898 ./src/common/atom.mli
    899 ./src/common/atomSig.mli
    900 ./src/common/cminorMemory.ml
    901 ./src/common/costLabel.ml
    902 ./src/common/costLabel.mli
    903 ./src/common/hdwRegister.ml
    904 ./src/common/hdwRegister.mli
    905 ./src/common/intValue.ml
    906 ./src/common/intValue.mli
    907 ./src/common/label.ml
    908 ./src/common/label.mli
    909 ./src/common/memory.ml
    910 ./src/common/memory.mli
    911 ./src/common/primitive.ml
    912 ./src/common/primitive.mli
    913 ./src/common/printPrimitive.ml
    914 ./src/common/printPrimitive.mli
    915 ./src/common/register.ml
    916 ./src/common/register.mli
    917 ./src/common/value.ml
    918 ./src/common/value.mli
    919 ./src/ERTL
    920 ./src/ERTL/build.ml
    921 ./src/ERTL/build.mli
    922 ./src/ERTL/ERTLInterpret.ml
    923 ./src/ERTL/ERTLInterpret.mli
    924 ./src/ERTL/ERTL.mli
    925 ./src/ERTL/ERTLPrinter.ml
    926 ./src/ERTL/ERTLPrinter.mli
    927 ./src/ERTL/ERTLToLTLI.ml
    928 ./src/ERTL/ERTLToLTLI.mli
    929 ./src/ERTL/ERTLToLTL.ml
    930 ./src/ERTL/ERTLToLTL.mli
    931 ./src/ERTL/liveness.ml
    932 ./src/ERTL/liveness.mli
    933 ./src/ERTL/spill.ml
    934 ./src/ERTL/spill.mli
    935 ./src/ERTL/uses.ml
    936 ./src/ERTL/uses.mli
    937 ./src/ERTL/zero.ml
    938 ./src/ERTL/zero.mli
    939 ./src/LIN
    940 ./src/LIN/LINInterpret.ml
    941 ./src/LIN/LINInterpret.mli
    942 ./src/LIN/LIN.mli
    943 ./src/LIN/LINPrinter.ml
    944 ./src/LIN/LINPrinter.mli
    945 ./src/LIN/LINToASM.ml
    946 ./src/LIN/LINToASM.mli
    947 ./src/LTL
    948 ./src/LTL/branch.ml
    949 ./src/LTL/branch.mli
    950 ./src/LTL/LTLInterpret.ml
    951 ./src/LTL/LTLInterpret.mli
    952 ./src/LTL/LTL.mli
    953 ./src/LTL/LTLPrinter.ml
    954 ./src/LTL/LTLPrinter.mli
    955 ./src/LTL/LTLToLINI.ml
    956 ./src/LTL/LTLToLINI.mli
    957 ./src/LTL/LTLToLIN.ml
    958 ./src/LTL/LTLToLIN.mli
    959 ./src/RTL
    960 ./src/RTL/RTLInterpret.ml
    961 ./src/RTL/RTLInterpret.mli
    962 ./src/RTL/RTL.mli
    963 ./src/RTL/RTLPrinter.ml
    964 ./src/RTL/RTLPrinter.mli
    965 ./src/RTL/RTLtailcall.ml
    966 ./src/RTL/RTLtailcall.mli
    967 ./src/RTL/RTLToERTLI.ml
    968 ./src/RTL/RTLToERTLI.mli
    969 ./src/RTL/RTLToERTL.ml
    970 ./src/RTL/RTLToERTL.mli
    971 ./src/RTLabs
    972 ./src/RTLabs/RTLabsInterpret.ml
    973 ./src/RTLabs/RTLabsInterpret.mli
    974 ./src/RTLabs/RTLabs.mli
    975 ./src/RTLabs/RTLabsPrinter.ml
    976 ./src/RTLabs/RTLabsPrinter.mli
    977 ./src/RTLabs/RTLabsToRTL.ml
    978 ./src/RTLabs/RTLabsToRTL.mli
    979 ./src/utilities
    980 ./src/utilities/bijection.ml
    981 ./src/utilities/bijection.mli
    982 ./src/utilities/coloring.ml
    983 ./src/utilities/coloring.mli
    984 ./src/utilities/error.ml
    985 ./src/utilities/error.mli
    986 ./src/utilities/Fix.ml
    987 ./src/utilities/Fix.mli
    988 ./src/utilities/integer.ml
    989 ./src/utilities/integer.mli
    990 ./src/utilities/interference.ml
    991 ./src/utilities/interference.mli
    992 ./src/utilities/misc.ml
    993 ./src/utilities/misc.mli
    994 ./src/utilities/miscPottier.ml
    995 ./src/utilities/miscPottier.mli
    996 ./src/utilities/myMap.ml
    997 ./src/utilities/myMap.mli
    998 ./src/utilities/option.ml
    999 ./src/utilities/option.mli
    1000 ./src/utilities/optionsParsing.ml
    1001 ./src/utilities/position.ml
    1002 ./src/utilities/position.mli
    1003 ./src/utilities/printCFG.ml
    1004 ./src/utilities/printCFG.mli
    1005 ./src/utilities/print.ml
    1006 ./src/utilities/print.mli
    1007 ./src/utilities/printPottier.ml
    1008 ./src/utilities/printPottier.mli
    1009 ./src/utilities/prioritySet.ml
    1010 ./src/utilities/prioritySet.mli
    1011 ./src/utilities/setMap.ml
    1012 ./src/utilities/setMap.mli
    1013 ./src/utilities/stringSig.mli
    1014 ./src/utilities/stringTools.ml
    1015 ./src/utilities/stringTools.mli
    1016 ./src/utilities/syntacticAnalysis.ml
    1017 ./src/utilities/syntacticAnalysis.mli
    1018 ./src/utilities/unionFind.ml
    1019 ./src/utilities/unionFind.mli
    1020 ./myocamlbuild_config.ml
    1021 ./admin
    1022 ./admin/myocamldoc
    1023 ./lib
     1Makefile
     2Makefile.config
     3Makefile.generic
     4Makefile.local
     5README
     6TODO
     7_tags
     8acc.odocl
     9admin/
     10admin/myocamldoc
     11cparser/
     12cparser/.depend
     13cparser/AddCasts.ml
     14cparser/AddCasts.mli
     15cparser/Bitfields.ml
     16cparser/Bitfields.mli
     17cparser/Builtins.ml
     18cparser/Builtins.mli
     19cparser/C.mli
     20cparser/CBuiltins.ml
     21cparser/Cabs.ml
     22cparser/Cabshelper.ml
     23cparser/Ceval.ml
     24cparser/Ceval.mli
     25cparser/Cleanup.ml
     26cparser/Cleanup.mli
     27cparser/Cprint.ml
     28cparser/Cprint.mli
     29cparser/Cutil.ml
     30cparser/Cutil.mli
     31cparser/Elab.ml
     32cparser/Elab.mli
     33cparser/Env.ml
     34cparser/Env.mli
     35cparser/Errors.ml
     36cparser/Errors.mli
     37cparser/GCC.ml
     38cparser/GCC.mli
     39cparser/Lexer.mli
     40cparser/Lexer.mll
     41cparser/Machine.ml
     42cparser/Machine.mli
     43cparser/Main.ml
     44cparser/Makefile
     45cparser/Parse.ml
     46cparser/Parse.mli
     47cparser/Parse_aux.ml
     48cparser/Parse_aux.mli
     49cparser/Parser.mly
     50cparser/Rename.ml
     51cparser/Rename.mli
     52cparser/SimplExpr.ml
     53cparser/SimplExpr.mli
     54cparser/StructAssign.ml
     55cparser/StructAssign.mli
     56cparser/StructByValue.ml
     57cparser/StructByValue.mli
     58cparser/Transform.ml
     59cparser/Transform.mli
     60cparser/Unblock.ml
     61cparser/Unblock.mli
     62cparser/uint64.c
     63distributed_files
     64doc/
     65doc/html/
     66doc/html/style.css
     67doc/src/
     68doc/src/main
     69myocamlbuild.ml
     70src/
     71src/ASM/
     72src/ASM/ASM.mli
     73src/ASM/ASMCosts.ml
     74src/ASM/ASMCosts.mli
     75src/ASM/ASMInterpret.ml
     76src/ASM/ASMInterpret.mli
     77src/ASM/ASMPrinter.ml
     78src/ASM/ASMPrinter.mli
     79src/ASM/BitVectors.ml
     80src/ASM/BitVectors.mli
     81src/ASM/I8051.ml
     82src/ASM/I8051.mli
     83src/ASM/IntelHex.ml
     84src/ASM/IntelHex.mli
     85src/ASM/MIPS.ml
     86src/ASM/MIPS.mli
     87src/ASM/MIPSInterpret.ml
     88src/ASM/MIPSInterpret.mli
     89src/ASM/MIPSOps.mli
     90src/ASM/Parser.ml
     91src/ASM/Parser.mli
     92src/ASM/Physical.ml
     93src/ASM/Physical.mli
     94src/ASM/Pretty.ml
     95src/ASM/Pretty.mli
     96src/ASM/Util.ml
     97src/ASM/arch.mli
     98src/ASM/printOps.ml
     99src/ASM/printOps.mli
     100src/ERTL/
     101src/ERTL/ERTL.mli
     102src/ERTL/ERTLInterpret.ml
     103src/ERTL/ERTLInterpret.mli
     104src/ERTL/ERTLPrinter.ml
     105src/ERTL/ERTLPrinter.mli
     106src/ERTL/ERTLToLTL.ml
     107src/ERTL/ERTLToLTL.mli
     108src/ERTL/ERTLToLTLI.ml
     109src/ERTL/ERTLToLTLI.mli
     110src/ERTL/build.ml
     111src/ERTL/build.mli
     112src/ERTL/liveness.ml
     113src/ERTL/liveness.mli
     114src/ERTL/spill.ml
     115src/ERTL/spill.mli
     116src/ERTL/uses.ml
     117src/ERTL/uses.mli
     118src/LIN/
     119src/LIN/LIN.mli
     120src/LIN/LINInterpret.ml
     121src/LIN/LINInterpret.mli
     122src/LIN/LINPrinter.ml
     123src/LIN/LINPrinter.mli
     124src/LIN/LINToASM.ml
     125src/LIN/LINToASM.mli
     126src/LTL/
     127src/LTL/LTL.mli
     128src/LTL/LTLInterpret.ml
     129src/LTL/LTLInterpret.mli
     130src/LTL/LTLPrinter.ml
     131src/LTL/LTLPrinter.mli
     132src/LTL/LTLToLIN.ml
     133src/LTL/LTLToLIN.mli
     134src/LTL/LTLToLINI.ml
     135src/LTL/LTLToLINI.mli
     136src/LTL/branch.ml
     137src/LTL/branch.mli
     138src/RTL/
     139src/RTL/RTL.mli
     140src/RTL/RTLInterpret.ml
     141src/RTL/RTLInterpret.mli
     142src/RTL/RTLPrinter.ml
     143src/RTL/RTLPrinter.mli
     144src/RTL/RTLToERTL.ml
     145src/RTL/RTLToERTL.mli
     146src/RTL/RTLtailcall.ml
     147src/RTL/RTLtailcall.mli
     148src/RTLabs/
     149src/RTLabs/RTLabs.mli
     150src/RTLabs/RTLabsInterpret.ml
     151src/RTLabs/RTLabsInterpret.mli
     152src/RTLabs/RTLabsPrinter.ml
     153src/RTLabs/RTLabsPrinter.mli
     154src/RTLabs/RTLabsToRTL.ml
     155src/RTLabs/RTLabsToRTL.mli
     156src/acc.ml
     157src/acc.mli
     158src/checker.ml
     159src/checker.mli
     160src/clight/
     161src/clight/clight.mli
     162src/clight/clight32ToClight8.ml
     163src/clight/clight32ToClight8.mli
     164src/clight/clightAnnotator.ml
     165src/clight/clightAnnotator.mli
     166src/clight/clightCasts.ml
     167src/clight/clightCasts.mli
     168src/clight/clightFlags.ml
     169src/clight/clightFold.ml
     170src/clight/clightFold.mli
     171src/clight/clightFromC.ml
     172src/clight/clightInterpret.ml
     173src/clight/clightInterpret.mli
     174src/clight/clightLabelling.ml
     175src/clight/clightLabelling.mli
     176src/clight/clightParser.ml
     177src/clight/clightParser.mli
     178src/clight/clightPrinter.ml
     179src/clight/clightPrinter.mli
     180src/clight/clightSwitch.ml
     181src/clight/clightSwitch.mli
     182src/clight/clightToCminor.ml
     183src/clight/clightToCminor.mli
     184src/clight/clightUtils.ml
     185src/clight/clightUtils.mli
     186src/clight/runtime.ml
     187src/clight/runtime.mli
     188src/cminor/
     189src/cminor/cminor.mli
     190src/cminor/cminorAnnotator.ml
     191src/cminor/cminorAnnotator.mli
     192src/cminor/cminorFold.ml
     193src/cminor/cminorFold.mli
     194src/cminor/cminorInterpret.ml
     195src/cminor/cminorInterpret.mli
     196src/cminor/cminorLabelling.ml
     197src/cminor/cminorLabelling.mli
     198src/cminor/cminorLexer.mll
     199src/cminor/cminorParser.mly
     200src/cminor/cminorPrinter.ml
     201src/cminor/cminorPrinter.mli
     202src/cminor/cminorToRTLabs.ml
     203src/cminor/cminorToRTLabs.mli
     204src/common/
     205src/common/AST.mli
     206src/common/atom.ml
     207src/common/atom.mli
     208src/common/atomSig.mli
     209src/common/costLabel.ml
     210src/common/costLabel.mli
     211src/common/hdwRegister.ml
     212src/common/hdwRegister.mli
     213src/common/intValue.ml
     214src/common/intValue.mli
     215src/common/label.ml
     216src/common/label.mli
     217src/common/memory.ml
     218src/common/memory.mli
     219src/common/primitive.ml
     220src/common/primitive.mli
     221src/common/register.ml
     222src/common/register.mli
     223src/common/value.ml
     224src/common/value.mli
     225src/dev_test.ml
     226src/driver.ml
     227src/driver.mli
     228src/languages.ml
     229src/languages.mli
     230src/options.ml
     231src/options.mli
     232src/utilities/
     233src/utilities/Fix.ml
     234src/utilities/Fix.mli
     235src/utilities/bijection.ml
     236src/utilities/bijection.mli
     237src/utilities/coloring.ml
     238src/utilities/coloring.mli
     239src/utilities/error.ml
     240src/utilities/error.mli
     241src/utilities/integer.ml
     242src/utilities/integer.mli
     243src/utilities/interference.ml
     244src/utilities/interference.mli
     245src/utilities/misc.ml
     246src/utilities/misc.mli
     247src/utilities/miscPottier.ml
     248src/utilities/miscPottier.mli
     249src/utilities/myMap.ml
     250src/utilities/myMap.mli
     251src/utilities/option.ml
     252src/utilities/option.mli
     253src/utilities/optionsParsing.ml
     254src/utilities/position.ml
     255src/utilities/position.mli
     256src/utilities/print.ml
     257src/utilities/print.mli
     258src/utilities/printCFG.ml
     259src/utilities/printCFG.mli
     260src/utilities/printPottier.ml
     261src/utilities/printPottier.mli
     262src/utilities/prioritySet.ml
     263src/utilities/prioritySet.mli
     264src/utilities/setMap.ml
     265src/utilities/setMap.mli
     266src/utilities/stringSig.mli
     267src/utilities/stringTools.ml
     268src/utilities/stringTools.mli
     269src/utilities/syntacticAnalysis.ml
     270src/utilities/syntacticAnalysis.mli
     271src/utilities/unionFind.ml
     272src/utilities/unionFind.mli
     273tests/
     274tests/GCCTestSuite/
     275tests/GCCTestSuite/920413-1.c
     276tests/GCCTestSuite/940409-1.c
     277tests/GCCTestSuite/940510-1.c
     278tests/GCCTestSuite/951130-1.c
     279tests/GCCTestSuite/980502-1.c
     280tests/GCCTestSuite/990213-1.c
     281tests/GCCTestSuite/KO/
     282tests/GCCTestSuite/KO/array-quals-1.c
     283tests/GCCTestSuite/KO/cast-qual-2.c
     284tests/GCCTestSuite/KO/enum-compat-1.c
     285tests/GCCTestSuite/KO/func-outside-1.c
     286tests/GCCTestSuite/KO/func-outside-2.c
     287tests/GCCTestSuite/KO/h8300-ice2.c
     288tests/GCCTestSuite/KO/nrv1.c
     289tests/GCCTestSuite/KO/pack-test-4.c
     290tests/GCCTestSuite/KO/pr10392-1.c
     291tests/GCCTestSuite/KO/pr18628.C
     292tests/GCCTestSuite/KO/pr25805.c
     293tests/GCCTestSuite/KO/pr26719.c
     294tests/GCCTestSuite/KO/pr27363.c
     295tests/GCCTestSuite/KO/pr29581-2.c
     296tests/GCCTestSuite/KO/pr29683.c
     297tests/GCCTestSuite/KO/pr9365-1.c
     298tests/GCCTestSuite/KO/sibcall-1.c
     299tests/GCCTestSuite/KO/sibcall-2.c
     300tests/GCCTestSuite/KO/sibcall-3.c
     301tests/GCCTestSuite/KO/sibcall-4.c
     302tests/GCCTestSuite/KO/sibcall-7.c
     303tests/GCCTestSuite/KO/struct-alias-1.c
     304tests/GCCTestSuite/KO/struct-by-value-1.c
     305tests/GCCTestSuite/KO/struct-ret-1.c
     306tests/GCCTestSuite/KO/ultrasp9.c
     307tests/GCCTestSuite/KO/unaligned-1.c
     308tests/GCCTestSuite/KO/unsigned-long-compare.c
     309tests/GCCTestSuite/KO/varpool-1.c
     310tests/GCCTestSuite/alias-2.c
     311tests/GCCTestSuite/alias-8.c
     312tests/GCCTestSuite/align-1.c
     313tests/GCCTestSuite/always_inline2.c
     314tests/GCCTestSuite/always_inline3.c
     315tests/GCCTestSuite/anon-struct-3.c
     316tests/GCCTestSuite/anon-struct-4.c
     317tests/GCCTestSuite/anon-struct-5.c
     318tests/GCCTestSuite/anon-struct-6.c
     319tests/GCCTestSuite/anon-struct-7.c
     320tests/GCCTestSuite/anon-struct-8.c
     321tests/GCCTestSuite/arm-g2.c
     322tests/GCCTestSuite/arm-scd42-1.c
     323tests/GCCTestSuite/arm-scd42-2.c
     324tests/GCCTestSuite/arm-scd42-3.c
     325tests/GCCTestSuite/array-1.c
     326tests/GCCTestSuite/array-2.c
     327tests/GCCTestSuite/array-7.c
     328tests/GCCTestSuite/array-quals-2.c
     329tests/GCCTestSuite/asm-fs-1.c
     330tests/GCCTestSuite/assign-warn-3.c
     331tests/GCCTestSuite/attr-alwaysinline.c
     332tests/GCCTestSuite/attr-invalid.c
     333tests/GCCTestSuite/attr-isr-trap_exit.c
     334tests/GCCTestSuite/attr-mode-1.c
     335tests/GCCTestSuite/attr-used-2.c
     336tests/GCCTestSuite/attr-used.c
     337tests/GCCTestSuite/attr-weakref-1a.c
     338tests/GCCTestSuite/bitfld-10.c
     339tests/GCCTestSuite/bitfld-14.c
     340tests/GCCTestSuite/bitfld-2.c
     341tests/GCCTestSuite/bitfld-5.c
     342tests/GCCTestSuite/bitfld-6.c
     343tests/GCCTestSuite/builtin-object-size-5.c
     344tests/GCCTestSuite/builtin-strstr.c
     345tests/GCCTestSuite/builtins-35.c
     346tests/GCCTestSuite/c90-array-lval-5.c
     347tests/GCCTestSuite/c90-array-lval-6.c
     348tests/GCCTestSuite/c90-array-lval-7.c
     349tests/GCCTestSuite/c90-array-quals-2.c
     350tests/GCCTestSuite/c90-array-quals.c
     351tests/GCCTestSuite/c90-const-expr-1.c
     352tests/GCCTestSuite/c90-dupqual-1.c
     353tests/GCCTestSuite/c90-enum-comma-1.c
     354tests/GCCTestSuite/c90-flex-array-1.c
     355tests/GCCTestSuite/c90-idem-qual-1.c
     356tests/GCCTestSuite/c90-idem-qual-2.c
     357tests/GCCTestSuite/c90-idem-qual-3.c
     358tests/GCCTestSuite/c90-impl-int-1.c
     359tests/GCCTestSuite/c90-impl-int-2.c
     360tests/GCCTestSuite/c90-longlong-1.c
     361tests/GCCTestSuite/c90-mixdecl-1.c
     362tests/GCCTestSuite/c90-restrict-1.c
     363tests/GCCTestSuite/c90-static-1.c
     364tests/GCCTestSuite/c99-array-lval-1.c
     365tests/GCCTestSuite/c99-array-lval-5.c
     366tests/GCCTestSuite/c99-array-lval-6.c
     367tests/GCCTestSuite/c99-array-lval-7.c
     368tests/GCCTestSuite/c99-array-nonobj-1.c
     369tests/GCCTestSuite/c99-const-expr-1.c
     370tests/GCCTestSuite/c99-dupqual-1.c
     371tests/GCCTestSuite/c99-enum-comma-1.c
     372tests/GCCTestSuite/c99-flex-array-3.c
     373tests/GCCTestSuite/c99-func-2.c
     374tests/GCCTestSuite/c99-func-4.c
     375tests/GCCTestSuite/c99-idem-qual-1.c
     376tests/GCCTestSuite/c99-idem-qual-2.c
     377tests/GCCTestSuite/c99-idem-qual-3.c
     378tests/GCCTestSuite/c99-impl-int-1.c
     379tests/GCCTestSuite/c99-impl-int-2.c
     380tests/GCCTestSuite/c99-longlong-1.c
     381tests/GCCTestSuite/c99-main-1.c
     382tests/GCCTestSuite/c99-restrict-1.c
     383tests/GCCTestSuite/c99-restrict-2.c
     384tests/GCCTestSuite/c99-tag-2.c
     385tests/GCCTestSuite/cast-qual-1.c
     386tests/GCCTestSuite/cleanup-3.c
     387tests/GCCTestSuite/cleanup-6.c
     388tests/GCCTestSuite/comp-return-1.c
     389tests/GCCTestSuite/compare1.c
     390tests/GCCTestSuite/compare3.c
     391tests/GCCTestSuite/compare5.c
     392tests/GCCTestSuite/compare6.c
     393tests/GCCTestSuite/compare7.c
     394tests/GCCTestSuite/compare8.c
     395tests/GCCTestSuite/compare9.c
     396tests/GCCTestSuite/concat.c
     397tests/GCCTestSuite/concat2.c
     398tests/GCCTestSuite/const-compare.c
     399tests/GCCTestSuite/const-elim-2.c
     400tests/GCCTestSuite/conv-3.c
     401tests/GCCTestSuite/cris-peep2-andu1.c
     402tests/GCCTestSuite/cris-peep2-andu2.c
     403tests/GCCTestSuite/cris-peep2-xsrand.c
     404tests/GCCTestSuite/cris-peep2-xsrand2.c
     405tests/GCCTestSuite/darwin-20040809-2.c
     406tests/GCCTestSuite/darwin-20040812-1.c
     407tests/GCCTestSuite/darwin-ld-1.c
     408tests/GCCTestSuite/darwin-ld-2.c
     409tests/GCCTestSuite/darwin-ld-20040809-1.c
     410tests/GCCTestSuite/darwin-ld-20040809-2.c
     411tests/GCCTestSuite/darwin-ld-20040828-1.c
     412tests/GCCTestSuite/darwin-ld-20040828-2.c
     413tests/GCCTestSuite/darwin-ld-20040828-3.c
     414tests/GCCTestSuite/darwin-ld-3.c
     415tests/GCCTestSuite/darwin-ld-4.c
     416tests/GCCTestSuite/darwin-ld-5.c
     417tests/GCCTestSuite/darwin-ld-6.c
     418tests/GCCTestSuite/darwin-version-1.c
     419tests/GCCTestSuite/darwin-weakimport-1.c
     420tests/GCCTestSuite/decl-4.c
     421tests/GCCTestSuite/decl-6.c
     422tests/GCCTestSuite/decl-7.c
     423tests/GCCTestSuite/declspec-12.c
     424tests/GCCTestSuite/declspec-2.c
     425tests/GCCTestSuite/declspec-3.c
     426tests/GCCTestSuite/deprecated-3.c
     427tests/GCCTestSuite/deprecated.c
     428tests/GCCTestSuite/dll-2.c
     429tests/GCCTestSuite/dll-3.c
     430tests/GCCTestSuite/dll-4.c
     431tests/GCCTestSuite/dollar.c
     432tests/GCCTestSuite/doloop-2.c
     433tests/GCCTestSuite/empty-source-1.c
     434tests/GCCTestSuite/empty-source-2.c
     435tests/GCCTestSuite/empty-source-3.c
     436tests/GCCTestSuite/enum2.c
     437tests/GCCTestSuite/enum3.c
     438tests/GCCTestSuite/extra-semi-1.c
     439tests/GCCTestSuite/extra-semi-2.c
     440tests/GCCTestSuite/extra-semi-3.c
     441tests/GCCTestSuite/fdata-sections-1.c
     442tests/GCCTestSuite/fold-abs-1.c
     443tests/GCCTestSuite/fold-abs-3.c
     444tests/GCCTestSuite/fold-mod-1.c
     445tests/GCCTestSuite/fold-xor-1.c
     446tests/GCCTestSuite/fold-xor-2.c
     447tests/GCCTestSuite/ftrapv-1.c
     448tests/GCCTestSuite/funcdef-attr-1.c
     449tests/GCCTestSuite/funcdef-var-2.c
     450tests/GCCTestSuite/funroll-loops-all.c
     451tests/GCCTestSuite/gnu89-dupqual-1.c
     452tests/GCCTestSuite/h8300-bss-align-1.c
     453tests/GCCTestSuite/h8300-stack-1.c
     454tests/GCCTestSuite/if-empty-1.c
     455tests/GCCTestSuite/inline-1.c
     456tests/GCCTestSuite/inline-10.c
     457tests/GCCTestSuite/inline-17.c
     458tests/GCCTestSuite/inline-18.c
     459tests/GCCTestSuite/inline-19.c
     460tests/GCCTestSuite/inline-2.c
     461tests/GCCTestSuite/inline-21.c
     462tests/GCCTestSuite/inline-4.c
     463tests/GCCTestSuite/inline-5.c
     464tests/GCCTestSuite/inline-6.c
     465tests/GCCTestSuite/inline-7.c
     466tests/GCCTestSuite/inline-8.c
     467tests/GCCTestSuite/inline-9.c
     468tests/GCCTestSuite/inline-mcpy.c
     469tests/GCCTestSuite/inline1.c
     470tests/GCCTestSuite/inline2.c
     471tests/GCCTestSuite/inline4.c
     472tests/GCCTestSuite/inline5.c
     473tests/GCCTestSuite/intermod-1.c
     474tests/GCCTestSuite/intmax_t-1.c
     475tests/GCCTestSuite/kpice1.c
     476tests/GCCTestSuite/label-compound-stmt-1.c
     477tests/GCCTestSuite/local1.c
     478tests/GCCTestSuite/loop-3.c
     479tests/GCCTestSuite/loop-5.c
     480tests/GCCTestSuite/m-un-1.c
     481tests/GCCTestSuite/merge-all-constants-1.c
     482tests/GCCTestSuite/mmix-1.c
     483tests/GCCTestSuite/nested-calls-1.c
     484tests/GCCTestSuite/nested-redef-1.c
     485tests/GCCTestSuite/nonnull-1.c
     486tests/GCCTestSuite/nonnull-2.c
     487tests/GCCTestSuite/noreturn-1.c
     488tests/GCCTestSuite/noreturn-2.c
     489tests/GCCTestSuite/noreturn-5.c
     490tests/GCCTestSuite/noreturn-6.c
     491tests/GCCTestSuite/noreturn-7.c
     492tests/GCCTestSuite/nrv2.c
     493tests/GCCTestSuite/null-pointer-1.c
     494tests/GCCTestSuite/old-style-then-proto-1.c
     495tests/GCCTestSuite/overflow-1.c
     496tests/GCCTestSuite/pack-test-2.c
     497tests/GCCTestSuite/pack-test-3.c
     498tests/GCCTestSuite/parm-incomplete-1.c
     499tests/GCCTestSuite/parm-mismatch-1.c
     500tests/GCCTestSuite/postincr-1.c
     501tests/GCCTestSuite/pr11459-1.c
     502tests/GCCTestSuite/pr11864-1.c
     503tests/GCCTestSuite/pr12625-1.c
     504tests/GCCTestSuite/pr14092-1.c
     505tests/GCCTestSuite/pr14475.c
     506tests/GCCTestSuite/pr14796-1.c
     507tests/GCCTestSuite/pr14796-2.c
     508tests/GCCTestSuite/pr15443-2.c
     509tests/GCCTestSuite/pr15698-3.c
     510tests/GCCTestSuite/pr15698-4.c
     511tests/GCCTestSuite/pr15698-6.c
     512tests/GCCTestSuite/pr15698-7.c
     513tests/GCCTestSuite/pr15784-4.c
     514tests/GCCTestSuite/pr15825-1.c
     515tests/GCCTestSuite/pr17036-1.c
     516tests/GCCTestSuite/pr17319.c
     517tests/GCCTestSuite/pr17581-1.c
     518tests/GCCTestSuite/pr17635.c
     519tests/GCCTestSuite/pr17957.c
     520tests/GCCTestSuite/pr18241-5.c
     521tests/GCCTestSuite/pr18479.c
     522tests/GCCTestSuite/pr18809-1.c
     523tests/GCCTestSuite/pr18921-1.c
     524tests/GCCTestSuite/pr18928-1.c
     525tests/GCCTestSuite/pr19967.c
     526tests/GCCTestSuite/pr20017.c
     527tests/GCCTestSuite/pr20115-1.c
     528tests/GCCTestSuite/pr20115.c
     529tests/GCCTestSuite/pr20130-1.c
     530tests/GCCTestSuite/pr21041.c
     531tests/GCCTestSuite/pr21085.c
     532tests/GCCTestSuite/pr22308-1.c
     533tests/GCCTestSuite/pr22311-1.c
     534tests/GCCTestSuite/pr22329.c
     535tests/GCCTestSuite/pr22335-1.c
     536tests/GCCTestSuite/pr22335-2.c
     537tests/GCCTestSuite/pr23049.c
     538tests/GCCTestSuite/pr23075.c
     539tests/GCCTestSuite/pr23165.c
     540tests/GCCTestSuite/pr23584.c
     541tests/GCCTestSuite/pr23625.c
     542tests/GCCTestSuite/pr24367.c
     543tests/GCCTestSuite/pr24445.c
     544tests/GCCTestSuite/pr24600.c
     545tests/GCCTestSuite/pr24615.c
     546tests/GCCTestSuite/pr24620.c
     547tests/GCCTestSuite/pr24683.c
     548tests/GCCTestSuite/pr25196.c
     549tests/GCCTestSuite/pr25559.c
     550tests/GCCTestSuite/pr25795-1.c
     551tests/GCCTestSuite/pr25795.c
     552tests/GCCTestSuite/pr25993.c
     553tests/GCCTestSuite/pr26004.c
     554tests/GCCTestSuite/pr26570.c
     555tests/GCCTestSuite/pr26729-1.c
     556tests/GCCTestSuite/pr26961-1.c
     557tests/GCCTestSuite/pr28187.c
     558tests/GCCTestSuite/pr28402.c
     559tests/GCCTestSuite/pr29581-1.c
     560tests/GCCTestSuite/pr29581-3.c
     561tests/GCCTestSuite/pr29637.c
     562tests/GCCTestSuite/pr29736.c
     563tests/GCCTestSuite/pr30473.c
     564tests/GCCTestSuite/pr3074-1.c
     565tests/GCCTestSuite/pr32450.c
     566tests/GCCTestSuite/pr34003-1.c
     567tests/GCCTestSuite/pragma-ep-2.c
     568tests/GCCTestSuite/pragma-ep-3.c
     569tests/GCCTestSuite/pragma-init-fini-2.c
     570tests/GCCTestSuite/pragma-isr-trap_exit.c
     571tests/GCCTestSuite/pragma-isr2.c
     572tests/GCCTestSuite/pragma-pack-3.c
     573tests/GCCTestSuite/pragma-pack-4.c
     574tests/GCCTestSuite/pragma-re-2.c
     575tests/GCCTestSuite/profile-generate-1.c
     576tests/GCCTestSuite/profile-generate-2.c
     577tests/GCCTestSuite/pure-1.c
     578tests/GCCTestSuite/qual-return-1.c
     579tests/GCCTestSuite/qual-return-2.c
     580tests/GCCTestSuite/qual-return-3.c
     581tests/GCCTestSuite/qual-return-4.c
     582tests/GCCTestSuite/redecl-13.c
     583tests/GCCTestSuite/redecl-16.c
     584tests/GCCTestSuite/redecl-6.c
     585tests/GCCTestSuite/redecl-7.c
     586tests/GCCTestSuite/redecl-8.c
     587tests/GCCTestSuite/redecl-9.c
     588tests/GCCTestSuite/reg-vol-struct-1.c
     589tests/GCCTestSuite/register-var-1.c
     590tests/GCCTestSuite/register-var-2.c
     591tests/GCCTestSuite/return-type-1.c
     592tests/GCCTestSuite/return-type-2.c
     593tests/GCCTestSuite/return-type-3.c
     594tests/GCCTestSuite/section1.c
     595tests/GCCTestSuite/sh-relax.c
     596tests/GCCTestSuite/short-compare-1.c
     597tests/GCCTestSuite/simd-1b.c
     598tests/GCCTestSuite/simd-3.c
     599tests/GCCTestSuite/smod-1.c
     600tests/GCCTestSuite/sparc-constant-1.c
     601tests/GCCTestSuite/string-opt-1.c
     602tests/GCCTestSuite/struct-empty-1.c
     603tests/GCCTestSuite/struct-empty-2.c
     604tests/GCCTestSuite/struct-empty-3.c
     605tests/GCCTestSuite/struct-ret-2.c
     606tests/GCCTestSuite/switch-1.c
     607tests/GCCTestSuite/switch-4.c
     608tests/GCCTestSuite/switch-warn-2.c
     609tests/GCCTestSuite/symbian1.c
     610tests/GCCTestSuite/symbian3.c
     611tests/GCCTestSuite/symbian4.c
     612tests/GCCTestSuite/symbian5.c
     613tests/GCCTestSuite/transparent-union-2.c
     614tests/GCCTestSuite/transparent-union-3.c
     615tests/GCCTestSuite/trunc-1.c
     616tests/GCCTestSuite/typedef-init.c
     617tests/GCCTestSuite/ultrasp1.c
     618tests/GCCTestSuite/ultrasp10.c
     619tests/GCCTestSuite/ultrasp2.c
     620tests/GCCTestSuite/ultrasp3.c
     621tests/GCCTestSuite/ultrasp4.c
     622tests/GCCTestSuite/uninit-1.c
     623tests/GCCTestSuite/uninit-10.c
     624tests/GCCTestSuite/uninit-11.c
     625tests/GCCTestSuite/uninit-2.c
     626tests/GCCTestSuite/uninit-3.c
     627tests/GCCTestSuite/uninit-4.c
     628tests/GCCTestSuite/uninit-5.c
     629tests/GCCTestSuite/uninit-6.c
     630tests/GCCTestSuite/uninit-8.c
     631tests/GCCTestSuite/uninit-9.c
     632tests/GCCTestSuite/uninit-A.c
     633tests/GCCTestSuite/uninit-B.c
     634tests/GCCTestSuite/uninit-C.c
     635tests/GCCTestSuite/uninit-D.c
     636tests/GCCTestSuite/uninit-E.c
     637tests/GCCTestSuite/uninit-F.c
     638tests/GCCTestSuite/uninit-G.c
     639tests/GCCTestSuite/uninit-H.c
     640tests/GCCTestSuite/uninit-I.c
     641tests/GCCTestSuite/unroll-1.c
     642tests/GCCTestSuite/unused-1.c
     643tests/GCCTestSuite/unused-2.c
     644tests/GCCTestSuite/unused-3.c
     645tests/GCCTestSuite/unused-4.c
     646tests/GCCTestSuite/unused-5.c
     647tests/GCCTestSuite/unused-6.c
     648tests/GCCTestSuite/unused-7.c
     649tests/GCCTestSuite/verbose-asm.c
     650tests/GCCTestSuite/visibility-1.c
     651tests/GCCTestSuite/visibility-10.c
     652tests/GCCTestSuite/visibility-11.c
     653tests/GCCTestSuite/visibility-2.c
     654tests/GCCTestSuite/visibility-3.c
     655tests/GCCTestSuite/visibility-4.c
     656tests/GCCTestSuite/visibility-5.c
     657tests/GCCTestSuite/visibility-6.c
     658tests/GCCTestSuite/visibility-7.c
     659tests/GCCTestSuite/visibility-8.c
     660tests/GCCTestSuite/visibility-9.c
     661tests/GCCTestSuite/visibility-a.c
     662tests/GCCTestSuite/visibility-b.c
     663tests/GCCTestSuite/visibility-c.c
     664tests/GCCTestSuite/visibility-d.c
     665tests/GCCTestSuite/void-cast-1.c
     666tests/GCCTestSuite/void-cast-2.c
     667tests/GCCTestSuite/volatile1.c
     668tests/GCCTestSuite/warn-1.c
     669tests/GCCTestSuite/wchar_t-1.c
     670tests/GCCTestSuite/wchar_t-2.c
     671tests/GCCTestSuite/winline-1.c
     672tests/GCCTestSuite/winline-2.c
     673tests/GCCTestSuite/winline-3.c
     674tests/GCCTestSuite/winline-4.c
     675tests/GCCTestSuite/winline-5.c
     676tests/GCCTestSuite/winline-6.c
     677tests/GCCTestSuite/winline-7.c
     678tests/GCCTestSuite/wint_t-1.c
     679tests/GCCTestSuite/wtr-escape-1.c
     680tests/GCCTestSuite/wtr-int-type-1.c
     681tests/GCCTestSuite/wtr-static-1.c
     682tests/GCCTestSuite/wtr-strcat-1.c
     683tests/GCCTestSuite/wtr-switch-1.c
     684tests/GCCTestSuite/wtr-unary-plus-1.c
     685tests/GCCTestSuite/wtr-union-init-1.c
     686tests/Makefile
     687tests/benchs/
     688tests/benchs/Makefile
     689tests/benchs/acc.run
     690tests/benchs/badsort.c
     691tests/benchs/fib.c
     692tests/benchs/mat_det.c
     693tests/benchs/meantime.sh
     694tests/benchs/min.c
     695tests/benchs/quicksort.c
     696tests/benchs/search.c
     697tests/clight/
     698tests/clight/Makefile
     699tests/clight/array.ASM.expected
     700tests/clight/array.Clight.expected
     701tests/clight/array.Cminor.expected
     702tests/clight/array.ERTL.expected
     703tests/clight/array.LIN.expected
     704tests/clight/array.LTL.expected
     705tests/clight/array.RTL.expected
     706tests/clight/array.RTLabs.expected
     707tests/clight/array.c
     708tests/clight/array.c.expected
     709tests/clight/array.log.expected
     710tests/clight/binop.ASM.expected
     711tests/clight/binop.Clight.expected
     712tests/clight/binop.Cminor.expected
     713tests/clight/binop.ERTL.expected
     714tests/clight/binop.LIN.expected
     715tests/clight/binop.LTL.expected
     716tests/clight/binop.RTL.expected
     717tests/clight/binop.RTLabs.expected
     718tests/clight/binop.c
     719tests/clight/binop.c.expected
     720tests/clight/binop.log.expected
     721tests/clight/complets.ASM.expected
     722tests/clight/complets.Clight.expected
     723tests/clight/complets.Cminor.expected
     724tests/clight/complets.ERTL.expected
     725tests/clight/complets.LIN.expected
     726tests/clight/complets.LTL.expected
     727tests/clight/complets.RTL.expected
     728tests/clight/complets.RTLabs.expected
     729tests/clight/complets.c
     730tests/clight/complets.c.expected
     731tests/clight/complets.log.expected
     732tests/clight/fib.ASM.expected
     733tests/clight/fib.Clight.expected
     734tests/clight/fib.Cminor.expected
     735tests/clight/fib.ERTL.expected
     736tests/clight/fib.LIN.expected
     737tests/clight/fib.LTL.expected
     738tests/clight/fib.RTL.expected
     739tests/clight/fib.RTLabs.expected
     740tests/clight/fib.c
     741tests/clight/fib.c.expected
     742tests/clight/fib.log.expected
     743tests/clight/fib.s.expected
     744tests/clight/fir4.ASM.expected
     745tests/clight/fir4.Clight.expected
     746tests/clight/fir4.Cminor.expected
     747tests/clight/fir4.ERTL.expected
     748tests/clight/fir4.LIN.expected
     749tests/clight/fir4.LTL.expected
     750tests/clight/fir4.RTL.expected
     751tests/clight/fir4.RTLabs.expected
     752tests/clight/fir4.c
     753tests/clight/fir4.c.expected
     754tests/clight/fir4.log.expected
     755tests/clight/fir_complexe.ASM.expected
     756tests/clight/fir_complexe.Clight.expected
     757tests/clight/fir_complexe.Cminor.expected
     758tests/clight/fir_complexe.ERTL.expected
     759tests/clight/fir_complexe.LIN.expected
     760tests/clight/fir_complexe.LTL.expected
     761tests/clight/fir_complexe.RTL.expected
     762tests/clight/fir_complexe.RTLabs.expected
     763tests/clight/fir_complexe.c
     764tests/clight/fir_complexe.c.expected
     765tests/clight/fir_complexe.log.expected
     766tests/clight/for.ASM.expected
     767tests/clight/for.Clight.expected
     768tests/clight/for.Cminor.expected
     769tests/clight/for.ERTL.expected
     770tests/clight/for.LIN.expected
     771tests/clight/for.LTL.expected
     772tests/clight/for.RTL.expected
     773tests/clight/for.RTLabs.expected
     774tests/clight/for.c
     775tests/clight/for.c.expected
     776tests/clight/for.log.expected
     777tests/clight/ifthenelse.ASM.expected
     778tests/clight/ifthenelse.Clight.expected
     779tests/clight/ifthenelse.Cminor.expected
     780tests/clight/ifthenelse.ERTL.expected
     781tests/clight/ifthenelse.LIN.expected
     782tests/clight/ifthenelse.LTL.expected
     783tests/clight/ifthenelse.RTL.expected
     784tests/clight/ifthenelse.RTLabs.expected
     785tests/clight/ifthenelse.c
     786tests/clight/ifthenelse.c.expected
     787tests/clight/ifthenelse.log.expected
     788tests/clight/testCOMP_tri.ASM.expected
     789tests/clight/testCOMP_tri.Clight.expected
     790tests/clight/testCOMP_tri.Cminor.expected
     791tests/clight/testCOMP_tri.ERTL.expected
     792tests/clight/testCOMP_tri.LIN.expected
     793tests/clight/testCOMP_tri.LTL.expected
     794tests/clight/testCOMP_tri.RTL.expected
     795tests/clight/testCOMP_tri.RTLabs.expected
     796tests/clight/testCOMP_tri.c
     797tests/clight/testCOMP_tri.c.expected
     798tests/clight/testCOMP_tri.log.expected
     799tests/clight/testTB_Array_LE.ASM.expected
     800tests/clight/testTB_Array_LE.Clight.expected
     801tests/clight/testTB_Array_LE.Cminor.expected
     802tests/clight/testTB_Array_LE.ERTL.expected
     803tests/clight/testTB_Array_LE.LIN.expected
     804tests/clight/testTB_Array_LE.LTL.expected
     805tests/clight/testTB_Array_LE.RTL.expected
     806tests/clight/testTB_Array_LE.RTLabs.expected
     807tests/clight/testTB_Array_LE.c
     808tests/clight/testTB_Array_LE.c.expected
     809tests/clight/testTB_Array_LE.log.expected
     810tests/clight/testTB_Array_double.ASM.expected
     811tests/clight/testTB_Array_double.Clight.expected
     812tests/clight/testTB_Array_double.Cminor.expected
     813tests/clight/testTB_Array_double.ERTL.expected
     814tests/clight/testTB_Array_double.LIN.expected
     815tests/clight/testTB_Array_double.LTL.expected
     816tests/clight/testTB_Array_double.RTL.expected
     817tests/clight/testTB_Array_double.RTLabs.expected
     818tests/clight/testTB_Array_double.c
     819tests/clight/testTB_Array_double.c.expected
     820tests/clight/testTB_Array_double.log.expected
     821tests/clight/testTB_Array_ecriture.ASM.expected
     822tests/clight/testTB_Array_ecriture.Clight.expected
     823tests/clight/testTB_Array_ecriture.Cminor.expected
     824tests/clight/testTB_Array_ecriture.ERTL.expected
     825tests/clight/testTB_Array_ecriture.LIN.expected
     826tests/clight/testTB_Array_ecriture.LTL.expected
     827tests/clight/testTB_Array_ecriture.RTL.expected
     828tests/clight/testTB_Array_ecriture.RTLabs.expected
     829tests/clight/testTB_Array_ecriture.c
     830tests/clight/testTB_Array_ecriture.c.expected
     831tests/clight/testTB_Array_ecriture.log.expected
     832tests/clight/testTB_Array_lecture.ASM.expected
     833tests/clight/testTB_Array_lecture.Clight.expected
     834tests/clight/testTB_Array_lecture.Cminor.expected
     835tests/clight/testTB_Array_lecture.ERTL.expected
     836tests/clight/testTB_Array_lecture.LIN.expected
     837tests/clight/testTB_Array_lecture.LTL.expected
     838tests/clight/testTB_Array_lecture.RTL.expected
     839tests/clight/testTB_Array_lecture.RTLabs.expected
     840tests/clight/testTB_Array_lecture.c
     841tests/clight/testTB_Array_lecture.c.expected
     842tests/clight/testTB_Array_lecture.log.expected
     843tests/clight/testTB_boucle.ASM.expected
     844tests/clight/testTB_boucle.Clight.expected
     845tests/clight/testTB_boucle.Cminor.expected
     846tests/clight/testTB_boucle.ERTL.expected
     847tests/clight/testTB_boucle.LIN.expected
     848tests/clight/testTB_boucle.LTL.expected
     849tests/clight/testTB_boucle.RTL.expected
     850tests/clight/testTB_boucle.RTLabs.expected
     851tests/clight/testTB_boucle.c
     852tests/clight/testTB_boucle.c.expected
     853tests/clight/testTB_boucle.log.expected
     854tests/review1/
     855tests/review1/bubble_sort.c
     856tests/review1/search.c
     857tests/tmp_tests/
     858tests/tmp_tests/Backend/
     859tests/tmp_tests/Backend/array_copy.c
     860tests/tmp_tests/Backend/array_copy_u.c
     861tests/tmp_tests/Backend/bubble_sort.c
     862tests/tmp_tests/Backend/bubble_sort_u.c
     863tests/tmp_tests/Backend/quicksort.c
     864tests/tmp_tests/Backend/quicksort_u.c
     865tests/tmp_tests/Backend/search.c
     866tests/tmp_tests/Backend/struct_and_ptr_and_fact.c
     867tests/tmp_tests/Backend/struct_and_ptr_and_fact_u.c
     868tests/tmp_tests/Frontend/
     869tests/tmp_tests/Frontend/array_copy.RTLabs
     870tests/tmp_tests/Frontend/array_copy.c
     871tests/tmp_tests/Frontend/bubble_sort.RTLabs
     872tests/tmp_tests/Frontend/bubble_sort.c
     873tests/tmp_tests/Frontend/quicksort.RTLabs
     874tests/tmp_tests/Frontend/quicksort.c
     875tests/tmp_tests/Frontend/search.RTLabs
     876tests/tmp_tests/Frontend/search.c
     877tests/tmp_tests/Frontend/struct_and_ptr_and_fact.RTLabs
     878tests/tmp_tests/Frontend/struct_and_ptr_and_fact.c
  • Deliverables/D2.2/8051/myocamlbuild_config.ml

    r818 r1099  
    1 let parser_lib = "/home/ayache/Downloads/Bol/Deliverables/D2.2/8051/lib"
     1let parser_lib = "/home/akuma/Work/CerCo/Bologna/Deliverables/D2.2/8051/lib"
  • Deliverables/D2.2/8051/src/clight/clightCasts.ml

    r818 r1099  
    2424  | _ -> Clight.I32
    2525
    26 let cmp_intsize cmp size1 size2 =
    27   cmp (int_of_intsize size1) (int_of_intsize size2)
    28 
    29 let max_intsize size1 size2 =
    30   if (int_of_intsize size1) < (int_of_intsize size2) then size2 else size1
    31 
    32 let intsize_union size1 size2 =
    33   intsize_of_int ((int_of_intsize size1) + (int_of_intsize size2))
     26let op_intsize_no_cast op size1 size2 =
     27  op (int_of_intsize size1) (int_of_intsize size2)
     28
     29let cmp_intsize cmp size1 size2 = op_intsize_no_cast cmp size1 size2
     30
     31let op_intsize op size1 size2 =
     32  intsize_of_int (op_intsize_no_cast op size1 size2)
     33
     34let max_intsize size1 size2 = op_intsize max size1 size2
     35
     36let intsize_union size1 size2 = op_intsize (+) size1 size2
    3437
    3538let pow2 = MiscPottier.pow 2
     
    6265  Clight.Tint (size, sign)
    6366
    64 
    65 let type_of_expr (Clight.Expr (_, t)) = t
     67let le_int_type size1 sign1 size2 sign2 = match sign1, sign2 with
     68  | AST.Unsigned, AST.Signed -> cmp_intsize (<) size1 size2
     69  | AST.Signed, AST.Unsigned -> false
     70  | _ -> cmp_intsize (<=) size1 size2
    6671
    6772let int_type_union t1 t2 =
     
    7580  Clight.Tint (size, sign)
    7681
     82
     83(* C types *)
     84
     85let type_of_expr (Clight.Expr (_, t)) = t
     86
    7787let cast_if_needed t (Clight.Expr (ed, t') as e) = match t, ed with
    7888  | _ when t = t' -> e
     
    8292  | _ -> Clight.Expr (Clight.Ecast (t, e), t)
    8393
    84 let rec simplify_binop t binop
    85     (Clight.Expr (ed1, t1) as e1)
    86     (Clight.Expr (ed2, t2) as e2) =
    87   let e1' = simplify_expr e1 in
    88   let e2' = simplify_expr e2 in
    89   let make_int i t = Clight.Expr (Clight.Econst_int i, t) in
    90 
    91   let (e1', e2', t') = match t1, t2, ed1, ed2 with
    92 
    93     | Clight.Tint _, Clight.Tint _,
    94       Clight.Econst_int i1, Clight.Econst_int i2 ->
    95       let t1' = smallest_int_type i1 in
    96       let t2' = smallest_int_type i2 in
    97       let t' = int_type_union t1' t2' in
    98       (make_int i1 t', make_int i2 t', t')
    99 
    100     | Clight.Tint _, Clight.Tint _, _, Clight.Econst_int i2 ->
    101       let t' = type_of_expr e1' in
    102       let e2' = make_int i2 t' in
    103       (e1', e2', t')
    104 
    105     | Clight.Tint _, Clight.Tint _, Clight.Econst_int i1, _ ->
    106       let t' = type_of_expr e2' in
    107       let e1' = make_int i1 t' in
    108       (e1', e2', t')
    109 
    110     | Clight.Tint _, Clight.Tint _, _, _ ->
    111       let t' = int_type_union (type_of_expr e1') (type_of_expr e2') in
    112       (cast_if_needed t' e1', cast_if_needed t' e2', t')
    113 
    114     | _ -> (e1', e2', t)
    115 
    116   in
    117 
    118   Clight.Expr (Clight.Ebinop (binop, e1', e2'), t')
    119 
    120 and simplify_bool_op f_bool t e1 e2 =
     94let le_ctype t1 t2 = match t1, t2 with
     95  | Clight.Tint (size1, sign1), Clight.Tint (size2, sign2) ->
     96    le_int_type size1 sign1 size2 sign2
     97  | _ -> t1 = t2
     98
     99
     100(* Simplification *)
     101
     102let rec simplify_bool_op f_bool t e1 e2 =
    121103  let (e1', e2', t') = simplify_and_same_type t e1 e2 in
    122104  Clight.Expr (f_bool e1' e2', t')
     
    136118  | Clight.Evar _ -> e
    137119
    138   | Clight.Esizeof _ -> Clight.Expr (ed, Clight.Tint (Clight.I8, AST.Unsigned))
     120  | Clight.Esizeof _ ->
     121    let intsize = intsize_of_int (Driver.TargetArch.int_size * 8) in
     122    Clight.Expr (ed, Clight.Tint (intsize, AST.Unsigned))
    139123
    140124  | Clight.Econst_float _ -> error_float ()
     
    148132    Clight.Expr (Clight.Eaddrof e', t)
    149133
    150   | Clight.Eunop (unop, e) ->
    151     let e' = simplify_expr e in
    152     Clight.Expr (Clight.Eunop (unop, e'), type_of_expr e')
    153 
    154   | Clight.Ebinop (binop, e1, e2) ->
    155     simplify_binop t binop e1 e2
    156 
    157   | Clight.Ecast (Clight.Tint (Clight.I32, AST.Signed), e) -> simplify_expr e
     134  | Clight.Eunop _ -> e
     135
     136  | Clight.Ebinop _ -> e
     137
     138  (* [(t1) unop ((t2) e)], when [e] simplified has type [t1] and [t1] <= [t2],
     139     is simplified to [unop e] *)
     140  | Clight.Ecast
     141      (t1,
     142       Clight.Expr
     143         (Clight.Eunop (unop, Clight.Expr (Clight.Ecast (_, e'), _)), t2))
     144      when le_ctype t1 t2 ->
     145    let e' = simplify_expr e' in
     146    let t' = type_of_expr e' in
     147    if t' = t1 then Clight.Expr (Clight.Eunop (unop, e'), t') else e
     148
     149  (* [(t) ((t') e1 binop (t') e2)], when [e1] and [e2] simplified have type [t]
     150     and [t] <= [t'], is simplified to [e] *)
     151  | Clight.Ecast
     152      (t,
     153       Clight.Expr
     154         (Clight.Ebinop
     155            (binop,
     156             Clight.Expr (Clight.Ecast (_, e1), _),
     157             Clight.Expr (Clight.Ecast (_, e2), _)),
     158          t'))
     159      when le_ctype t t' ->
     160    let e1 = simplify_expr e1 in
     161    let t1 = type_of_expr e1 in
     162    let e2 = simplify_expr e2 in
     163    let t2 = type_of_expr e2 in
     164    if t1 = t && t2 = t then Clight.Expr (Clight.Ebinop (binop, e1, e2), t)
     165    else e
    158166
    159167  | Clight.Ecast (t', e) ->
Note: See TracChangeset for help on using the changeset viewer.