diff options
| author | azidar | 2015-05-29 11:34:51 -0700 |
|---|---|---|
| committer | azidar | 2015-05-29 11:34:51 -0700 |
| commit | ca49cb05f9e2fbeac1d0c722eb7d342f74508b7e (patch) | |
| tree | f8fb73ac66b7d5a50c1ab56ec2b2c8b91f71dd0b /test | |
| parent | b44b49e6a6589add30b5b1d89d85f2e20432a515 (diff) | |
Added custom pass. Does not correctly run, stanza just spins. Requires debugging.
Diffstat (limited to 'test')
| -rw-r--r-- | test/custom/when-coverage/gcd.fir | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/custom/when-coverage/gcd.fir b/test/custom/when-coverage/gcd.fir new file mode 100644 index 00000000..d3e9d35b --- /dev/null +++ b/test/custom/when-coverage/gcd.fir @@ -0,0 +1,45 @@ +; RUN: firrtl -i %s -o %s.v -X verilute -s coverage -s when-scope -p c | tee %s.out | FileCheck %s + +;CHECK: Verilog +circuit top : + module subtracter : + input x : UInt + input y : UInt + output q : UInt + q := sub-wrap(x, y) + module gcd : + input a : UInt<16> + input b : UInt<16> + input e : UInt<1> + output z : UInt<16> + output v : UInt<1> + reg x : UInt + reg y : UInt + on-reset x := UInt(0) + on-reset y := UInt(42) + when gt(x, y) : + inst s of subtracter + s.x := x + s.y := y + x := s.q + else : + inst s2 of subtracter + s2.x := x + s2.y := y + y := s2.q + when e : + x := a + y := b + v := eq(v, UInt(0)) + z := x + module top : + input a : UInt<16> + input b : UInt<16> + output z : UInt + inst i of gcd + i.a := a + i.b := b + i.e := UInt(1) + z := i.z +;CHECK: Done! + |
