Clean-up tasks for tfhe-rs emitter

google / heir

A compiler for homomorphic encryption

https://heir.dev/

Apache License 2.0

324 stars 47 forks source link

Open asraa opened 8 months ago

asraa commented 8 months ago

[ ] Handle non-memref Ciphertext args in tfhe-rs-emitter.: Right now, we assume that temp_nodes contains all possible input ciphertexts by inserting create_trivial and any memref.load ops from ciphertext memrefs into temp_nodes. This does not include ciphertext block args (right now, that is a slim chance since we would need a non-memref, single bit input).
[ ] Handle variable shift value attributes. Right now, our pipeline will only use fixed values of 1 and 2 by LUT design

github-actions[bot] commented 8 months ago

This issue has 2 outstanding TODOs:

lib/Target/TfheRust/TfheRustEmitter.cpp:190: This assumes that all ciphertexts are
lib/Target/TfheRust/TfheRustEmitter.cpp:337: Insert block argument that are encrypted ints into

This comment was autogenerated by todo-backlinks