Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005195OCamlOCaml backend (code generation)public2010-12-14 11:402016-12-07 14:45
Reportermeurer 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusfeedbackResolutionopen 
PlatformOSOS Version
Product Version3.12.1+dev 
Target VersionFixed in Version 
Summary0005195: Apply const int optimizations to const natint
DescriptionThis patch alters selectgen.ml and amd64/selection.ml to apply the same optimizations to operations with Cconst_natint that are already applied to operations with Cconst_int. It's really straight-forward. Adds a new virtual method is_immediate_natint to the selector class, which will have to be added to the other backends as well.
Tagspatch
Attached Filespatch file icon ocamlopt-natint.patch [^] (7,218 bytes) 2010-12-14 11:40 [Show Content]

- Relationships

-  Notes
(0016711)
shinwell (developer)
2016-12-07 14:45

@meurer: If this is still important to you, please make a Github pull request with this patch, and close this issue. Thanks.

- Issue History
Date Modified Username Field Change
2010-12-14 11:40 meurer New Issue
2010-12-14 11:40 meurer File Added: ocamlopt-natint.patch
2011-05-17 17:05 doligez Status new => acknowledged
2013-10-07 16:24 doligez Tag Attached: patch
2016-12-07 14:45 shinwell Note Added: 0016711
2016-12-07 14:45 shinwell Status acknowledged => feedback
2016-12-07 14:45 shinwell Category OCaml general => OCaml backend (code generation)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker