GCC не использует push?

разумеется pushl работает со стеком, который обычно находится в памяти а вторая инструкция использует только регистры

> вторая инструкция использует только регистры

Обрати внимание на скобки во второй инструкции.

обратил и что?

а что они обозначают?

pushl %eax эквивалентно movl %eax, (%esp); addl $4, %esp

так что может и быстрее, если не на intel, то хотя бы на VIA C3

Обозначают взятие параметра по адресу, указанному в скобках. (не знаю, как сказать) То же самое, что квадратные скобки в интеловском синтаксисе.

это вопрос спектруму был ;)

Тогда не читай :)

ясно тогда при оптимизации по -Os должен генериться pushl-вариант

Да, действительно.

> ясно тогда при оптимизации по -Os должен генериться pushl-вариант

Нет.

Это называется косвенная адресация.

> Нет.

Да :)

Посмотри, с Os будет pushl.