1 files changed, 7 insertions, 0 deletions
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 }