cggi: remove memrefs from cggi pipeline #1910
Open
+1,034
−1,572
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![copybara-service[bot]](https://avatars.githubusercontent.com/in/44061?s=60&v=4){kind=small}
copybara-service
bot
force-pushed
the
test_757889057
branch
2 times, most recently
from
c90d985 to
cc6d654
Compare
copybara-service
bot
force-pushed
the
test_757889057
branch
2 times, most recently
from
2301b0d to
69793a3
Compare
copybara-service
bot
changed the title
copybara-service
bot
force-pushed
the
test_757889057
branch
6 times, most recently
from
177e3ba to
4eb6961
Compare
This PR makes the following changes: * Uses linalg-to-affine-loops-tensor to lower linalg operations with tensor semantics * Convert yosys RTLIL to MLIR with tensor semantics * A few fixes to the secret dialect / patterns to handle secret vs plaintext tensors and insertion operations * Remove the option for submodule optimization in Yosys - it never worked quite well, and was suited mostly for memref semantics. I think if we want to invest in Yosys compilation more, we should separate that out into a separate pass that prepares the secret.generic functions so that yosys-optimizer isn't doing all these rewrites within its body PiperOrigin-RevId: 757889057
copybara-service
bot
force-pushed
the
test_757889057
branch
from
4eb6961 to
217cc2e
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
cggi: remove memrefs from cggi pipeline
This PR makes the following changes: