mirror of https://github.com/llvm/circt.git
7ac276d740
Add a new `hw.array_inject` operation which updates a single element in an array value and returns the updated array. This fills in a gap where structs had a `struct_extract` and `struct_inject` op available, but arrays only had `array_get` without the complementary `array_inject`. This commit also adds a `HWCanonicalization.td` file for any canonicalization rewrite patterns on HW ops. It is overkill for just the new `array_inject` operation, but my hope is that we'll fill this in as time progresses and we may even be able to migrate some existing patterns from C++ to the declarative format. The `ArithCanonicalization.td` file has a lot of nice inspiration. In the future we may want to add patterns that can fold injects directly into an `array_create` operation, and patterns that reorder injects and collapse adjacent injects into an `array_create`, `array_slice`, and `array_concat`. |
||
|---|---|---|
| .. | ||
| Reduction | ||
| basic.mlir | ||
| canonicalization.mlir | ||
| errors.mlir | ||
| flatten-io.mlir | ||
| flatten-modules.mlir | ||
| foo.mlir | ||
| hw-aggregate-to-comb.mlir | ||
| hw-stub-external-modules.mlir | ||
| inline.mlir | ||
| locations.mlir | ||
| modules.mlir | ||
| parameters.mlir | ||
| print-instance-graph.mlir | ||
| specialize.mlir | ||
| svEmitErrors.mlir | ||
| typedecls.mlir | ||
| types.mlir | ||
| verify-irn.mlir | ||