`always_ff` blocks do not allow registers to be set in initial blocks.
This PR adds an option t...

The lower matches pass transform match statements into when statements.
This allows them to be ...

This adds an `IsTagOp` which tests the active variant of an enumeration
for a specific tag and ...

This commit adds a match statement operation to the FIRRTL dialect.
Match is used as an elimina...

Since Chisel always emits FIRRTL with integer constants encoded in radix
16, it is helpful to r...

There is currently no way to compare the value of two enumerations as an
expression. There is a...

EnumConstantOp has a declared custom builder in ODS that was never
implemented. It is a useful ...

* Comb and HW dialects were not listed as dependent dialects which can lead to a crash when they...

This commit removes the InferTypeOpInterface from ControlMergeOp because
it no longer made sens...

Fixes #5017

Fixes #5017

Teach ExportVerilog how to output union types with proper padding. Does not include union operat...

This reverts commit e96c69ba05198d3ccbf540c74026287ab89a1826 in favor of
https://github.com/llvm...

The tag field of complex enumerations was being lowered to an integer
type, but using a SV enum...

This operation already has a helper `getFieldName` which returns a
`StringRef`, but during lowe...

The HW dialect currently defines a `WUWAttr` to capture the
write-under-write behavior of memor...

Add constant cache helper, use for force/release.

Add tests.

closes #4941

Add folder to StateOp for the optional enable and reset operands.

Make the enables of the MemoryReadPortOp, MemoryWritePortOp, and MemoryWriteOp optional. Its abs...

Add an optional `prefix` string attribute to FIRRTL's `MemOp` that
captures a string to be prepe...

Let hw.enum be defined as a size based on it's contents, rather than implicitly by the verilog d...

Wrap and unwrap data windows to/from `hw.union`s.

We've changed the modeling of InvalidValueOp to have side-effect so
it's necessary to handle i...

With the IR pieces in place, add parsing support instead of faking it.

* Parse RWProbe into f...

Lower force, release, force_initial, and release_initial.

Presently, we replace ref.resolve's with `sv.xmr.ref` operations that are cast to the referenced...

This commit removes the control flow loop analysis in favor of the newly
introduced CFG loop in...

Until we can control enum width in HW, we use an integer tag for complex enums. We do not use ta...

Update LowerTypes to get sub-type right for indexing into ref.sub of rwprobe.

Add test.

Determine result named on operation via InnerSymbol interface when available.

Fixes annotatio...

Support getting "type" of declarations that are forceable.

Add test (that crashes without thi...

Support read of a rwprobe, add test.

Add an operation to create enum values.
Coauthored @youngar

Be sure forceable references are considered.

May not reject designs that should (inference fa...

Don't ignore due to having > 1 result, check for forceable.

Treat the three statements as "assign-likes", and if cannot
emit a single `for (init; check; up...

Fixes an integration test failure introduced in #4929

* [FIRRTL] Introduce const types

Const types are versions of FIRRTL hardware types that can o...

This aligns with backtraces produced for recent occasional CI
failure in circt-reduce on trivia...

Add test.

Use a builtin matcher helper function instead of our own.

This follows the structure in the Comb dialect to implement canonicalizers and folders in a sepa...

This introduces SV for operation e.g.:
```mlir
sv.for %i = %c0_i2 to %c-1_i2 step %c1_i2 :...

Add a resetCast operation. This lets more connects be strictconnects as more typeconversion can ...

Drop interface method for this until a good design there is found.

Not using the rewriter may...

Extract the current value of an enum's tag.

* Which result, if any, do inner symbols target?
* Are per-field symbols sensible for this oper...

* Add method for adding/removing forceability.
* Drop forceable if unused (canonicalizer on For...

We need this to support:
1) Matching bit layout of externally defined data types
2) Paddin...

Add test.

Add test.

This fixes a bug with updating the NLA, when modules are recursively inlined
to a single paren...

Add ability to get rwprobe references as optional result on supported FIRRTL declarations.
Decl...

Easier to build, let result type inference handle.
Works better when inference computes type of...

Add 'Arc' as prefix to the filenames to be consistent with the other dialects.

Firrtl enum type and subtag operation. This is just a the start of enum support. This adds the...

No need to carry `BoolAttr`s in `MemoryInitAttr`. Replace them with
plain old booleans.

Basic model of a list. Pretty worthless without a HW lowering.

This adds a new operation for defining primitive values to use in
Classes according to the desi...

Currently, the memory read and write operations represent the memory accesses both in the datafl...

Instead users should use CombToArith+ArithToLLVM. There is still a pattern population function l...

This adds a new operations for accessing Fields from Objects according
to the design in the rat...

Most importantly, this adds support for the new arc.call operation. Otherwise, it will not consi...

The arc.clock_domain operation is a dataflow equivalent of the
arc.clock_tree operation. It is ...

Add utilities to allow C++ to link against and drive a software model
generated from the arc dia...

Add tests for annotation target instance port that doesn't exist,
instance port of reference ty...

Went back and forth on this in spec. Let's allow it,
to support unused references or to resolv...

When we determine if two modules can be merged we ignore the names of
fields in bundle types. ...

This adds a check that the discardable attributes are actually round
tripped.

Fixes https://github.com/llvm/circt/issues/4943

Signed-off-by: Sergi Granell <xerpi.g.12@gmai...

This adds a new operation and type for Object instantiations according
to the design in the rat...

A line is printed for every encountered symbol + its target,
often from IST's constructed in pa...

Validate that the given `lastOp` is the unique sink node in the dependence graph.

Fixes #4785.

Close #4937.