In microprogramming, compaction in which microoperations may be moved beyond the boundaries of the single entry, single exit sequential blocks in which they occur.