circt/test/Dialect/FIRRTL/SFCTests
Schuyler Eldridge 3c53d09bf1
[FIRRTL] Support "invalidate <mem, instance>"
Add support for invalidation syntax that invalidates an instance or a
memory.  This was never technically supported before, though it should
have been.  Previously, this was only supported through the "is invalid"
path which is has been deprecated for FIRRTL versions >=3.

Fixes #7730.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>
2024-10-25 18:30:37 -04:00
..
ExtractSeqMems [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
GrandCentralInterfaces [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
async-reset-errors.mlir [FIRRTL] Remove Buildable from FIRRTL hardware types (#4742) 2023-03-08 09:33:46 -07:00
async-reset-verilog.fir [FIRRTL] Remove test usage of '<=' connect, NFC 2024-10-25 16:59:12 -04:00
async-reset.fir [FIRRTL] Remove "reg with" usage in tests, NFC 2024-10-25 14:17:18 -04:00
async-reset.mlir [FIRRTL] Remove Buildable from FIRRTL hardware types (#4742) 2023-03-08 09:33:46 -07:00
complex-asserts.fir [FIRRTL] Bump minimum to 2.0.0, remove partial conect (#5075) 2024-06-11 11:07:18 -05:00
complex-assumes.fir [FIRRTL] Bump minimum to 2.0.0, remove partial conect (#5075) 2024-06-11 11:07:18 -05:00
constant-data-taps.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
constantProp.mlir Bump LLVM (#7223) 2024-06-26 13:19:37 -07:00
constantPropFail.mlir [NFC, FIRRTL] Rename StrictConnect to MatchingConnect. (#7116) 2024-06-04 09:19:00 -05:00
data-taps-errors.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
data-taps-flip-errors.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
data-taps-flip.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
data-taps-no-ref-type.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
data-taps-wiring-xmr.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
data-taps-xmr.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
data-taps.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
dedup-errors.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
dedup.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
directories.fir [FIRRTL] Support "invalidate <mem, instance>" 2024-10-25 18:30:37 -04:00
directories.fir.markdut.anno.json [FIRRTL] Fix firrtl-emit-metadata for SiTest BBox 2023-03-03 21:08:23 -05:00
directories.fir.memtoregofvec.anno.json [FIRRTL] Fix MemToRegOfVec DUT/No DUT Behavior 2023-03-07 16:49:36 -05:00
directories.fir.sitestblackboxes.anno.json [FIRRTL] Fix firrtl-emit-metadata for SiTest BBox 2023-03-03 21:08:23 -05:00
emit-metadata.fir [FIRRTL] Bump minimum to 2.0.0, remove partial conect (#5075) 2024-06-11 11:07:18 -05:00
emit-omir.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
invalid-interpretations.fir [FIRRTL] Remove "reg with" usage in tests, NFC 2024-10-25 14:17:18 -04:00
invalid-reg-pass.fir [FIRRTL] Remove "reg with" usage in tests, NFC 2024-10-25 14:17:18 -04:00
load-memory-from-file.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
load-memory-from-file.fir.inline.anno.json [FIRRTL] Chisel Memory File Init Integration Tests 2023-02-06 23:43:39 -05:00
load-memory-from-file.fir.outline.anno.json [FIRRTL] Chisel Memory File Init Integration Tests 2023-02-06 23:43:39 -05:00
mem-taps-reg.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
mem-taps.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
parameters.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
remove-reset.fir [FIRRTL] Remove "reg with" usage in tests, NFC 2024-10-25 14:17:18 -04:00
trace-api.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00
verbatim-inner-names.mlir [FIRRTL] Remove Buildable from FIRRTL hardware types (#4742) 2023-03-08 09:33:46 -07:00
width-spec-errors.fir [FIRRTL] Remove "reg with" usage in tests, NFC 2024-10-25 14:17:18 -04:00
width-spec.fir [FIRRTL] Migrate tests to connect, invalidate, NFC 2024-10-25 01:03:45 -04:00