MicroTESK » MicroTESK for PowerPC

Несколько общих замечаний:

1. В спецификациях не должно быть символов табуляции. У нас принято вместо них использовать пробелы.
2. Внутренние инструкции, к которым не обращаются на прямую, такие как op add_general, нужно помечать ключевым словом internal (т.е. internal op add_general).
3. Не нужно злоупотреблять использованием атрибута init. Опкоды нужно помещать в строку форматирования. Атрибут init должен использоваться только тогда, когда по-другому не получается. Промежуточные присваивания, которые делаются внутри этого атрибута, создают проблемы при дизассемблировании. Также это вредит производительности (init выполняется перед каждым вызовом других атрибутов). Таким образом, все кострукции типа:
   

   op addi (rt: R, ra: R, simm: SHORT)
     init = {
       OPCD = coerce(card(6), 0b011100);
     }
     syntax = format("addi %s, %s, %d", rt.syntax, ra.syntax, simm)
     image  = format("%16s%5s%5s%6s", simm, ra.image, rt.image, OPCD)
   

   должны быть переписаны как:
   

   op addi (rt: R, ra: R, simm: SHORT)
     syntax = format("addi %s, %s, %d", rt.syntax, ra.syntax, simm)
     image  = format("%16s%5s%5s011100", simm, ra.image, rt.image)
   

Обновлена группа инструкций add (add., addo, addo.). Были вынесены общие "syntax" и "image" в add_general().
(Предлагается использовать этот пример для спецификации новых групп инструкций, если он применим.)

Исправлена в шаблоне операция "OR".

Нужно ли, для соблюдения стиля, обновить таким способом все уже созданные инструкции?

Pavel Putro wrote:

Нужно ли, для соблюдения стиля, обновить таким способом все уже созданные инструкции?

Если говорить про стиль, то первая версия ему соответствует. И необходимости в этом нет.
Лучше сосредоточиться на добавление новых инструкций. Последний пример показывает, как ускорить процесс спецификации групп инструкций.

В спецификации было добавлено ключевое слово pseudo (коммит 974ac00e8a84cebdfdec61d780f3fb4e0aaf4e2e).

Оно должно использоваться для инструкций, которые являются производными от других инструкций (например, являющихся их частным случаем, как mr и or). Это все интструкции, помеченные как "Equivalent to: ...". У таких инструкций опткоды совпадают опткодами базовых инструкций, и при декодировании невозможно выбрать правильный вариант. Поэтому при помощи ключевого слова pseudo все производные интсрукции должны исключаться из рассмотрения, а при декодировании всегда будут получаться базовые инструкции.

Например, инструкция mr rA,rS всегда будет декодироваться как or rA,rS,rS.

// mr: Move register
// mr rA,rS (Rc=0) Equivalent to: or rA,rS,rS
pseudo op mr (ra: R, rs: R)
  init = {
    Rc = coerce(BIT, 0);
    XO_10 = coerce(card(10), 0b0011110110);
    OPCD = coerce(card(6), 0b111110);
  }
  syntax = format("mr %s, %s", ra.syntax, rs.syntax)
  image  = format("%1s%10s%5s%5s%5s%6s", Rc, XO_10, rs.image, ra.image, rs.image, OPCD)
  action = {
    or(ra, rs, rs).action;
  }