Generierung lokaler Optimierungen - IPD Snelting

Listing 4.4 Vorabtest – Verwendete Variante
4 Implementierung
1: function Vorabtest(m, MOpt)
2: T V ← GetTestvectors() ⊲ Liste der Testvektoren
3: mcand ←⊥
4:
5: i ← 1
6: for all t ∈ T V do
7: res ← Result(m, t)
8: m.hash ← m.hash + (res ∗ i) ⊲ Berechnung des Hashwertes h(m)
9: i ← i + 1
10: end for
11:
12: M h(m) ← GetHashEqualPattern(m.hash, MOpt)
13: MCand ← CreateEmptyList() ⊲ Kandidatenliste erzeugen
14: T V h(m) ← GetTestvectorsByHash(m.hash) ⊲ weitere Testvektoren
15: T VADD ← GetADDTestvectors() ⊲ Liste zusätzlicher Testvektoren
16:
17: for all m ′ ∈ M h(m) do
18: equal ← true
19: for all t ∈ T V h(m) ∪ T VADD do
20: if Result(m, t) �= Result(m ′ , t) then ⊲ Ergebnisse unterschiedlich?
21: equal ← false ⊲ ⇒ m ′ kein Kandidat
22: break
23: end if
24: end for
25: if equal then
26: mcand ← m ′ ⊲ m ′ ist einziger Kandidat
27: break
28: end if
29: end for
30:
31: return mCand
32: end function
43