On Jul 24, 2008, at 9:26 AM, Kenneth Zadeck wrote:
3) Generate the debugging for the types late. The problem here is that we want the gimple type system to be stripped of the front end specific information, so any front end specific info that is only necessary for the debugging, will both bulk up the gimple type system and make it less language independent.
I thought the whole idea of the LTO project was to keep as much language specific type information as late as possible. If you start stripping out useful information about types, it becomes harder to do high level optimizations like devirtualization and other source- specific transformations. This is one of the major advantages of LTO, no?
-Chris