Add pass hoisting RT.await_future out of scf.forall loops#748

Merged

andidr merged 17 commits intomainfrom andi/tiling-optimizations

Apr 9, 2024

+786-192

Commits on Apr 8, 2024

feat(compiler): Add support for tiling of FHELinalg.apply_lookup_table
andidr
committed
feat(compiler): Add new action dump-fhe-df-parallelized
andidr
committed
refactor(compiler): Factor normalization of loop IVs from Batching-specific code
andidr
committed
refactor(compiler): Use reinstantiating conversion patterns for RT operations
andidr
committed
feat(compiler): Declare RT futures usable as element types for memrefs
andidr
committed
refactor(compiler): Make type conversion in scalar FHE to TFHE conversion recursive
andidr
committed
refactor(compiler): Make type conversion in TFHE global parametrization recursive
andidr
committed
feat(compiler): Support non-ciphertext types in TFHE to Concrete conversion patterns
andidr
committed
refactor(compiler): Make type conversion in RT task bufferization recursive
andidr
committed
feat(compiler): Add support for nested Memrefs in memory usage estimator
andidr
committed
feat(compiler): Add support for tensor.{from_elements,dim} operations in TFHE passes
andidr
committed
refactor(compiler): Use signature conversion for conversion of ops with nested blocks
andidr
committed
feat(compiler): Add support for dynamically-sized memrefs in lowering patterns for RT tasks
andidr
committed
feat(compiler): Add support for various memref operations for RT task bufferization
andidr
committed
feat(compiler): Add pass hoisting RT.await_future out of scf.forall loops
andidr
committed
test(compiler): Add tests for tiling generating partial tiles
andidr
committed
test(compiler): Add check tests for pass hoisting RT.await_future operations
andidr
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add pass hoisting RT.await_future out of scf.forall loops#748

Commits on Apr 8, 2024

feat(compiler): Add support for tiling of FHELinalg.apply_lookup_table

feat(compiler): Add new action dump-fhe-df-parallelized

refactor(compiler): Factor normalization of loop IVs from Batching-specific code

refactor(compiler): Use reinstantiating conversion patterns for RT operations

feat(compiler): Declare RT futures usable as element types for memrefs

refactor(compiler): Make type conversion in scalar FHE to TFHE conversion recursive

refactor(compiler): Make type conversion in TFHE global parametrization recursive

feat(compiler): Support non-ciphertext types in TFHE to Concrete conversion patterns

refactor(compiler): Make type conversion in RT task bufferization recursive

feat(compiler): Add support for nested Memrefs in memory usage estimator

feat(compiler): Add support for tensor.{from_elements,dim} operations in TFHE passes

refactor(compiler): Use signature conversion for conversion of ops with nested blocks

feat(compiler): Add support for dynamically-sized memrefs in lowering patterns for RT tasks

feat(compiler): Add support for various memref operations for RT task bufferization

feat(compiler): Add pass hoisting RT.await_future out of scf.forall loops

test(compiler): Add tests for tiling generating partial tiles

test(compiler): Add check tests for pass hoisting RT.await_future operations