Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/asmcomp
History
Xavier Leroy ec1ba73399 Prudently revert the type of "Cconst_symbol" to typ_val instead of typ_int. 
There seems to be issues with let-bound variables initialized with symbol
addresses and later updated.


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2014-11-07 18:11:51 +00:00
..
amd64 More precise typing at the C-- and Mach level: 2014-11-06 08:54:14 +00:00
arm More precise typing at the C-- and Mach level: 2014-11-06 08:54:14 +00:00
arm64 More precise typing at the C-- and Mach level: 2014-11-06 08:54:14 +00:00
i386 More precise typing at the C-- and Mach level: 2014-11-06 08:54:14 +00:00
power More precise typing at the C-- and Mach level: 2014-11-06 08:54:14 +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 New back-end optimization pass: common subexpression elimination (CSE). 2014-04-26 10:40:22 +00:00
asmgen.mli remove all $Id keywords 2012-10-15 17:50:56 +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 changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121) 2014-08-22 13:45:02 +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 re-commit Leo's weak-dependencies pull request 2014-05-07 00:34:20 +00:00
asmpackager.mli merge branch "safe-string" 2014-04-29 11:56:17 +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 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
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 More precise typing at the C-- and Mach level: 2014-11-06 08:54:14 +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 Add reset functions to make modules reentrant when used through compiler-libs 2014-05-09 12:01:21 +00:00
emitaux.mli Add reset functions to make modules reentrant when used through compiler-libs 2014-05-09 12:01:21 +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