Reglage des options exportation standard
Алгоритм исключения лишних операций просматривает операции в порядке их появления. Если i-я триада лишняя (уже имеется идентичная j-я триада), то она заменяется триадой
(SAME,j,0), где операция SAME ничего не делает и не порождает
никаких команд при генерации. Чтобы следить за внутренней зависимостью переменных и триад, им в соответствие ставятся числа независимости по следующим правилам:
1) Вначале для переменной А число независимости dep(А) равно нулю, так как ее начальное значение не зависит ни от од-
ной триады.
|