Стек и исключения

[Sibedir]

Что происходит с данными в стеке при возникновении исключения. Я имею в виду вот что. При вызове процедуры значения некоторых (используемых) регистров записываются в стек. Перед ret данные из стека вновь заносятся в регистре. Но если вызвать исключение (raise), то дело до POP не дойдет. А если в вызывающей подпрограмме вызов происходил внутри структуры try...except, то значения регистров как-бы можно использовать дальше. Но там ведь будут "левые" значения.
Или я что-то вообще не догоняю?

P.S.: Delphi 7

[mss]

компилятор генерирует такой код, что в момент входа в exсept-блок содержимое регистров общего назначения, каким бы оно ни было, абсолютно неважно и не играет никакой роли.

[Sibedir]

Ага, понял. Спасибо.
Тогда если кодишь на basm, то лучше с try...except не связываться?

[mss]

Обработка исключений обязана быть предусмотрена в любом случае.
И BASM здесь ни причем.

[Sibedir]

Да я имел в виду типа того

  try
    asm
      ...
    end;
  except
    on TMyException do asm
      ...
    end;
  end;

Надо было сказать:
Если есть try...except, то с basm лучше не связываться?

Хотя впринципе теперь и сам понимаю, что вопрос был излишним. Во-первых, скорость. Во-вторых, try...except обычно в основную вызывающую процедуру ставится, ну например, что-бы известить пользователя, что что-то не так. И basm там совсем не нужет (в 99,999999999999% случаях).

[eduard93]

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

[GunSmoker]

Перед ret данные из стека вновь заносятся в регистре. Но если вызвать исключение (raise), то дело до POP не дойдет. А если в вызывающей подпрограмме вызов происходил внутри структуры try...except, то значения регистров как-бы можно использовать дальше. Но там ведь будут "левые" значения.
Или я что-то вообще не догоняю?

Непонятно, что смущает. Если возникло исключение - это значит, что функция не была выполнена (не выполнена до конца). И как в результирующем регистре у вас может оказаться осмысленное (не "левое") значение? Никак. Ну, пока компьютеры не научатся путешествовать во времени или иметь телепатические способности, конечно же.

Более того, это не должно вас волновать, поскольку код анализа возвращаемого функцией значения тоже не будет выполнен - ведь возникло исключение и управление получит обработчик в finally или except: а он никакого отношения к функции не имеет.

Так что осмысленное там значение или нет - должно быть пофиг.

[Sibedir]

Ну примерно вот так я думал:

function MainProc (i: Integer): Integer;
var
  a, b, c: Integer;
begin
  a := i;
  b := a;
  c := b;
  if i <= 0 then
    raise TMyException.Create ('')
  else begin
    Result := i+a+b+c;
  end;
end;

procedure Mes1 (i: Integer);
begin
  ShowMessage ('Имеем ' + IntToStr(i));
end;

procedure Mes2 (i: Integer);
begin
  ShowMessage (IntToStr(i) + ' совсем не годится');
end;

{$R *.dfm}

procedure TForm1.Button1Click(Sender: TObject);
var
  a, b: Integer;
begin
// --------------------------------- 1
  b := $00001111;
  a := 1;
  a := MainProc (a);
  Mes1 (b);

// --------------------------------- 2
  b := $11110000;
  a := -1;
  try
    a := MainProc(a);
    Mes1 (b);
  except
    on TMyException do Mes2 (b);
  end;
end;

procedure TForm1.Button2Click(Sender: TObject);
begin
// --------------------------------- 1
  asm
    push $00001111       // что-то попало в стек
    mov eax, $00000001   // ...
    call MainProc        // вызываем MainProc (ошибки не будет, я уверен)
    pop eax              // это "что-то из стека" теперь понадобилось
    call Mes1            // ...

// --------------------------------- 2
    push $11110000       // что-то попало в стек
    mov eax, $FFFFFFFF   // ...
  end;
  try                    // а вдруг чего
    asm
      call MainProc      // вызываем MainProc (может быть ошибка, но я не уверен)
                         // Хотя на самом-то деле в EAX сейчас 0
      pop eax            // это "что-то из стека" понадобилось снова
      call Mes1          // ...
    end;
  except
    on TMyException do   // если всё-таки это случилось
    asm
      pop eax            // это "что-то из стека" нам и тут нужно
      call Mes2          // ...
    end; // и тут он такой БА-БАХ (см. скрин) (как я понял - при попытке уничтожения исключения)
  end;
end;

Безымянный.jpg

Покурил малость asm-код, который создает delphi при try. Чёт стало понятнее. Там действительно

компилятор генерирует такой код, что в момент входа в exсept-блок содержимое регистров общего назначения, каким бы оно ни было, абсолютно неважно и не играет никакой роли.

Он там походу не ч/з регистры, а ч/з память работает. Но ясно одно TRY и BASM - еще тот компот.

Так что осмысленное там значение или нет - должно быть пофиг.

Да. Буду стараться, чтобы в finally или except мне было пофиг, что в регистрах и стеке.