Skip to content

Conversation

@MrRoy09
Copy link
Contributor

@MrRoy09 MrRoy09 commented Jan 3, 2026

This PR Adds domainInfo attribute support to WireOp to enable domain type checking for wires in domain.define verification.

  • Added domainInfo attribute to WireOp
  • Updated builders to accept FlatSymbolRefAttr domain parameter
  • Extended getDomainTypeName() to extract domain info from wires
  • Removed workaround in DomainDefineOp::verify() that skipped verification for wires
  • Updated transform passes (InferResets, LowerOpenAggs, ModuleInliner) to use new builder signature
  • Added testcases for domain.define for WireOp
  • Updated recently added tests in commit b3a1e6c to pass the domain verification first

Closes #9398.

@MrRoy09 MrRoy09 marked this pull request as draft January 3, 2026 16:18
@MrRoy09 MrRoy09 force-pushed the FIRRTL/Wireop-DomainInfo branch 2 times, most recently from 8ca697b to 0193dc2 Compare January 3, 2026 16:34
@MrRoy09 MrRoy09 force-pushed the FIRRTL/Wireop-DomainInfo branch from 0193dc2 to a90bd12 Compare January 5, 2026 03:51
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.

[FIRRTL] Add Domain Info to WireOp

1 participant