Las sentencias condicionales son fundamentales en cualquier lenguaje de programación, incluido el ensamblador. Permiten que el flujo del programa cambie en función de ciertas condiciones, lo que es esencial para la toma de decisiones en el código.

1. Comparaciones: Las comparaciones son operaciones que evalúan dos valores y determinan su relación (igual, mayor, menor, etc.).
2. Saltos Condicionales: Basados en el resultado de una comparación, los saltos condicionales permiten que el flujo del programa se desvíe a diferentes partes del código.
3. Instrucciones de Salto: Instrucciones específicas que realizan saltos basados en condiciones.

En ensamblador, las comparaciones se realizan utilizando instrucciones específicas. En la arquitectura x86, la instrucción CMP (compare) es comúnmente utilizada.

Esta instrucción compara el contenido de los registros AX y BX. No modifica los registros, pero establece los flags (banderas) del procesador según el resultado de la comparación.

Las banderas del procesador son bits que indican el resultado de operaciones aritméticas y lógicas. Las más relevantes para las comparaciones son:

• ZF (Zero Flag): Se establece si el resultado de la comparación es cero (los valores son iguales).
• SF (Sign Flag): Indica el signo del resultado (positivo o negativo).
• CF (Carry Flag): Se establece si hay un acarreo en una operación aritmética (útil para comparaciones de valores sin signo).
• OF (Overflow Flag): Indica si hubo un desbordamiento en una operación aritmética.

Las instrucciones de salto condicional permiten cambiar el flujo del programa basado en el estado de las banderas. Algunas de las más comunes en x86 son:

En este ejemplo, si AX es igual a BX, el flujo del programa saltará a equal_label. Si no son iguales, el flujo continuará y luego saltará a end_label.

Escribe un programa en ensamblador que compare dos números almacenados en los registros AX y BX. Si AX es mayor que BX, salta a una etiqueta llamada greater. Si AX es menor o igual a BX, salta a una etiqueta llamada not_greater.

Solución

• Error Común: Olvidar que las instrucciones de comparación no modifican los registros, solo las banderas.
• Consejo: Siempre asegúrate de que las etiquetas (labels) sean únicas y descriptivas para evitar confusiones en el flujo del programa.

Las sentencias condicionales en ensamblador son esenciales para controlar el flujo del programa. Comprender cómo funcionan las comparaciones y los saltos condicionales te permitirá escribir programas más complejos y eficientes. En el próximo tema, exploraremos los bucles e iteraciones, que son fundamentales para repetir bloques de código de manera controlada.