[ sisc-Bugs-886733 ] Optimizer handles letrec copy-prop incorrectly

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