Наверное уже не первый кто спрашивает но поиск не дал результатов.

Можно ли в макрокомандах имеющихся для AVR ассемблеров использовать неопределенное кол-во параметров.
Можно ли средствами макрокоманд AVRASM2 проверить переданный в макроопределение параметр по принципу есть\нет или меньше больше, если переданный параметр не константа (адрес, порт) а регистр.
Может быть уже существует реализация команды push списком push_list ZH, ZL, YL, YH, R0 и т.д.?

Насчет AVRASM2 не скажу (когда меня волновал аналогичный вопрос, его еще не было), но приличный макроязык имеется в IAR-овском ассемблере для AVR. Там это все реализуемо. Заодно и проще мешать C с ASM-ом.

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

В тело макросов регистры должны попадать в виде чего? Литеральные константы? Вряд ли так как при передаче в макрос они разименовываются пролетев все def-ы. Не очевидно, но регистр фактически адрес и передавать его в виде константы после разименовывания логично. r0 - 0, r1 -1 и т.д. Но при попытке проверить его макросредствами .if получаем ошибку. #if в AVRASM2 принимает, но результат сравнения не зависит от переданного параметра, что совсем уже не понятно.

Сообщение отредактировал SAAl - Jul 1 2010, 16:38

Число параметров для одного макроса фиксированное и не может меняться динамически. Параметров всего 10, насколько я помню (от @0 до @9). Макросы с одинаковым названием не допускаются.
P.S. Давайте конкретные вопросы. Что не получается сделать?

Насколько я понимаю уже нет:




Я вроде бы про это не спрашивал, или это связано с моими вопросами в первом посте?



Конкретные вопросы я вроде бы и задал, интересует макрос push_list позволяющий "отпушить" перечисленные далее регистры, сколько бы их ни было.
Пока я решил вопрос весьма не рационально push_list4, push_list5, push_list6 и так далее, кол-во параметров фиксировано и указывается в названии макроса.
Я бы сказал это довольно примитивное и посредственное решение. Если есть способ push_list с любым перечисленным количеством параметров было бы великолепно. Попытался двигаться к цели так - передаем максимум парметров, т.е. все 32 регистра, затем условными макросредствами или препроцессорингом пытаемся отбросить не переданные. На мой взгляд здесь есть только одна возможность проверить передан или не передан макро-параметр. Но любая попытка извлечь фактически не переданный параметр на рассмотрение в условное макросредство (.if) приводит к ошибке.

Сообщение отредактировал SAAl - Jul 6 2010, 02:19

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

2 SAAL:
Что-то быстро найти нормальное описание avrasm2 мне не удалось . А всю студию качать лениво.

Но вот нашел некий пример здесь:



Из него видно, что, если в качестве первого параметра вводить кол-во сохраняемых регистров, то при помощи .IF можно Вашу задачу решить. А может удасться проверить наличие параметра (типа @1=пустоте или еще как), тогда вообще будет то чего изначально хотелось.

#if — это от С-шного препроцессора элементы взяты, они отрабатывают до того, как файл начинает анализировать "именно ассемблер".
avrasm2 вроде бы существенно расширяли по сравнениию с avrasm, но я на тот момент уже перестал интересоваться "родными" инструментами от Атмел, даже не смотрел.
Для поставенной задачи со списком типичный инструмент — макроинструкция IRP (блок повтора по списку аргументов). Ищите это в AVRASM2.
Для gcc-шного ассемблера это выглядит так
Тут первым блоком IRP генерируется три макроса — _push, _pop, _clr, каждый из которых принимает список аргументов, т.е. пишется так

У gcc квалификатор : vararg к аргументу макроса означает, что в него идут все "лишние" аргументы вызова макроса, в других ассемблерах это решается макроскобками. Для AVR я не пользоваля, но для 51-го у Кейла это выглядит так:
Тут уголки и есть макроскобки, которые "маскируют" разделители-запятые. Макроскобками могут быть также { }, это надо смотреть
Вызов макроса тоже со скобками
Вот что-то подобное и надо искать у AVRASM2.

Врядли у него будет что-то похожее на красоту от AVOCET ASM51


Вдогонку — если ассемблер позволяет рекурсивные макросы (т.е. вызывающие сами себя), то задачу тоже можно решить, просто надо ограничиться каким-то разумным максимальным количеством аргументов. Как-то так (это тоже от 51-го контроллера, асм от 2500A.D.)

