From e9f592a544316166cc4c095cfd9702c96bccc75f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 23 Nov 2014 17:07:10 +0000
Subject: extern single bit and single bool to instruction_fields

---
 src/lem_interp/interp_inter_imp.lem | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index f979b9d9..1ef14ad0 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -176,6 +176,10 @@ let rec extern_ifield_value v = match v with
   | Interp.V_vector fst inc bits -> bits_from_ibits bits
   | Interp.V_vector_sparse fst stop inc bits default ->
     extern_ifield_value (Interp_lib.fill_in_sparse v)
+  | Interp.V_lit (L_aux L_zero _) -> [Bitc_zero]
+  | Interp.V_lit (L_aux L_false _) -> [Bitc_zero]
+  | Interp.V_lit (L_aux L_one _) ->  [Bitc_one]
+  | Interp.V_lit (L_aux L_true _) -> [Bitc_one]
 end 
 
 let rec slice_reg_value v start stop = 
-- 
cgit v1.2.3