1. Yes. And no. It can be written but such a backend would never be acceptable for inclusion in GCC.
don't worry ;-)
2. Probably GIMPLE, but you can't express all of GIMPLE in ANSI C (with GCC extensions you can probably express most of it though). 3. Several such attempts exist or have existed in the past.
Thanks! Ciao, Fabian