Guckloch Optimierungsmuster

Question

Ich habe auf lokale Optimierung Compiler-Techniken gelesen, aber ich bekomme nicht, wie sie implementiert werden. Die Idee ist, dass der Optimierer jedes Mal ein "Fenster" des Codes betrachtet und Muster irgendwie erkennt und durch optimierte Versionen ersetzt.

Meine Frage ist, wie entdeckt man diese Muster? (Nehmen wir an, Ihre Plattform ist eine VM, die Assemblercode für einen erfundenen Computer ausgibt, wie Schocken's Hack).

Wird der Code tatsächlich manuell geprüft (mithilfe von Steuerungsflussdiagrammen oder DAGs oder was auch immer) und alle identifizierten Muster werden gesammelt und in den Optimierer codiert? Oder gibt es einen automatischen Weg?

Zum Beispiel füttern Sie den zu optimierenden Code in einem Analysator und spuckt diese Muster aus. Wenn ja, wie kann man damit anfangen?

Answer 1

Bei den klassischen Peephole-Optimierungen geht es nicht um die Reduzierung der Stärke und die anderen Dinge, die Sie nennen. Sie sind 2-3 Befehlsfolgen wie zum Beispiel

BRANCH FALSE $1 
BRANCH $2 
$1: 

, die

reduziert werden kann

BRANCH TRUE $2 

Sequenzen wie dies in naiven Codegeneratoren wie kommen mit Single-Pass-Compiler entstehen können, die nicht tun generieren ASTs, wie einige COBOL-Compiler, an denen ich gearbeitet habe.

Answer 2

Es hängt von Ihnen ab, ob Sie Ihren eigenen Analysator schreiben oder die vorhandenen verwenden. In beiden Fällen überprüft Ihr Analysator den Code, bis er nicht mehr optimiert ist. Wenn Sie ein Beispiel von GCC nehmen, hat es spezifische Durchläufe für die Optimierung. Diesen Pässen, die nacheinander ausgeführt werden und Ihren Code optimieren, wird der Zwischencode Ihres Programms übergeben. Auch jeder Durchlauf kann mehr als einmal ausgeführt werden.
Wenn Sie wirklich durchgehen möchten, wie diese Optimierungen geschrieben werden, gehen Sie einfach passes.h Datei in GCC.