heir
heir copied to clipboard
Clean-up tasks for tfhe-rs emitter
- [ ] Handle non-memref Ciphertext args in tfhe-rs-emitter.: Right now, we assume that temp_nodes contains all possible input ciphertexts by inserting
create_trivialand anymemref.loadops 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
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