一个基本块：因为流程控制无法越过基本块的结尾，在找到基本块之后，有些基本块边界可能要调整。特别是「贯穿」(fall-through）的条件分支需要改为传统二路的条件分支，丢出异常的函数后面需要加上无条件的跳跃。这些调整可能需要在其他基本块的开始处加上标记，表示是无条件跳跃的目标。