aboutsummaryrefslogtreecommitdiff
path: root/test/errors
diff options
context:
space:
mode:
authorAdam Izraelevitz2016-08-15 10:32:41 -0700
committerGitHub2016-08-15 10:32:41 -0700
commitbebd04c4c68c320b2b72325e348c726dc33beae6 (patch)
tree69f6d4da577977cc7ff428b0545bb4735507aad0 /test/errors
parentcca37c46fc0848f5dbf5f95ba60755ed6d60712b (diff)
Remove stanza (#231)
* Removed stanza implementation/tests. In the future we can move the stanza tests over, but for now they should be deleted. * Added back integration .fir files * Added Makefile to give Travis hooks * Added firrtl script (was ignored before)
Diffstat (limited to 'test/errors')
-rw-r--r--test/errors/gender/BulkWrong.fir26
-rw-r--r--test/errors/gender/InstancePorts.fir17
-rw-r--r--test/errors/gender/ReadOutput.fir12
-rw-r--r--test/errors/gender/bad_bulk_connect.fir328
-rw-r--r--test/errors/high-form/Flip-Mem.fir12
-rw-r--r--test/errors/high-form/Flip-Poison.fir8
-rw-r--r--test/errors/high-form/InstanceNotModule.fir8
-rw-r--r--test/errors/high-form/InvalidLOC.fir12
-rw-r--r--test/errors/high-form/InvalidSubexp.fir9
-rw-r--r--test/errors/high-form/NegUInt.fir7
-rw-r--r--test/errors/high-form/NegVecSize.fir7
-rw-r--r--test/errors/high-form/NegWidth.fir7
-rw-r--r--test/errors/high-form/NumArgs.fir9
-rw-r--r--test/errors/high-form/Prefix.fir9
-rw-r--r--test/errors/high-form/Printf.fir16
-rw-r--r--test/errors/high-form/RemoveChar.fir12
-rw-r--r--test/errors/high-form/RemoveScope.fir18
-rw-r--r--test/errors/high-form/SpecialChars.fir35
-rw-r--r--test/errors/high-form/Top.fir9
-rw-r--r--test/errors/high-form/Unique.fir16
-rw-r--r--test/errors/init/Output.fir10
-rw-r--r--test/errors/parser/InstanceNotRef.fir8
-rw-r--r--test/errors/parser/Nested-Module.fir6
-rw-r--r--test/errors/parser/Statements-in-Circuit.fir5
-rw-r--r--test/errors/type/AccessIndexUInt.fir8
-rw-r--r--test/errors/type/BulkConnect.fir32
-rw-r--r--test/errors/type/MuxWithFlips.fir12
-rw-r--r--test/errors/type/NodeWithFlips.fir8
-rw-r--r--test/errors/type/Primop.fir13
-rw-r--r--test/errors/width/Conservative.fir6
-rw-r--r--test/errors/width/NegWidth.fir9
-rw-r--r--test/errors/width/SmallWidth.fir12
-rw-r--r--test/errors/width/UninferredWidth.fir12
33 files changed, 0 insertions, 718 deletions
diff --git a/test/errors/gender/BulkWrong.fir b/test/errors/gender/BulkWrong.fir
deleted file mode 100644
index c9b24aa2..00000000
--- a/test/errors/gender/BulkWrong.fir
+++ /dev/null
@@ -1,26 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Expression in is used as a sink but can only be used as a source.
-; CHECK: Expression out.y is used as a sink but can only be used as a source.
-; CHECK: Expression in.y.z is used as a sink but can only be used as a source.
-; CHECK: Expression in.y.z is used as a sink but can only be used as a source.
-
-circuit BTB :
- module BTB :
- input in : {x : UInt<1>, flip y : {flip z : UInt<1>}}
- output out : {x : UInt<1>, flip y : {flip z : UInt<1>}}
-
- in <- out
- out.y <- in.y
- out.y.z <- in.y.z
-
- wire w : {x : UInt<1>, flip y : {flip z : UInt<1>}}
- w <- in
- in.y <- w.y
- in.y.z <- w.y.z
-
- w.x <= add(in.x,in.y.z)
-
- out <- in
- in.y <- out.y
- in.y.z <- out.y.z
-
diff --git a/test/errors/gender/InstancePorts.fir b/test/errors/gender/InstancePorts.fir
deleted file mode 100644
index 3f5ae8c7..00000000
--- a/test/errors/gender/InstancePorts.fir
+++ /dev/null
@@ -1,17 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK-NOT: Expression queue.in is used as a sink but can only be used as a source.
-; CHECK: Done!
-
-circuit BTB :
- module Queue :
- input in : UInt<1>
- output out : UInt<1>
- out <= in
- module BTB :
- input time : UInt<1>
- output out : UInt<1>
-
- inst queue of Queue
- queue.in <= time
- out <= queue.in
-
diff --git a/test/errors/gender/ReadOutput.fir b/test/errors/gender/ReadOutput.fir
deleted file mode 100644
index f9e8f7b4..00000000
--- a/test/errors/gender/ReadOutput.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Expression out is used as a source but can only be used as a sink.
-
-circuit BTB :
- module BTB :
- output out : {x : UInt<1>, flip y : UInt<1>}
-
- wire w : {x : UInt<1>, flip y : UInt<1>}
- w.x <= UInt(1)
- w.y <= UInt(1)
- out.x <= UInt(1)
- w <- out
diff --git a/test/errors/gender/bad_bulk_connect.fir b/test/errors/gender/bad_bulk_connect.fir
deleted file mode 100644
index 984d8da0..00000000
--- a/test/errors/gender/bad_bulk_connect.fir
+++ /dev/null
@@ -1,328 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Expression out.grant is used as a sink but can only be used as a source.
-
-circuit ClientTileLinkIOWrapper_49 :
- module ClientTileLinkIOWrapper_49 :
- input clock : Clock
- input reset : UInt<1>
- input in : {acquire : {flip ready : UInt<1>, valid : UInt<1>, bits : {addr_block : UInt<26>, client_xact_id : UInt<4>, addr_beat : UInt<2>, data : UInt<128>, is_builtin_type : UInt<1>, a_type : UInt<3>, union : UInt<17>}}, flip grant : {flip ready : UInt<1>, valid : UInt<1>, bits : {addr_beat : UInt<2>, data : UInt<128>, client_xact_id : UInt<4>, manager_xact_id : UInt<1>, is_builtin_type : UInt<1>, g_type : UInt<4>}}}
- output out : {acquire : {flip ready : UInt<1>, valid : UInt<1>, bits : {addr_block : UInt<26>, client_xact_id : UInt<4>, addr_beat : UInt<2>, data : UInt<128>, is_builtin_type : UInt<1>, a_type : UInt<3>, union : UInt<17>}}, flip grant : {flip ready : UInt<1>, valid : UInt<1>, bits : {addr_beat : UInt<2>, data : UInt<128>, client_xact_id : UInt<4>, manager_xact_id : UInt<1>, is_builtin_type : UInt<1>, g_type : UInt<4>}}, flip probe : {flip ready : UInt<1>, valid : UInt<1>, bits : {addr_block : UInt<26>, p_type : UInt<2>}}, release : {flip ready : UInt<1>, valid : UInt<1>, bits : {addr_block : UInt<26>, client_xact_id : UInt<4>, addr_beat : UInt<2>, data : UInt<128>, r_type : UInt<3>, voluntary : UInt<1>}}}
-
- in.grant.bits.g_type <= UInt<1>("h00")
- in.grant.bits.is_builtin_type <= UInt<1>("h00")
- in.grant.bits.manager_xact_id <= UInt<1>("h00")
- in.grant.bits.client_xact_id <= UInt<1>("h00")
- in.grant.bits.data <= UInt<1>("h00")
- in.grant.bits.addr_beat <= UInt<1>("h00")
- in.grant.valid <= UInt<1>("h00")
- in.acquire.ready <= UInt<1>("h00")
- out.release.bits.voluntary <= UInt<1>("h00")
- out.release.bits.r_type <= UInt<1>("h00")
- out.release.bits.data <= UInt<1>("h00")
- out.release.bits.addr_beat <= UInt<1>("h00")
- out.release.bits.client_xact_id <= UInt<1>("h00")
- out.release.bits.addr_block <= UInt<1>("h00")
- out.release.valid <= UInt<1>("h00")
- out.probe.ready <= UInt<1>("h00")
- out.grant.ready <= UInt<1>("h00")
- out.acquire.bits.union <= UInt<1>("h00")
- out.acquire.bits.a_type <= UInt<1>("h00")
- out.acquire.bits.is_builtin_type <= UInt<1>("h00")
- out.acquire.bits.data <= UInt<1>("h00")
- out.acquire.bits.addr_beat <= UInt<1>("h00")
- out.acquire.bits.client_xact_id <= UInt<1>("h00")
- out.acquire.bits.addr_block <= UInt<1>("h00")
- out.acquire.valid <= UInt<1>("h00")
-
- wire T_173394 : UInt<2>[2]
- T_173394[0] <= UInt<2>("h01")
- T_173394[1] <= UInt<2>("h02")
- wire T_173397 : UInt<2>[2]
- T_173397[0] <= UInt<2>("h01")
- T_173397[1] <= UInt<2>("h02")
- wire T_173399 : UInt<2>[1]
- T_173399[0] <= UInt<2>("h02")
- wire T_173439 : UInt<2>[2]
- T_173439[0] <= UInt<2>("h01")
- T_173439[1] <= UInt<2>("h02")
- wire T_173442 : UInt<2>[2]
- T_173442[0] <= UInt<2>("h01")
- T_173442[1] <= UInt<2>("h02")
- wire T_173444 : UInt<2>[1]
- T_173444[0] <= UInt<2>("h02")
- wire T_173483 : UInt<2>[2]
- T_173483[0] <= UInt<2>("h01")
- T_173483[1] <= UInt<2>("h02")
- wire T_173486 : UInt<2>[2]
- T_173486[0] <= UInt<2>("h01")
- T_173486[1] <= UInt<2>("h02")
- wire T_173488 : UInt<2>[1]
- T_173488[0] <= UInt<2>("h02")
- wire T_173537 : UInt<2>[2]
- T_173537[0] <= UInt<2>("h01")
- T_173537[1] <= UInt<2>("h02")
- wire T_173540 : UInt<2>[2]
- T_173540[0] <= UInt<2>("h01")
- T_173540[1] <= UInt<2>("h02")
- wire T_173542 : UInt<2>[1]
- T_173542[0] <= UInt<2>("h02")
- wire T_173588 : UInt<2>[2]
- T_173588[0] <= UInt<2>("h01")
- T_173588[1] <= UInt<2>("h02")
- wire T_173591 : UInt<2>[2]
- T_173591[0] <= UInt<2>("h01")
- T_173591[1] <= UInt<2>("h02")
- wire T_173593 : UInt<2>[1]
- T_173593[0] <= UInt<2>("h02")
- wire T_173639 : UInt<2>[2]
- T_173639[0] <= UInt<2>("h01")
- T_173639[1] <= UInt<2>("h02")
- wire T_173642 : UInt<2>[2]
- T_173642[0] <= UInt<2>("h01")
- T_173642[1] <= UInt<2>("h02")
- wire T_173644 : UInt<2>[1]
- T_173644[0] <= UInt<2>("h02")
- wire T_173692 : UInt<2>[2]
- T_173692[0] <= UInt<2>("h01")
- T_173692[1] <= UInt<2>("h02")
- wire T_173695 : UInt<2>[2]
- T_173695[0] <= UInt<2>("h01")
- T_173695[1] <= UInt<2>("h02")
- wire T_173697 : UInt<2>[1]
- T_173697[0] <= UInt<2>("h02")
- wire T_173742 : UInt<2>[2]
- T_173742[0] <= UInt<2>("h01")
- T_173742[1] <= UInt<2>("h02")
- wire T_173745 : UInt<2>[2]
- T_173745[0] <= UInt<2>("h01")
- T_173745[1] <= UInt<2>("h02")
- wire T_173747 : UInt<2>[1]
- T_173747[0] <= UInt<2>("h02")
- wire T_173795 : UInt<2>[2]
- T_173795[0] <= UInt<2>("h01")
- T_173795[1] <= UInt<2>("h02")
- wire T_173798 : UInt<2>[2]
- T_173798[0] <= UInt<2>("h01")
- T_173798[1] <= UInt<2>("h02")
- wire T_173800 : UInt<2>[1]
- T_173800[0] <= UInt<2>("h02")
- wire T_173845 : UInt<2>[2]
- T_173845[0] <= UInt<2>("h01")
- T_173845[1] <= UInt<2>("h02")
- wire T_173848 : UInt<2>[2]
- T_173848[0] <= UInt<2>("h01")
- T_173848[1] <= UInt<2>("h02")
- wire T_173850 : UInt<2>[1]
- T_173850[0] <= UInt<2>("h02")
- wire T_173895 : UInt<2>[2]
- T_173895[0] <= UInt<2>("h01")
- T_173895[1] <= UInt<2>("h02")
- wire T_173898 : UInt<2>[2]
- T_173898[0] <= UInt<2>("h01")
- T_173898[1] <= UInt<2>("h02")
- wire T_173900 : UInt<2>[1]
- T_173900[0] <= UInt<2>("h02")
- wire T_173939 : UInt<2>[2]
- T_173939[0] <= UInt<2>("h01")
- T_173939[1] <= UInt<2>("h02")
- wire T_173942 : UInt<2>[2]
- T_173942[0] <= UInt<2>("h01")
- T_173942[1] <= UInt<2>("h02")
- wire T_173944 : UInt<2>[1]
- T_173944[0] <= UInt<2>("h02")
- wire T_173993 : UInt<2>[2]
- T_173993[0] <= UInt<2>("h01")
- T_173993[1] <= UInt<2>("h02")
- wire T_173996 : UInt<2>[2]
- T_173996[0] <= UInt<2>("h01")
- T_173996[1] <= UInt<2>("h02")
- wire T_173998 : UInt<2>[1]
- T_173998[0] <= UInt<2>("h02")
- wire T_174044 : UInt<2>[2]
- T_174044[0] <= UInt<2>("h01")
- T_174044[1] <= UInt<2>("h02")
- wire T_174047 : UInt<2>[2]
- T_174047[0] <= UInt<2>("h01")
- T_174047[1] <= UInt<2>("h02")
- wire T_174049 : UInt<2>[1]
- T_174049[0] <= UInt<2>("h02")
- wire T_174095 : UInt<2>[2]
- T_174095[0] <= UInt<2>("h01")
- T_174095[1] <= UInt<2>("h02")
- wire T_174098 : UInt<2>[2]
- T_174098[0] <= UInt<2>("h01")
- T_174098[1] <= UInt<2>("h02")
- wire T_174100 : UInt<2>[1]
- T_174100[0] <= UInt<2>("h02")
- wire T_174148 : UInt<2>[2]
- T_174148[0] <= UInt<2>("h01")
- T_174148[1] <= UInt<2>("h02")
- wire T_174151 : UInt<2>[2]
- T_174151[0] <= UInt<2>("h01")
- T_174151[1] <= UInt<2>("h02")
- wire T_174153 : UInt<2>[1]
- T_174153[0] <= UInt<2>("h02")
- wire T_174198 : UInt<2>[2]
- T_174198[0] <= UInt<2>("h01")
- T_174198[1] <= UInt<2>("h02")
- wire T_174201 : UInt<2>[2]
- T_174201[0] <= UInt<2>("h01")
- T_174201[1] <= UInt<2>("h02")
- wire T_174203 : UInt<2>[1]
- T_174203[0] <= UInt<2>("h02")
- wire T_174251 : UInt<2>[2]
- T_174251[0] <= UInt<2>("h01")
- T_174251[1] <= UInt<2>("h02")
- wire T_174254 : UInt<2>[2]
- T_174254[0] <= UInt<2>("h01")
- T_174254[1] <= UInt<2>("h02")
- wire T_174256 : UInt<2>[1]
- T_174256[0] <= UInt<2>("h02")
- wire T_174301 : UInt<2>[2]
- T_174301[0] <= UInt<2>("h01")
- T_174301[1] <= UInt<2>("h02")
- wire T_174304 : UInt<2>[2]
- T_174304[0] <= UInt<2>("h01")
- T_174304[1] <= UInt<2>("h02")
- wire T_174306 : UInt<2>[1]
- T_174306[0] <= UInt<2>("h02")
- wire T_174351 : UInt<2>[2]
- T_174351[0] <= UInt<2>("h01")
- T_174351[1] <= UInt<2>("h02")
- wire T_174354 : UInt<2>[2]
- T_174354[0] <= UInt<2>("h01")
- T_174354[1] <= UInt<2>("h02")
- wire T_174356 : UInt<2>[1]
- T_174356[0] <= UInt<2>("h02")
- wire T_174395 : UInt<2>[2]
- T_174395[0] <= UInt<2>("h01")
- T_174395[1] <= UInt<2>("h02")
- wire T_174398 : UInt<2>[2]
- T_174398[0] <= UInt<2>("h01")
- T_174398[1] <= UInt<2>("h02")
- wire T_174400 : UInt<2>[1]
- T_174400[0] <= UInt<2>("h02")
- wire T_174449 : UInt<2>[2]
- T_174449[0] <= UInt<2>("h01")
- T_174449[1] <= UInt<2>("h02")
- wire T_174452 : UInt<2>[2]
- T_174452[0] <= UInt<2>("h01")
- T_174452[1] <= UInt<2>("h02")
- wire T_174454 : UInt<2>[1]
- T_174454[0] <= UInt<2>("h02")
- wire T_174500 : UInt<2>[2]
- T_174500[0] <= UInt<2>("h01")
- T_174500[1] <= UInt<2>("h02")
- wire T_174503 : UInt<2>[2]
- T_174503[0] <= UInt<2>("h01")
- T_174503[1] <= UInt<2>("h02")
- wire T_174505 : UInt<2>[1]
- T_174505[0] <= UInt<2>("h02")
- wire T_174551 : UInt<2>[2]
- T_174551[0] <= UInt<2>("h01")
- T_174551[1] <= UInt<2>("h02")
- wire T_174554 : UInt<2>[2]
- T_174554[0] <= UInt<2>("h01")
- T_174554[1] <= UInt<2>("h02")
- wire T_174556 : UInt<2>[1]
- T_174556[0] <= UInt<2>("h02")
- wire T_174604 : UInt<2>[2]
- T_174604[0] <= UInt<2>("h01")
- T_174604[1] <= UInt<2>("h02")
- wire T_174607 : UInt<2>[2]
- T_174607[0] <= UInt<2>("h01")
- T_174607[1] <= UInt<2>("h02")
- wire T_174609 : UInt<2>[1]
- T_174609[0] <= UInt<2>("h02")
- wire T_174654 : UInt<2>[2]
- T_174654[0] <= UInt<2>("h01")
- T_174654[1] <= UInt<2>("h02")
- wire T_174657 : UInt<2>[2]
- T_174657[0] <= UInt<2>("h01")
- T_174657[1] <= UInt<2>("h02")
- wire T_174659 : UInt<2>[1]
- T_174659[0] <= UInt<2>("h02")
- wire T_174707 : UInt<2>[2]
- T_174707[0] <= UInt<2>("h01")
- T_174707[1] <= UInt<2>("h02")
- wire T_174710 : UInt<2>[2]
- T_174710[0] <= UInt<2>("h01")
- T_174710[1] <= UInt<2>("h02")
- wire T_174712 : UInt<2>[1]
- T_174712[0] <= UInt<2>("h02")
- wire T_174757 : UInt<2>[2]
- T_174757[0] <= UInt<2>("h01")
- T_174757[1] <= UInt<2>("h02")
- wire T_174760 : UInt<2>[2]
- T_174760[0] <= UInt<2>("h01")
- T_174760[1] <= UInt<2>("h02")
- wire T_174762 : UInt<2>[1]
- T_174762[0] <= UInt<2>("h02")
- wire T_174807 : UInt<2>[2]
- T_174807[0] <= UInt<2>("h01")
- T_174807[1] <= UInt<2>("h02")
- wire T_174810 : UInt<2>[2]
- T_174810[0] <= UInt<2>("h01")
- T_174810[1] <= UInt<2>("h02")
- wire T_174812 : UInt<2>[1]
- T_174812[0] <= UInt<2>("h02")
- wire T_174856 : UInt<2>[2]
- T_174856[0] <= UInt<2>("h01")
- T_174856[1] <= UInt<2>("h02")
- wire T_174859 : UInt<2>[2]
- T_174859[0] <= UInt<2>("h01")
- T_174859[1] <= UInt<2>("h02")
- wire T_174861 : UInt<2>[1]
- T_174861[0] <= UInt<2>("h02")
- wire T_174902 : UInt<2>[2]
- T_174902[0] <= UInt<2>("h01")
- T_174902[1] <= UInt<2>("h02")
- wire T_174905 : UInt<2>[2]
- T_174905[0] <= UInt<2>("h01")
- T_174905[1] <= UInt<2>("h02")
- wire T_174907 : UInt<2>[1]
- T_174907[0] <= UInt<2>("h02")
- wire T_174951 : UInt<2>[2]
- T_174951[0] <= UInt<2>("h01")
- T_174951[1] <= UInt<2>("h02")
- wire T_174954 : UInt<2>[2]
- T_174954[0] <= UInt<2>("h01")
- T_174954[1] <= UInt<2>("h02")
- wire T_174956 : UInt<2>[1]
- T_174956[0] <= UInt<2>("h02")
- wire T_174997 : UInt<2>[2]
- T_174997[0] <= UInt<2>("h01")
- T_174997[1] <= UInt<2>("h02")
- wire T_175000 : UInt<2>[2]
- T_175000[0] <= UInt<2>("h01")
- T_175000[1] <= UInt<2>("h02")
- wire T_175002 : UInt<2>[1]
- T_175002[0] <= UInt<2>("h02")
- wire T_175043 : UInt<2>[2]
- T_175043[0] <= UInt<2>("h01")
- T_175043[1] <= UInt<2>("h02")
- wire T_175046 : UInt<2>[2]
- T_175046[0] <= UInt<2>("h01")
- T_175046[1] <= UInt<2>("h02")
- wire T_175048 : UInt<2>[1]
- T_175048[0] <= UInt<2>("h02")
- wire T_175096 : UInt<2>[2]
- T_175096[0] <= UInt<2>("h01")
- T_175096[1] <= UInt<2>("h02")
- wire T_175099 : UInt<2>[2]
- T_175099[0] <= UInt<2>("h01")
- T_175099[1] <= UInt<2>("h02")
- wire T_175101 : UInt<2>[1]
- T_175101[0] <= UInt<2>("h02")
- wire T_175146 : UInt<2>[2]
- T_175146[0] <= UInt<2>("h01")
- T_175146[1] <= UInt<2>("h02")
- wire T_175149 : UInt<2>[2]
- T_175149[0] <= UInt<2>("h01")
- T_175149[1] <= UInt<2>("h02")
- wire T_175151 : UInt<2>[1]
- T_175151[0] <= UInt<2>("h02")
- out.acquire <- in.acquire
- out.grant <- in.grant
- out.probe.ready <= UInt<1>("h01")
- out.release.valid <= UInt<1>("h00")
diff --git a/test/errors/high-form/Flip-Mem.fir b/test/errors/high-form/Flip-Mem.fir
deleted file mode 100644
index a8cb67ca..00000000
--- a/test/errors/high-form/Flip-Mem.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Memory mc cannot be a bundle type with flips.
-
-circuit Flip-Mem :
- module Flip-Mem :
- input clk : Clock
- mem mc :
- depth => 10
- data-type => {x : UInt<3>, flip y : UInt<5>}
- write-latency => 1
- read-latency => 0
- ;smem ms : {x : UInt<3>, flip y : UInt<5>}[10], clk
diff --git a/test/errors/high-form/Flip-Poison.fir b/test/errors/high-form/Flip-Poison.fir
deleted file mode 100644
index 278d3b74..00000000
--- a/test/errors/high-form/Flip-Poison.fir
+++ /dev/null
@@ -1,8 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Poison p cannot be a bundle type with flips.
-
-circuit Flip-Poison :
- module Flip-Poison :
- input clk : Clock
- poison p : {x : UInt<10>, flip y : UInt<10>}
-
diff --git a/test/errors/high-form/InstanceNotModule.fir b/test/errors/high-form/InstanceNotModule.fir
deleted file mode 100644
index aa49b26b..00000000
--- a/test/errors/high-form/InstanceNotModule.fir
+++ /dev/null
@@ -1,8 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Module Top2 is not defined.
-
-circuit Top :
- module Top :
- wire x : UInt<1>
- inst t of Top2
-
diff --git a/test/errors/high-form/InvalidLOC.fir b/test/errors/high-form/InvalidLOC.fir
deleted file mode 100644
index 8329cc02..00000000
--- a/test/errors/high-form/InvalidLOC.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Invalid connect to an expression that is not a reference or a WritePort.
-; CHECK: Invalid connect to an expression that is not a reference or a WritePort.
-; CHECK: Invalid connect to an expression that is not a reference or a WritePort.
-
-circuit Top :
- module Top :
- wire x : UInt
- add(x,x) <= UInt(1)
- UInt(1) <= UInt(1)
- SInt(1) <= UInt(1)
-
diff --git a/test/errors/high-form/InvalidSubexp.fir b/test/errors/high-form/InvalidSubexp.fir
deleted file mode 100644
index d0ad34c0..00000000
--- a/test/errors/high-form/InvalidSubexp.fir
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Invalid access to non-reference.
-; CHECK: Invalid access to non-reference.
-
-circuit Top :
- module Top :
- wire x : UInt<4>
- add(x,x)[10] <= UInt(1)
- add(x,x).x <= UInt(1)
diff --git a/test/errors/high-form/NegUInt.fir b/test/errors/high-form/NegUInt.fir
deleted file mode 100644
index 8249f791..00000000
--- a/test/errors/high-form/NegUInt.fir
+++ /dev/null
@@ -1,7 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: UIntValue cannot be negative.
-
-circuit Top :
- module Top :
- wire x : UInt<4>
- x <= UInt(-2)
diff --git a/test/errors/high-form/NegVecSize.fir b/test/errors/high-form/NegVecSize.fir
deleted file mode 100644
index 8a89d4e6..00000000
--- a/test/errors/high-form/NegVecSize.fir
+++ /dev/null
@@ -1,7 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Vector type size cannot be negative
-
-circuit Top :
- module Top :
- wire x : UInt<3>[-5]
-
diff --git a/test/errors/high-form/NegWidth.fir b/test/errors/high-form/NegWidth.fir
deleted file mode 100644
index 1eb54a34..00000000
--- a/test/errors/high-form/NegWidth.fir
+++ /dev/null
@@ -1,7 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Width cannot be negative or zero.
-
-circuit Top :
- module Top :
- wire x : UInt<-3>
-
diff --git a/test/errors/high-form/NumArgs.fir b/test/errors/high-form/NumArgs.fir
deleted file mode 100644
index 7db78509..00000000
--- a/test/errors/high-form/NumArgs.fir
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Primop add requires 2 expression arguments.
-; CHECK: Primop bits requires 2 integer arguments.
-
-circuit Top :
- module Top :
- node y = add(SInt(1),UInt(1),UInt(1))
- node z = bits(UInt(1),1,2,3)
-
diff --git a/test/errors/high-form/Prefix.fir b/test/errors/high-form/Prefix.fir
deleted file mode 100644
index ba4a28a2..00000000
--- a/test/errors/high-form/Prefix.fir
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Symbol x$z$y is a prefix.
-
-circuit Top :
- module Top :
- wire x : UInt<2>
- wire x$z$y : UInt<1>
-
-
diff --git a/test/errors/high-form/Printf.fir b/test/errors/high-form/Printf.fir
deleted file mode 100644
index 5580182b..00000000
--- a/test/errors/high-form/Printf.fir
+++ /dev/null
@@ -1,16 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-
-circuit Top :
- module Top :
- input x : {y : UInt<1>}
- input p : UInt<1>
- input clk : Clock
- printf(clk,p,"Hello World%!\n",x)
- printf(clk,p,"Hello World%")
- printf(clk,p,"Hello World%d %s %h %x",x,x,x)
-
-;CHECK: Bad printf format: "%!"
-;CHECK: Bad printf format: trailing "%"
-;CHECK: Bad printf format: incorrect number of arguments
-;CHECK: Bad printf format: "%h"
-;CHECK: Bad printf format: incorrect number of arguments
diff --git a/test/errors/high-form/RemoveChar.fir b/test/errors/high-form/RemoveChar.fir
deleted file mode 100644
index aa5e8227..00000000
--- a/test/errors/high-form/RemoveChar.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Done!
-
-circuit Top :
- module Top :
- wire x_1 : UInt<1>
- x_1 <= UInt(1)
- wire x : UInt<1>
- x <= add(add(UInt(1),UInt(1)),UInt(1))
-
-
-
diff --git a/test/errors/high-form/RemoveScope.fir b/test/errors/high-form/RemoveScope.fir
deleted file mode 100644
index 63dfb4de..00000000
--- a/test/errors/high-form/RemoveScope.fir
+++ /dev/null
@@ -1,18 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; XFAIL: *
-; CHECK: Done!
-
-circuit Top :
- module Top :
- wire x : UInt<1>
- node p = UInt(1)
- when p :
- wire x : UInt<1>
- x <= UInt(1)
- node y = add(x,UInt(1))
- else :
- wire x : UInt<1>
- x <= UInt(1)
- node z = add(x,UInt(1))
- x <= UInt(1)
- node w = add(x,UInt(1))
diff --git a/test/errors/high-form/SpecialChars.fir b/test/errors/high-form/SpecialChars.fir
deleted file mode 100644
index 85911c06..00000000
--- a/test/errors/high-form/SpecialChars.fir
+++ /dev/null
@@ -1,35 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Done!
-
-circuit Top :
- module Top :
- wire x : UInt<1>
- x <= UInt(1)
- wire x~y : UInt<2>
- x~y <= UInt(1)
- wire x!y : UInt<2>
- x!y <= UInt(1)
- wire x@y : UInt<2>
- x@y <= UInt(1)
- wire x#y : UInt<2>
- x#y <= UInt(1)
- wire x%y : UInt<2>
- x%y <= UInt(1)
- wire x^y : UInt<2>
- x^y <= UInt(1)
- wire x*y : UInt<2>
- x*y <= UInt(1)
- wire x-y : UInt<2>
- x-y <= UInt(1)
- wire x_y : UInt<2>
- x_y <= UInt(1)
- wire x+y : UInt<2>
- x+y <= UInt(1)
- wire x=y : UInt<2>
- x=y <= UInt(1)
- wire x?y : UInt<2>
- x?y <= UInt(1)
- wire x/y : UInt<2>
- x/y <= UInt(1)
-
-
diff --git a/test/errors/high-form/Top.fir b/test/errors/high-form/Top.fir
deleted file mode 100644
index ddeb9c3b..00000000
--- a/test/errors/high-form/Top.fir
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-
-; CHECK: A single module must be named Top.
-
-circuit Top :
- module Top1 :
- wire x : UInt<1>
- module Top2 :
- wire x : UInt<1>
diff --git a/test/errors/high-form/Unique.fir b/test/errors/high-form/Unique.fir
deleted file mode 100644
index 60201b92..00000000
--- a/test/errors/high-form/Unique.fir
+++ /dev/null
@@ -1,16 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-
-; CHECK: Reference x does not have a unique name.
-; CHECK: Reference p does not have a unique name.
-; CHECK-NOT: Reference q does not have a unique name.
-
-circuit Top :
- module Top :
- wire x : UInt<1>
- wire x : UInt<2>
- wire p : UInt<3>
- wire q : UInt<3>
- when p :
- wire p : UInt<4>
- module Other :
- wire q : UInt<3>
diff --git a/test/errors/init/Output.fir b/test/errors/init/Output.fir
deleted file mode 100644
index 0b7a7f80..00000000
--- a/test/errors/init/Output.fir
+++ /dev/null
@@ -1,10 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Reference y is not fully initialized.
-
-circuit Top :
- module Top :
- input clk : Clock
- wire y : UInt<1>
-
- when UInt(0) :
- y <= UInt(1)
diff --git a/test/errors/parser/InstanceNotRef.fir b/test/errors/parser/InstanceNotRef.fir
deleted file mode 100644
index 0760f168..00000000
--- a/test/errors/parser/InstanceNotRef.fir
+++ /dev/null
@@ -1,8 +0,0 @@
-; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s
-; CHECK: FIRRTL Parsing Error: Expected a statement here.
-
-circuit Top :
- module Top :
- wire x : UInt<1>
- inst t of add(UInt(1),UInt(1))
-
diff --git a/test/errors/parser/Nested-Module.fir b/test/errors/parser/Nested-Module.fir
deleted file mode 100644
index 3f06db76..00000000
--- a/test/errors/parser/Nested-Module.fir
+++ /dev/null
@@ -1,6 +0,0 @@
-; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s
-; CHECK: FIRRTL Parsing Error: Expected a statement here.
-
-circuit Nested-Module :
- module Top :
- module Child :
diff --git a/test/errors/parser/Statements-in-Circuit.fir b/test/errors/parser/Statements-in-Circuit.fir
deleted file mode 100644
index 5f675e82..00000000
--- a/test/errors/parser/Statements-in-Circuit.fir
+++ /dev/null
@@ -1,5 +0,0 @@
-; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s
-; CHECK: FIRRTL Parsing Error: Expected a module declaration here.
-
-circuit Statement-in-Circuit :
- node x : UInt(1)
diff --git a/test/errors/type/AccessIndexUInt.fir b/test/errors/type/AccessIndexUInt.fir
deleted file mode 100644
index d47bb7c6..00000000
--- a/test/errors/type/AccessIndexUInt.fir
+++ /dev/null
@@ -1,8 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-;CHECK: AccessIndexUInt.fir@8.4: [module Top] Access index must be a UInt type.
-circuit Top :
- module Top :
- input b : UInt<32>[62]
- input a : SInt<8>
- output c : UInt<32>
- c <= b[a]
diff --git a/test/errors/type/BulkConnect.fir b/test/errors/type/BulkConnect.fir
deleted file mode 100644
index 26f5c156..00000000
--- a/test/errors/type/BulkConnect.fir
+++ /dev/null
@@ -1,32 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-;CHECK: BulkConnect.fir@10.4: [module Top] Type mismatch.
-;CHECK: BulkConnect.fir@14.4: [module Top] Type mismatch.
-;CHECK: BulkConnect.fir@26.4: [module Top] Type mismatch.
-;CHECK: BulkConnect.fir@30.4: [module Top] Type mismatch.
-circuit Top :
- module Top :
- wire a : { w : UInt<42>}
- wire b : { w : SInt<42>}
- a <- b
-
- wire c : { w : UInt<10>}
- wire d : { flip w : UInt<12> }
- c <- d
-
- wire e : { w : UInt<10>}
- wire f : { x : UInt<12> }
- e <- f
-
- wire g : { w : { y : UInt<10> }}
- wire h : { w : { x : UInt<12> }}
- g <- h
-
- wire i : { w : { flip y : UInt<10> }}
- wire j : { w : { y : UInt<12> }}
- i <- j
-
- wire k : { w : { y : SInt<10> }}
- wire l : { w : { y : UInt<12> }}
- k <- l
-
-
diff --git a/test/errors/type/MuxWithFlips.fir b/test/errors/type/MuxWithFlips.fir
deleted file mode 100644
index 9a8b2170..00000000
--- a/test/errors/type/MuxWithFlips.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: [module Top] Must mux between passive types.
-; CHECK: [module Top] A mux condition must be of type UInt.
-
-circuit Top :
- module Top :
- input c : SInt<1>
- input x : {x : UInt, flip y : UInt}
- input y : {x : UInt, flip y : UInt}
- output z : {x : UInt, flip y : UInt}
- z <= mux(c,x,y)
-
diff --git a/test/errors/type/NodeWithFlips.fir b/test/errors/type/NodeWithFlips.fir
deleted file mode 100644
index 2030955f..00000000
--- a/test/errors/type/NodeWithFlips.fir
+++ /dev/null
@@ -1,8 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Node must be a passive type.
-
-circuit Top :
- module Top :
- wire x : {x : UInt, flip y : UInt}
- node z = x
-
diff --git a/test/errors/type/Primop.fir b/test/errors/type/Primop.fir
deleted file mode 100644
index dcf19935..00000000
--- a/test/errors/type/Primop.fir
+++ /dev/null
@@ -1,13 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Must mux between equivalent types.
-; CHECK: Primop add cannot operate on non-ground types.
-; CHECK: A mux condition must be of type UInt.
-
-circuit Top :
- module Top :
- node x = mux(UInt(1),SInt(1),UInt(1))
- wire a : { q : UInt<1> }
- node y = add(a,a)
- node z = bits(SInt<10>(-1),1,2)
- node zz = mux(SInt(1),UInt(1),UInt(1))
-
diff --git a/test/errors/width/Conservative.fir b/test/errors/width/Conservative.fir
deleted file mode 100644
index 43aa648f..00000000
--- a/test/errors/width/Conservative.fir
+++ /dev/null
@@ -1,6 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p ciwT 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Width too small for UIntValue.
-
-circuit Top :
- module Top :
- node bar = UInt<1>("h1111")
diff --git a/test/errors/width/NegWidth.fir b/test/errors/width/NegWidth.fir
deleted file mode 100644
index e02884a8..00000000
--- a/test/errors/width/NegWidth.fir
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p ciwT 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Width cannot be negative or zero.
-
-circuit Top :
- module Top :
- output y : UInt
-
- wire x : UInt<2>
- y <= shr(x,4)
diff --git a/test/errors/width/SmallWidth.fir b/test/errors/width/SmallWidth.fir
deleted file mode 100644
index 0885ba52..00000000
--- a/test/errors/width/SmallWidth.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p ciwT 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Width too small for UIntValue.
-
-circuit Top :
- module Top :
- output z : UInt
-
- z <= add(UInt<4>("h121"),UInt<3>("h13333"))
-
-
-
-
diff --git a/test/errors/width/UninferredWidth.fir b/test/errors/width/UninferredWidth.fir
deleted file mode 100644
index d4cff841..00000000
--- a/test/errors/width/UninferredWidth.fir
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog -p ciwTd 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Uninferred width.
-
-circuit Top :
- module Top :
- input z : UInt
-
-
-
-
-
-