0001913: inlining

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001913

OCaml

OCaml general

public

2003-11-03 10:19

2003-11-12 13:50

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0001913: 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

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

Relationships

Notes
There are no notes attached to this issue.