Почему тут такой mangling?

Question

[sddvxd]

Добрый день
Смотрю на прототип функции:

int WSAStartup(
  WORD      wVersionRequired,
  LPWSADATA lpWSAData
);

Если посчитать количество байт - выходит 6 (word 2 байта и 32 битный указатель - 4 байта), однако линковщик говорит, что неправильная ссылка на _WSAStartup@6. Попробовал _WSAStartup@8 - сработало. Почему там указано 8 байт в размерах аргументов?

Comments

[l4m3r]

Может есть alignment? Типа округление до размера блока. Но сразу говорю, я не спец.

[sddvxd]

l4m3r, я тоже так думаю, но это выглядит подозрительно - ведь есть же еще и char. Неужели все округлять?

Answer 1

[Петр]

Calling conventions таблица 21.
Говориться, что это число указывает суммарное количество байт для всех параметров помещенное в стек
А в стек вы можете поместить минимальное значение равное разрядности платформы.
Для 32х битной платформы это 4 байта.
Отсюда следует, что у вас 2 значения минимум по 4 байта. Суммарно 8

Comments

[sddvxd]

В стек можно помещать значения, кратные либо 2 либо 4. Хотите сказать, что на 64 разрядной платформе мне придется помещать 8 байтные значения?
Спасибо за документ, очень полезный

[sddvxd]

Или имеется ввиду, что для это правило действует только на stdcall?

[sddvxd]

Информацию брал отсюда страница 73. Цитата:

Занесение значения в стек производится командой push, имеющей
один операнд. Этот операнд может быть непосредственным, регистровым или типа ѕпамятьї и иметь размер word или dword

[Петр]

sddvxd, "кратные либо 2 либо 4" - Не все так просто. https://stackoverflow.com/questions/40305965/does-...
в ссылке есть ответ и на этот вопрос "на 64 разрядность платформе мне придется помещать 8 байтные значения"

[sddvxd]

Петр, Ну да, в том ответе написано, что для 64 битной платформы можно вставлять значения либо размером 2, либо размером 8 байт. А раз речь идет о 32 битной платформе, то либо 2, либо 4

[sddvxd]

Так и остается непонятным - почему именно так декорируются названия и почему не 6, а 8. Наверное, скорее всего, для удобства?

[Петр]

sddvxd, ", что для 64 битной платформы можно вставлять значения либо размером 2, либо размером 8 байт. " вообще то там сказано, что значением инструкции push может быть значение такого размера, а далее значение преобразуется в 64 бита и сохраняется. Операции с памятью идут в размере разрядности системы.

[sddvxd]

Петр, то-есть, если с помощью pop word ax вытащить 2 байта из стека, то адрес вершины увеличится на 4 (в 32 битной системе), но возьмутся только 2 младших байта из этих 4?

[Roman]

sddvxd,

All arguments are widened to 4 bytes (on Win32, of course), and put into appropriate memory locations. These locations are typically on the stack, but may also be in registers; this is specified by calling conventions.

https://www.codeproject.com/Articles/1388/Calling-...

[Петр]

sddvxd, https://stackoverflow.com/questions/43435764/64-bi...

[sddvxd]

Петр, спасибо. все понятно

[sddvxd]

Петр, Добрый день. Решил произвести эксперимент: запустил программу с такими командами в ollydbg:

push word 1
	push word 1
	push word 1
	push word 1
	
	push 1
	push 1
	push 1
	push 1

Содержимое стека после выполнения команд:

0031F844   00000001
0031F848   00000001
0031F84C   00000001
0031F850   00000001
0031F854   00010001
0031F858   00010001

Сделал вывод, что свои выводы я сделал неправильно. Действительно, стек увеличивается на машинное слово, однако, если запушить 2 значения размерами в 2 байта - они уложатся в одну позицию стека. Выходит, если бы прототип выглядел вот так:

int WSAStartup(
  WORD      wVersionRequired,
  WORD      test
);

то ее декорированная форма имела бы вид _WSAStartup@4 ?