From f2c1dc639239bb04fd9a7c5a1ef88db0dd6cdee9 Mon Sep 17 00:00:00 2001 From: youben11 Date: Wed, 22 Feb 2023 08:51:10 +0100 Subject: [PATCH] fix: set client parameters with correct chunked int options were set with default values --- compiler/lib/Support/CompilerEngine.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/lib/Support/CompilerEngine.cpp b/compiler/lib/Support/CompilerEngine.cpp index cbdcbb150..1a7d091e8 100644 --- a/compiler/lib/Support/CompilerEngine.cpp +++ b/compiler/lib/Support/CompilerEngine.cpp @@ -370,7 +370,8 @@ CompilerEngine::compile(llvm::SourceMgr &sm, Target target, OptionalLib lib) { llvm::Optional<::concretelang::clientlib::ChunkInfo> chunkInfo = llvm::None; if (options.chunkIntegers) { - chunkInfo = ::concretelang::clientlib::ChunkInfo{4, 2}; + chunkInfo = ::concretelang::clientlib::ChunkInfo{options.chunkSize, + options.chunkWidth}; } auto clientParametersOrErr = mlir::concretelang::createClientParametersForV0(