1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// SPDX-License-Identifier: Apache-2.0
package firrtlTests
import firrtl._
import firrtl.passes._
import firrtl.testutils.FirrtlFlatSpec
class ZeroLengthVecsSpec extends FirrtlFlatSpec {
val transforms = Seq(ToWorkingIR, ResolveKinds, InferTypes, ResolveFlows, new InferWidths, ZeroLengthVecs, CheckTypes)
protected def exec(input: String) = {
transforms
.foldLeft(CircuitState(parse(input), UnknownForm)) { (c: CircuitState, t: Transform) =>
t.runTransform(c)
}
.circuit
.serialize
}
"ZeroLengthVecs" should "drop subaccesses to zero-length vectors" in {
val input =
"""circuit bar :
| module bar :
| input i : { a : UInt<8>, b : UInt<4> }[0]
| input sel : UInt<1>
| output foo : UInt<1>[0]
| output o : UInt<8>
| foo[UInt<1>(0)] <= UInt<1>(0)
| o <= i[sel].a
|""".stripMargin
val check =
"""circuit bar :
| module bar :
| input i : { a : UInt<8>, b : UInt<4> }[0]
| input sel : UInt<1>
| output foo : UInt<1>[0]
| output o : UInt<8>
| skip
| o <= validif(UInt<1>(0), UInt<8>(0))
|""".stripMargin
(parse(exec(input))) should be(parse(check))
}
"ZeroLengthVecs" should "handle intervals correctly" in {
val input =
"""circuit bar :
| module bar :
| input i : Interval[3,4].0[0]
| input sel : UInt<1>
| output o : Interval[3,4].0
| o <= i[sel]
|""".stripMargin
val check =
"""circuit bar :
| module bar :
| input i : Interval[3,4].0[0]
| input sel : UInt<1>
| output o : Interval[3,4].0
| o <= validif(UInt<1>(0), clip(asInterval(SInt<1>(0), 0, 0, 0), i[sel]))
|""".stripMargin
(parse(exec(input))) should be(parse(check))
}
}
|
