Las instrucciones de LLVM IR constituyen el núcleo del sistema de compilación LLVM, permitiendo una representación intermedia que facilita la optimización y la generación de código para diversas arquitecturas. A continuación, se detallan las instrucciones fundamentales, con énfasis en sus particularidades y mejores prácticas.

Operaciones aritméticas y lógicas

Las operaciones enteras incluyen instrucciones como add, sub, mul, udiv/sdiv y urem/srem. Su sintaxis es <resultado> = <operación> <tipo> <operando1>, <operando2>. Por ejemplo, %resultado = add i32 %a, %b suma dos enteros de 32 bits.

Un aspecto crítico es el manejo del desbordamiento (overflow). Por defecto, estas operaciones usan aritmética de complemento a dos con envoltura (wrap-around), lo que puede causar errores silenciosos. Para mitigar esto, LLVM proporciona marcadores clave:

• nuw (No Unsigned Wrap): Indica que la operación sin signo no debe desbordar; si ocurre, el resultado es un valor poison.
• nsw (No Signed Wrap): Similar para operaciones con signo.

Un valor poison representa un comportamiento indefinido, lo que permite al optimizador hacer suposiciones agresivas. Su uso correcto puede mejorar el rendimiento, pero un uso incorrecto puede llevar a resultados impredecibles.

Ejemplo de código comparando métodos inseguro y seguro:

; Método inseguro: posible desbordamiento con envoltura
%idx = add i32 %base_idx, %desplazamiento
%ptr = getelementptr i32, i32* %matriz, i32 %idx

; Método seguro: usar marcador nuw para evitar desbordamiento
%idx_seguro = add nuw i32 %base_idx, %desplazamiento
%ptr_seguro = getelementptr i32, i32* %matriz, i32 %idx_seguro

Las divisiones y restos también admiten el marcador exact, que declara que la operación es exacta (por ejemplo, el dividendo es múltiplo del divisor). Si no se cumple, el resultado es poison, facilitando optimizaciones como la reducción de fuerza.

Operaciones en punto flotante

Instrucciones como fadd, fsub, fmul, fdiv y frem manejan números en punto flotante. A diferencia de las enteras, soportan fast-math flags que relajan la precisión según el estándar IEEE 754 para permitir optimizaciones.

Flags comunes incluyen:

• fast: Activa todas las optimizaciones inseguras (usar con precaución).
• nnan: Asume ausencia de valores NaN.
• ninf: Asume ausencia de infinitos.
• nsz: Permite tratar el cero negativo como cero.
• arcp: Permite aproximaciones de recíprocos.
• contract: Permite operaciones de fusión multiplicación-adición (FMA).

Ejemplo de uso en código:

; Modo estricto: respeta el orden de cálculo
%temp1 = fmul float %x, %y
%res = fadd float %temp1, %z

; Modo optimizado con flags fast-math
%res_rapido = fadd fast float %x, %y, %z  ; Suposición simplificada

Estos flags permiten al compilador reordenar operaciones, por ejemplo, para aprovechar instrucciones FMA en hardware moderno.