google/souper — pull request #20 by regehr (2014-06-27 22:40:23+00:00)
Title: report statistics about souper internal stuff

Report statistics about cache hits/misses, satisfiable/unsatisfiable queries, etc.

Invoke souper with "-stats" to see the stats. Invoke the Clang Pass with "-mllvm
-stats".