summaryrefslogtreecommitdiff
path: root/asmcomp
ModeNameSize
-rw-r--r--CSE.mli1188logplain
-rw-r--r--CSEgen.ml14698logplain
-rw-r--r--CSEgen.mli1947logplain
-rw-r--r--afl_instrument.ml5042logplain
-rw-r--r--afl_instrument.mli1208logplain
d---------amd64330logplain
d---------arm330logplain
d---------arm64330logplain
-rw-r--r--asmgen.ml11908logplain
-rw-r--r--asmgen.mli2113logplain
-rw-r--r--asmlibrarian.ml3274logplain
-rw-r--r--asmlibrarian.mli1323logplain
-rw-r--r--asmlink.ml16994logplain
-rw-r--r--asmlink.mli2041logplain
-rw-r--r--asmpackager.ml10366logplain
-rw-r--r--asmpackager.mli1632logplain
-rw-r--r--branch_relaxation.ml6726logplain
-rw-r--r--branch_relaxation.mli1701logplain
-rw-r--r--branch_relaxation_intf.mli3556logplain
-rw-r--r--cmm.ml9932logplain
-rw-r--r--cmm.mli10581logplain
-rw-r--r--cmm_helpers.ml101388logplain
-rw-r--r--cmm_helpers.mli25074logplain
-rw-r--r--cmm_invariants.ml5569logplain
-rw-r--r--cmm_invariants.mli1988logplain
-rw-r--r--cmmgen.ml57717logplain
-rw-r--r--cmmgen.mli1258logplain
-rw-r--r--cmmgen_state.ml3051logplain
-rw-r--r--cmmgen_state.mli2171logplain
-rw-r--r--coloring.ml8734logplain
-rw-r--r--coloring.mli1186logplain
-rw-r--r--comballoc.ml4513logplain
-rw-r--r--comballoc.mli1187logplain
-rw-r--r--dataflow.ml3239logplain
-rw-r--r--dataflow.mli4499logplain
-rw-r--r--deadcode.ml5707logplain
-rw-r--r--deadcode.mli1207logplain
-rw-r--r--dune2006logplain
-rw-r--r--emit.mli1251logplain
-rw-r--r--emitaux.ml14302logplain
-rw-r--r--emitaux.mli3756logplain
-rw-r--r--emitenv.mli3773logplain
d---------i386330logplain
-rw-r--r--interf.ml6821logplain
-rw-r--r--interf.mli1233logplain
-rw-r--r--interval.ml6468logplain
-rw-r--r--interval.mli1630logplain
-rw-r--r--linear.ml3091logplain
-rw-r--r--linear.mli2295logplain
-rw-r--r--linearize.ml13520logplain
-rw-r--r--linearize.mli1193logplain
-rw-r--r--linscan.ml7837logplain
-rw-r--r--linscan.mli1240logplain
-rw-r--r--liveness.ml3302logplain
-rw-r--r--liveness.mli1202logplain
-rw-r--r--mach.ml5338logplain
-rw-r--r--mach.mli4303logplain
-rw-r--r--polling.ml12273logplain
-rw-r--r--polling.mli1678logplain
d---------power330logplain
-rw-r--r--printcmm.ml10484logplain
-rw-r--r--printcmm.mli1820logplain
-rw-r--r--printlinear.ml3194logplain
-rw-r--r--printlinear.mli1240logplain
-rw-r--r--printmach.ml9216logplain
-rw-r--r--printmach.mli1724logplain
-rw-r--r--proc.mli3590logplain
-rw-r--r--reg.ml6288logplain
-rw-r--r--reg.mli4206logplain
-rw-r--r--reload.mli1220logplain
-rw-r--r--reloadgen.ml5097logplain
-rw-r--r--reloadgen.mli1657logplain
d---------riscv330logplain
d---------s390x330logplain
-rw-r--r--schedgen.ml14501logplain
-rw-r--r--schedgen.mli2457logplain
-rw-r--r--scheduling.mli1155logplain
-rw-r--r--selectgen.ml43645logplain
-rw-r--r--selectgen.mli7368logplain
-rw-r--r--selection.mli1264logplain
-rw-r--r--spill.ml15977logplain
-rw-r--r--spill.mli1251logplain
-rw-r--r--split.ml7612logplain
-rw-r--r--split.mli1215logplain
-rw-r--r--strmatch.ml11630logplain
-rw-r--r--strmatch.mli1670logplain
-rw-r--r--x86_ast.mli5538logplain
-rw-r--r--x86_dsl.ml7133logplain
-rw-r--r--x86_dsl.mli5760logplain
-rw-r--r--x86_gas.ml11896logplain
-rw-r--r--x86_gas.mli1186logplain
-rw-r--r--x86_masm.ml9635logplain
-rw-r--r--x86_masm.mli1202logplain
-rw-r--r--x86_proc.ml7039logplain
-rw-r--r--x86_proc.mli3120logplain