Bloque básico ( bloque básico , BB) - en programación y teoría del compilador [1] - un concepto que denota una secuencia de instrucciones o código que tiene un punto de entrada (solo la primera instrucción en la secuencia puede ser el destino de una instrucción de transferencia de control ), un punto de salida y no contiene instrucciones de transferencia de control antes del punto de salida.
Por lo tanto, un bloque básico es una secuencia de instrucciones, cada una de las cuales se ejecuta si y solo si se ejecuta la primera instrucción en la secuencia [2] .
Varias instrucciones de salto pueden apuntar al principio del bloque básico al mismo tiempo, mientras que el final del bloque puede ser una instrucción de transferencia de control (salto) o una instrucción que precede al salto.
Los bloques base son la unidad básica de código en la que el compilador realiza optimizaciones . También son vértices (o nodos) en el gráfico de flujo de control .