Generierung lokaler Optimierungen - IPD Snelting

4 Implementierung
Variablen von m, wie in der Abbildung gezeigt, kann ein semantisch äquivalentes Muster
zu l in Form von m ′ gefunden und damit eine neue Regel erzeugt werden.
Um zu garantieren, dass alle Ersetzungsregeln gefunden werden können, müssen neben
dem eigentlichen Muster m auch alle Varianten von m berücksichtigt werden, die eine
Permutation der Variablen von m darstellen. Zu diesem Zweck wird zunächst m durch
den Vorabtest (Abschnitt 4.3.2) und den Erfüllbarkeitstest (Abschnitt 4.3.3) untersucht
und anschließend nacheinander jede weitere Variante m ′ , bis ein äquivalentes Muster
gefunden oder alle Varianten untersucht wurden. In Listing 4.1 wird dieser Vorgang als
Codeausschnitt dargestellt. Die vollständige Prozedur zeigt Listing 4.7 in Abschnitt 4.4.
Listing 4.1 Suche nach einem semantisch äquivalenten Muster
1: . . .
2: p ← m ⊲ Beginne Suche mit m
3: m ′ ←⊥
4: while p �=⊥ ∧ m ′ =⊥ do ⊲ Solange eine Permutation existiert und kein semantisch
äquivalentes Muster gefunden wurde
5: MCand ← Vorabtest(m, MOpt) ⊲ Kandidaten ermitteln
6: m ′ ← ErfüllbarkeitsTest(m, MCand) ⊲ äquivalentes Muster suchen
7: if m ′ =⊥ then
8: p ← GetNextPermutation(p) ⊲ nächste Permutation erzeugen
9: end if
10: end while
11: . . .
Normalisierung bezüglich unterschiedlicher Operandentypen
Viele Muster sind aufgrund algebraischer Eigenschaften wie der Kommutativität semantisch
äquivalent, unterscheiden sich aber in ihrer syntaktischen Struktur wie Abbildung
4.8 zeigt.
var0 1
add
m
Abbildung 4.8: Abbildung zweier semantisch äquivalenter aber syntaktisch verschiedener
Muster.
1
add
m ′
var0
31