Сами себе делаем IRP с ограниченным количеством аргументов
И используем его в других макросах.

Описание из первых рук



Получается такая штука если я передаю в макрос константу 0x3F или 0x00 - то это константа, если регистр r0..r30 или через разименовывание по def-у то это зарезервированное имя и хоть застрелись для AVRASM2 этот параметр не константа. Получается так что параметры для MACRO в AVRASM2 автоматические по типу.



ВОТ!!! И Вы тоже пришли к тому же мнению но нет проверки на пустоту не получается, точнее я не нахожу способа проверить параметр на пусто

Верно, на пустоту не проверить.
Макрос в асме, как функция в С; должны быть перечислены все параметры.
Если на пустоту не проверить, то можно проверить на 0 (.if @0<>0). Конечно, при объявлении макроса будет лишняя информация, зато получишь то что хотел.

Точно не помню как обозначается "не равно" - <>, либо еще как.

если быть точным то в AVRASM2 как в Си "не равно" это "!=". Однако вот результаты, заметьте, во втором случае в передаче параметра использовалась константа и ошибка произошла уже в строке 7.

В первом случае вызов:
pushl r1, r2, r3




Во втором случае вызов:
pushl 10, r2, r3



Макрос выглядит так:


unexpected REGISTER явно свидетельствует о том что условное макросредство .if ожидает не регистр, и косвенно подтверждает что в AVRASM параметры макрокоманды типизированы на константы и регистры




Да действительно при сравнении #if препроцессора происходит сравнения @0 а не то что туда передается, препроцессор тут бессмысленно применять.



да вот так получается что расширение коснулось пару операций и внедрения препроцессора Си, остальное осталось от AVRASM.



увы... такового нет



рекурентность возможна и выход Вы нашли из положения просто "супер", но... портит все одна вещь как вывалиться из рекурсии? Только при проверке параметра, а тут такой "облом" как регистр проверить параметр не позволяет специфика условных директив.

Сообщение отредактировал SAAl - Jul 7 2010, 13:15

Ну, это я видел, из этой степи и пример нарыл, но на нормальное описание оно как-то не тянет. Когда AVRASM2 только появился, я бегло просматривал его описание, и в памяти отложилось, что там наконец сделали нормальный макроязык... Похоже я ошибся
 
Хорошо, пусть на пустоту не получается, а если проверить на равенство r16 например, покатит? Тогда можно извратится типа 
.IF @0=r16 or @0=r17 or @0=r18 ...  or @0=ZH
громоздко, но ведь выход


P.S и вообще, бросайте Вы этот глючный avrasm. Есть же более достойные компиляторы. Вот например пример (каламбурим ) из описания IAR-овского ассемблера:

Как видите количество аргументов можно проверить по IF. А если еще REPT прикрутить - вообще сказка будет.

Или вот про AVR GCC вам ReAl уже писал. Там похоже макроязык еще покруче, чем в IAR. Да еще и совесть чистая .
Пусть компилятор работает на Вас, а не Вы на компилятор 

+много.
На компакте и на ftp от самого атмела более чем десятилетней давности был в комплекте бесплатный комплект от IAR — только ассемблер и линкер, версия 1.30, кажется. Как только я его обнаружил, avrasm был забыт как страшный сон.

Чей макроасм "мощнее" — IAR или gcc, мне тяжело сказать, так как IAR я не пользуюсь почти десять лет, а gcc, похоже, не использую на полную катушку, так как на асме пишу очень мало.
Ещё приятная вещь в gcc-шном макро — это атрибуты обязательности макроаргумента : req (не надо и проверять в макросе на наличие, так как сам ругнётся ещё раньше на отсутствие) и возможность задать значение аргумента по умолчанию

Выход ! Но... если .if не ожидает регистр как lvalue, то даже если предположить что он допускает его в rvalue, принимать его в lvalue все равно не будет Я проверил все тот же unexepected REGISTER.



Похоже так! На месте Atmel мне со стыда гореть все это время сделать прекрасную архитектуру и так позорно провалить в средствах разработки даже и не ЯВУ.



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



Красиво! Фактически Вы меня убедили на раз
Есть только одно но... А где описание добыть? В man только командная строка и опции. И учитывая что он под разные таргеты одно ли на всех описание?
Есть же какие то сущности в разных архитектурах которые на модель x86 ни как не лягут.

Сообщение отредактировал SAAl - Jul 8 2010, 03:46