Add -tv-succinct
MODIFY
tv/tv.cpp
tv/tv.cpp
@@ -66,6 +66,10 @@ llvm::cl::opt<bool> opt_smt_stats(
"tv-smt-stats", llvm::cl::desc("Alive: show SMT statistics"),
llvm::cl::init(false));
+llvm::cl::opt<bool> opt_succinct(
+ "tv-succinct", llvm::cl::desc("Alive2: make the output succinct"),
+ llvm::cl::init(false));
+
llvm::cl::opt<bool> opt_alias_stats(
"tv-alias-stats", llvm::cl::desc("Alive: show alias sets statistics"),
llvm::cl::init(false));
@@ -224,6 +228,7 @@ struct TVPass final : public llvm::FunctionPass {
t.tgt = move(I->second.fn);
t.preprocess();
TransformVerify verifier(t, false);
+ if (!opt_succinct)
t.print(*out, print_opts);
if (is_clangtv)

Add -tv-succinct (#530)