Ich habe angenommen, dass eine BMC-Datei von einem Modul zu entladen war eine triviale Operation, aber jetzt, ersten Mal muss ich es tatsächlich aus dem Code tun, für das Leben von mir ich kann nicht einen fehlenden Schritt in dem Prozess finden:Schreiben von Modul auf .bc Bitcode-Datei
static void WriteModule (const Module * M, BitstreamWriter & Stream)
http://llvm.org/docs/doxygen/html/BitcodeWriter_8cpp.html#a828cec7a8fed9d232556420efef7ae89
dieses Modul zu schreiben, zuerst muß ich ein BistreamWriter
BitstreamWriter::BitstreamWriter (SmallVectorImpl<char> &O)
http://llvm.org/docs/doxygen/html/classllvm_1_1BitstreamWriter.html
und für einen BitstreamWriter brauche ich einen SmallVectorImpl. Aber was als nächstes? Sollte ich den Inhalt der SmallVectorImpl Byte für Byte auf einem Dateihandler selbst schreiben? Gibt es eine llvm api dafür? brauche ich etwas sonst?
[C api] (http://llvm.org/docs/doxygen/html/BitWriter_8cpp_source.html) bietet eine einfache Möglichkeit, dies zu tun. Verwenden Sie es direkt oder sehen Sie, wie es funktioniert und das Gleiche tun. –