Ich untersuche den Vergleich zwischen Meet over all path (MOP) und Maximum Fixed Point (MFP) in Compileroptimierungen. Es wurde gesagt, dass MFP eine Teilmenge von MOP ist. Aber ich konnte kein Beispiel finden, in dem MFP und MOP unterschiedlich sind. Kann mir jemand mit irgendeinem Beispielprogramm helfen, bei dem MFP und MOP andere Ergebnisse liefern.Beispielprogramm, bei dem MOP und MFP unterschiedlich sind
0
A
Antwort
1
Es gibt ein solches Beispiel in "Monotone Data Flow Analysis Framework" von Kam und Ullman refer this.
Ein Beispielprogramm ist
if(<some codition>) {
A = 2;
B = 3;
}
else {
A = 3;
B = 2;
}
C=A+B;
Wenn wir die konstante Ausbreitungsanalyse des obigen Programms die Variable C eine Konstante in jedem Fall in Betracht ziehen. Der Wert lautet 5
, wenn die if statement
-Bedingung als wahr oder falsch ausgewertet wird. Wenn wir jedoch eine Fixpunktanalyse für das obige Programm durchführen, wird die C
niemals als eine Konstante betrachtet, wohingegen eine MOP-Analyse die Information liefert, dass C
eine Konstante ist.
Verwandte Themen
- 1. In C# sind Dezimal und Dezimal unterschiedlich?
- 2. `endIndex` und` count` einer Zeichenkette sind unterschiedlich
- 3. Sind diese Regex-Muster unterschiedlich?
- 4. warum die background_color und die farbe in kivy unterschiedlich sind?
- 5. Beispielprogramm benötigen InterruptedException werfen
- 6. Beispielprogramm für GDbus-Signale
- 7. C# MSSQL base64 einfügen und auswählen. Die Daten sind unterschiedlich
- 8. Verwendung von Automapper, wenn Eigenschaftsnamen unterschiedlich sind
- 9. sind SHA-1-Zertifikate für Debug- und Release-Modi unterschiedlich?
- 10. Windows Scancodes für F11 und F12 sind unterschiedlich. Warum?
- 11. Warum sind die Ergebnisse von map() und Listenverständnis unterschiedlich?
- 12. update Ergebnisse in postgresql 8.4 und 9.5 sind unterschiedlich
- 13. Problem, wenn send und recv Puffergröße sind unterschiedlich
- 14. Warum sind MATLAB uint8 Wert und Uint16 Werte unterschiedlich
- 15. Was bewirkt, dass int8_t und int_fast8_t unterschiedlich sind?
- 16. Warum OpenCV Versionen unterschiedlich sind in dpkg und pkg-config
- 17. Node vs Nodejs Versionen sind unterschiedlich
- 18. ähnliche Listen sind unterschiedlich, wenn SequenceEquals
- 19. Warum sind diese Linq-Ausgaben unterschiedlich?
- 20. HQL Query Equivalence: Warum sind sie unterschiedlich
- 21. Eingabe und Textfeld werden bei gleicher Breite unterschiedlich breit angezeigt?
- 22. MFP 7.1 CLI
- 23. Spark-Beispielprogramm läuft sehr langsam
- 24. Flaticon macht unterschiedlich auf dem lokalen und Live-Server
- 25. Farbe auf dem Bildschirm reproduziert ist unterschiedlich zwischen den Plattformen
- 26. Best Practice bei der Vererbung, um Code zu teilen, wenn die Methodenparameter unterschiedlich sind?
- 27. Laravel 5.1. Token aus und Session-Token sind unterschiedlich mit mobilen Browser (Login Aktion)
- 28. Beispielprogramm mit verknüpften Listen und Strukturen funktioniert nicht
- 29. Strings enthalten die gleichen Zeichen, aber sind immer noch unterschiedlich
- 30. Python MySQLdb Antwortzeiten sind extrem unterschiedlich auf Silmariar Set