Pascal+assembler

[fit]

Здравствуйте. Пишу программу c использованием этих 2-х языков. В паскале прописываются только данные, вызов процедуры и вывод на экран; тело процедуры пишется на асме и хранится во внешнем odj - файле. Вцелом механизм передачи параметров ясен, непонятно как работать с передачей параметра по ссылке. к примеру, вызывается процедура:

procedure Res(var R:integer; i,f: integer)

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

[AlexDem]

А в ASM-е вроде же был оператор WORD PTR?

В Паскале или в Дельфи появились ассемблерные процедуры, что-то вроде:

Procedure MyProc(param: integer) assembler
   MOV ...
end;

Этот способ был проще по использованию, хотя детали я забыл.

[fit]

то есть можно сделать так:

mov word ptr [adress], cx 

где adress - адрес R (извлеченный из стека), cx - регистр с результатом.
я вас правильно понял?

AlexDem писал(а):

Этот способ был проще по использованию, хотя детали я забыл.

с ассемблерной всавкой прога готова, действительно проще. но теперь нужно именно с внешней ассемблерной(

[AlexDem]

fit в сообщении #328027 писал(а):

где adress - адрес R (извлеченный из стека), cx - регистр с результатом.я вас правильно понял?

Да, примерно так, надо попробовать.

[fit]

спасибо. попробую)

[fit]

как не крутил программа упрямо выводит 0 что-то не так с этим R

[AlexDem]

Соглашение вызова stdcall, cdecl? Какое-нибудь значение параметра видно внутри функции? Ух, я уже много лет с этим не связывался, может, что-то ещё упускаю...

[fit]

использую ближний вызов near. вот для наглядности код

(вызов процедуры на паскале)

program new;
uses crt;
procedure Res(I,F:integer; var R:integer);external;
{$L 9.obj}
var R:integer;
begin
Res(1,1,R);
writeln(R);
readkey;
end.

(тело процедуры на tasm)

public Res

.data
L1 dw ?
L2 dw ?
adress dw ?

.code

Res proc near
push bp
mov bp,sp

V1 equ [bp+8]
V2 equ [bp+6]
Ad equ [bp+4]
mov ax, V1
mov L1,ax
mov ax, V2
mov L2,ax
mov ax, Ad
mov adress,ax

   mov   cx,L1
   mov   ax,L2
repeat:   add   cx,1
   mul   cx
   jo   great
   jmp   repeat
great:   sub   cx,1
   mov   word ptr [adress],cx
   pop bp
   ret
Res endp
end

задачка простая, найти максимальное число факториал которого может содержать регистр ax.
в процедуре использую локальные переменные L1, L2 и adress, в которых содержатся взятые из стека параметры. запустил exe-шник в дебагере, вроде как программа даже не доходит до основной части процедуры (где вычисление значения).

[AlexDem]

fit в сообщении #328140 писал(а):

procedure Res(I,F:integer; var R:integer);external;

Мне кажется, здесь нужно явно указать соглашение о вызове, у Вас это "pascal":

procedure Res(I,F:integer; var R:integer);pascal;external;

Бывают register, cdecl, pascal, stdcall, пишут, что при включенной директиве оптимизации {$O+} идёт "register". Может, в этом проблема?

Поисковик находит вроде примеры по запросу "pascal cdecl" и подобным - попробуйте поискать.

-- Вс июн 06, 2010 00:41:00 --

AlexDem в сообщении #328151 писал(а):

у Вас это "pascal"

Или подождите... Если бы это был "pascal", то тогда при возврате нужно было бы чистить стек: "ret 6"... Получается, что cdecl подразумевался (только я что-то в порядке параметров запутался), но не был указан?

Вот пример, хотя там нет явного указания соглашения.

[fit]

вроде бы по умолчанию параметры в стек всегда передаются слева направо (по крайней мере при работе с ассемблерными вставками это так) и очистка стека тоже на совести паскаля (если не ошибаюсь).
каламбур в том, что при попытке прописать "pascal", "cdecl" или что-то еще вами предложенное паскаль начинает ругаться, не хочет понимать.
скорее всего проблема в неправильной работе с адресом переменной R. но сколько не искал в интернетах, не нашел нигде что-то конкретного о передаче параметра через var во внешнюю ассемблеровскую процедуру

[AlexDem]

Посмотрите тогда пример, ссылку на который я привёл - может, поможет. А синтаксис я подзабыл - надо смотреть, куда этот модификатор вписывается. Это и в документации должно быть, или примеры, опять же, поискать. Я думаю, что затык где-то здесь - в соглашении о вызове. Ещё бы порядок параметров проверить нужно.

-- Вс июн 06, 2010 01:56:50 --

fit в сообщении #328159 писал(а):

скорее всего проблема в неправильной работе с адресом переменной R. но сколько не искал в интернетах, не нашел нигде что-то конкретного о передаче параметра через var во внешнюю ассемблеровскую процедуру

А если через AX вернуть результат и процедуру в функцию переделать, то всё работает?

[GAA]

1. Указатель имеет тип dword (сегмент:смещение)
2. ret 8
3. Переменную для смещения я бы не заводил, а просто сохранил бы смешение в регистре bx. Присвоение значения я бы делал тогда так: mov word ptr ds:[bx],cx

Проверьте, а то я совсем засыпаю!

.model small

.data 
L1 dw ?
L2 dw ?

.code
Public Res
Res proc near
push bp
mov bp,sp

V1 equ word ptr[bp+10]
V2 equ word ptr[bp+8]
Ad equ word ptr[bp+4]
mov ax, V1
mov L1,ax
mov ax, V2
mov L2,ax
mov ax, Ad
mov bx,ax

   mov   cx,L1
   mov   ax,L2
repeat:   add   cx,1
   mul   cx
   jo   great
   jmp   repeat
great:   sub   cx,1

   mov   word ptr ds:[bx],cx
   pop bp
   ret 8
Res endp
end

-- Вс 06.06.2010 00:05:03 --

У меня лишний код для совместимости с Вашим текстом.
Уберите ненужное сами.

[GAA]

В моем предыдущем тексте считается, что переменная R в сегменте данных (глобальная переменная). Если требуется общность (возможность использование локальных переменных или переменных кучи), то лучше не копировать сегмент в регистр ds, а использовать es.

AlexDem в сообщении #328161 писал(а):

А если через AX вернуть результат и процедуру в функцию переделать, то всё работает?

Поддерживаю. Если передавать через R значение в процедуру не надо, то так всегда и делают.

[fit]

AlexDem писал(а):

А если через AX вернуть результат и процедуру в функцию переделать, то всё работает?

да, с функцией все работает как надо) так действительно проще и рациональней.

GAA писал(а):

У меня лишний код для совместимости с Вашим текстом.

поправил. ваш код рабочий. ошибка понятна, для R нужно было учитывать адрес сегмента. спасибо за разъяснения.
ps. AlexDem,GAA с вашей помощью разобрался, спасибо

[AlexDem]

Хорошо, что GAA вовремя помог, а то мы бы тут долго ещё ползали