[LLVMbugs] [Bug 615] NEW: TailCalElim pass breaks 'tail' marker semantics

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=615

           Summary: TailCalElim pass breaks 'tail' marker semantics
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: alex at inga.mit.edu


fastcc foo () {
 ...
 alloca 
 ...
tail call fastcc %foo
}

->

fastcc foo () {
 tailrecurse:
 ...
 alloca 
 ...
 br %tailrecurse
}

Stack allocated by alloca is not poped at the branch since there is no call,
so it grows with recursion. 

(nitpick) Also, I think that "recurse" = to curse again.



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.