Добрый день.
По проcьбам трудящихся ;-)
Компилятор - ADS, среда - Keil, режим - ARM. Время - ~1.65 секунды, мерил осцилографом. Да, у АДУКА максимальная частота для флешки - 22.5 МГц в моей ревизии ADUC7026.

А какая была тактовая частота, и битность у float не скажите?

Сегодня посмотрю. Проект был запущен по умолчанию, т.е. while(1){invert_led(); + copy-paste исходный текст с вашей странички }, потом мерил осцилом. В случае кейлового компилятора получалось совсем огромное время - порядка 2.5 секунд. Эит результаты я решил не приводить, так как не ясно, на каком уровне оптимизации предпологается компилировать программу.