5 files changed, 19 insertions, 5 deletions
diff --git a/test/errors/gender/BulkWrong.fir b/test/errors/gender/BulkWrong.fir
new file mode 100644
index 00000000..2b1792aa
--- /dev/null
+++ b/test/errors/gender/BulkWrong.fir
@@ -0,0 +1,12 @@
+; RUN: firrtl -i %s -o %s.v -X verilog -p c | tee %s.out | FileCheck %s
+; CHECK: Expression req is used as a sink but can only be used as a source.
+
+circuit BTB :
+  module BTB : 
+    input clk : Clock
+    input reset : UInt<1>
+    input req : {valid : UInt<1>, bits : {addr : UInt<39>}}
+
+    wire x : {valid : UInt<1>, bits : {addr : UInt<39>}}
+
+    req <> x
diff --git a/test/errors/high-form/Flip-Mem.fir b/test/errors/high-form/Flip-Mem.fir
index 62eba530..c1a3702a 100644
--- a/test/errors/high-form/Flip-Mem.fir
+++ b/test/errors/high-form/Flip-Mem.fir
@@ -1,9 +1,9 @@
 ; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
-; CHECK: Memory m-c cannot be a bundle type with flips.
-; CHECK: Memory m-s cannot be a bundle type with flips.
+; CHECK: Memory mc cannot be a bundle type with flips.
+; CHECK: Memory ms cannot be a bundle type with flips.
 
 circuit Flip-Mem : 
   module Flip-Mem : 
     input clk : Clock
-    cmem m-c : {x : UInt<3>, flip y : UInt<5>}[10], clk
-    smem m-s : {x : UInt<3>, flip y : UInt<5>}[10], clk
+    cmem mc : {x : UInt<3>, flip y : UInt<5>}[10], clk
+    smem ms : {x : UInt<3>, flip y : UInt<5>}[10], clk
diff --git a/test/errors/high-form/Prefix.fir b/test/errors/high-form/Prefix.fir
index 2f0a0247..03908f1c 100644
--- a/test/errors/high-form/Prefix.fir
+++ b/test/errors/high-form/Prefix.fir
@@ -1,5 +1,6 @@
 ; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
 ; CHECK: Reference x$y and x share a prefix.
+; XFAIL: *
 
 circuit Top :
   module Top :
diff --git a/test/errors/high-form/Unique.fir b/test/errors/high-form/Unique.fir
index 26c4c7da..354454fa 100644
--- a/test/errors/high-form/Unique.fir
+++ b/test/errors/high-form/Unique.fir
@@ -1,4 +1,5 @@
 ; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
+; XFAIL: *
 
 ; CHECK: Reference x does not have a unique name.
 ; CHECK: Reference p does not have a unique name.
diff --git a/test/errors/type/Primop.fir b/test/errors/type/Primop.fir
index b3a5dbc6..00bb95a6 100644
--- a/test/errors/type/Primop.fir
+++ b/test/errors/type/Primop.fir
@@ -3,7 +3,7 @@
 ; CHECK: Primop add cannot operate on non-ground types.
 ; CHECK: Primop add cannot operate on non-ground types.
 ; CHECK: Primop bits requires all arguments to be UInt type.
-; CHECK: Primop mux requires argument SInt(1) to be a UInt type.
+; CHECK: Primop mux requires argument SInt("h00000001") to be a UInt type.
 
 circuit Top : 
   module Top :