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

[nobody]

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

Changes by: Luca Saiu <address@hidden>
Date: Thu 07/31/2003 at 16:46 (Europe/Rome)

            What     | Removed                   | Added
---------------------------------------------------------------------------
          Resolution | None                      | Fixed
              Status | Open                      | Closed
     Reproducibility | None                      | Every Time




=================== BUG #4539: FULL BUG SNAPSHOT ===================


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

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&amp;bug_id=4539&amp;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/