Нумерация значений

Оптимизация условий — удаление избыточных условных вычислений. Управляющий граф может содержать, так называемые, If-узлы — узлы, имеющие по две исходящие дуги, и, соответственно, по набору операций, необходимому для выбора одной из этих дуг. Будем называть такой набор операций условным вычислением. Если в управляющем графе содержатся два If-узла, один из которых доминируется другим (или хотя бы одной исходящей из него дугой), то, при условии совпадения номеров значений результатов их условных вычислений (или при условии, что какое либо значение результата нижнего условного вычисления следует из какого-либо значения результата верхнего условного вычисления), вычисление в нижнем узле можно не повторять. Оптимизация условий удаляет условные вычисления в доминируемом узле и удаляет соответствующую исходящую дугу. Помимо удаления избыточных вычислений, преобразование может сделать некоторые узлы и дуги управляющего графа недостижимыми из корневого узла, то есть обнаружить недостижимый код.

Простейший пример применения оптимизации условий изображён на схеме: если переменные a и b относятся к одному классу конгруэнтности, то из условия a ≥ 7 следует, что b ≥ 7, значит, условие b ≥ 6 всегда выполняется, а условие b < 6 — не может быть выполнено. Операция сравнения и, соответствующая ей, операция перехода в узле 2 являются избыточными. Оптимизация условий удалит избыточные условные вычисления в узле 2 и удалит дугу от узла 2 к узлу 4. В результате, время исполнения программы при a ≥ 7 уменьшилось за счёт удаления операции сравнения, а также уменьшился размер кода.