Us firmware developers would also love it! Something like that could easily save real money. 8-bit C-compilers are pretty bad.

For example Keil C51 compiler produces binaries about 2x too large and 2-4x too slow, even with maximum level optimizations.