| .. |
|
amd64
|
More precise typing at the C-- and Mach level.
|
2015-07-27 09:20:39 +00:00 |
|
arm
|
Update to trunk r16267.
|
2015-07-27 08:18:53 +00:00 |
|
arm64
|
Update to trunk r16267.
|
2015-07-27 08:18:53 +00:00 |
|
i386
|
More precise typing at the C-- and Mach level.
|
2015-07-27 09:20:39 +00:00 |
|
power
|
Update to trunk r16267.
|
2015-07-27 08:18:53 +00:00 |
|
sparc
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
.ignore
|
add CSE.ml to ignore files
|
2014-04-27 09:31:59 +00:00 |
|
CSEgen.ml
|
Don't forget that allocations can run arbitrary Caml code (via signal handlers, etc). Hence, equations involving loads must be erased across allocations.
|
2014-11-07 13:37:44 +00:00 |
|
CSEgen.mli
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
asmgen.ml
|
Avoid creating empty .asm files when using a binary backend.
|
2015-02-26 14:03:58 +00:00 |
|
asmgen.mli
|
Factorize the sequencing of operations for setting up the assembly output, calling the assembler, closing/removing the assembly output.
|
2014-09-03 12:48:13 +00:00 |
|
asmlibrarian.ml
|
Continue.
|
2013-09-12 15:50:47 +00:00 |
|
asmlibrarian.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
asmlink.ml
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
asmlink.mli
|
Add reset functions to make modules reentrant when used through compiler-libs
|
2014-05-09 12:01:21 +00:00 |
|
asmpackager.ml
|
PR6695: Make sure the compiler only uses ASCII string functions.
|
2014-12-21 11:46:14 +00:00 |
|
asmpackager.mli
|
merge branch "safe-string"
|
2014-04-29 11:56:17 +00:00 |
|
branch_relaxation.ml
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
branch_relaxation.mli
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
branch_relaxation_intf.ml
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
clambda.ml
|
Reflecting commit 14916 on version/4.02:
|
2014-05-25 16:46:23 +00:00 |
|
clambda.mli
|
Reflecting commit 14916 on version/4.02:
|
2014-05-25 16:46:23 +00:00 |
|
closure.ml
|
GPR#111: `(f [@taillcall]) x y` warns if `f x y` is not a tail-call
|
2015-04-12 18:26:38 +00:00 |
|
closure.mli
|
small re-ordering of declarations, to match comments
|
2014-05-09 12:22:35 +00:00 |
|
cmm.ml
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
cmm.mli
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
cmmgen.ml
|
Allow unbox in let-rec bindings, for uniformity.
|
2015-07-27 10:12:35 +00:00 |
|
cmmgen.mli
|
Change the representation of exception slots: instead of being represented as 'string ref', they are now blocks
|
2013-10-23 14:28:31 +00:00 |
|
cmx_format.mli
|
re-commit Leo's weak-dependencies pull request
|
2014-05-07 00:34:20 +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
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
coloring.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
comballoc.ml
|
Support for raise variants in ocamlopt. Only amd64 for now.
|
2013-10-14 14:33:27 +00:00 |
|
comballoc.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
compilenv.ml
|
Reflecting commit 14916 on version/4.02:
|
2014-05-25 16:46:23 +00:00 |
|
compilenv.mli
|
re-commit Leo's weak-dependencies pull request
|
2014-05-07 00:34:20 +00:00 |
|
deadcode.ml
|
Liveness & Deadcode: fix i386-specific issue with move instructions accessing
|
2014-05-16 14:37:22 +00:00 |
|
deadcode.mli
|
ID comments are so passé.
|
2014-04-26 09:38:29 +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
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
emitaux.mli
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
interf.ml
|
Undo previous commit.
|
2014-10-09 17:08:31 +00:00 |
|
interf.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
linearize.ml
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
linearize.mli
|
Add reset functions to make modules reentrant when used through compiler-libs
|
2014-05-09 12:01:21 +00:00 |
|
liveness.ml
|
Liveness & Deadcode: fix i386-specific issue with move instructions accessing
|
2014-05-16 14:37:22 +00:00 |
|
liveness.mli
|
Add reset functions to make modules reentrant when used through compiler-libs
|
2014-05-09 12:01:21 +00:00 |
|
mach.ml
|
New back-end optimization pass: common subexpression elimination (CSE).
|
2014-04-26 10:40:22 +00:00 |
|
mach.mli
|
New back-end optimization pass: common subexpression elimination (CSE).
|
2014-04-26 10:40:22 +00:00 |
|
printclambda.ml
|
- Constant ropagation for float and int32/int64/nativeint arithmetic.
|
2014-04-25 08:41:13 +00:00 |
|
printclambda.mli
|
#5779: improve support for structured constants (better propagation, sharing, cleaner representation). Also fix #6337 (constants emitted several times).
|
2014-03-06 17:03:16 +00:00 |
|
printcmm.ml
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
printcmm.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
printlinear.ml
|
Support for raise variants in ocamlopt. Only amd64 for now.
|
2013-10-14 14:33:27 +00:00 |
|
printlinear.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
printmach.ml
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
printmach.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
proc.mli
|
Liveness & Deadcode: fix i386-specific issue with move instructions accessing
|
2014-05-16 14:37:22 +00:00 |
|
reg.ml
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
reg.mli
|
PR#6501: harden the native-code generator against certain uses of "%identity".
|
2014-08-11 07:46:25 +00:00 |
|
reload.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
reloadgen.ml
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
reloadgen.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
schedgen.ml
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
schedgen.mli
|
Add reset functions to make modules reentrant when used through compiler-libs
|
2014-05-09 12:01:21 +00:00 |
|
scheduling.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
selectgen.ml
|
Prudently revert the type of "Cconst_symbol" to typ_val instead of typ_int.
|
2014-11-07 18:11:51 +00:00 |
|
selectgen.mli
|
PR#6501: harden the native-code generator against certain uses of "%identity".
|
2014-08-11 07:46:25 +00:00 |
|
selection.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
spill.ml
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
spill.mli
|
small re-ordering of declarations, to match comments
|
2014-05-09 12:22:35 +00:00 |
|
split.ml
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
split.mli
|
Add reset functions to make modules reentrant when used through compiler-libs
|
2014-05-09 12:01:21 +00:00 |
|
strmatch.ml
|
More precise typing at the C-- and Mach level:
|
2014-11-06 08:54:14 +00:00 |
|
strmatch.mli
|
Folllowup to PR#6359, great cleanup of switch actions sharing.
|
2014-04-07 15:43:20 +00:00 |
|
x86_ast.mli
|
Merge Mem32/Mem64.
|
2014-12-02 10:58:31 +00:00 |
|
x86_dsl.ml
|
Merge Mem32/Mem64.
|
2014-12-02 10:58:31 +00:00 |
|
x86_dsl.mli
|
Adapt comment to curried calling convention.
|
2014-12-01 10:27:23 +00:00 |
|
x86_gas.ml
|
Support far relocations in Win64, using a custom local implementation of something similar to the GOT table. This allows loading .cmxs units far from the main process. Might fix #6594 as well.
|
2015-03-11 16:02:20 +00:00 |
|
x86_gas.mli
|
Rename Intel_* to X86_*.
|
2014-11-27 17:12:21 +00:00 |
|
x86_masm.ml
|
Merge Mem32/Mem64.
|
2014-12-02 10:58:31 +00:00 |
|
x86_masm.mli
|
Rename Intel_* to X86_*.
|
2014-11-27 17:12:21 +00:00 |
|
x86_proc.ml
|
Support far relocations in Win64, using a custom local implementation of something similar to the GOT table. This allows loading .cmxs units far from the main process. Might fix #6594 as well.
|
2015-03-11 16:02:20 +00:00 |
|
x86_proc.mli
|
Support far relocations in Win64, using a custom local implementation of something similar to the GOT table. This allows loading .cmxs units far from the main process. Might fix #6594 as well.
|
2015-03-11 16:02:20 +00:00 |
1a31367f74