From 6be9047cff82cdbb1c52135e80b373c9c44d36f2 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 14 Feb 2014 18:20:29 +0000
Subject: Attempt multi-byte memory read and write

Test seems to fail for some reason, probably endianess and off-by-one
bugs all over the place. Needs debugging code to monitor memory
updates and display bitvectors in a compact way.
---
 src/test/test3.sail | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'src/test')

diff --git a/src/test/test3.sail b/src/test/test3.sail
index e6bf4cdd..0ffab6ae 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -4,10 +4,16 @@ register nat dummy_reg
    memory-writing functions are figured out syntactically. *)
 val  nat -> nat effect { wmem , rmem }  MEM
 val  nat -> nat effect { wmem , rmem }  MEM_GPU
-val ( nat * nat ) -> nat effect { wmem , rmem }  MEM_SIZE
+val ( nat * nat ) -> (bit[8]) effect { wmem , rmem }  MEM_SIZE
 
 val  nat -> (bit[8]) effect { wmem , rmem }  MEM_WORD
 
+(* XXX types are wrong *)
+val extern forall Type 'a . 'a -> nat effect pure to_num_inc = "to_num_inc"
+val extern forall Type 'a . 'a -> nat effect pure to_num_dec = "to_num_dec"
+val extern forall Type 'a . nat -> 'a effect pure to_vec_inc = "to_vec_inc"
+val extern forall Type 'a . nat -> 'a effect pure to_vec_dec = "to_vec_dec"
+
 function unit ignore(x) = ()
 
 (* extern functions *)
@@ -43,8 +49,10 @@ function nat main _ = {
   ignore(MEM(1));
   MEM_GPU(0) := 3;
   ignore(MEM_GPU(0));
-  MEM_SIZE(0,1) := 4;
+  MEM_SIZE(0,1) := 0b11110000;
   ignore(MEM_SIZE(0,1));
+  MEM_SIZE(0,2) := 0b1111000010100000;
+  ignore(MEM_SIZE(0,2));
 
   (* extern calls *)
   ignore(3 + 39);
-- 
cgit v1.2.3