According to bugpoint’s document, I should be able to use the “-input” option to redirect a file to the stdin for the bitcode that is under debug.
However when I try it with sqlite3:
bugpoint x.bc -mem2reg -llc-safe –input commands --args -init sqlite3rc :memory:
bugpoint: commands:1:1: error: expected top-level entity
It looks like that bugpoint is parsing “commands” as llvm bitcode, which is confusing.
Maybe I am not using this option correctly? Any hint is appreciated.