summaryrefslogtreecommitdiff
path: root/asmcomp
ModeNameSize
-rw-r--r--CSEgen.ml14390logplain
-rw-r--r--CSEgen.mli1931logplain
-rw-r--r--afl_instrument.ml4692logplain
-rw-r--r--afl_instrument.mli1208logplain
d---------amd64294logplain
d---------arm294logplain
d---------arm64294logplain
-rw-r--r--asmgen.ml8060logplain
-rw-r--r--asmgen.mli1952logplain
-rw-r--r--asmlibrarian.ml3274logplain
-rw-r--r--asmlibrarian.mli1323logplain
-rw-r--r--asmlink.ml16696logplain
-rw-r--r--asmlink.mli2034logplain
-rw-r--r--asmpackager.ml10376logplain
-rw-r--r--asmpackager.mli1632logplain
-rw-r--r--branch_relaxation.ml6355logplain
-rw-r--r--branch_relaxation.mli1705logplain
-rw-r--r--branch_relaxation_intf.ml3535logplain
-rw-r--r--cmm.ml9446logplain
-rw-r--r--cmm.mli9598logplain
-rw-r--r--cmm_helpers.ml98572logplain
-rw-r--r--cmm_helpers.mli24530logplain
-rw-r--r--cmmgen.ml53953logplain
-rw-r--r--cmmgen.mli1258logplain
-rw-r--r--cmmgen_state.ml2959logplain
-rw-r--r--cmmgen_state.mli2093logplain
-rw-r--r--coloring.ml8680logplain
-rw-r--r--coloring.mli1186logplain
-rw-r--r--comballoc.ml4630logplain
-rw-r--r--comballoc.mli1187logplain
-rw-r--r--deadcode.ml5880logplain
-rw-r--r--deadcode.mli1207logplain
d---------debug436logplain
-rw-r--r--dune1947logplain
-rw-r--r--emit.mli1251logplain
-rw-r--r--emitaux.ml11183logplain
-rw-r--r--emitaux.mli3205logplain
d---------i386294logplain
-rw-r--r--interf.ml6825logplain
-rw-r--r--interf.mli1233logplain
-rw-r--r--interval.ml6472logplain
-rw-r--r--interval.mli1630logplain
-rw-r--r--linear.ml3123logplain
-rw-r--r--linear.mli2325logplain
-rw-r--r--linearize.ml13705logplain
-rw-r--r--linearize.mli1193logplain
-rw-r--r--linscan.ml7837logplain
-rw-r--r--linscan.mli1240logplain
-rw-r--r--liveness.ml6731logplain
-rw-r--r--liveness.mli1227logplain
-rw-r--r--mach.ml7276logplain
-rw-r--r--mach.mli5813logplain
d---------power294logplain
-rw-r--r--printcmm.ml10000logplain
-rw-r--r--printcmm.mli1712logplain
-rw-r--r--printlinear.ml3186logplain
-rw-r--r--printlinear.mli1240logplain
-rw-r--r--printmach.ml9470logplain
-rw-r--r--printmach.mli1724logplain
-rw-r--r--proc.mli3828logplain
-rw-r--r--reg.ml5686logplain
-rw-r--r--reg.mli2786logplain
-rw-r--r--reload.mli1220logplain
-rw-r--r--reloadgen.ml4987logplain
-rw-r--r--reloadgen.mli1657logplain
d---------s390x294logplain
-rw-r--r--schedgen.ml14433logplain
-rw-r--r--schedgen.mli2457logplain
-rw-r--r--scheduling.mli1155logplain
-rw-r--r--selectgen.ml47047logplain
-rw-r--r--selectgen.mli7581logplain
-rw-r--r--selection.mli1215logplain
-rw-r--r--spacetime_profiling.ml18839logplain
-rw-r--r--spacetime_profiling.mli1134logplain
-rw-r--r--spill.ml16883logplain
-rw-r--r--spill.mli1251logplain
-rw-r--r--split.ml7636logplain
-rw-r--r--split.mli1215logplain
-rw-r--r--strmatch.ml11603logplain
-rw-r--r--strmatch.mli1669logplain
-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.ml6778logplain
-rw-r--r--x86_proc.mli2994logplain