[LLVMdev] LLVM IR Type System Rewrite

[Chris Lattner]

On Feb 28, 2011, at 3:42 PM, Andrew Clinton wrote:

>>> 
>>> Basically, I'd like to be able to construct valid programs involving
>>> named types (without a defined structure), optimize/verify them, and
>>> then provide a structure for the type later on.
>> I don't expect this series of changes to meaningfully impact this usage scenario, sorry!
>> 
>> -Chris
> 
> My two cents are that this is a useful usage scenario to consider if any 
> major changes are being made to the type system.  A ton of meaningful 
> optimizations can be performed without requiring concrete types, and it 
> would provide a nice interface for type system extension (without making 
> core changes to the IR).

Sure, I'm just saying that it is orthogonal to the set of problems that I'm looking to solve.  I'm not opposed to someone else making this happen.

-Chris