Registros Arquitectura x86. M. en C. Erika Vilches

Transcripción

1 Registros Arquitectura x86 M. en C. Erika Vilches

2 Registro Area especial de almacenamiento de alta velocidad dentro del CPU Registros del procesador x86 Registros de datos de propósito general Registros de segmento Registros de estado y control (EIP e EFLAGS)

3 Registros de datos de propósito general Ocho registros de 32 bits para almacenar: Operandos enteros para operaciones lógicas y aritméticas Apuntadores (direcciones de memoria)

4 Los 4 que usaremos hoy: eax ah ax al Accumulator ebx bh bx bl Base ecx ch cx cl Count edx dh dx dl Data

5 Registro de banderas Registro de 32 bits Colección de bits individuales de estado y control llamados banderas. Generalmente, cada bandera es manipulada independientemente y no como un conjunto.

6 eflags... of df sf zf af pf cf ! CF carry flag! PF parity flag! AF auxiliary flag! ZF Zero Flag! SF sign flag! DF direction flag! OF overflow flag

7 cf - Carry Flag pf - Parity Flag af - Auxiliary flag zf - Zefo Flag sf - Sign Flag of - Overflow Flag

8 Ejercicio 1 Indique el estado de las banderas af, sf, pf y zf después de realizar la siguiente operación: mov eax, 0x add eax, 0xA20001F2

9 CF y OF Regla Universal XOR A B Z NOT A Z

10 ADD bold itálica = Carry Flag (CF) bold itálica XOR bold = Overflow Flag (OF) Interno unsigned signed CF=0, OF= válido válido Interno unsigned signed CF=1, OF= inválido válido Interno unsigned signed CF=0, OF= válido inválido Interno unsigned signed CF=1, OF= inválido inválido Carry Flag reporta validez bajo la interpretación unsigned. Overflow Flag reporta validez bajo la interpretación signed. Saltos Condicionales: JC, JNC, JO, JNO

11 Ejercicios ADD Sume (con 8 bits) e indique todas las banderas: (-1) (-128) + (-1)

12 SUB NOT bold itálica = Carry Flag (CF) bold itálica XOR bold = Overflow Flag (OF) Original unsigned signed interno Diferencia válido válido CF=0 OF=0 Original unsigned signed interno Diferencia inválido válido CF=1 OF=0 Original unsigned signed interno Diferencia válido inválido CF=0 OF=1 Original unsigned signed interno Diferencia inválido inválido CF=1 OF=1 Carry Flag reporta validez bajo la interpretación unsigned. Overflow Flag reporta validez bajo la interpretación signed. Saltos Condicionales: JC, JNC, JO, JNO NOTA: SUB se hace internamente sumando (ADD) el complemento a 2 del substraendo

13 Ejercicios SUB Reste (con 8 bits) e indique todas las banderas: 0-1 (-128) (-1) (-32) - 65

14 Reglas de validez Unsigned Restar a b es válido cuando a > b (CF = 0) Restar a b es inválido cuando a < b (CF = 1) La suma es invalida cuando el resultado es menor que los sumandos (CF = 1) Signed La resta a b es válida cuando a > b y el resultado es positivo (CF = 0, SF = 0) La resta a b es inválida cuando a > b y el resultado es negativo (OF = 1, SF = 1) La resta a b es válida cuando a < b y el resultado es negativo (OF = 0, SF = 1) La resta a b es inválida cuando a < b y el resultado es positivo (OF = 1, SF = 0) La resta de dos cantidades del mismo signo es siempre valida (OF = 0) La suma es inválida cuando la suma dos cantidades del mismo signo tiene el signo opuesto (OF = 1) La suma de dos cantidades de diferente signo es siempre válida (OF = 0)

15 Reglas de validez X Unsigned Restar a b es válido cuando a > b (CF = 0) Restar a b es inválido cuando a < b (CF = 1) La suma es invalida cuando el resultado es menor que los sumandos (CF = 1) Signed La resta a b es válida cuando a > b y el resultado es positivo (CF = 0, SF = 0) La resta a b es inválida cuando a > b y el resultado es negativo (OF = 1, SF = 1) La resta a b es válida cuando a < b y el resultado es negativo (OF = 0, SF = 1) La resta a b es inválida cuando a < b y el resultado es positivo (OF = 1, SF = 0) La resta de dos cantidades del mismo signo es siempre valida (OF = 0) La suma es inválida cuando la suma dos cantidades del mismo signo tiene el signo opuesto (OF = 1) La suma de dos cantidades de diferente signo es siempre válida (OF = 0)

16 Resumiendo ADD bold itálica = Carry Flag (CF) bold itálica XOR bold = Overflow Flag (OF) SUB NOT bold itálica = Carry Flag (CF) bold itálica XOR bold = Overflow Flag (OF) Carry Flag reporta validez bajo la interpretación unsigned. Overflow Flag reporta validez bajo la interpretación signed.