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

Merge pull request #1107 from zama-ai/fix-ggc-13

Browse Source 
fix(compiler): Fixing warnings spotted by gcc-13
This commit is contained in:
Quentin Bourgerie
2024-10-21 13:57:06 +02:00
committed by GitHub
parent 7f72c2bb40 d6ed66232e
commit 8f7b1daba6
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
compilers/concrete-compiler/compiler/lib/Dialect/FHE/Analysis/MANP.cpp
View File

@@ -624,12 +624,13 @@ getSqMANP(mlir::tensor::ExpandShapeOp op,
static std::optional<llvm::APInt>
getSqMANP(mlir::concretelang::FHELinalg::SumOp op,
llvm::ArrayRef<const MANPLattice *> operandMANPs) {
llvm::APInt result = llvm::APInt(1, 1, false);
auto inputType = op.getOperand().getType().dyn_cast<mlir::TensorType>();
uint64_t numberOfElementsInTheInput = inputType.getNumElements();
if (numberOfElementsInTheInput == 0) {
return llvm::APInt{1, 1, false};
return result;
}
uint64_t numberOfElementsAddedTogetherInEachOutputCell = 1;
@@ -659,9 +660,8 @@ getSqMANP(mlir::concretelang::FHELinalg::SumOp op,
"Missing squared Minimal Arithmetic Noise Padding for encrypted "
"operands");
llvm::APInt operandMANP = operandMANPs[0]->getValue().getMANP().value();
return APIntWidthExtendUMul(noiseMultiplier, operandMANP);
result = operandMANPs[0]->getValue().getMANP().value();
return APIntWidthExtendUMul(noiseMultiplier, result);
}
static std::optional<llvm::APInt>
@@ -755,10 +755,11 @@ public:
debug(debug) {}
void setToEntryState(MANPLattice *lattice) override {
auto baseMANP = llvm::APInt(1, 1);
if (isEncryptedFunctionParameter(lattice->getPoint())) {
// Set minimal MANP for encrypted function arguments
propagateIfChanged(lattice, lattice->join(MANPLatticeValue{
std::optional{llvm::APInt(1, 1)}}));
propagateIfChanged(
lattice, lattice->join(MANPLatticeValue{std::optional{baseMANP}}));
}
// In case of block arguments used in the block of a linalg.genric
// operation: map the MANP values of the operands into the block arguments
@@ -781,8 +782,8 @@ public:
operandRange = genericOp.getOutputs();
}
auto v = operandRange[argIndex];
auto manp = this->getLatticeElement(v)->getValue().getMANP().value_or(
llvm::APInt(1, 1));
auto manp =
this->getLatticeElement(v)->getValue().getMANP().value_or(baseMANP);
propagateIfChanged(lattice, lattice->join(MANPLatticeValue{manp}));
}
} else {