Andi Drebes 21a7eead6c refactor(compiler): Re-implement TFHE multi-parameter parametrization with type inference ...

The current pass applying the parameters determined by the optimizer
to the IR propagates the parametrized TFHE types to operations not
directly tagged with an optimizer ID only under certain conditions. In
particular, it does not always properly propagate types into nested
regions (e.g., of `scf.for` loops).

This burdens preceding transformations that are applied in between the
invocation of the optimizer and the parametrization pass with
data-flow analysis and book-keeping in order to tag newly inserted
operations with the right optimizer IDs that ensure proper
parametrization.

This commit replaces the current parametrization pass with a new pass
that propagates parametrized TFHE types up and down def-use chains
using type inference and a proper rewriter. The pass is limited to the
operations supported by `TFHEParametrizationTypeResolver::resolve`.

2024-02-01 16:18:45 +01:00

..

concrete-compiler

refactor(compiler): Re-implement TFHE multi-parameter parametrization with type inference

2024-02-01 16:18:45 +01:00

concrete-optimizer

fix(optimizer): compiler output forwarding

2024-01-26 17:15:03 +01:00