search for: manticore

...rt functional languages. Herein I describe the problem and propose a solution. Feedback and/or tips are greatly appreciated, as our goal is to implement these changes so they can be merged into LLVM trunk. Problem ======= Implementations of functional languages like Haskell and ML (e.g., GHC and Manticore) use a continuation-passing style (CPS) transformation in order to manage the call stack explicitly. This is done prior to generating LLVM IR, so the implicit call stack within LLVM is not used for call and return. When making a non-tail call while in CPS, we initialize a stack frame for the retur...

..., I'm not on the list. Thanks, Pawel. Bye. -- Pawel S. Veselov [vps], Sun Microsystems, Inc. Staff Engineer, Java Mobile Systems and Services Engineering __ __(O) _ __ (408) 276-5410 e-mail: Pawel.Veselov at Sun.COM \ V /| || ' \ fax(408) 276-6090 HomePage: http://manticore.2y.net \_/ |_||_|_|_|

...lem and propose a >> solution. Feedback and/or tips are greatly appreciated, as our goal is to >> implement these changes so they can be merged into LLVM trunk. >> Problem >> ======= >> Implementations of functional languages like Haskell and ML (e.g., GHC and >> Manticore) use a continuation-passing style (CPS) transformation in order to >> manage the call stack explicitly. This is done prior to generating LLVM IR, so >> the implicit call stack within LLVM is not used for call and return. >> When making a non-tail call while in CPS, we initialize a...

...values from the struct it extracts from. While the 'cps' marked call appears to be non-tail, it will be lowered to a tail call. It's also worth noting that this proposal is based on something that already works in LLVM, using a special assembly routine. We currently this workaround in Manticore when a thread is preempted. But, it has too much overhead for GHC, since the workaround would penalize general function calls. This is why support is necessary for GHC (and related compilers) in order to use LLVM effectively. ~kavon > On Apr 17, 2017, at 7:47 PM, Friedman, Eli <efriedma at...

...ution. Feedback and/or tips are greatly appreciated, as our goal is to >> implement these changes so they can be merged into LLVM trunk. >> >> >> Problem >> ======= >> >> Implementations of functional languages like Haskell and ML (e.g., GHC and >> Manticore) use a continuation-passing style (CPS) transformation in order to >> manage the call stack explicitly. This is done prior to generating LLVM IR, so >> the implicit call stack within LLVM is not used for call and return. >> >> When making a non-tail call while in CPS, we in...