Skip to content

Conversation

@cowardsa
Copy link
Contributor

Incorporating known bits analysis to simplify AND array lowering for partial product operator to reduce size of inputs to compressor operators.

Copy link
Member

@uenoku uenoku left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍 I think the failure in the short integration test is due to i0 constant that makes HWToSMT fail.

@cowardsa cowardsa merged commit b4ea6c8 into llvm:main Nov 1, 2025
7 checks passed
TaoBi22 pushed a commit to TaoBi22/circt that referenced this pull request Nov 5, 2025
* Add variadic mul lowering code and improve compressor tree recognition of zero bits

* Revert Comb to Datapath

* Adding a test

* Rename variables

* Fix bug
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants