Странное поведение BASM

[Sibedir]

Пытаюсь создать свой собственный объект. Объект очень простой. Под него только выделяется память и записывается в первые четвре байта класс. Не спрашивайте зачем. Просто, маюсь вигней, заодно тренеруюсь на basm'е. И вот че увидел и не могу понять.

Есть код:

class function TMyObject.NewInstance: TObject;
begin
{$IFDEF PUREPASCAL}
  Result := Sib_GetMem (PInteger (Integer(Self) + vmtInstanceSize)^);
  PInteger(Result)^ := Integer(Self);
{$ELSE}
asm
        PUSH EAX           // Сохранение адреса класса (Self)
        MOV EAX, [EAX-$28] // Размер объекта (vmtInstanceSize = $28)
        CALL Sib_GetMem    // Выделение памяти
        POP [EAX]          // Запись Self в адрес нового объекта
end;
{$ENDIF}
end;

А вот как этот же код выглядит в окне CPU:

MySystem1.pas.97: PUSH EAX // Сохранение адреса класса (Self)
0044FAD4 50 push eax
MySystem1.pas.98: MOV EAX, [EAX-$28] // Размер объекта (vmtInstanceSize = $28)
0044FAD5 8B40D8 mov eax,[eax-$28]
MySystem1.pas.99: CALL SIb_GetMem // Выделение памяти
0044FAD8 E8ABFFFFFF call Sib_GetMem
MySystem1.pas.100: POP [EAX] // Запись Self в адрес нового объекта
0044FADD 8F00 pop dword ptr [eax]
0044FADF 8BC2 mov eax,edx
MySystem1.pas.103: end;
0044FAE1 C3 ret
0044FAE2 8BC0 mov eax,eax

Вот это

mov eax,eax

я еще могу понять. Он стоит после RET и до него дело не дойдет.

Но зачем

pop dword ptr [eax]

Он и так уже dword. Зачем здесь приведение типов? И как компилятору сказать, чтобы он этого не делал?

А вот это вообще меня убило

mov eax,edx

Точнее не меня, а мой код. После выхода из функции в EAX уже не то, что нужно. Откуда вообще эта строчка взялась?
Пришлось сделать так

asm
        PUSH EAX           // Сохранение адреса класса (Self)
        MOV EAX, [EAX-$28] // Размер объекта (vmtInstanceSize = $28)
        CALL Sib_GetMem    // Выделение памяти
        POP [EAX]          // Запись Self в адрес нового объекта
        RET
end;

В CPU стало

MySystem1.pas.97: PUSH EAX // Сохранение адреса класса (Self)
0044FAD4 50 push eax
MySystem1.pas.98: MOV EAX, [EAX-$28] // Размер объекта (vmtInstanceSize = $28)
0044FAD5 8B40D8 mov eax,[eax-$28]
MySystem1.pas.99: CALL Sib_GetMem // Выделение памяти
0044FAD8 E8ABFFFFFF call Sib_GetMem
MySystem1.pas.100: POP [EAX] // Запись Self в адрес нового объекта
0044FADD 8F00 pop dword ptr [eax]
MySystem1.pas.101: RET
0044FADF C3 ret
0044FAE0 8BC2 mov eax,edx
MySystem1.pas.104: end;
0044FAE2 C3 ret
0044FAE3 90 nop

Но теперь все работает нормально.

Я asm совсем недавно начал изучать. В чем особеность такой компиляции. Ведь я ему уже дал готовый код на ассемблере. Зачем он его так, на мой взгляд не логично, исправил?

[veniside]

Он и так уже dword

Кто он? Со стека можно взять и word, например. Откуда компилятор знает, что у вас там в [eax] поинтер ожидается? Ведь могло быть и так:

POP word ptr [EAX]

Но раз вы поленились указать размер операнда, компилятор молча взял dword, надеясь на лучшее.

Откуда вообще эта строчка взялась?

Что значит откуда? А result типа TObject кто будет возвращать? Т.к. оптимизация у вас включена, то компилятор решил хранить result в edx. Если оптимизацию отключить, это будет стек.

00450871 8B45F8           mov eax,[ebp-$08]

Кстати, вам же ворнинг наверняка выдало:

[Warning] Unit1.pas(81): Return value of function 'myObj.NewInstance' might be undefined

Это ведь не просто так ) Добавьте строчку

mov result, eax

перед выходом и всё будет пучком. Можете потом проверить, во что откомпилится эта строчка при включенной и выключенной оптимизации.

Да, и если хотите совсем уж всё держать под контролем, то функцию можно объявить так:

function foo(param: integer): pointer; assembler;
asm
end;

Тогда компилятор не будет ничего своего добавлять.

[GunSmoker]

Откуда вообще эта строчка взялась?

Это твой begin и end.

Да, и если хотите совсем уж всё держать под контролем, то функцию можно объявить так:

Код:
function foo(param: integer): pointer; assembler;

The reserved word inline and the directive assembler are maintained for backward compatibility only. They have no effect on the compiler.

[Sibedir]

С dword понял. Он ведь его не в регистр, а в пямять загоняет. Потому и не знает размер. Спасибо.
Остальное поведение компилятора остается за гранью моего понимания.

Что значит откуда? А result типа TObject кто будет возвращать?

Вообще Result = eax.

Т.к. оптимизация у вас включена, то компилятор решил хранить result в edx.

Если бы он решил, что result = edx, тогда бы он в делал

mov edx, ?

и в вызывающей процедуре обращался бы к edx. А он там именно к eax обращается.
Особо прошу обратить ваше внимание на тот факт, что edx в теле обсуждаемой процедуры никак не определено. Тоесть вообще никак.

0044FADF 8BC2 mov eax,edx

Это единственная строчка в коде с регистром edx. Что же он тогда пытается записать в eax?

Кстати, вам же ворнинг наверняка выдало:

Ну да. Я тогда не пойму, зафигом нужно соглашение о том, что result=eax. Ну да Бог с ним с предупреждением. В итоге в eax хранится именно то, что нужно (если вовремя сделать ret), а в вызываемой процедуре используется именно eax.

function foo(param: integer): pointer; assembler;

А в справке delphi сказано, что assembler устаревшее ключевое слово, и оставлено, только для обратной совместимости.
...
И действительно, ни чего не поменялось (Delphi 7).

Сообщение от GunSmoker

Это твой begin и end.

А-а-а. Ура. Спасибо. Совсем забыл поместить begin...end внутрь условия. Теперь так:

class function TMyObject.NewInstance: TObject;
{$IFDEF PUREPASCAL}
begin
  Result := Sib_GetMem (PInteger (Integer(Self) + vmtInstanceSize)^);
  PInteger(Result)^ := Integer(Self);
end;
{$ELSE}
asm
        PUSH EAX            // Сохранение адреса класса (Self)
        MOV EAX, [EAX-$28]  // Размер объекта (vmtInstanceSize = $28)
        CALL Sib_GetMem     // Выделение памяти
        POP DWORD PTR [EAX] // Запись Self в адрес нового объекта
end;
{$ENDIF}

и все работает как надо.

[GunSmoker]

Я тогда не пойму, зафигом нужно соглашение о том, что result=eax

Это соглашение на уровне ассемблера. У тебя - НЕ ассемблерная процедура (была). И это соглашение к ней неприменимо. У тебя обычная паскалевская процедура. Что значит, что у неё есть Result и его надо ставить, а не EAX.

[Sibedir]

Еще раз спасибо. Вкупаюсь потихоньку.

[veniside]

Ну да, assembler; можно не указывать, старая привычка. Главное, начинать код с asm, а не begin.

Вообще Result = eax.

Вобще result — это локальная переменная, неявно объявляемая в каждой функции (кроме ассемблерных). Поэтому в EAX из этой переменной в конце функции и загружается значение, которе будет возращено.

[Sibedir]

Ага, ага. Я всё записываю.
Ну я, короче, понял уже. Во время begin компилятор решил, что result'ом будет edx. Я это благополучно проигнорировал и в итоге получил "странную" строчку.

Слушайте, а зачем после ret

mov eax,eax

Это, кстати, часто встречается. Ну обнуление

xor eax,eax

я еще могу понять. Но здесь-то зачем никогда регистр сам в себя пишется. Это чё, типа расширенный nop?

[veniside]

Сообщение от Sibedir

Это чё, типа расширенный nop?

да, это так называемый align, чтобы следующая после него команда следовала с нужного адреса (выравненого по двойному слову, например). два nop не так круто, вот создатели компиляторов и изголяются. Возможно, два nop как-то хуже влияют на предвыборку, чем одна команда mov, не знаю.