[LLVMdev] can bc/asm carry enough type info for C/C++ compiler/interpreter?

[Chris Lattner]

On Mon, 25 Apr 2005, Misha Brukman wrote:
>> But since llvm's type system is meant to be lang indep the best we can
>> do is to make debugging info descriptive enough for future
>> compilations, is this correct?
>
> That sounds about right.  Another issue is that currently, aggressive
> optimizations change the code substantially and if there were increased
> debug information (which would be nice), they would have to be checked
> and/or modified to be more conservative and respect the memory layout of
> structures, etc.

This isn't quite true.  The llvm debug info is carefully designed so that 
aggressive optimizations will automatically disable themselves when debug 
info is present (by virtue of being conservative with handling of 
incomplete programs).

-Chris

-- 
http://nondot.org/sabre/
http://llvm.cs.uiuc.edu/