On Mon, Oct 02, 2017 at 06:35:09PM -0700, Jakub Kicinski wrote: > > will pretty print them as verifier output as well? > > We tried to use LLVM as a library for this but the interface is > painfully unstable and it's a heavy dependency. The current thinking > is to try to put the instruction printing code in some higher level > library, but I would rather leave that as a follow up.
follow up, of course. Not depending on llvm is must have for this tool. I think we need tiny and simple tools first. Since you're using gpl+bsd license for this tool I think it would be fine to copy-paste verifier's pretty print code into it.
