search for: rayiner

How suitable do the developers think that LLVM would be as a code-generator for a dynamically typed langage? Would the lack of static type information make the traditional code optimizations performed by LLVM relatively ineffective? Sincerely, Rayiner Hashem

...g, though the dispatch mechanism is different. Since llvm doesn't appear to have any notion of inheritence, C++/Java virtual methods should need to cast their 'this' pointer to the precise type. I presume this doesn't interfere too much with the other optimizations? Sincerely, Rayiner Hashem

With regard to Bartlett-style collectors, they are also used in CMUCL/SBCL, OpenDylan, and various products based on Ravenbrook's Memory Pool System. Also, while Mono doesn't use a Bartlett-style collector, it does support pinning objects referenced from ambiguous stack roots, in an otherwise copying collector. While ITA has expressed concerns with SBCL's GC, they seem to involve the

On Thu, 11 Sep 2003, Rayiner Hashem wrote: > How suitable do the developers think that LLVM would be as a code-generator > for a dynamically typed langage? Would the lack of static type information > make the traditional code optimizations performed by LLVM relatively > ineffective? LLVM is designed to be able to...

Now that the statepoint changes have landed, I wanted to start a discussion about what's next for GC support in LLVM. I'm going to sketch out a strawman proposal, but I'm not set on any of this. I mostly just want to draw interested parties out of the woodwork. :) Overall Direction: In the short term, my intent is to preserve the functionality of the existing code, but migrate