summaryrefslogtreecommitdiff
path: root/asmcomp
ModeNameSize
-rw-r--r--CSEgen.ml14350logplain
-rw-r--r--CSEgen.mli1930logplain
-rw-r--r--afl_instrument.ml4191logplain
-rw-r--r--afl_instrument.mli157logplain
d---------amd64294logplain
d---------arm294logplain
d---------arm64294logplain
-rw-r--r--asmgen.ml10279logplain
-rw-r--r--asmgen.mli1775logplain
-rw-r--r--asmlibrarian.ml3211logplain
-rw-r--r--asmlibrarian.mli1323logplain
-rw-r--r--asmlink.ml15643logplain
-rw-r--r--asmlink.mli2033logplain
-rw-r--r--asmpackager.ml10013logplain
-rw-r--r--asmpackager.mli1623logplain
-rw-r--r--branch_relaxation.ml6316logplain
-rw-r--r--branch_relaxation.mli1708logplain
-rw-r--r--branch_relaxation_intf.ml3514logplain
-rw-r--r--build_export_info.ml20769logplain
-rw-r--r--build_export_info.mli1392logplain
-rw-r--r--clambda.ml6214logplain
-rw-r--r--clambda.mli4050logplain
-rw-r--r--closure.ml53313logplain
-rw-r--r--closure.mli1228logplain
-rw-r--r--closure_offsets.ml6263logplain
-rw-r--r--closure_offsets.mli2480logplain
-rw-r--r--cmm.ml5603logplain
-rw-r--r--cmm.mli6336logplain
-rw-r--r--cmmgen.ml131084logplain
-rw-r--r--cmmgen.mli2052logplain
-rw-r--r--cmx_format.mli3517logplain
-rw-r--r--coloring.ml8706logplain
-rw-r--r--coloring.mli1181logplain
-rw-r--r--comballoc.ml4476logplain
-rw-r--r--comballoc.mli1187logplain
-rw-r--r--compilenv.ml14129logplain
-rw-r--r--compilenv.mli6317logplain
-rw-r--r--deadcode.ml3548logplain
-rw-r--r--deadcode.mli1207logplain
-rw-r--r--emit.mli1254logplain
-rw-r--r--emitaux.ml9838logplain
-rw-r--r--emitaux.mli3114logplain
-rw-r--r--export_info.ml13171logplain
-rw-r--r--export_info.mli5871logplain
-rw-r--r--export_info_for_pack.ml8575logplain
-rw-r--r--export_info_for_pack.mli1776logplain
-rw-r--r--flambda_to_clambda.ml27197logplain
-rw-r--r--flambda_to_clambda.mli1996logplain
d---------i386294logplain
-rw-r--r--import_approx.ml7782logplain
-rw-r--r--import_approx.mli1998logplain
-rw-r--r--interf.ml7129logplain
-rw-r--r--interf.mli1233logplain
-rw-r--r--interval.ml6606logplain
-rw-r--r--interval.mli1630logplain
-rw-r--r--linearize.ml11113logplain
-rw-r--r--linearize.mli2106logplain
-rw-r--r--linscan.ml7259logplain
-rw-r--r--linscan.mli1235logplain
-rw-r--r--liveness.ml7454logplain
-rw-r--r--liveness.mli1253logplain
-rw-r--r--mach.ml6287logplain
-rw-r--r--mach.mli4989logplain
d---------power294logplain
-rw-r--r--printclambda.ml8709logplain
-rw-r--r--printclambda.mli1267logplain
-rw-r--r--printcmm.ml8174logplain
-rw-r--r--printcmm.mli1694logplain
-rw-r--r--printlinear.ml2970logplain
-rw-r--r--printlinear.mli1243logplain
-rw-r--r--printmach.ml8868logplain
-rw-r--r--printmach.mli1750logplain
-rw-r--r--proc.mli3275logplain
-rw-r--r--reg.ml5686logplain
-rw-r--r--reg.mli2782logplain
-rw-r--r--reload.mli1207logplain
-rw-r--r--reloadgen.ml4935logplain
-rw-r--r--reloadgen.mli1644logplain
d---------s390x294logplain
-rw-r--r--schedgen.ml14110logplain
-rw-r--r--schedgen.mli2466logplain
-rw-r--r--scheduling.mli1161logplain
-rw-r--r--selectgen.ml45092logplain
-rw-r--r--selectgen.mli7207logplain
-rw-r--r--selection.mli1215logplain
-rw-r--r--spacetime_profiling.ml17850logplain
-rw-r--r--spacetime_profiling.mli1134logplain
-rw-r--r--spill.ml18277logplain
-rw-r--r--spill.mli1251logplain
-rw-r--r--split.ml7734logplain
-rw-r--r--split.mli1215logplain
-rw-r--r--strmatch.ml11472logplain
-rw-r--r--strmatch.mli1669logplain
-rw-r--r--un_anf.ml28515logplain
-rw-r--r--un_anf.mli1320logplain
-rw-r--r--x86_ast.mli5428logplain
-rw-r--r--x86_dsl.ml6825logplain
-rw-r--r--x86_dsl.mli5563logplain
-rw-r--r--x86_gas.ml11634logplain
-rw-r--r--x86_gas.mli1186logplain
-rw-r--r--x86_masm.ml9538logplain
-rw-r--r--x86_masm.mli1202logplain
-rw-r--r--x86_proc.ml6816logplain
-rw-r--r--x86_proc.mli3037logplain