xcc is great, among small C compilers I tried it is the one that come close to TCC compile speed, does some optimizations, and with highly readable source code, incredible work.