#14372: CMM contains a bunch of tail-merging opportunities -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): I wonder what prior art exists in this area; I'm sure other compilers have considered this in the past. An interesting and loosely related bit of work that I have seen in the past is the work in the LLVM community on a technique they call outlining. See the [[https://www.youtube.com/watch?v=yorld-WSOeU|talk]] for details. This was pursued as a means of reducing code size and is no doubt more sophisticated than what Simon was looking for in comment:4, but I thought I'd leave the reference here nevertheless. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14372#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler