Skip to content

Conversation

@uenoku
Copy link
Member

@uenoku uenoku commented Sep 12, 2025

Towards #8786 this PR moves AIG dialect to under Synth.

This commit move the AIG dialect into the
Synth dialect as part of a broader synthesis infrastructure reorganization.
The changes create a unified synthesis dialect that can accommodate both
AIG and MIG representations while maintaining compatibility with existing
tools and workflows.

  • Move AIG operations under synth.aig namespace (synth.aig.and_inv)
  • Migrate AIG passes and analysis to Synth dialect transforms
  • Rename CombToAIG conversion pass to CombToSynth with target IR options
  • Update synthesis pipeline to use new pass names and options
  • Move longest path analysis from AIG to Synth with updated namespaces
  • Remove standalone AIG dialect entirely

@uenoku uenoku force-pushed the dev/hidetou/aig-to-synth branch 6 times, most recently from bd45fcd to b552a39 Compare September 12, 2025 23:41
@uenoku uenoku force-pushed the dev/hidetou/aig-to-synth branch from b552a39 to c7924ff Compare September 12, 2025 23:49
@uenoku uenoku marked this pull request as ready for review September 13, 2025 00:06
Copy link
Contributor

@fabianschuiki fabianschuiki left a comment

Choose a reason for hiding this comment

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

LGTM!

@uenoku
Copy link
Member Author

uenoku commented Sep 13, 2025

@cowardsa Sorry if this change conflicts with existing your branch ;) Mostly the change is mechanical so hopefully it's ok :)

@uenoku uenoku merged commit 7b686fb into llvm:main Sep 13, 2025
7 checks passed
@cowardsa
Copy link
Contributor

Will check this out on Monday - but didn't have many local changes lying around - sounds like a wise re-organisation though!

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.

3 participants