From 734e23d5f0bfc6fcd2a723bc0c692b97e515088e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 4 Sep 2018 17:46:07 +0100
Subject: C: Tweaks to RISC-V to get compiling to C

Revert a change to string_of_bits because it broke all the RISC-V
tests in OCaml. string_of_int (int_of_string x) is not valid because x may not
fit within an integer.
---
 lib/sail.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/sail.h')

diff --git a/lib/sail.h b/lib/sail.h
index 8533cd21..57897957 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -150,6 +150,7 @@ SAIL_INT_FUNCTION(undefined_range, sail_int, const sail_int, const sail_int);
  */
 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(tdiv_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(tmod_int, sail_int, const sail_int, const sail_int);
@@ -162,6 +163,8 @@ SAIL_INT_FUNCTION(min_int, sail_int, const sail_int, const sail_int);
 SAIL_INT_FUNCTION(neg_int, sail_int, const sail_int);
 SAIL_INT_FUNCTION(abs_int, sail_int, const sail_int);
 
+SAIL_INT_FUNCTION(pow_int, sail_int, const sail_int, const sail_int);
+
 SAIL_INT_FUNCTION(pow2, sail_int, const sail_int);
 
 /* ***** Sail bitvectors ***** */
-- 
cgit v1.2.3