[LLVMdev] Garbage collection

[Chris Lattner]

On Feb 26, 2009, at 6:17 PM, Jon Harrop wrote:
> Although it is theoretically possible to parameterize the IR generator
> sufficiently to account for all possible combinations of GC designs  
> I suspect
> the result would be a mess. Consequently, perhaps it would be better  
> to
> consider IR generation and the GC as a single entity and, instead,  
> factor
> them both out using a common high-level representation not  
> dissimilar to JVM
> or CLR bytecode in terms of functionality but much more closely  
> related to
> LLVM's IR?

This falls into the category of "future work to improve codegen".   
Tagging pointers as "magic for GC" is very trivial now, just mark one  
LLVM "address space" as being a GC heap.  Apply magic to that address  
space, problem solved.

Lets get the basics working well first though :)

-Chris