Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005412OCaml~DO NOT USE (was: OCaml general)public2011-12-01 12:542015-12-11 19:28
Assigned To 
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).
Attached Filespatch file icon patch-ocamlopt-combine-subsequent-Iconst_symbol-instructions.patch [^] (3,902 bytes) 2011-12-01 12:54 [Show Content]

- Relationships

-  Notes
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.
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
2015-12-11 19:28 xleroy Status resolved => closed
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker