LLVM-Pass: Fehler beim Iterieren der Modulfunktionsliste

Question

Ich versuche in einem LLVM-Durchgang, über eine Modulfunktionsliste mit der von llvm::Module::getFunctionList() zurückgegebenen Liste zu iterieren. Ich benutze eine Schleife wie diese:

for (auto curFref = M->getFunctionList().begin(), 
       endFref = M->getFunctionList().end(); 
       curFref != endFref; ++curFref) { 
     errs() << "found function: " << curFref->getName() << "\n"; 
    } 

Die erste Iteration dieser Schleife eine Funktion ruft, wie erwartet, aber nicht das Ende der Liste erkennen und weiterhin nur in nachfolgenden Iterationen andere Objekte zu erhalten, die nicht funktioniert (wie von ihren getName() gemeldet), wie dieser Funktionsparameter. Nach ein paar Iterationen erreicht es wahrscheinlich etwas Müll (oder NULL) und stürzt bei einem Verweis auf die aktuelle "Funktions" -Referenz ab. Zum Beispiel für dieses Programm:

int foo(int k) { 
    int i, s = 0; 
    for (i = 0; i < k; ++i) 
     s += i; 
    return s; 
} 

Welche dieser IR-Code wird:

... 
; Function Attrs: nounwind uwtable 
define i32 @foo(i32 %k) #0 { 
entry: 
... 

Die Ausgabe würde wie folgt aussehen:

found function: foo 
found function: k 
found function: #0 0x00007f481f77c46e llvm::sys::PrintStackTrace(llvm::raw_ostream&) /home/me/work/llvm-3.8.0/lib/Support/Unix/Signals.inc:322:0 
... 

So können Sie sehen, dass nach richtig Iterieren über foo ging es weiter zu Objekten wie dem Parameter k.

Ich versuchte dies sowohl in einem Modul-Durchlauf (in der runOnModule()) als auch in einem Function-Durchlauf (mit F.getParent(), um das beinhaltende Modul abzufragen) und erhielt die gleichen Ergebnisse.

Das Problem wird auch auf LLVM 3.8.0 sowie LLVM 3.5.2 repliziert.

Eine Idee, was fehlt mir, dass ich nicht ordnungsgemäß über die zurückgegebene Funktionen Liste iterieren?

=====

EDIT:

Beachten Sie, dass das gleiche Verhalten bei der Verwendung von alternativer Iteration über die Funktionen eines Moduls angezeigt wird, wie wenn M.begin()/end() für den Iterator oder auch bei Verwendung von C++ 11 bereichsbasierte for loop: for (Function &curF: M) ....

Darüber hinaus verursachen M.getFunctionList().size() Segmentierungsfehler, während es versucht, über die Listenelemente zu iterieren. Es scheint also so, als ob die Liste der Funktionen tatsächlich korrupt ist. Aber das ist die Liste, die ich am Anfang von runOnModule() Einstiegspunkt bekomme. Es scheint also nicht etwas zu sein, das durch meinen Code gebrochen wurde.

======

EDIT 2:

Ich habe keine Ahnung, ob diese Dinge, aber mein LLVM Pass extern von dem LLVM Quellbaum als dynamisch ladbare Bibliothek gebaut wird und dann geladen opt mit der Befehlszeilenoption -load=foo.so.

Answer 1

ich bin einer der LLVM de Kern Entwickler.

Dies ist mit ziemlicher Sicherheit ein fehlerhaftes Auschecken von LLVM, ein falsch kompiliertes LLVM oder ein Problem mit der Tatsache, dass Ihr Pass als separates DSO erstellt wird (obwohl ich nicht sehe, wie das sein könnte).

zahlreiche Teile von LLVM verwenden M->functions() (oder M->begin() & M->end()) nur Funktionen iterieren. Diese Teile würden durchgehend ausfallen, wenn das Verhalten gebrochen wäre. Der einzige Unterschied zwischen diesen Mechanismen und dem direkten Zugriff auf die Funktionsliste als M->getFunctionList() besteht darin, ob die Liste änderbar ist. Für den Anwendungsfall, den Sie zeigen, sollten sie genau das gleiche Verhalten sein.

Ich würde vorschlagen, versuchen, die LLVM Testsuite zu laufen, um sicherzustellen, dass es richtig funktioniert. Wenn Sie den Ninja CMake Generator verwenden (wie ich würde empfehlen) zu LLVM bauen:

% ninja check-llvm 

Wenn dies nicht gelingt, vor allem wenn es in ähnlichen Bereichen abstürzt, dass ein extrem guten Indikatoren scheint, dass das Problem ist, etwas in Ihrer Kopie von LLVM.

Egal, SO ist kein großartiger Ort, um hier weitere Hilfe zu bekommen. Die Antwort auf die Frage ist "das sollte tatsächlich funktionieren" und ich habe den Code in LLVM überprüft und sehe keine offensichtlichen Erklärungen. Also mein Vorschlag wäre, das oben genannte zu versuchen, versuchen Sie eine frische Kopie von LLVM (vielleicht Spitze des Baums oder der neuesten Version). Stellen Sie sicher, dass Sie eine ausreichend moderne Host-Toolchain zum Erstellen von LLVM haben. Siehe diesen Abschnitt für Details: http://llvm.org/docs/GettingStarted.html#host-c-toolchain-both-compiler-and-standard-library

Wenn alle Stricke reißen, versuchen die Entwickler auf der Mailingliste Annäherung: http://lists.llvm.org/mailman/listinfo/llvm-dev

Oder den IRC-Kanal versuchen: http://llvm.org/docs/#irc

hoffe, das hilft!

Answer 2

Haben Sie jemals versucht M->begin() und M->end() zu verwenden, statt M->getFunctionList().begin() und M->getFunctionList().end()? Das ist für mich in Ordnung.

Answer 3

Ist es möglich, dass Ihre Eingabe irgendwie fehlerhaft ist? Versuchen Sie llvm::verifyModule zuerst darauf (von Verifier.h) laufen und sehen, was Sie bekommen - oder opt -verify darauf laufen, sollte das gleiche sein.Möglicherweise interessiert Sie auch die Befehlszeilenoption -verify-each für opt.

Answer 4

Wenn Sie das folgende registrieren Ihren Pass verwenden:

char SkeletonPass::ID = 0; 

// Automatically enable the pass. 
// This pass is taken from Adrian Samson Template project http://adriansampson.net/blog/clangpass.html 
static void registerSkeletonPass(const PassManagerBuilder &, 
         legacy::PassManagerBase &PM) { 
    PM.add(new SkeletonPass()); 
} 
static RegisterStandardPasses 
    RegisterMyPass(PassManagerBuilder::EP_EarlyAsPossible, 
       registerSkeletonPass); 

Dies funktioniert nur für FunctionPass/BasicBlockPass, ist eine Lösung kanonische Pass wie üblich ohne Trick wie folgt zu verwenden: -

char SkeletonPass::ID = 0; 
static RegisterPass<SkeletonPass> X("passname","Pass Name Analysis"); 
static void registerPass(const PassManagerBuilder &, 
         legacy::PassManagerBase &PM) { 
    PM.add(new SkeletonPass()); 
} 
static RegisterStandardPasses 
     RegisterMyPass(PassManagerBuilder::EP_EarlyAsPossible, 
         registerPass); 

und führen Sie Ihren Pass mit dem folgenden Befehl:

$ clang -c -O1 -emit-llvm programs/hello.cpp -o programs/hello.bc 
$ opt -load build/Debug/libCallgraph.so -passname programs/hello.bc