From 5aa26527f071d2ca093455db39e5cd9273f35e95 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Mar 2014 19:09:52 +0000
Subject: Treat registers as values when not being actively read or written to,
 so that we can have a vector of registers for example. Also, register types
 can be explicitly referenced.

---
 src/test/vectors.sail | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/test')

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index f7872be8..353444e5 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -7,6 +7,8 @@ register (bit[10]) slice_check
 
 register nat match_success
 
+let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [slice_check,slice_check,slice_check]
+
 function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1
 and decode x = match_success := x
 
@@ -16,6 +18,9 @@ function bit main _ = {
   slice_check := v3[1..10];
   slice_check := v3[5..10];
 
+  gpr_small[1] := v3;
+  slice_check := gpr_small[1];
+ 
   i := [bitzero, bitzero, bitone, bitzero];
 
   (* literal match *)
-- 
cgit v1.2.3