@requiem As far as I know, SDCC (https://sdcc.sourceforge.net/) is the only FOSS C compiler for 8051. Every week or so, someone professes a desire to port gcc, but so far I don't think anyone has actually made any progress. I kind of feel like if you just "size up" your uC, you don't have to worry about generating super efficient code ;)