diff options
Diffstat (limited to 'src')
| -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); |