Andi Drebes
6c2b1addcc
enhance(build): Pass trailing arguments from add_concretelang_doc to add_mlir_doc
...
Pass all arguments starting with `command` passed to
`add_concretelang_doc` to `add_mlir_doc`. This allows for the
specification of additional command line arguments to be passed to
`mlir-tblgen`.
2022-07-27 22:39:54 +02:00
Quentin Bourgerie
511bcd99e7
Revert "feat(optimizer): create optimizer dag and use it"
...
This reverts commit 0b99f6d278
2022-07-27 18:35:47 +02:00
youben11
149cc24821
fix: get path to test file using __FILE__
2022-07-27 10:29:47 +01:00
youben11
ff3a3cbe8b
fix: fail tests if any of the test binaries fail
2022-07-27 10:29:47 +01:00
rudy
0b99f6d278
feat(optimizer): create optimizer dag and use it
2022-07-25 21:06:14 +02:00
rudy
b12331634c
fix(Makefile): Python3_EXECUTABLE need to be defined on some setup
2022-07-20 15:34:46 +02:00
Ayoub Benaissa
acda882873
ci: fix target name for macos job
2022-07-19 12:18:09 +01:00
youben11
7f31cec990
refactor: prefix ops and types with dialect name
2022-07-18 14:08:09 +01:00
Umut
e24dbec249
feat: create FHELinalg.from_element operation
...
This commit is introduced because python bindings for `tensor.from_elements` are not generated automatically. Previously, we overcame this with string manipulation, but with the latest version of the compiler, it became a problem. This commit should be reverted eventually. See https://discourse.llvm.org/t/cannot-create-tensor-from-elements-operation-from-python-bindings/4768 for the discussion in LLVM forums.
2022-07-08 14:43:46 +03:00
youben11
f4166a4973
docs: use consistent style for comment blocks
...
prefix comment blocks with ///
2022-07-07 16:11:19 +01:00
Quentin Bourgerie
2cfccd8f89
refactor: restructure the tests directory layout
2022-07-07 17:10:09 +02:00
youben11
5668e447e7
feat: support python 3.7
2022-07-07 09:55:44 +01:00
Antoniu Pop
261e59d2b4
feat(dfr): add more operations to be converted to tasks.
2022-06-28 17:11:12 +01:00
Antoniu Pop
235cf6fbe3
fix(unittest): fix expected result for sub_eint_int_term_to_term_broadcast
2022-06-28 17:11:12 +01:00
Antoniu Pop
26084a68aa
fix(compiler): delay all memref deallocation calls introduced by the bufferizer and that are made into futures until after the synchronization point.
2022-06-28 17:11:12 +01:00
Antoniu Pop
fb219f0fbf
feat(runtime): increase the limit of task input parameters to 16.
2022-06-28 17:11:12 +01:00
Umut
b3a2671dc7
feat: implement all kinds of subtractions
2022-06-28 11:13:03 +03:00
Umut
8f8a57d220
feat: implement MANP calculation for tensor.insert op
2022-06-28 11:13:03 +03:00
Mayeul@Zama
bcc5c750a1
fix(client): fix assumption that glweDimension = 1
2022-06-28 09:24:39 +02:00
Quentin Bourgerie
1e261dea7c
feat(test): add option to provide manual crypto parameters for tests
2022-06-28 09:24:39 +02:00
Quentin Bourgerie
d0d98c8228
chore: Add build-benchmarks to the all target
2022-06-27 16:45:56 +02:00
Quentin Bourgerie
f06957a197
tests(compiler): Add a benchmark tool builded thanks google-benchmarks
2022-06-27 16:45:56 +02:00
Quentin Bourgerie
2de76e9c4e
fix(compiler): Fix tfhe global parametrization to handle k>1
...
Co-authored-by: Mayeul@Zama <mayeul.debellabre@zama.ai >
2022-06-24 15:35:51 +02:00
Quentin Bourgerie
ef9d11c16f
cleanup(compiler): Remove dead code and usless pass
2022-06-24 11:00:08 +02:00
Quentin Bourgerie
ab64532b7b
cleanup(compiler): Remove old bufferization passes
2022-06-24 11:00:08 +02:00
Quentin Bourgerie
9baee39351
cleanup(compiler): Cleanup comments on ConcreteToBConcrete
2022-06-24 11:00:08 +02:00
Quentin Bourgerie
acbb5bf17a
cleanup(compiler): Remove custom print and parse TFHE types
2022-06-24 11:00:08 +02:00
Quentin Bourgerie
9dd776533a
cleanup(compiler): Remove useless concrete types, simplify print and parse, and remove BConcreteToBConcreteCAPI pass
2022-06-24 11:00:08 +02:00
youben11
741710efa1
ci: auto rebase llvm if possible
2022-06-16 19:05:56 +01:00
youben11
26b8678f9f
ci: update dockerfile name
2022-06-16 19:05:56 +01:00
Mayeul@Zama
928a44d243
chore(ci): enforce ending files with a newline
2022-06-16 17:04:25 +02:00
Andi Drebes
3b8ea630a1
refactor(compiler): Rename SubIntGLWEOp to SubGLWEIntOp
...
Rename `SubIntGLWEOp` to `SubGLWEIntOp` for a consistent naming scheme
of all TFHE ops.
2022-06-14 14:36:28 +02:00
Andi Drebes
45577fb79e
Rebase onto llvm-project f69328049e9e with local changes
...
This commit rebases the compiler onto commit f69328049e9e from
llvm-project.
Changes:
* Use of the one-shot bufferizer for improved memory management
* A new pass `OneShotBufferizeDPSWrapper` that converts functions
returning tensors to destination-passing-style as required by the
one-shot bufferizer
* A new pass `LinalgGenericOpWithTensorsToLoopsPass` that converts
`linalg.generic` operations with value semantics to loop nests
* Rebase onto a fork of llvm-project at f69328049e9e with local
modifications to enable bufferization of `linalg.generic` operations
with value semantics
* Workaround for the absence of type propagation after type conversion
via extra patterns in all dialect conversion passes
* Printer, parser and verifier definitions moved from inline
declarations in ODS to the respective source files as required by
upstream changes
* New tests for functions with a large number of inputs
* Increase the number of allowed task inputs as required by new tests
* Use upstream function `mlir_configure_python_dev_packages()` to
locate Python development files for compatibility with various CMake
versions
Co-authored-by: Quentin Bourgerie <quentin.bourgerie@zama.ai >
Co-authored-by: Ayoub Benaissa <ayoub.benaissa@zama.ai >
Co-authored-by: Antoniu Pop <antoniu.pop@zama.ai >
2022-06-14 14:35:25 +02:00
youben11
670af02112
fix: remove subinteint folder
...
it actually requires to negate the result which can't be done via
standard folder, so we remove it can cause erroneous computation
2022-06-14 10:00:01 +02:00
youben11
1354759884
chore: rename refs to main branch
2022-06-09 09:19:06 +01:00
youben11
5636342097
feat: add option to enable/disable optimization
2022-06-01 14:35:12 +01:00
youben11
8d0f20390c
feat: optimize concrete mul with constant values
2022-06-01 14:35:12 +01:00
youben11
c42f0a1ada
feat: add NoSideEffect trait to intToCleartext op
...
This would be useful for future pass to eliminate it when its result is
no longer used
2022-06-01 14:35:12 +01:00
Mayeul@Zama
ee64b68109
chore(optimier): use optimizer dependency as a submodule
2022-05-31 10:01:26 +02:00
Quentin Bourgerie
dd28a7f132
fix(compiler): Concrete.ZeroOp is a 0 value tensor in BConcrete Dialect
2022-05-30 14:22:32 +01:00
youben11
0e717ea266
refactor(ci): avoid deuplications of if condition
2022-05-30 08:55:31 +01:00
youben11
852f2dbc35
ci: auto update compiler image if gcc/hpx rebuilt
...
reorder dependencies
2022-05-30 08:55:31 +01:00
youben11
8d04c1e4af
feat: fold tensor ops with constant values
...
add/sub with constant tensors of 0s
mul with constant tensors of 1s
2022-05-30 08:35:14 +01:00
youben11
8aa6f3e809
feat: fold add/sub/mul with specific constant values
...
Remove add/sub with constant zero values
Remove mul with constant one values
2022-05-30 08:35:14 +01:00
Umut
b052157fae
refactor: separate runtime context from public arguments
2022-05-30 10:19:14 +03:00
Quentin Bourgerie
fcad585546
test(compiler): Add test of MANP Analysis on operators on negative values and fixes test refs
2022-05-24 14:12:28 +02:00
Quentin Bourgerie
ae9a04cd56
fix(compiler): Use the absolute value when computing the square of a constant in MANP analysis
...
The computation of the norm2 should take care of the sign of the constant to compute the square of this constant.
2022-05-24 14:12:28 +02:00
Quentin Bourgerie
6532c8f449
fix(compiler): Canonicalize before MANP analysis
2022-05-24 14:12:28 +02:00
Quentin Bourgerie
6bb1e05658
fix(compiler): Compiler // options are badly setted
2022-05-23 13:53:23 +02:00
Mayeul@Zama
f5faf4c421
feat(optimizer): update concrete_optimizer dependency
...
fix breaking changes
2022-05-18 14:04:48 +02:00
