[MooreToCore] Mark Seq dialect as legal

Add the Seq dialect as a legal dialect for the Moore-to-Core conversion.
This will allow the conversion to properly pass through `seq.to_clock`
in case the conversion is called on an IR that is already lowered to the
core dialects. This allows circt-verilog to accept core-level IR as
input.
This commit is contained in:
Fabian Schuiki 2025-07-29 11:51:43 -07:00
parent 175e30d32f
commit 367921e352
No known key found for this signature in database
GPG Key ID: C42F5825FC5275E6
1 changed files with 1 additions and 0 deletions

View File

@ -1599,6 +1599,7 @@ static void populateLegality(ConversionTarget &target,
target.addIllegalDialect<MooreDialect>();
target.addLegalDialect<comb::CombDialect>();
target.addLegalDialect<hw::HWDialect>();
target.addLegalDialect<seq::SeqDialect>();
target.addLegalDialect<llhd::LLHDDialect>();
target.addLegalDialect<ltl::LTLDialect>();
target.addLegalDialect<mlir::BuiltinDialect>();