diff --git a/compiler/concrete-optimizer b/compiler/concrete-optimizer index 9c4fc43ae..4fffc26bb 160000 --- a/compiler/concrete-optimizer +++ b/compiler/concrete-optimizer @@ -1 +1 @@ -Subproject commit 9c4fc43ae9267206b9551060f04bb60d6fdd780f +Subproject commit 4fffc26bbc405f3ee52cfe7339e0091e8877ef5a diff --git a/compiler/lib/Support/V0Parameters.cpp b/compiler/lib/Support/V0Parameters.cpp index f78226594..cdc6b3958 100644 --- a/compiler/lib/Support/V0Parameters.cpp +++ b/compiler/lib/Support/V0Parameters.cpp @@ -95,9 +95,7 @@ llvm::Expected getParameter(optimizer::Description &descr, if (sol.p_error == 1.0) { // The optimizer return a p_error = 1 if there is no solution - return StreamStringError() - << "Could not determine V0 parameters for 2-norm of " - << descr.constraint.norm2 << " and p of " << descr.constraint.p; + return StreamStringError() << "Cannot find crypto parameters"; } V0Parameter params; diff --git a/compiler/tests/check_tests/Dialect/FHE/eint_error_p_too_big.mlir b/compiler/tests/check_tests/Dialect/FHE/eint_error_p_too_big.mlir index 96333083f..d624c3387 100644 --- a/compiler/tests/check_tests/Dialect/FHE/eint_error_p_too_big.mlir +++ b/compiler/tests/check_tests/Dialect/FHE/eint_error_p_too_big.mlir @@ -1,7 +1,7 @@ // RUN: not concretecompiler --action=dump-llvm-ir %s 2>&1| FileCheck %s -// CHECK-LABEL: Could not determine V0 parameters -func.func @test(%arg0: !FHE.eint<9>, %arg1: tensor<512xi64>) -> !FHE.eint<9> { - %1 = "FHE.apply_lookup_table"(%arg0, %arg1): (!FHE.eint<9>, tensor<512xi64>) -> (!FHE.eint<9>) - return %1 : !FHE.eint<9> +// CHECK-LABEL: Cannot find crypto parameters +func.func @test(%arg0: !FHE.eint<17>, %arg1: tensor<131072xi64>) -> !FHE.eint<17> { + %1 = "FHE.apply_lookup_table"(%arg0, %arg1): (!FHE.eint<17>, tensor<131072xi64>) -> (!FHE.eint<17>) + return %1 : !FHE.eint<17> }