aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorazidar2016-01-17 15:05:07 -0800
committerazidar2016-01-17 15:05:07 -0800
commit0b05d1f7203b186233a843cf8bd3e4c6d4149caa (patch)
tree5a808afb613ea6224db12ee7bfddf91be8bf21ab /test
parente19af483fda15bc674087ffde31b174e50526fd6 (diff)
Added check for uint on access index type
Diffstat (limited to 'test')
-rw-r--r--test/errors/type/AccessIndexUInt.fir8
1 files changed, 8 insertions, 0 deletions
diff --git a/test/errors/type/AccessIndexUInt.fir b/test/errors/type/AccessIndexUInt.fir
new file mode 100644
index 00000000..d47bb7c6
--- /dev/null
+++ b/test/errors/type/AccessIndexUInt.fir
@@ -0,0 +1,8 @@
+; 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]