From 4636890b0d4fd133fc2a860d179d5829650fe6ed Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 8 Dec 2015 21:32:34 +0000
Subject: wreg effects and tags now proper for LEXP_field, LEXP_vector
 LEXP_vector_range for sub register writes. Closes issue #23

---
 src/lem_interp/interp.lem | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index ac4fd347..0eaf2741 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -2550,6 +2550,13 @@ and create_write_message_or_update mode t_level value l_env l_mem is_top_level (
 		    update_vector_slice mode.track_lmem v value n1 n2 lm, l_env), Nothing)
                 | (V_vector m inc vs,false) ->
                   ((Value (slice_vector v n1 n2),lm,l_env), Just (next_builder lexp_builder))
+                | (V_register regform,true) ->
+		  let start_pos = reg_start_pos regform in
+                  let reg_size = reg_size regform in
+		  ((Action (Write_reg regform (Just (n1,n2)) (update_vector_start default_dir start_pos reg_size v)) 
+		      (mk_thunk l annot t_level l_env l_mem),
+		      l_mem,l_env),
+                     Just (next_builder lexp_builder))
 		| (V_unknown,_) -> 
 		  let inc =  n1 < n2 in
 		  let start = if inc then n1 else (n2-1) in
-- 
cgit v1.2.3