On 1 February 2016 at 22:21, Bertram, Alexander <a...@bedatadriven.com> wrote: > I'm not sure exactly where it would fit in however- I don't think it > could be described with the machine description language. There is > alot of complexity involved in handling things like addressable local > variables, which have to be allocated as unit length arrays so that we > can pass around a reference to them. Would it be possible to write a > backend that generates code from Gimple and not RTL?
Everything is possible! Not sure how hard it would be, though. As said, GJC, the Java FE, was doing something similar sometime ago, but it has perhaps bit-rotted now. > That's the working hypothesis at least. I'm planning on doing a round > of benchmarking in the next 1-2 months along with a comparison of the > assembly generated by GCC on one hand for a given source, and the > assembly ultimately generated by the JVM's JIT compiler. There is also: https://gcc.gnu.org/onlinedocs/jit/ > 3) Good to know! Is this right the mailing list to ask questions about > some of the internal structure? The GCC Internals manual is very > useful, and the source provides a lot of answers, but sometimes I run > into questions, for example, on how exactly UNORDERED_EXPR is defined, > or how to access the byte offset for COMPONENT_REF expression when > field names vary. Yes. You may find this helpful: https://gcc.gnu.org/wiki/Community I would add: Do not hesitate to suggest patches, specially for docs or comments. You may get more useful feedback to a (wrong) patch than to an out-of-the-blue question. Cheers, Manuel.
