circt/test/Conversion/LTLToCore
Hideto Ueno 3da788ba00
[Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation (#7656)
This commit adds support for seq.initial ops to take immutable operands and
introduces a new cast operation:

- Update InitialOp to accept input operands of ImmutableType
- Add FromImmutableOp for casting from immutable to regular types
- Add mergeInitialOps helper to handle operands and topological sorting
  of initial ops when lowering (SV flow -> SeqToSV, Arc flow ->
  LowerState).
- Update lowering passes and dialects to work with new initial op
2024-10-04 02:20:12 +09:00
..
assertproperty.mlir [Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation (#7656) 2024-10-04 02:20:12 +09:00