Have you considered putting in a comment explaining why the numbers chosen for -Os (and not -Os) are appropriate? Otherwise I expect someone to look at this code some day and go "Where did these numbers come from?" It will also help if this *does* have to be tuned for different architectures at some point.