Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001913OCamlOCaml generalpublic2003-11-03 10:192003-11-12 13:50
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001913: inlining
Description
Bonjour,

pas vraiment un bug mais un comportement génant d'ocamlopt: il semble
que le code correspondant à une fonction soit généré même si toutes
les occurrences d'appel de la fonction ont été inlinés. Ça n'est pas
bien génant pour des fonctions globales mais dans le cas de figure qui
m'intéresse (une fonction locale au sein d'une fonction récursive),
c'est assez catastrophique. Mon code a l'allure suivante:

let rec f i =
  let f' () = f (i+1) in
  f' ()

L'inlining est fait correctement mais la douzaine d'instructions de
construction de la clôture est un peu couteuse (en particulier à cause
de l'allocation mémoire).

Est-ce qu'on peut améliorer ça ? Sinon je vais revoir mon style
de programmation :-(

--Pascal


TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker