[bug-epsilon] [bug #4539] A tail-call optimization is not made

[nobody]

=================== BUG #4539: FULL BUG SNAPSHOT ===================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4539&group_id=1078

Submitted by: positrone               Project: epsilon                      
Submitted on: Thu 07/31/2003 at 03:44
Severity:  1 - Ordinary               Priority:  Normal                     
Resolution:  None                     Assigned to:  positrone               
Status:  Open                         Platform Version:  Every platform     
Reproducibility:  None                

Summary:  A tail-call optimization is not made

Original Submission:  See the attached file. The problem is in the generated 
code, where the peephole optimizer does not currently recognize the 
tail-recursive context:

        s_cll   1       # apply the closure on the stack
        s_popl  1
        j       END_OF_MATCH_1:
        ...
        ...
END_OF_MATCH_1: /* end of let */
        s_popl  1
        s_ret           # return the value on top




No Followups Have Been Posted


CC list is empty


File Attachments
****************

-------------------------------------------------------
Date: Thu 07/31/2003 at 03:44  Name: b.epb  Size: 0KB   By: positrone
A very simple case exposing the bug. It contains just one call.
http://savannah.gnu.org/bugs/download.php?group_id=1078&bug_id=4539&bug_file_id=565


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4539&group_id=1078

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/