constraint_profiling.cpp

/** @file
 *****************************************************************************

 Implementation of interfaces for profiling constraints.

 See constraint_profiling.hpp .

 *****************************************************************************
 * @author     This file is part of libsnark, developed by SCIPR Lab
 *             and contributors (see AUTHORS).
 * @copyright  MIT license (see LICENSE 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;
}

}