summaryrefslogtreecommitdiff
path: root/src/lem_interp
diff options
context:
space:
mode:
authorKathy Gray2016-02-05 13:13:18 +0000
committerKathy Gray2016-02-05 13:13:42 +0000
commite148fa2ae5686c13d319d960c798cc542066be8c (patch)
treef7b1c931b4aa72a6bd501b7584d27d9229a0c3ee /src/lem_interp
parenta9c9ebaf06ea86af4f8540ff27b6b645138fb150 (diff)
change signed mod behaviour for numbers to match that of vectors
Diffstat (limited to 'src/lem_interp')
-rw-r--r--src/lem_interp/interp_lib.lem1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index d494ab12..c16b6c3d 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -686,6 +686,7 @@ let library_functions direction = [
("bitwise_rightshift", shift_op_vec ">>");
("bitwise_rotate", shift_op_vec "<<<");
("modulo", arith_op_no0 (mod));
+ ("mod_signed", arith_op_no0 hardwaer_mod);
("mod_vec", arith_op_vec_no0 hardware_mod "mod" Unsigned 1);
("mod_vec_range", arith_op_vec_range_no0 hardware_mod "mod" Unsigned 1);
("mod_signed_vec", arith_op_vec_no0 hardware_mod "mod" Signed 1);