Wie viele Durchgänge über den Code verwendet gcc?

• Wie viele Durchläufe werden speziell für C und C++ standardmäßig verwendet?
• Ändert sich diese Zahl je nach verwendeter Optimierungsstufe? (es sollte)
• Kann es direkt geändert werden?

Ich suchte nach diesen Informationen in http://gcc.gnu.org/aber googeln mit site:http://gcc.gnu.org/ hat nichts gebracht.

Alle Hinweise auf Dokumentationen zu diesem Thema sind ebenfalls hilfreich.

Mit pass meinte ich a übergehen nur die ursprüngliche Darstellung des Quellcodes und nicht die von vorgeschlagene Multiple-Pass-Definition Wikipedia.

Pässe und Dateien des Compilers könnte dem, was Sie suchen, am nächsten kommen.

Wie bereits oben erwähnt, führen moderne Compiler nur einen einzigen Durchgang in der Parsing-Phase und dann mehrere in späteren Phasen durch, indem sie eine interne Darstellung verwenden (normalerweise Bäume oder andere graphenähnliche Datenstrukturen im Arbeitsspeicher).

Konkret verwendet GCC diesen Ansatz. Sehen: https://gcc.gnu.org/onlinedocs/gccint/Parsing-pass.html#Parsing-pass

In gcc gibt es grundsätzlich zwei Arten von Pässen, nämlich: gimple, rtl. In gcc 4.6.2 beträgt die Gesamtzahl eindeutiger Durchläufe 207. Ja, die Gesamtzahl der Durchläufe für ein bestimmtes Programm hängt von der Optimierungsstufe ab. Und einige dieser Pässe werden mehr als einmal genommen. Wenn jemand diese Pässe durchlaufen möchte, gehen Sie die Datei “passes.c” im gcc-Quellcode durch. Pfad für passs.c in gcc 4.6.2: gcc source -> gcc -> passs.c

Ja, Sie können die Anzahl der Durchgänge ändern, indem Sie Ihre Durchgänge als dynamisches Plugin in gcc hinzufügen.

Ich habe noch nie von einem Compiler gehört, der die Textdarstellung mehrmals übergibt (außer wenn Sie den Präprozessor als einen Durchgang zählen). Selbst wenn Compiler mehrere Durchgänge hatten, die über Dateien kommunizierten, enthielten die Dateien eine Zwischendarstellung (serialisierte AST + Symboltabelle).

Assembler hingegen führten routinemäßig zwei (oder mehr) Durchgänge über den Quellcode durch. Ihr Präprozessor erlaubt es oft, bestimmte Dinge in einem Durchgang zu tun, wodurch ein mehr oder weniger schmutziger Trick gespielt werden kann.

Nach dem, was mir jemand in meiner Compiler-Designklasse gesagt hat, führt gcc einen einzigen Durchgang aus, während andere Compiler, wie die von Visual Studio (Standard), zwei Durchgänge verwenden. Aus diesem Grund müssen Sie Klassen in C++ vorwärts deklarieren, wenn Sie sie in einer zirkulären Form verwenden.

Class A {
   B* b; 
}

Class B {
   A* a;
}

C# und andere Sprachen erfordern dies nicht, da der erste Durchlauf die Referenzen erstellt und der zweite Durchlauf kompiliert.

Aber andererseits bin ich kein Experte für Compiler.

Genau eine. Ich sehe keinen sinnvollen Grund für einen modernen Compiler, den Quellcode mehr als einmal zu übergehen, wenn Sie mit “Code” die ursprüngliche Textdarstellung der Programmquelle meinen. Der ganze Sinn dieses einzelnen Durchgangs besteht darin, den Quellcode in eine interne Darstellung umzuwandeln, die für weitere Analysen verwendet wird. Diese interne Repräsentation muss keine lineare Struktur mehr haben und/oder sich nicht mehr nur auf eine sequentielle Verarbeitung beschränken, was bedeutet, dass der Begriff des „Übergehens“ einfach nicht mehr anwendbar ist.

Wenn diese Antwort Sie nicht zufriedenstellt, sollten Sie wahrscheinlich eine genauere Erklärung dessen geben, was Sie als “Übergang” des Quellcodes definieren.

Ihre Definition von Multi-Pass scheint alt zu sein und stammt aus Zeiten, in denen (eine Darstellung) ganzer Programmquellen einfach nicht in den verfügbaren Speicher passte. Diese Zeiten sind nun vorbei und ich kenne keinen einzigen, aktuellen Multi-Pass (alte Definition) Compiler.

Im deutschen Wikipedia-Eintrag für Compiler sind beide Definitionen angegeben: http://de.wikipedia.org/wiki/Compiler

Multi-Pass-Compiler

Bei diesem Compilertyp wird der Quellcode in mehreren Schritten in den Zielcode übersetzt. In den Anfangszeiten des Compilerbaus wurde der Übersetzungsprozess hauptsächlich in mehreren Durchläufen zerlegt, weil die Kapazität des Computers oft nicht ausreichte, um den vollständigen Compiler und das zu übersetzende Programm gleichzeitig im Hauptspeicher zu halten. Heutzutage dient ein Multi-Pass-Compiler vor allem dazu, Vorwärtsreferenzen (Deklaration eines Bezeichners nach dessen erster Verwendung) aufzulösen und aufwendige Optimierungen durchzuführen.