Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005412OCamlOCaml generalpublic2011-12-01 12:542014-06-27 20:10
Reportermeurer 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version3.12.1 
Target VersionFixed in Version4.02.0+dev 
Summary0005412: Combine subsequent Iconst_symbol instructions
DescriptionThis patch helps to reduce code size on load/store architectures (i.e. ARM) and with position independent code on amd64/i386, mostly for the generated __entry functions, which are usually up to 10-20% shorter (depending on arch).
Tagspatch
Attached Filespatch file icon patch-ocamlopt-combine-subsequent-Iconst_symbol-instructions.patch [^] (3,902 bytes) 2011-12-01 12:54 [Show Content]

- Relationships

-  Notes
(0006853)
xleroy (administrator)
2012-01-31 08:54

I've been working on a common subexpression elimination pass for the OCaml back-end, which, if successful, should subsume the factoring of Iconst_symbol instructions proposed here. The CSE is in branch branches/backend-optims of the OCaml SVN. Performance gains (on AMD64) are unimpressive so far, but I continue experimental evaluation in my spare time. To be continued.
(0011327)
xleroy (administrator)
2014-04-26 19:03

CSE optimization is now in trunk, and I believe it achieves similar results. (Observed on amd64, to be checked on ARM.)

- Issue History
Date Modified Username Field Change
2011-12-01 12:54 meurer New Issue
2011-12-01 12:54 meurer File Added: patch-ocamlopt-combine-subsequent-Iconst_symbol-instructions.patch
2012-01-31 08:54 xleroy Note Added: 0006853
2012-01-31 08:54 xleroy Status new => acknowledged
2013-11-29 11:43 doligez Tag Attached: patch
2014-04-26 19:03 xleroy Note Added: 0011327
2014-04-26 19:03 xleroy Status acknowledged => resolved
2014-04-26 19:03 xleroy Resolution open => fixed
2014-04-26 19:03 xleroy Fixed in Version => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker