Логичный вывод: зачем нам вообще static, если компилятор такой умный и все делает сам? Но на самом деле забыть о регистрах можно лишь в системах, где памяти завались и скорость процессора не критична. Например, те самые x86 системы, к которым вы привыкли и сплошь и рядом используете рекурсивные алгоритмы. А у компилятора IAR, например, даже откомпилированные библиотеки поставляются с предустановкой сколько auto-переменных помещаются в регистры перед тем, как начать размещать их на стеке. Хочете изменить такое поведение библиотек и сделать их реентрабельными - берете исходники библиотек, изменяете параметры, и перетрансируете их. Причем исходники библиотек в пакете поставляюся в запароленном виде и пароль получаете только после оплаты пакета. Я, правда, очень редко встречал людей, кто бы занимался такими вещами...
Собственно, вы и сами упоминали об этом, когда сравнивали компиляторы для МК и x86. Так что, думаю, можно считать наш диспут исчерпаным.