diff --git a/compiler/lib/Conversion/FHEToTFHEScalar/FHEToTFHEScalar.cpp b/compiler/lib/Conversion/FHEToTFHEScalar/FHEToTFHEScalar.cpp index e374e68b6..2ca43f3a4 100644 --- a/compiler/lib/Conversion/FHEToTFHEScalar/FHEToTFHEScalar.cpp +++ b/compiler/lib/Conversion/FHEToTFHEScalar/FHEToTFHEScalar.cpp @@ -208,8 +208,7 @@ struct SubIntEintOpPattern : public ScalarOpPattern { // Write the plaintext encoding mlir::Value encodedInt = writePlaintextShiftEncoding( op.getLoc(), adaptor.a(), - op.b().getType().cast().getWidth(), - rewriter); + op.b().getType().cast().getWidth(), rewriter); // Write the new op rewriter.replaceOpWithNewOp( @@ -331,7 +330,8 @@ struct ApplyLookupTableEintOpPattern // Insert keyswitch auto ksOp = rewriter.create( - op.getLoc(), getTypeConverter()->convertType(adaptor.a().getType()), input, -1, -1); + op.getLoc(), getTypeConverter()->convertType(adaptor.a().getType()), + input, -1, -1); // Insert bootstrap rewriter.replaceOpWithNewOp( diff --git a/compiler/lib/Dialect/FHE/Analysis/utils.cpp b/compiler/lib/Dialect/FHE/Analysis/utils.cpp index 483536952..239cdfb9d 100644 --- a/compiler/lib/Dialect/FHE/Analysis/utils.cpp +++ b/compiler/lib/Dialect/FHE/Analysis/utils.cpp @@ -13,8 +13,9 @@ namespace utils { /// Returns `true` if the given value is a scalar or tensor argument of /// a function, for which a MANP of 1 can be assumed. bool isEncryptedValue(mlir::Value value) { - return (value.getType().isa() || - value.getType().isa() || + return ( + value.getType().isa() || + value.getType().isa() || (value.getType().isa() && value.getType() .cast() diff --git a/compiler/lib/Support/V0ClientParameters.cpp b/compiler/lib/Support/V0ClientParameters.cpp index 1a1782e91..da15d8c2a 100644 --- a/compiler/lib/Support/V0ClientParameters.cpp +++ b/compiler/lib/Support/V0ClientParameters.cpp @@ -93,6 +93,7 @@ llvm::Expected gateFromMLIRType(V0FHEContext fheContext, { /* .precision = */ width, /* .crt = */ std::vector(), + /* .sign = */ false, }, }), /*.shape = */ diff --git a/compiler/tests/end_to_end_fixture/end_to_end_leveled_gen.py b/compiler/tests/end_to_end_fixture/end_to_end_leveled_gen.py index c64a80426..c0ae6cc8e 100644 --- a/compiler/tests/end_to_end_fixture/end_to_end_leveled_gen.py +++ b/compiler/tests/end_to_end_fixture/end_to_end_leveled_gen.py @@ -700,6 +700,8 @@ def main(): print(" %1 = \"FHE.mul_eint_int\"(%arg0, %0): (!FHE.esint<{0}>, i{1}) -> (!FHE.esint<{0}>)".format(p, integer_bitwidth)) print(" return %1: !FHE.esint<{0}>".format(p)) print(" }") + if p <= 57: + print(f"p-error: {P_ERROR}") print("tests:") print(" - inputs:") print(" - scalar: {0}".format(0))