Discussing gcc font end hobby project

[Miro Palmu <email@miropalmu.cc>]

Hi.

I have a idea about long term hobby project relating to gcc,
so with this email I'm asking feedback about the idea
early rather than later. First little bit of context.

I'm a student deep in a university course about compilers
and I have been writing a compiler for language
which is a subset of Herb Sutter's Cpp2.
I chose this because I'm bit of a Cpp language nerd,
and I can apply all of my Cpp knowledge to this project, which is fun.

After the course I'm interested in converting this to a front end to gcc,
with goal of learning about front end development to gcc.
(It is a non-goal to try to upstream the project.)

I don't see any obvious reason why this would not be possible.
It just need to be able to target (C++ version of ?) GENERIC.
This would be the first goal of the compiler
and would serve as the MVP of the project.
Below is discussing/theorizing post MVP goals.

Because the Herb Sutter's cppfront transpiles Cpp2 to Cpp1,
it is easy to have mix of Cpp1 and Cpp2 global level constructs
in the same file. Just generate forward declarations of everything,
keep Cpp1 definitions unchanged and transpile the Cpp2 ones.

At the moment my subset Cpp2 does not support this compatibility
but it would be nice to have at some point.
But if my front end targets GENERIC I would have to use g++ machinery
to turn the Cpp1 parts to GENERIC and then somehow combine the trees.
I imagine that somebody with more experienced with GENERICs would have
a intuition on how hard this combinations would be to implement.
I'm curious about this intuition which I lack.

In Cpp2 one can import and export Cpp1 modules. With transpiling to
Cpp1 this again is easy implement but with potential front end,
I'm not sure. I'm quite ignorant on Compiled Module Interface (CMI)
implementation in gcc, so I'm asking just for guidance on where to look
if one would want to learn on how CMIs are implemented.

Thanks!

-- 
Miro Palmu