ocaml/asmcomp
Benedikt Meurer 02adae46d2 PR#6091: Thumb-2 MUL must not set flags.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-27 06:07:40 +00:00
..
amd64 Re-add configure option -with-frame-pointers 2013-06-03 18:03:59 +00:00
arm PR#6091: Thumb-2 MUL must not set flags. 2013-07-27 06:07:40 +00:00
arm64 Port to the ARM 64-bits (AArch64) architecture (experimental). 2013-07-18 16:09:20 +00:00
i386 Re-add configure option -with-frame-pointers 2013-06-03 18:03:59 +00:00
power PR#6049: support for OpenBSD/macppc 2013-06-24 08:17:30 +00:00
sparc Re-add configure option -with-frame-pointers 2013-06-03 18:03:59 +00:00
.ignore uniform .ignore system 2011-07-20 15:37:36 +00:00
asmgen.ml Re-add configure option -with-frame-pointers 2013-06-03 18:03:59 +00:00
asmgen.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
asmlibrarian.ml Improved implementation of OCAMLPARAM 2013-06-05 16:34:40 +00:00
asmlibrarian.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
asmlink.ml Improved implementation of OCAMLPARAM 2013-06-05 16:34:40 +00:00
asmlink.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
asmpackager.ml #5832: patch to improve 'wrong file naming' error messages. 2013-04-29 14:57:38 +00:00
asmpackager.mli #5832: patch to improve 'wrong file naming' error messages. 2013-04-29 14:57:38 +00:00
clambda.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
clambda.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
closure.ml PR#5580: missed opportunities for constant propagation 2013-06-07 11:32:13 +00:00
closure.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
cmm.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
cmm.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
cmmgen.ml add [open Types] back to cmmgen as it is used after the 4.00 merge 2013-05-22 13:59:24 +00:00
cmmgen.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
cmx_format.mli fix a few problems with whitespace and over-long lines 2013-03-09 22:38:52 +00:00
codegen.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
codegen.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
coloring.ml [coloring] Validate physical register offsets. 2013-01-13 16:57:36 +00:00
coloring.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
comballoc.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
comballoc.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
compilenv.ml Port to the ARM 64-bits (AArch64) architecture (experimental). 2013-07-18 16:09:20 +00:00
compilenv.mli Port to the ARM 64-bits (AArch64) architecture (experimental). 2013-07-18 16:09:20 +00:00
debuginfo.ml clean up TABs and whitespace 2012-07-30 18:04:46 +00:00
debuginfo.mli PR#5643: issues with .cfi and .loc directives generated by ocamlopt -g 2012-06-17 08:17:43 +00:00
emit.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
emitaux.ml Re-add configure option -with-frame-pointers 2013-06-03 18:03:59 +00:00
emitaux.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
interf.ml PR#5933 type-specialize 'let compare = compare' on ints and strings 2013-03-19 07:22:12 +00:00
interf.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
linearize.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
linearize.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
liveness.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
liveness.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
mach.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
mach.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
printclambda.ml fix a few problems with whitespace and over-long lines 2013-03-09 22:38:52 +00:00
printclambda.mli Forgot to add new files 2012-02-22 08:43:39 +00:00
printcmm.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
printcmm.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
printlinear.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
printlinear.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
printmach.ml Fix typo. 2013-06-26 21:28:05 +00:00
printmach.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
proc.mli Re-add configure option -with-frame-pointers 2013-06-03 18:03:59 +00:00
reg.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
reg.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
reload.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
reloadgen.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
reloadgen.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
schedgen.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
schedgen.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
scheduling.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
selectgen.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
selectgen.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
selection.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
spill.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
spill.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
split.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
split.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00