Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004454OCamlOCaml backend (code generation)public2007-11-22 16:382013-07-28 23:18
Reporterfrisch 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0004454: Better control over cross-module optimizations
DescriptionIt should be possible to have finer control over cross-module optimizations as performed by ocamlopt. Typical motivations:

1. Speed up the edit-compile-run cycle (bytecode is not always an option).
2. Allow .cmxs plugins to be used in several different applications sharing only some interfaces.

Possible ideas:
1. When a module is compiled by ocamlopt, a special option asks ocamlopt no to produce cross-module info for the resulting .cmx.
2. A different set of search directories to look for .cmx files.
3. Put cross-module info into .cmxa and let ocamlopt use .cmxa at compile-time
to perform optimizations.
4. Explicitly allow/disallow ocamlopt (with command line options) to use cross-module optimizations for some modules.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2007-11-22 16:38 frisch New Issue
2008-01-18 16:30 doligez Severity minor => feature
2008-01-18 16:30 doligez Status new => acknowledged
2012-06-20 11:19 frisch Category OCaml general => OCaml backend (code generation)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker