From ca08c98c36a11e9c80c35e616347d26a0426a3c6 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 14 Jul 2014 15:12:18 +0100
Subject: Initial support for aliases and exit through the type system and the
 interpreter. An alias can be read within the interpreter, but not written to.
 Exits aren't yet taken in the interpreter.

---
 src/test/regbits.sail | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/test')

diff --git a/src/test/regbits.sail b/src/test/regbits.sail
index ed2a95e0..46343d67 100644
--- a/src/test/regbits.sail
+++ b/src/test/regbits.sail
@@ -8,12 +8,19 @@
 register (xer) XER
 register (bit) query
 
+register alias CA = XER.CA
+register alias Fo = XER[35]
+register alias foobar = XER[35..36]
+
 function (bit[64]) main _ = {
   XER := 0b0101010101010101010101010101010101010101010101010101010101010010;
   f := XER;
   (bit[7]) foo := XER[57..63];
   query := XER.SO;
   XER.SO := 0;
+  query := CA;
+  query := Fo;
   XER.FOOBAR := 0b11;
+  XER.FOOBAR := foobar;
   XER }
 
-- 
cgit v1.2.3