20613

Устранение общих подвыражений

Лекция

Коммуникация, связь, радиоэлектроника и цифровые приборы

2 Удаление бесполезного кода Допустим имеем следующую последовательность инструкций 3 Оптимизация циклов Пример 1: Пусть имеем цикл while i n2 Возможно модернизировать в следующую последовательность инструкций t:=n2 while i t Пример 2: while i t a:=b2 при условии что b не изменяется в теле цикла данную последовательность инструкций можно заменить на: a:=b2 while i t Метод перемещения кода заключается в выносе перед циклом выражений не изменяющихся в процессе его выполнения. 4 Переменные индукции и снижение стоимости 5 Оптимизация...

Русский

2013-07-31

92 KB

1 чел.

Лекция №14.

Устранение общих подвыражений

1) Распространение копий

Использование после инструкции вида f := g переменной g  вместо f, где это возможно.

Переменная х на выходе оказалась не живой, следовательно ее можно удалить.

Пример:

после оптимизации избавились от дорогостоящей операции сложения.

2) Удаление бесполезного кода

Допустим, имеем следующую последовательность инструкций

3) Оптимизация циклов

Пример 1:

Пусть имеем цикл

while i<n-2

Возможно модернизировать в следующую последовательность инструкций

t:=n-2

while i<t

Пример 2:

while i<t

a:=b*2

при условии, что b не изменяется в теле цикла, данную последовательность инструкций можно заменить на:

a:=b*2

while i<t

Метод перемещения кода заключается в выносе перед циклом выражений, не изменяющихся в процессе его выполнения.

4) Переменные индукции и снижение стоимости

5) Оптимизация базовых блоков на основе дагов

Пример:

Пусть имеется следующая последовательность инструкций

a:=b+c

b:=a-d

c:=b+c

d:=a-d

При условии, что b на выходе не является живой переменной после оптимизации данную последовательность можно заменить на следующую

a:=b+c

d:=a-d

c:=d+c

Из дага удаляются все корни (т.е. узлы без предков), которые не имеют живых переменных или таковые переменные вписанные как дополнительные в существующие узлы.

6) Использование алгебраических тождеств

  1.  х+0=х-0=0+х=х
  2.  х/1=х*1=1*х=х
  3.  х**2=х*ч
  4.  х*2=2*х=х+х
  5.  замена констант

Пример:

a:=b+c

b:=b-d

c:=c+d

e:=b+c

e:=b+c    b:=b-d

e:=b-d+c    a:=b+c

e:=a-d

После выполненных преобразований исходная последовательность инструкций примет вид:

a:=b+c

c:=c+d

e:=a-d

7)Рассмотрение циклов в графах потоков

Узел d графа потока доминирует над узлом n, если любой путь из начального узла графа потока в узел n проходит через d.

d    dom    n

Таким образом, вход в цикл доминирует над всеми узлами цикла.


 

А также другие работы, которые могут Вас заинтересовать

73650. Организация надзора за метрологическим обеспечением единства измерений 64.5 KB
  Организация надзора за метрологическим обеспечением единства измерений Студент должен иметь представление: о целях и задачах государственного метрологического надзора; о сферах применения государственного и ведомственного надзора; о видах государственного надзора; знать: порядок проведения и оформления государственного надзора. Государственный надзор за состоянием и применением средств измерений эталонами аттестованными методиками выполнения измерений и соблюдением метрологических правил. Права государственных...
73651. Економічна система 430.38 KB
  Сутність та структура економічної системи. Національні та міжнародна економічні системи. Формування глобальної економічної системи У результаті вивчення даної теми студенти зможуть поглибити власні знання які стосуються розуміння природи визначальних характеристик і особливостей функціонування економічних систем. Сутність та структура економічної системи Проблема економічних систем суспільства їх генезису чинників та логіки становлення є однією з найбільш актуальних у сучасній економічній науці.
73652. Опыт единоличной власти в России в XVI-XX веков 52.54 KB
  В многовековой истории России за редким исключением государство брало верх над обществом. как системы политических и экономических мер установление в России режима личной власти царя. Сложившаяся геополитическая ситуация благоприятствовала национальному возрождению России и превращению ее в крупное европейское государство.
73655. Закрепощение крестьян в России в конце XVI - начале XVII века 37.18 KB
  Очевидно что переходы крестьян в это время были введены в определенные границы и одна из задач работы состоит в выяснении существа этих границ. Самоквасовым еще две грамоты с упоминанием заповедных лет писал что в заповедный год выход или вывоз крестьян.