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

fix(compiler): Force same signedness of integers in _verifyGLWEIntegerOperator

Browse Source
This commit is contained in:
Andi Drebes
2022-01-07 11:09:38 +01:00
committed by Quentin Bourgerie
parent d83a462e20
commit ce9d86014d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/lib/Dialect/TFHE/IR/TFHEOps.cpp
View File

@@ -42,7 +42,7 @@ mlir::LogicalResult _verifyGLWEIntegerOperator(mlir::OpState &op,
}
// verify consistency of width of inputs
if (b.getWidth() > a.getP() + 1) {
if ((int)b.getWidth() > a.getP() + 1) {
op.emitOpError()
<< "should have the width of `b` equals or less than 'p'+1: "
<< b.getWidth() << " <= " << a.getP() << "+ 1";