ZIR-363: Add circuit location statistics for recursion predicates

.github/workflows/main.yml

@@ -35,7 +35,7 @@ jobs:
           fetch-depth: 0
       - uses: risc0/risc0/.github/actions/rustup@a9d723e29a44563497220a998b5de4e03d9da049
       - name: Install cargo-sort
-        uses: risc0/cargo-install@v1
+        uses: risc0/cargo-install@9f6037ed331dcf7da101461a20656273fa72abf0
         with:
           crate: cargo-sort
           version: "1.0"

risc0/core/BUILD.bazel

@@ -8,7 +8,6 @@ cc_library(
     hdrs = [
         "elf.h",
         "log.h",
-        "source_loc.h",
         "util.h",
     ],
     visibility = ["//visibility:public"],

zirgen/circuit/keccak/predicates.cpp

@@ -16,6 +16,7 @@
 #include "zirgen/circuit/recursion/code.h"
 #include "zirgen/circuit/verify/wrap_zirgen.h"
 #include "zirgen/compiler/codegen/codegen.h"
+#include "zirgen/compiler/stats/OpStats.h"
 
 using namespace zirgen;
 using namespace zirgen::verify;
@@ -55,6 +56,7 @@ static cl::opt<std::string> keccakIR("keccak-ir",
 int main(int argc, char* argv[]) {
   llvm::InitLLVM y(argc, argv);
   registerEdslCLOptions();
+  registerOpStatsCLOptions();
   llvm::cl::ParseCommandLineOptions(argc, argv, "keccak predicates");
 
   Module module;

zirgen/circuit/predicates/gen_predicates.cpp

@@ -19,6 +19,7 @@
 #include "zirgen/circuit/verify/wrap_rv32im.h"
 #include "zirgen/circuit/verify/wrap_zirgen.h"
 #include "zirgen/compiler/codegen/codegen.h"
+#include "zirgen/compiler/stats/OpStats.h"
 
 using namespace zirgen;
 using namespace zirgen::verify;
@@ -202,6 +203,7 @@ static cl::opt<std::string>
 int main(int argc, char* argv[]) {
   llvm::InitLLVM y(argc, argv);
   registerEdslCLOptions();
+  registerOpStatsCLOptions();
   llvm::cl::ParseCommandLineOptions(argc, argv, "gen_predicates edsl");
 
   Module module;