1 files changed, 16 insertions, 0 deletions
diff --git a/test/c/small_slice.sail b/test/c/small_slice.sail
new file mode 100644
index 00000000..80878a80
--- /dev/null
+++ b/test/c/small_slice.sail
@@ -0,0 +1,16 @@
+default Order dec
+
+$include <prelude.sail>
+
+function get_16((): unit) -> range(0, 16) = 16
+function get_8((): unit) -> range(0, 16) = 8
+
+function main((): unit) -> unit = {
+  let x = get_16();
+  let y = get_8();
+  let addr = 0x1234_ABCD;
+  let v1 = slice(addr, 16, x);
+  let v2 = slice(addr, 16, y);
+  print_bits("v1 = ", v1);
+  print_bits("v2 = ", v2);
+}
+\ No newline at end of file