Бейсики для Вектора-06Ц и клонов

[ivagor]

Книжка по TRS80 прояснила ситуацию с целыми в RFBM3. Оказалось, что для целых есть нативные сложение/вычитание/умножение, а деление выполняется с одинарной точностью, что требует соответствующей конверсии. В RFBM4-7 тоже есть деление, но в RFBM3 делители 1-1000, а в 4-7 всегда 2, что проще для конверсии, в итоге накладные расходы не такие большие и не опускают целые варианты ниже одинарных на фоне остальных операций.

[ivagor]

Я не одинок в попытках оптимизации микрософтовского бейсика. Но я намного маньячнее, у чувака по ссылке ускорение до 12% с использованием команд z80, у меня в 2 раза больше при использовании 8080. А с z80 можно горы свернуть.

[ivagor]

Посмотрел как хранится программа в 4.51/5.29 и оказалось, что используются "полукомпиляторные" штучки. Числовые константы и номера строк хранятся не в символьном виде (как в альтаирском 3.2 и его последователях) а во внутреннем формате, вместо номеров строк - адреса строк. С учетом этого понятно, почему 4.51 и 5.29 опережают 2.5 в большинстве тестов RFBM даже без использования целых (с одинарной точностью). По-хорошему они должны были бы рвать и 2.96, но микрософтовцы не стали заморачиваться с оптимизацией математики.

[b2m]

Жаль, что нет исходников 5.29 или 4.51 в готовом для компиляции виде

Там чёрт ногу сломит при дизассемблировании. Я попытался, но до конца не довёл. Очень часто используются прыжки в середину команды. Изврат, вобщем.
Приложенный архив хоть и даёт исходный бинарник при компиляции, но при релокации работать не будет, это точно.
Это так, чтобы посмотреть, насколько там всё запущено.

MBASIC.ZIP (на след. странице улучшенная версия)

- - - Добавлено - - -

Понравился сниппет:

    RLC
    ADD L
    MOV L,A
    ADC H
    SUB L
    MOV H,A

[ivagor]

Понравился сниппет

Начальный RLC это частность, а остальной фрагмент (HL+=A) впервые увидел у спектрумистов, думал это они изобрели.

[b2m]

Да, RLC тут лишний, просто так скопировал, чтобы мысль не потерять, там был переход по таблице.

[b2m]

Не работает с отрицательными. А как красиво начиналось...

[ivagor]

Не работает с отрицательными. А как красиво начиналось...

Это уже перебор, для смещения 0-255 отличный вариант, а для -128 - 127 настолько коротко и быстро на 8080 никак не получится.

Чего не было в описаниях советских постальтаирских бейсиков.
1. NEXT позволяет перечислить переменные через запятую. Если что - быстрее и короче совсем не указывать переменные в NEXT.
2. В имени переменной после первого символа могут быть не только буквы и цифры, но и пробелы (они будут проигнорированы). Т.е. переменная ABC идентична A B C или AB C или A BC (или AB). На мой взгляд это зря.
3. Более частный факт про описание 2.5 - информация про DELETE не вполне верная, нельзя сделать DELETE без аргументов и DELETE только с начальной строкой.

- - - Добавлено - - -

Оффтоп про знаковое HL+=A

Если разрешить использовать BC или DE то так

mov c,a
add a
sbb a
mov b,a
dad b

Если нельзя трогать BC и DE, то придется задействовать команды перехода. Работоспособно, но не очень изящно.

[свернуть]

[parallelno]

Там чёрт ногу сломит при дизассемблировании. Я попытался, но до конца не довёл. Очень часто используются прыжки в середину команды. Изврат, вобщем.
Приложенный архив хоть и даёт исходный бинарник при компиляции, но при релокации работать не будет, это точно.
Это так, чтобы посмотреть, насколько там всё запущено.

Вложение 78956

- - - Добавлено - - -

Понравился сниппет:

    RLC
    ADD L
    MOV L,A
    ADC H
    SUB L
    MOV H,A

Вроде бы работает как для положительных, так и для отрицательных байт.

класная находка, спасибо! Кстати целиком там такой кусочек кода:

    ...
    LXI H,L0495
L1B41:
    ...
    RLC
    ADD L
    MOV L,A
    ADC H
    SUB L
    MOV H,A
    ...

Он занимает 44 такта. В том контексте пара HL может иметь произвольное значение так как в программе есть JMP L1B41 из другого места, но если нам нужно прибавить к INT16 константе, то код можно немного ускорить до 40 тактов так:

    ...
    RLC
    ADI LOW_BYTE
    MOV L,A
    ACI HI_BYTE
    SUB L
    MOV H,A
    ...

Где LOW_BYTE это младший байт INT16 константы, а HI_BYTE это старший байт INT16 константы.
Надеюсь кому-то будет полезно. Извиняюсь что не по теме топика.

[ivagor]

Ровно 4 года назад выложил первую "номерную" модификацию векторовского бейсика (2.55). Сегодня юбилейные 2.97 и 2.89.
1. ivagor зоркий глаз наконец-то узнал, почему в классике диапазон номеров строк 0-65529. Вернул и немного ускорил оцифровку.
2. Вернул "старый" вариант обработки токенов при вводе в INPUT. Расследование показало, что токенизация ввода INPUT - это оригинальная придумка авторов бейсика микрон.
Плюс - это позволяет вычислять арифметические выражения при вводе числовых переменных (микрософтовские от 3.2 до 5.29 и "наши" домикронные на базе 3.2 так не делают).
Минус - токенизация при вводе символьных переменных.
Оказалось, что в INPUT можно вводить символьные переменные с кавычками и при этом текст внутри кавычек не токенизируется даже в потомках микрона (нигде не читал о подобном). Поэтому решил убрать свой костыль, который был с 2.57, если нужно гарантированно обойтись без токенизации - используем кавычки.
3. Теперь о моей ошибке - в 2.95-2.96 частично поломал сравнение чисел и в некоторых случаях оно работало неправильно. Исправил и ускорил.
4. В 2.97 решил себя не сдерживать, использовал все свободное место и изыскал резервы, очень много оптимизаций, везде стало заметно быстрее даже на фоне 2.96.
В наборе тестов RFBM с одинарной точностью 2.97 тотально побеждает. Целые позволили удержаться микрософтовцам только в RFBM2. На мой взгляд очень хороший результат.
Пустой цикл теперь быстрее 10 секунд.
Синтетика это хорошо, но посмотрим ANTIGRAV - стартовое рисование уровня теперь меньше 100 секунд!
В итоге 2.97 - самый быстрый интерпретатор бейсика с одинарной точностью для 8080. Году в 78-79 этим даже можно было бы гордиться.