diff options
| author | grebe | 2018-05-21 13:09:00 -0700 |
|---|---|---|
| committer | Jack Koenig | 2018-05-21 13:09:00 -0700 |
| commit | b1709242b5c7b60e21308642947d292545eb2e37 (patch) | |
| tree | 68ed90e520135d62cec32f6ca091ee5884be6e70 /src/test/resources | |
| parent | a9529670ebbb2a44697fd14299b37c47d01f6623 (diff) | |
Fix more problems with zero width things. (#779)
This should close #757. It should also allow for stop() and printf()
to be used with zero-width fields.
Diffstat (limited to 'src/test/resources')
| -rw-r--r-- | src/test/resources/features/ZeroWidthMem.fir | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/test/resources/features/ZeroWidthMem.fir b/src/test/resources/features/ZeroWidthMem.fir index c56f8390..a909b041 100644 --- a/src/test/resources/features/ZeroWidthMem.fir +++ b/src/test/resources/features/ZeroWidthMem.fir @@ -12,9 +12,13 @@ circuit ZeroWidthMem : infer mport ramin = ram[waddr], clock infer mport ramout = ram[raddr], clock + cmem totallyEmptyRam : UInt<0>[16] + infer mport emptyRamout = totallyEmptyRam[raddr], clock + ramin.0 <= in.0 ramin.1 <= in.1 - out <= ramout + out.0 <= ramout.0 + out.1 <= ramout.1 wire foo : UInt<32> foo <= UInt<32>("hdeadbeef") @@ -26,3 +30,6 @@ circuit ZeroWidthMem : printf(clock, UInt(1), "Assertion failed!\n") stop(clock, UInt(1), 1) ; Failure! + when neq(emptyRamout, UInt<1>("h0")) : + stop(clock, UInt(1), 1) ; Failure! empty mem should be zero + |