Generierung lokaler Optimierungen - IPD Snelting

4 Implementierung
var0 −128
xor sc0 : sc0 < 0
or
Abbildung 4.22: Abbildung einer Regel mit eingeschränkter symbolischer Konstante,
Einschränkung ohne Argument (z. B. sc0 ↦→ −2).
Einschränkungen mit einem Argument
Oft sind Regeln nur für bestimmte Kombinationen von Konstanten gültig, wie es bei
der in Abbildung 4.23 dargestellten Regel der Fall ist. Diese ist genau für solche Muster
anwendbar, deren Konstante an der Position von sc1 dem invertierten Bitmuster der
Konstante an der Position von sc0 entspricht. Konkrete Beispiele hierfür wären u. a.
sc0 ↦→ 2, sc1 ↦→ −3 oder sc0 ↦→ 5, sc1 ↦→ −6. Um solche Abhängigkeiten darstellen
zu können, werden daher komplexere Einschränkungsmöglichkeiten benötigt, die den
Wertebereich abhängig von einer anderen symbolischen Konstante einschränken. Einige
Einschränkungen sind nachfolgend aufgeführt:
⇒
var0
• sc1 entspricht dem invertierten Bitmuster von sc0 (inverted)
• sc1 enthält nur gesetzte Bits, die auch in sc0 gesetzt sind (common ones)
• sc1 besitzt nur gesetzte Bits, die in sc0 nicht gesetzt sind (disjunct ones)
4.5.3 Geschwindigkeit vs. Vollständigkeit bei der Regel-Aggregation
Durch die Verwendung symbolischer Konstanten wird eine Aggregation der Regeln erreicht.
Es stellt sich nun die Frage, zu welchem Zeitpunkt diese Aggregation stattfinden
soll. Prinzipiell bestehen hierzu zwei mögliche Varianten mit jeweils Vor- und Nachteilen,
auf die im Folgenden eingegangen wird.
Frühe Aggregation
Bei der frühen Aggregation wird versucht, möglichst früh allgemeine Regeln (durch symbolische
Konstanten) zu finden, so dass speziellere Muster aufgrund der bereits vorhandenen
allgemeineren Regel nicht mehr betrachtet werden müssen. Dies beschleunigt den
Generierungsvorgang, da vor allem weniger Muster durch den langsamen Erfüllbarkeits-
56
or
sc0