-Os est souvent plus rapide que -O2 car le code exécuté tient le plus souvent dans le cache du CPU. On force le CPU a recharger le cache plus souvent lorsqu'on augmente la taille du code (déroulage de boucle, inlining...) et c'est pas mal de temps CPU de gaspillé pour ces opérations de vidage et recharge de cache.
Des fois trop d'optimisation tue l'optimisation.
On pourra aussi dire qu'un code plus compact se charge plus rapidement, ce qui peut compter d'avantage sur un support amovible.
On peut aussi utiliser les compresseurs d'exécutable (par exemple UPX avec lzma) pour gagner en taille sous Windows. L'étape de décompression prend du temps (c'est assez insignifiant face au temps de lecture sur le support physique) et de la mémoire supplémentaire (ce n'est pas énorme, à peu près la taille du binaire sur le disque).
