convert-polynomial-mul-to-ntt: migrate to new mod arith type/poly type

google / heir

A compiler for homomorphic encryption

https://heir.dev/

Apache License 2.0

350 stars 49 forks source link

convert-polynomial-mul-to-ntt: migrate to new mod arith type/poly type #1095

Open ZenithalHourlyRate opened 1 week ago

ZenithalHourlyRate commented 1 week ago

mod arith dialect chooses to use a mod arith type to carry out all operations, see #1084. As the convert-polynomial-mul-to-ntt pass needs mod arith, it needs to migrate to new type.

Also, polynomial type is also undergoing migration (#1085). So it might be migrated after both type being migrated.

github-actions[bot] commented 1 week ago

This issue has 3 outstanding TODOs:

lib/Dialect/Polynomial/Transforms/NTTRewrites.cpp:24: migrate to mod arith type
lib/Dialect/Polynomial/Transforms/NTTRewrites.td:33: migrate to mod arith type
tests/Dialect/Polynomial/Transforms/BUILD:9: disabled for mod_arith type migration

This comment was autogenerated by todo-backlinks

github-actions[bot] commented 1 week ago

This issue has 3 outstanding TODOs:

lib/Dialect/Polynomial/Transforms/NTTRewrites.cpp:24: migrate to mod arith type
lib/Dialect/Polynomial/Transforms/NTTRewrites.td:33: migrate to mod arith type
tests/Dialect/Polynomial/Transforms/BUILD:9: disabled for mod_arith type migration

This comment was autogenerated by todo-backlinks