Re: gimple type system

2008-07-24 Thread Gaius Mulley
Kenneth Zadeck <[EMAIL PROTECTED]> writes: > >> Anyway, there must be other uses of types in either the existing middle end > >> or that people have dreams of adding to the middle end in the future. Now > >> is the time to raise your hand before the design has been started. Hi, for me its grea

Re: gimple type system

2008-07-19 Thread Richard Guenther
On Sat, Jul 19, 2008 at 12:45 AM, Kenneth Zadeck <[EMAIL PROTECTED]> wrote: > Richard Guenther wrote: >> >> On Fri, Jul 18, 2008 at 11:25 PM, Kenneth Zadeck >> <[EMAIL PROTECTED]> wrote: >> >>> >>> Diego has asked me to look into what would

Re: gimple type system

2008-07-18 Thread Kenneth Zadeck
Richard Guenther wrote: On Fri, Jul 18, 2008 at 11:25 PM, Kenneth Zadeck <[EMAIL PROTECTED]> wrote: Diego has asked me to look into what would be needed in a gimple type system. This is an issue that has been brought to a head because now it is time to merge types for lto. There are

Re: gimple type system

2008-07-18 Thread Richard Guenther
On Fri, Jul 18, 2008 at 11:25 PM, Kenneth Zadeck <[EMAIL PROTECTED]> wrote: > Diego has asked me to look into what would be needed in a gimple type > system. This is an issue that has been brought to a head because now it is > time to merge types for lto. > > There are a

gimple type system

2008-07-18 Thread Kenneth Zadeck
Diego has asked me to look into what would be needed in a gimple type system. This is an issue that has been brought to a head because now it is time to merge types for lto. There are a lot of questions that need to be answered before designing such a system and i would like to handle them

Re: Gimple Type System

2006-12-06 Thread Diego Novillo
aware of is the streaming of type information using dwarf. But that is not the same as having a proper GIMPLE type system.

Re: Gimple Type System

2006-12-06 Thread Richard Warburton
Warburton wrote on 12/06/06 07:59: > I would be most grateful of an answer to these questions, since I find > the implementation of the gimple type system to be a little puzzling. > That's because there is *no* GIMPLE type system. GIMPLE latches on to the type system of the inp

Re: Gimple Type System

2006-12-06 Thread Diego Novillo
Richard Warburton wrote on 12/06/06 07:59: I would be most grateful of an answer to these questions, since I find the implementation of the gimple type system to be a little puzzling. That's because there is *no* GIMPLE type system. GIMPLE latches on to the type system of the input lan

Gimple Type System

2006-12-06 Thread Richard Warburton
variables, or are they simply just the C types given? Are there available definitions for the types if they are gimple types? Do all the language frontends convert to a common set of types once the code is in gimple? I would be most grateful of an answer to these questions, since I find the imple