Generierung lokaler Optimierungen - IPD Snelting
Generierung lokaler Optimierungen - IPD Snelting
Generierung lokaler Optimierungen - IPD Snelting
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
5 Evaluation<br />
var0 sc1 : sc1 is negation of sc0<br />
or<br />
add<br />
sc0<br />
⇒ var0<br />
sc0 −1<br />
Abbildung 5.1: Optimierungsregel mit eingeschränkter symbolischer Konstante sc1. sc1<br />
muss dem negierten Wert von sc0 entsprechen.<br />
sc1 : sc1 equal to first 0 of sc0<br />
sub<br />
or<br />
var0<br />
sc0<br />
⇒ var0<br />
Abbildung 5.2: Optimierungsregel mit eingeschränkter symbolischer Konstante sc1. sc1<br />
muss von der niederwertigsten Stelle bis zur ersten Stelle mit einer 0 in<br />
sc0 mit sc0 übereinstimmen (z. B. sc0 ↦→ 11110111 ⇒ sc1 ↦→ 0111).<br />
74<br />
and<br />
or<br />
sc0<br />
add<br />
or<br />
sc1