constraint_profiling.cpp

Go to the documentation of this file.

 
#include <libff/common/profiling.hpp>
#include <libsnark/gadgetlib1/constraint_profiling.hpp>
 
namespace libsnark
{
 
size_t constraint_profiling_indent = 0;
std::vector<constraint_profiling_entry> constraint_profiling_table;
 
size_t PRINT_CONSTRAINT_PROFILING()
{
    size_t accounted = 0;
    libff::print_indent();
    printf("Constraint profiling:\n");
    for (constraint_profiling_entry &ent : constraint_profiling_table) {
        if (ent.indent == 0) {
            accounted += ent.count;
        }
 
        libff::print_indent();
        for (size_t i = 0; i < ent.indent; ++i) {
            printf("  ");
        }
        printf(
            "* Number of constraints in [%s]: %zu\n",
            ent.annotation.c_str(),
            ent.count);
    }
 
    constraint_profiling_table.clear();
    constraint_profiling_indent = 0;
 
    return accounted;
}
 
} // namespace libsnark