Bugs item #886733, was opened at 2004-01-29 05:13
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=379534&aid=886733&group_id=23735
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Scott G. Miller (scgmille)
Assigned to: Nobody/Anonymous (nobody)
Summary: Optimizer handles letrec copy-prop incorrectly
Initial Comment:
(define (f x)
(define y x)
(define (g i)
(+ x y))
(g x))
=>
(define (f x)
(letrec ((g (lambda (i)
(+ x y))))
(g x))
Which is bad. We *had* logic in the optimizer to
reoptimize rhses when there was a cpc, but it was
disabled because it wasn't thought to be necessary.
But it is.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=379534&aid=886733&group_id=23735
-------------------------------------------------------
The SF.Net email is sponsored by EclipseCon 2004
Premiere Conference on Open Tools Development and Integration
See the breadth of Eclipse activity. February 3-5 in Anaheim, CA.
http://www.eclipsecon.org/osdn
|
