From 8c4dc0522f2dd075563abc4932022cebb0399417 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 24 Nov 2014 15:20:57 +0000
Subject: Updated library

---
 src/lem_interp/interp_lib.lem | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 32443234..8ebf37ec 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -559,14 +559,18 @@ let function_map = [
   ("gt", compare_op (>));
   ("lteq", compare_op (<=));
   ("gteq", compare_op (>=));
-  ("lt_vec", compare_op_vec (<) Unsigned);
-  ("gt_vec", compare_op_vec (>) Unsigned);
-  ("lteq_vec", compare_op_vec (<=) Unsigned);
-  ("gteq_vec", compare_op_vec (>=) Unsigned);
+  ("lt_vec", compare_op_vec (<) Signed);
+  ("gt_vec", compare_op_vec (>) Signed);
+  ("lteq_vec", compare_op_vec (<=) Signed);
+  ("gteq_vec", compare_op_vec (>=) Signed);
   ("lt_vec_signed", compare_op_vec (<) Signed);
   ("gt_vec_signed", compare_op_vec (>) Signed);
   ("lteq_vec_signed", compare_op_vec (<=) Signed);
   ("gteq_vec_signed", compare_op_vec (>=) Signed);
+  ("lt_vec_unsigned", compare_op_vec (<) Unsigned);
+  ("gt_vec_unsigned", compare_op_vec (>) Unsigned);
+  ("lteq_vec_unsigned", compare_op_vec (<=) Unsigned);
+  ("gteq_vec_unsigned", compare_op_vec (>=) Unsigned);
   ("ltu", compare_op_vec_unsigned (<));
   ("gtu", compare_op_vec_unsigned (>));
   ("duplicate", duplicate);
-- 
cgit v1.2.3