More formally, a sequence of instructions forms a basic block if: The instruction in each position dominates, or always executes before, all those in later positions.
Більш формально, послідовність інструкцій утворює базовий блок якщо: Інструкція в кожній позиції домінує над, або завжди виконується перед, всіма інструкціями в наступних позиціях.