diff options
Diffstat (limited to 'test/passes/initialize-register/when.fir')
| -rw-r--r-- | test/passes/initialize-register/when.fir | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/test/passes/initialize-register/when.fir b/test/passes/initialize-register/when.fir deleted file mode 100644 index 4e0690d8..00000000 --- a/test/passes/initialize-register/when.fir +++ /dev/null @@ -1,43 +0,0 @@ -; RUN: firrtl %s abcd c | tee %s.out | FileCheck %s - -; CHECK: Initialize Registers - circuit top : - module top : - input a : UInt(16) - input b : UInt(16) - output z : UInt - when gt(1, 2) : - reg r1: UInt - r1.init := UInt(12) -; CHECK: wire [[R1:gen[0-9]*]] : UInt -; CHECK-NOT: r1 := [[R1]] -; CHECK: [[R1]] := Null -; CHECK: [[R1]] := UInt(12) -; CHECK-NOT: r1.init := UInt(12) - reg r2: UInt -; CHECK: wire [[R2:gen[0-9]*]] : UInt -; CHECK-NOT: r2 := [[R2]] -; CHECK: [[R2]] := Null - -; CHECK: when reset : -; CHECK-DAG: r2 := [[R2]] -; CHECK-DAG: r1 := [[R1]] - else : - reg r1: UInt - r1.init := UInt(12) -; CHECK: wire [[R1:gen[0-9]*]] : UInt -; CHECK-NOT: r1 := [[R1]] -; CHECK: [[R1]] := Null -; CHECK: [[R1]] := UInt(12) -; CHECK-NOT: r1.init := UInt(12) - - reg r2: UInt -; CHECK: wire [[R2:gen[0-9]*]] : UInt -; CHECK-NOT: r2 := [[R2]] -; CHECK: [[R2]] := Null - -; CHECK: when reset : -; CHECK-DAG: r2 := [[R2]] -; CHECK-DAG: r1 := [[R1]] - -; CHECK: Finished Initialize Registers |