diff options
| author | Kathy Gray | 2014-11-24 15:20:57 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-24 15:20:57 +0000 |
| commit | 8c4dc0522f2dd075563abc4932022cebb0399417 (patch) | |
| tree | 8ca74a1e2fde07cd42fb65792fee2ba37b328bd3 /src/lem_interp | |
| parent | 30f405ce57d645acea4f94eca302cdf15107f251 (diff) | |
Updated library
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 12 |
1 files changed, 8 insertions, 4 deletions
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); |