Split out queries that are reasonable for all FIRRTLType's,
leave the rest in FIRRTLBaseType.
...

This adds proper dispatch from FIRRTLBaseType to the following
functions:
- getPassiveType
- ...

This function does not appear to be used anywhere. I am motivated to
remove it as I don't know ...

Add parsing support for FIRRTL Specification 3.0.0 _literal identifiers_.
This is a mechanism to...

Fixes #4043.

Removes most of the prose about an "ESI CPP cosim API", which is not a thing.

I expect that w...

+always sets the insertion point for the `SubModuleBuilder` (some funk was happening where, some...

Signed-off-by: Schuyler Eldridge <[email protected]>

Add parsing for the new 'regreset' keyword. This is a keyword that will
be added in version 3.0...

Our Verilog output for anonymous enumeration is highly problematic:
every time we write out the ...

This is in preparation for a change which lowers all anonymous
enumerations to typedecls. It wi...

Allow nested .number in expressions.

A simplification of @seldridge's #5111

Fixes #5110

Inferwidths does not directly support match statements, but it does
support the operations it l...

The printer for enumcreate was accidentally printing the tag string
instead of the input SSA va...

A logical equivalence checking tool for CIRCT. As of now it covers some
basic `hw` operations ...

This PR introduces element-wise operations, `firrrtl.elementwise_or, firrtl.elementwise_and` and...

Remove the `-mem` suffix in the `ignore-read-enable-mem` option of the
`HWMemSimImpl` pass. "Re...

For now just duplicate the reductions meant to run on the FIRRTL dialect
and create a flavor fo...

Applies @maerhart's fix for LowerState memory read materialization, and
uses a comb mux to lowe...

Update usage of MlirOptMain now that preloadDialectsInContext has been removed.

* [FIRRTL] Register const updates

This commit disallows register types from being const.
Reg...

These are easier to generate and more semantically meaningful
in the IR, compared to the previo...

This commit adds the ESI C++ cosimulation api (`lib/Dialect/ESI/runtime/cpp/include/esi/cosim/es...

Very useful for manually debugging these things... `--server-only` allows one to create the serv...

Moves metadata cleaning from the `esi-emit-collateral` pass to a separate pass.

... to prepare for the C++ API; refactors the `TypeSchema` to remove any (...most) capnp related...

This PR adds support for AttributeAnnotation. LowerAnnotation pass lowers
these annotations in...

Don't lower forceable declarations (force targets).

Keep the always-lower-(non-rw-)probe beha...

Signed-off-by: Schuyler Eldridge <[email protected]>

Change FIRRTL parsing to only accept Partial Connect ('<-') if the FIRRTL
version is reported as...

Don't gate on -disable-opts, this is needed for legalization.

As discussed on https://github.co...

Remove --repl-seq-mem restrictions on number of ports.

Now, any read-latency=1, write-latency...

Before this change, an error on a port used the location of the defining
module, instead of the...

When no padding is reqiured for UnionCreate, we emit the expression
directly as the RHS of an a...

This adds support for FEnumCreateOp in LowerToHW. It performs type
lowering on the output type...

Add a `seq.clock_gate` operation that represents a safe, glitchless
gating of a clock. It isn't...

Needed for putting RefType in aggregates. There are no fields within a reference regardless of b...

This is a wrapper around a hw.innerNameRef with !om.ref type. This is
needed because the OM dia...

This is an opaque type that indicates a value is a reference to a
hardware entity. This allows ...

This just adds a short summary of what the type is for.

This just adds the ODS and C++ boilerplate. Future PRs will introduce
OM dialect attributes.

After discussion with @trilorez, revert the wholesale addition of
`BuildableType` to `ClockType`...

This adds support for `hw::UnionCreateOp` to ExportVerilog. It works by
emitting a bit concate...

This adds support for enum types and the subtag operation to
InferWidths. It constrains all wi...

Remove unnecessary types from the `firrtl.int.clock_gate` operation.

TypedAttr changed requiring adjustments to HWAttributes.
Affine was moved to its own namespace.

Add a very lenient minimum FIRRTL version of 0.2.0. This is essentially
the earliest known vers...

Signed-off-by: Schuyler Eldridge <[email protected]>

Add a new `firrtl.int.clock_gate` operation to represent clock gates.
This new op is intended t...

Copy the `arcilator-runtime.h` header into the tools build directory for
the time being, as we a...

Fix the worklist that materializes values in clock trees to do a proper
depth-first traversal o...

These don't actually belong in the testbench directory; they are still
part of the design. So f...

Issolate uninferred width conversion to an operation. This allows more uses of strictconnect.

Teach PyCDE about the ESI list type.

Enable parsing of new Connect/Invalid syntax from the FIRRTL Specification
version 3.0.0. This ...

Refactor the FIRRTL parser to store Version information in a dedicated
struct as opposed to in t...

This `ConversionPattern` is used in two places and is likely generally useful. Move it into the ...

Addresses #5052.

* [Handshake] Remove handshake.select

I introduced handshake.select back in the day to distin...

Not registering all the dialects we may create operations of during the lowering pipeline can re...

Introduces a new pass for lowering ESI types to something synthesizable. Currently, that's just ...

This reverts the following commits:

- 5d371c3ce3d4faa6f3a8739f7024918e911c5e56
- 0bb6ec6212...

The previous canonicalizer created wires of bundle types with unconnected fields.
The new one av...

Aggregates-of-references are not yet supported (not representable),
but since RecursiveTypePrope...

Signed-off-by: Schuyler Eldridge <[email protected]>

Duplicate connect type checking when parsing alternative connect
syntax. This provides better e...

* Prefer range overload
* Drop stale debug print.
(We no longer track inner ref/symbols in ...

Update the FIRRTL parser to support the future, simpler-to-parse
syntaxes for connect and invali...

Signed-off-by: Schuyler Eldridge <[email protected]>

* Bug that did drop_front and drop_begin, instead of just one.
* Don't crash if operand list is...

This fixes a bug that causes the scf.if blocks that represent reset logic on states to be progre...

Update the ConvertToArcs pass so that if a CompReg has an explicit reset operand, this becomes t...