Page 59 - 4761
P. 59
Алгоритм згортки послідовно переглядає тріади лінійної ділянки і для кожної
тріади робить наступне:
1) Якщо операнд є змінна, яка міститься в таблиці Т, то операнд замінюється на
відповідне значення К.
2) Якщо операнд є посилання на тріаду типу (С, К, 0), то операнд замінюється на
константу К.
3) Якщо всі операнди є константами і операція може бути згорнута, то дана тріада
виконуюється і замість неї підставляється тріада (С, К, 0), де К - результуюче значення.
4) Якщо тріада є присвоєнням А: = В, то:
а) якщо В - константа, то А зі значенням В заноситься в таблицю Т (старе
значення А, якщо воно було, виключається);
б) якщо В - не константа, то А зі своїм значенням виключається з Т, якщо
воно там було.
57
