aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
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]