That was very interesting!
I was thinking about testing other C compilers so that maybe they performed better than SDCC and I wasn't aware. But now I know that SDCC is definitely the best choice and I don't need to try z88dk or others yet (except if they are improved dramatically in the future).
Thanks for the comparisons!