github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-02-09 12:15:09 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix: optimizer display, nan proba and 0 complexity

Browse Source 
Resolves zama-ai/concrete-optimizer#201
Resolves zama-ai/concrete-optimizer#202
Resolves zama-ai/concrete-optimizer#204
This commit is contained in:
rudy
2022-11-15 12:12:29 +01:00
committed by rudy-6-4
parent fd362342f5
commit c20b10194f
1 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
compiler/lib/Support/V0Parameters.cpp
View File

@@ -107,17 +107,20 @@ static void display(optimizer::Description &descr,
auto constraint = descr.constraint;
auto complexity_label =
descr.dag ? "for the full circuit" : "for each Pbs call";
double mops = int(10 * sol.complexity / (1000 * 1000)) / 10.0;
auto o = llvm::outs;
o() << "--- Circuit\n"
<< " " << constraint.p << " bits integers\n"
<< " " << constraint.norm2 << " manp (maxi log2 norm2)\n"
<< " " << duration.count() << "ms to solve\n"
<< "--- Optimizer config\n"
<< " " << optimizerConfig.p_error << " error per pbs call\n"
<< " " << optimizerConfig.global_p_error << " error per circuit call\n"
<< "--- Complexity " << complexity_label << "\n"
<< " " << (long)sol.complexity / (1000 * 1000)
<< " Millions Operations\n"
<< "--- User config\n"
<< " " << optimizerConfig.p_error << " error per pbs call\n";
if (!std::isnan(optimizerConfig.global_p_error)) {
o() << " " << optimizerConfig.global_p_error
<< " error per circuit call\n";
}
o() << "--- Complexity " << complexity_label << "\n"
<< " " << mops << " Millions Operations\n"
<< "--- Correctness for each Pbs call\n"
<< " 1/" << int(1.0 / sol.p_error) << " errors (" << sol.p_error
<< ")\n";