Лилипутия и Блефуску, прикладная задачка ...

Kopa

Варнак писал(а):

Цитата:

Так все-таки, важнее быстро или на форте?

Максимально быстро (это критерий), но на форте (это ограничение) ...

Понятно, что при для оптимизации придется конкретизировать форт, пока использую SPF.

Навскидку приходит такое решение на Форте перестановки байтов.

: BSWAP16 256 /MOD SWAP 256 * + ; \ для 16-битного слова
: BSWAP32 65536 /MOD SWAP 65536 * + ; \ для 32-битного переставление слов

P.S. Что сможет сделать оптимизатор из этого - тоже интересно:)

Варнак

Kopa писал(а):

: BSWAP32 65536 /MOD SWAP 65536 * + ; \ для 32-битного переставление слов

Это, пожалуй, байты не переставляет, а переставляет 16-ти разрядные части 32-хразрядного слова.

Переставляет байты, например такое:
: BSWAP32 256 /MOD 256 /MOD 256 /MOD >R >R >R 256 * R> + 256 * R> + 256 * R> + ;

Mihail

: BSWAP32 DUP 16 LSHIFT SWAP 16 RSHIFT OR
DUP 0xFF00FF00 AND 8 RSHIFT
SWAP 0x00FF00FF AND 8 LSHIFT OR ;

Варнак

Mihail писал(а):

: BSWAP32 DUP 16 LSHIFT SWAP 16 RSHIFT OR
DUP 0xFF00FF00 AND 8 RSHIFT
SWAP 0x00FF00FF AND 8 LSHIFT OR ;

Да, этот подход (маски, сдвиги и логические операции) должен быть самым быстрым.
А shift'ы - это стандартные слова в ныненшних фортах? Они, как я понимаю, обычно низкоуровневые.

А как насчет перекодировки массива в памяти (задача 2б из первого поста): нельзя ли соответствующими манипуляции с байтами в массиве добиться лучшего результата, чем применение операций "считывание на стек + bswap32 + запись в память" к каждому элементу?

WingLion

Код:

: xC! 3 XOR C! ;
: WxSWAP (adr1,adr2 -- ) 4 0 DO 2DUP SWAP C@ SWAP  xC! 1.1 D+ LOOP ;

: MASSSWAP (Adr1,Adr2,Len-- ) \ длина массива в 32-хбитных словах
   0 DO WxSWAP LOOP ;

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

chess

На встроенном в СПФ пост-ассме реализуется просто(работает в обе стороны и big->little и little->big)

Код:

\ nb -- nl  преобразует верхнее значение на стеке данных
: BL~  A0123 ;

\ adr n --  преобразует массив 32-разрядных значений в памяти
: [BL~]  A-- $ 2 #A<< D=@P L1: B=@AD B0123 @AD=B $ 4 A-# L1 JNS 2DROP ;

\ Проверка
STARTLOG

SEE BL~
0x12345678 BL~ CR CR HEX U. DECIMAL

SEE [BL~]
CREATE ARR 0x12345678 , 0x12345678 , 0x12345678 , 0x12345678 ,
CR
ARR 4 DUMP
ARR 4 [BL~]
ARR 4 DUMP

лог

Код:

CODE BL~
591C60 0FC8             BSWAP   EAX
591C62 C3               RET     NEAR
END-CODE

78563412

CODE [BL~]
591C80 48               DEC     EAX
591C81 C1E002           SHL     EAX , 2
591C84 8B5500           MOV     EDX , 0 [EBP]
591C87 8B1C10           MOV     EBX , [EAX] [EDX]
591C8A 0FCB             BSWAP   EBX
591C8C 891C10           MOV     [EAX] [EDX] , EBX
591C8F 81E804000000     SUB     EAX , # 4
591C95 79F0             JNS     591C87
591C97 8B4504           MOV     EAX , 4 [EBP]
591C9A 8D6D08           LEA     EBP , 8 [EBP]
591C9D C3               RET     NEAR
END-CODE

591CC0   78 56 34 12  78 56 34 12  78 56 34 12  78 56 34 12 xV4.xV4.xV4.xV4.
591CC0   12 34 56 78  12 34 56 78  12 34 56 78  12 34 56 78 .4Vx.4Vx.4Vx.4Vx
 Ok

Kopa

chess писал(а):

На встроенном в СПФ пост-ассме реализуется просто(работает в обе стороны и big->little и little->big)

Где его можно найти в дистрибутиве SPF? или в devel SPF?

Варнак

Kopa писал(а):

chess писал(а):

На встроенном в СПФ пост-ассме реализуется просто(работает в обе стороны и big->little и little->big)

Где его можно найти в дистрибутиве SPF? или в devel SPF?

Если уже "встроенный", то его искать не надо, а вот где он описан, и есть ли такое описание? По приведенному примеру о синтаксисе можно, конечно, составить представление, но неполное.

chess

Файлы для загрузки ассемблера можно взять отсюда:
http://www.chess2007.nm.ru/chess-forth/spf4.zip
В исходных текстах ассемблера какое-то описание его синтаксиса есть. Будут вопросы - отвечу.
Подкаталог ~chess из скаченного spf4.zip скопировать в devel на вашем компе и запустить скрипт spf4as.spf(вложен в spf4.zip).
В этом скрипте еще прописаны загрузка стексов и SEE, если стексы не будете использовать их подгрузку можно в тексте скрипта убрать.

Kopa

chess писал(а):

...
В исходных текстах ассемблера какое-то описание его синтаксиса есть. Будут вопросы - отвечу.

Один вопрос возник.
Есть проект Algorithm Builder ( http://home.tula.net/algrom/russian.html )
для AVR- контроллеров - на основе псевдомнемоник, похожего подхода
рисуется блок-схема алгоритма.

Например: шаблон R0=# там запишется # -> R0
Может есть смысл, немного изменить некоторые мнемоники как в приведенном проекте?

chess

Kopa писал(а):

Например: шаблон R0=# там запишется # -> R0
Может есть смысл, немного изменить некоторые мнемоники как в приведенном проекте?

Все такие изменения дело вкуса каждого - если хочешь, меняй сам(исходники же есть). Мне после некоторой работы на этом ассме тоже кое-что хочется изменить. Например, вместо $ 25 A=# писать A=#25 или #25=A, убрать символ $, допустить прямую подстановку имен констант и переменных и еще много другого.
Но останавливает отсутствие времени и относительно малое преимущество новых нововведений по сравнению с уже полученным преимуществом. Вот когда масса мыслей типа "надо сделать лучше" превысит критическую - тогда сразу все и сделаю. А вообще когда пишешь на этом ассме, то осознаешь, что Форт это обертка над командами ассма, причем в случае СПФ, очень тонкая обертка.

chess

В посте по скачиванию ассма был указан неверный URL, в том-же посте и исправил его на верный.

Alexander

на асме использовать ROL, MOVSX, MOVZX, NEG, XCHG главное параметры подобрать

Лилипутия и Блефуску, прикладная задачка ...

Кто сейчас на конференции