From 8265e2e67e39f2d313a74bccb6dd45d85f706f3a Mon Sep 17 00:00:00 2001
From: azidar
Date: Sun, 24 Jan 2016 16:30:50 -0800
Subject: Added muxing on passive aggregate types

---
 test/errors/high-form/NumArgs.fir  |  2 --
 test/errors/type/MuxWithFlips.fir  | 12 ++++++++++++
 test/errors/type/NodeWithFlips.fir |  2 +-
 test/errors/type/Primop.fir        |  4 ++--
 4 files changed, 15 insertions(+), 5 deletions(-)
 create mode 100644 test/errors/type/MuxWithFlips.fir

(limited to 'test/errors')

diff --git a/test/errors/high-form/NumArgs.fir b/test/errors/high-form/NumArgs.fir
index 6c083905..7db78509 100644
--- a/test/errors/high-form/NumArgs.fir
+++ b/test/errors/high-form/NumArgs.fir
@@ -1,11 +1,9 @@
 ; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Primop mux requires 3 expression arguments.
 ; CHECK: Primop add requires 2 expression arguments.
 ; CHECK: Primop bits requires 2 integer arguments.
 
 circuit Top : 
   module Top : 
-    node x = mux(UInt(1),UInt(1))
     node y = add(SInt(1),UInt(1),UInt(1))
     node z = bits(UInt(1),1,2,3)
 
diff --git a/test/errors/type/MuxWithFlips.fir b/test/errors/type/MuxWithFlips.fir
new file mode 100644
index 00000000..9a8b2170
--- /dev/null
+++ b/test/errors/type/MuxWithFlips.fir
@@ -0,0 +1,12 @@
+; 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
index 0b8b9e6b..2030955f 100644
--- a/test/errors/type/NodeWithFlips.fir
+++ b/test/errors/type/NodeWithFlips.fir
@@ -1,5 +1,5 @@
 ; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Node must be a ground type.
+; CHECK: Node must be a passive type.
 
 circuit Top : 
   module Top : 
diff --git a/test/errors/type/Primop.fir b/test/errors/type/Primop.fir
index f687c754..dcf19935 100644
--- a/test/errors/type/Primop.fir
+++ b/test/errors/type/Primop.fir
@@ -1,7 +1,7 @@
 ; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
-; CHECK: Primop mux requires all operands to have the same type.
+; CHECK: Must mux between equivalent types.
 ; CHECK: Primop add cannot operate on non-ground types.
-; CHECK: Primop mux requires argument SInt("h1") to be a UInt type.
+; CHECK: A mux condition must be of type UInt.
 
 circuit Top : 
   module Top :
-- 
cgit v1.2.3