Реверс-инжиниринг УКНЦ (1515ХМ1&2, 1801ВП1, 1801ВМ2)

[Vslav]

Вообще, на первый взгляд, расшифровать микрокод - это еще та жесть)

Скрытый текст

; 210  : 	s = _mm_setzero_si128();
; 211  : 	z = _mm_setzero_si128();
; 212  : 	do {
; 213  : 		x = _mm_load_si128(&p->xor);
; 214  : 		a = _mm_load_si128(&p->and);
; 215  : 		t = _mm_load_si128(&p->sop[0]);
; 216  : 		x = _mm_xor_si128(x, v);

  00022	f3 41 0f 6f 08	 movdqu	 xmm1, XMMWORD PTR [r8]

; 217  : 		x = _mm_and_si128(x, a);
; 218  : 		x = _mm_cmpeq_epi32(x, z);
; 219  : 		a = _mm_unpacklo_epi32(x, x);
; 220  : 		a = _mm_and_si128(a, t);
; 221  : 		t = _mm_load_si128(&p->sop[1]);
; 222  : 		s = _mm_or_si128(s, a);
; 223  : 		a = _mm_unpackhi_epi32(x, x);
; 224  : 		a = _mm_and_si128(a, t);
; 225  : 		s = _mm_or_si128(s, a);
; 226  : 		++p;

  00027	4d 8d 40 50	 lea	 r8, QWORD PTR [r8+80]
  0002b	66 0f ef cb	 pxor	 xmm1, xmm3
  0002f	66 41 0f db 48
	c0		 pand	 xmm1, XMMWORD PTR [r8-64]
  00035	66 0f 76 cc	 pcmpeqd xmm1, xmm4
  00039	66 0f 6f c1	 movdqa	 xmm0, xmm1
  0003d	66 0f 62 c1	 punpckldq xmm0, xmm1
  00041	66 41 0f db 40
	e0		 pand	 xmm0, XMMWORD PTR [r8-32]
  00047	66 0f 6a c9	 punpckhdq xmm1, xmm1
  0004b	66 0f eb c2	 por	 xmm0, xmm2
  0004f	66 41 0f db 48
	f0		 pand	 xmm1, XMMWORD PTR [r8-16]
  00055	66 0f 6f d0	 movdqa	 xmm2, xmm0
  00059	66 0f eb d1	 por	 xmm2, xmm1

[свернуть]

На выходные постараюсь написать пост как я анализировал ВМ1 и выложу процедуры для анализатора.
Вон сверху написана оптимизация под SSE2 (мир как бы далеко от PDP-11 уже ушел, надо новенькое осваивать ), ускорило процесс в x2.5 раза, доделаю AVX2 и М-арные деревья и расскажу как на эти матрицы смотреть

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

записать диаграммы работы небольшого количества команд, с отображением IA0..IA5

Это тебе не поможет. Никак. Там надо статанализ делать, с полным покрытием вариантов.

[Advertiser]

[Titus]

Это тебе не поможет. Никак. Там надо статанализ делать, с полным покрытием вариантов.

Я совершенно не занимаюсь перебором всех возможных комбинаций, поэтому мне SSE не нужно)

А пример с адресами IA0..IA5 прошу для сравнения с моими теоретическими выкладками, поэтому оно мне поможет, поверь)

[Vslav]

Я совершенно не занимаюсь перебором всех возможных комбинаций

Конечно, ты собираешься меня заставить это делать в ручном режиме - будешь просить потом - "а запусти для этой инструкции, а запусти для этого адреса". Извини, но я на такое не подписываюсь. Чтобы до тебя дошло, давай конкретный список, полную спецификацию чего на входе и что тебе отдать на выходе, обработаю _ОДИН_ раз, может быть, если список будет умеренный.

Ты реально думаешь что для полусотни инструкций/адресов кто-то будет из диаграмм циферки выковыривать? Я для этого писал сначала спецмодельку на верилоге, потом увидел что покрытие плохое и медленное, перешел на Си, а теперь и на SSE/AVX. И эти же функции вычисления матриц будут нужны любому приличному эмулятору который микрокод эмулирует.

[Titus]

Мне нужен пример на нескольких ЛЮБЫХ инструкциях. Если тебе хочется конкретики, то пусть это будет. XOR R0,R1; ADD R0,(R2); SUB (R3),2(R4); CLC.

[yu.zxpk]

Тема как-то сползла с обсуждения БМК на 1801 и "все такое"

[Titus]

Тема как-то сползла с обсуждения БМК на 1801 и "все такое"

А она уже давно называется 'реверс БМК и ВМ2'

[Ynicky]

Просьба к @Vslav или @Ynicky записать диаграммы работы небольшого количества команд, с отображением IA0..IA5, и обязательно указать, какие команды исполнялись.

Это что за сигналы IA0..IA5?
reg [5:0] ia; // microinstuction address register
Эти?

[Vslav]

А она уже давно называется 'реверс БМК и ВМ2'

Так это не сам реверс ВМ2, это его осмысление
Сейчас домучаю М-арные деревья и дам тебе функции матрицы, "ты ж программист" - сам себе адреса посчитаешь, против Си у тебя же нет предубеждений?
Там был очень красивый случай рекурсии, редкий, когда она полезна - организация цикла с вложенностью определяемой через #define, позвал дочку и вместе написали и оно даже заработало .

[Titus]

Это что за сигналы IA0..IA5?
reg [5:0] ia; // microinstuction address register
Эти?

Эти да. Сделай, буду признателен) Любые несколько команд процессора, только подпиши, какие это были команды.

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

Сейчас домучаю М-арные деревья и дам тебе функции матрицы, "ты ж программист" - сам себе адреса посчитаешь, против Си у тебя же нет предубеждений?

Вообще-то я просил диаграммы адресов на примере нескольких команд)

[Ynicky]

В текстовом файле команды, в скриншотах подряд выполнение этих команд.
https://cloud.mail.ru/public/5CSG/356TQPNvB