From f4acbce30be2aecdfc491478a24c5eb551824f24 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 22 Mar 2019 16:50:48 +0000
Subject: Tidy up of div and mod operators (C implementation was previously
 inconsistent with ocaml etc.). Rename div and mod builtins to
 ediv_int/emod_int and tdiv_int/tmod_int and add corresponding
 implementations. Add a test with negative operands. This will break existing
 models but will mean users have to think about which versions they want and
 won't accidentally use the wrong one.

---
 lib/sail.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/sail.h')

diff --git a/lib/sail.h b/lib/sail.h
index 5a7722de..666c75fe 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -138,6 +138,8 @@ SAIL_INT_FUNCTION(add_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(sub_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(sub_nat, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(mult_int, sail_int, const sail_int, const sail_int);
+SAIL_INT_FUNCTION(ediv_int, sail_int, const sail_int, const sail_int);
+SAIL_INT_FUNCTION(emod_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(tdiv_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(tmod_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(fdiv_int, sail_int, const sail_int, const sail_int);
-- 
cgit v1.2.3