My experience with SDCC is a bit dated but I know it got a LOT better with Z88DK. There's a lot of optimization work by a whole lot of people and solid C libraries that work out of the box.
?
At the time I was comparing it to my home brew compiler on the 1802 but i was quite impressed with SDCC/Z88DK.