Hola, amigos. Estoy desarrollando un pequeño desensamblador en ensamblador (suena algo redundante, pero no lo es). Tengo una duda. Antes que nada, quiero decir que ya estoy leyendo los manuales de Intel y revisando páginas en internet. (Para que no digan que no investigo).

El problema es el siguiente: Digamos tengo una instruccion X. ¿Como hago para saber si el primer byte que tengo en frente es un opcode en puro, un prefijo, o un opcode extendido?. Antes yo había tratado comparando el byte inicial con los valores asignados por Intel a los prefijos x86, pero ¿que pasa si la instruccion, de casualidad posee el mismo valor en hexadecimal que el prefijo?.

Ah, ¿Será que alguien me puede aclarar si los prefijos cumplen el siguiente orden?



¿Y como hago para reconocer si debería ser un prefijo? Por que según Intel, los prefijos pueden ir en cualquier orden dentro de los 4 primeros bytes (me refiero, LOCK a veces preceder a un SEGMENT OVERRIDE o viceversa=. (Aunque la imagen anterior pareciera decirme lo contrario)


Si alguien pudiera darme una mano con este problema, estaría muy agradecido. Sé que este tema es algo bastante extenso, pero pienso que aquí al menos podría recibir al menos una orientación. ¿o no? XD.

¿Será que alguien tiene un fragmento de codigo, que sea capaz de reconocer cuando el primer byte es un prefijo o un opcode? Gracias.

Gracias cpu2. ¿Entonces, no sabes si los prefijos siguen el orden que indica la imagen? (LOCK/REP/REPNE, luego Address size override, luego Operand size y de ultimo Segment Override??

Sé que me diste una idea, pero, ¿no sabes exactamente si los prefijos pueden seguir el orden indicado anteriormente? Porque si lo siguen, creo que serìa capaz de escribir de forma más sencilla la parte de identificacion de prefijos.

Ah, y estuve mirando, y al parecer si hay opcodes que coinciden con los valores de los prefijos, aunque creo que los opcodes que coinciden no deberían tener ese prefijo.

Empezar este desensamblador está algo dificil. XD. Bueno, cuando lo terminé tendré un proyecto más en mi casa.

@harry_the_blogger

Pordrias decirme cuales son los opcodes que coinciden con los prefijos? Simplemente para ahorrar tiempo.

Bueno yo hice un disassembler algunas instrucciones y este es el orden que me dice, como sabras el prefijo lock solamente se puede aplicar lgunas instrucciones, por ejemplo al rep no.

lock movw %cx, %cs:(%rax)    ; >>>> f0 66 2e 89 08

Como puedes observar 0xf0 es Lock, 0x66 Operand-Size Override que indicaria 16 bit, 0x2e Segment Override el registro del segmento.

Supongo que Address-Size Override tendra el mismo puesto que Operand-Size Override, pero para direcciones.

Si miras Repeat.

repe scasw  ; >>>> f3 66 af
 
repe scasb  ; >>>> f3 ae

Como puedes observar con el prefijo Repeat pasa lo mismo que con el Lock, pero recuerda que estos dos no se pueden conbinar.

Cualquier duda ya sabes.

@MCKSys Argentina

Que bueno, seguro que eso le ayudara bastante.

Un saludo.

Modifico:

Encontre un opcode que coincide con el Repeat 0xf2, se trata de la instruccion crc32, pero date cuenta que son mas bytes, bueno son como unos 4, no se muy bien ya que esta instruccion es de SSE4.2.

Y como puedes observar en la imagen el opcode puede ser 1 o 2 bytes, esa me dejo descolocado.