[voltwide]

Wenn ich es mir so recht überlege, ist der GCC eigentlich für ziemlich optimalen code bekannt. Und im irq müssen lade- und schiebe-Operationen durchgeführt werden. Die sicherlich über Register laufen - und diese Register müssen - zusammen mit dem stack-pointer - gepushed und gepopped werden. Da beißt die Maus keinen Faden ab . Von daher glaube ich nicht, dass an dieser Stelle noch was zu holen ist. 250kHz-irq ist für diesen MCU-Winzling nun mal "sportlich".