Generierung lokaler Optimierungen - IPD Snelting

var0
add
add
sc0
r
⇐
′
⇒
r
var0
add
add
m m ′
sc0
add
4 Implementierung
Abbildung 4.21: Eine Regel zwischen m und m ′ kann in beide Richtungen definiert werden
– Zwei Regeln sind möglich.
4.5.2 Eingeschränkte symbolische Konstanten
Ein weiterer Schritt, um von Regeln mit konkreten Konstanten zu abstrahieren, ist die
Einführung symbolischer Konstanten mit eingeschränktem, aber festem oder von anderen
symbolischen Konstanten abhängigem Wertebereich. Dazu wird nun erlaubt, dass
symbolischen Konstanten eine Bedingung zugeordnet werden kann, die den möglichen
Wertebereich den die symbolische Konstante repräsentiert einschränkt.
Definition 17 (Eingeschränkte symbolische Konstante). Als eingeschränkte symbolische
Konstante sccnd werden alle symbolischen Konstanten bezeichnet, denen eine Bedingung
B zugeordnet ist, die den Wertebereich der symbolischen Konstante einschränkt.
Es werden die zwei nachfolgend beschriebenen Arten von Einschränkungen unterschieden:
Einschränkungen ohne Argument
Hierunter wird eine symbolische Konstanten sc verstanden, deren Wertebereich unabhängig
von anderen symbolischen Konstanten eingeschränkt ist. Einige mögliche Einschränkungen
sind im Folgenden aufgeführt:
• alle Konstanten c ∈ Z8Bit : c < 0
• alle Konstanten c ∈ Z8Bit : c ≥ 0
• alle Konstanten c ∈ Z8Bit : c > 0
• alle Konstanten c ∈ Z8Bit : c > 8
Abbildung 4.22 zeigt eine Regel, die auf der Einschränkung der symbolischen Konstante
sc0 auf Werte sc0 < 0 beruht. Für Werte sc0 > 0 gilt diese Regel hingegen nicht.
55