Народ, у меня такой вопрос назрел.

Для тексасовских процов, кто как передаёт аргументы из головной программы, написанной на Си в ассемблерную подпрограмму и как получает обратно?

До недавнего времени передавал обычно адреса двух массивов, один для входных аргументов, второй для выходных. Ещё раньше передавал значения через стек. Теперь стал задумываться о передаче и получении аргументов по значению.

Стало интересно выяснить, а как вы делаете?

Естественно, разнообразными способами. Как удобнее в звисимости от количества параметров, которое нужно передать. Если мало, то через регистры. Благо там все фиксировано.

Для каких именно?
Я программирую сейчас для TMS320C55x. Передаю и получаю параметры через регистры и/или указатели на массивы.
Есть полезный документ TMS320C55x Optimizing C/C++ Compiler User's Guide (spru281d.pdf).
В разделе Run-Time Environment->Function Structure and Calling Conventions описано какие регистры для чего используются при вызове дочерней подпрограммы из родительской.
Например регистры xar0...xar4 для передачи указателей, t0, t1, ar0...ar4, ac0...ac2 - аргументы по значению. Возврат значения в t0, ac0.
Более подробно и обо всех возможностях см. указанный документ.

Сообщение отредактировал AVL - Jun 12 2007, 20:08

Для семейства TMS320F28xx. Я тоже передаю параметры в асм-подпрограмму через регистры AL, AH, а указатели через xar4, xar5, если их мало. И принимаю значение функции через асс.

Сейчас пишу несколько заказных программ для КАНа, туда надо передавать один параметр, а получать четыре (один из них указатель). Мне удобно передавать по значению. Стал смотреть, что генерит компилятор. Оказалось, идёт некая возня со стеком. Присмотрелся - идёт передача по значению, отсюда и вопрос выплыл.


Документ посмотрю, спасибо, хотя проц немного другой.


Интересует возврат в Си программу нескольких аргументов именно по значению. Можно ли сделать возврат разного числа аргументов?

Врядли, ведь функция С может возвратить всего лишь одно значение.

Или возвращать указатель на структуру, или получать указатели на нужное количество переменых и устанавливать их значения.






Так, как нужно в конкретном случае.

Беру и возвращаю структуру.

т.е.



Ну а делается это в 55хх согласно документации на его С-компилер:



Т.е. Вам не надо задумываться о том, где эта структура лежит. Просто вернуть как будто по ссылке, а для С-компилера оно будет как будто по значению. И волки сыты, и овцы целы.

Ну передача со структурой, также, как и с массивом, достаточно большой гемор, по-моему. В подпрограмме надо все адреса вычислять, получается много накладных расходов.


Вот так я возвращаю ТРИ значения, см. фрагмент ниже

Код

; To call from C-program: pending=checkCan(int errors, int status)

_checkCan:

    movl    xar5,#CANAES
    movl    acc,xar5
    mov    *-sp[6],ah
    mov    *-sp[7],al
    movl    xar5,#CANARMP
    movl    acc,*xar5

Два аргумента, errors и status, возвращаются через стек, флаг - через асс. Причём, можно использовать где угодно внутри программы.

Одно пока непонятно, как автоматизировать вычисление положения аргументов в стеке, тогда можно было бы вызывать функции с разным числом аргументов.

Бред какой-то. Ни errors, ни status не могут возвращаться при таком объявлении. Они только передаются в функцию. Возвращаться может что-то переданное в ф-цию по указателю и что то ОДНО (пусть хоть байт, хоть структура), что является типом, возвращаемым функцией. И третьего не дано.

А они и не возвращаются они остаются лежать в мусоре стека, из этого мусора ASM программа их и извлекает - трюкачество на ровном месте, короче. В принципе для более-менее чистого С существует один более-менее легальный вариант - использовать разнобой между 'C' и Паскалевским соглашением по очистке стека от аргументов и вызывать реальную _cdecl функцию по _pascal прототипу. Это если конечно компилятор поддерживает.

Ну, я бы так с ходу не стал называть это бредом. Аргументы в функцию я не передаю, мне не надо, но, сишная программа, действительно, передаёт в программу через AL и AH. И одновременно, кладёт эти же значения в стек! Вопрос зачем?

Дома у меня нет, завтра покажу дизассемблированный кусок, там прям видно, как сишная программа использует возвращенные значения, никаких фокусов, всё по-честному.


Да? А зачем тогда, по-вашему, их в стек класть вообще, в мусор? Просветите, не дайте помереть дурой(:-). У меня асм ничего не извлекает из стека, он туда кладёт, а вот сишная программа - берёт из стека и присваивает значения сишным переменным! Там кстати, не мусор, а хип, который организуется самим компилером.

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

GM, она их не кладет в стек, они живут там. Это собственно хранилище переменных вызывающей функции, и вызываемая не имеет никакого права там ковыряться. Конечно, это Ваше дело, сопли городить. Это мало того, что компиляторозависимо, еще и от оптимизации наверняка зависит, и, что хуже, если Вашу ф-цию кто-то вызовет из другой функции, в которой другой набор локальных переменных, или они в другом порядке описаны, то их смещения окажутся другими. А если не дай бог переменная, которую передавали, была static или глобальная... Вообще ужос! В общем - есть документированный способ передачи данных в ф-цию и из функции. Все остальное это хакерство, достойное школьника, только что узнавшего, как и что делают компиляторы. Более того, есть документы ANSI/ISO, а именно стандарт языка С, описывающие в одном из пунктов, что и как можно передавать в ф-цию, и что и как возвращать (естесвенно в пределах языка С). Советую обратиться к ним в первую очередь, после чего будет все однозначно ясно (hint - переменные, переданные в ф-цию по значению являются локальными для ф-ции, и она имеет право их изменять как ей угодно без малейшего влияния на то, откуда эти значения были переданы).

PS.
То, что делаете Вы сравнимо со взломом программы - хакер точно зная где и что лежит, меняет даные на другие. Сменилась версия - и абзац.

P.P.S.
Уж от кого, а от Вас я не ожидал таких вопросов.

Ну, ладно, осознал, что сделать-то можно, но будет чистое любительство и никакой преемственности.

Ну вот, а я-то думал, что хакер - это почётное звание(:-)

Come on, SM! Вопрос-то нормальный. Просто задрала эта си, век бы её не видать. У меня пространство двух переменных аппроксимируется полиномом 7 степени по одной координате и 5 - по другой, надо передать 12 параметров, да еще 4 длинных числа, формула на двух листах, да обратно надо передать температуру, давление и кой-какие служебные параметры...
Вот я их и разделял на входной массив и на выходной, всего два регистра хар4 и 5, при входе копирую в область памяти входных параметров, при выходе - из другой. Ну, накладных расходов много, думал сократить.

Вот ещё мысль мелькнула, передавать обратно через глобальные переменные. Что там стандарт говорит на этот счёт?

Нормально все говорит про глобальные. Но я бы просто передал адын указатель на структуру, где все лежит. И входные, и выходные.