This is a question pertaining to types of variables and expressions within the Gimple IR. When I refer to gimple, I mean gimple as going into the optimisation phase (after it has been lowered), As I understand it the situation in gimple is as follows:
1. Language specific structures have been removed during 'gimplifcation' 2. types are dynamic and stored with the struct of the respective IR's struct, with accessor macros in order to abstract implementation. When I 'pretty-print' the IR the types that come out are C types. Are these 'gimple' types for 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 implementation of the gimple type system to be a little puzzling. Richard
