diff options
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 399cc218..2b270e65 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -267,6 +267,8 @@ let hardware_quot (a:integer) (b:integer) : integer = then (a/b) + 1 else a/b +let quot_signed = hardware_quot + let signed_big = signed @@ -588,6 +590,11 @@ let rec repeat xs n = if n = 0 then [] else xs ++ repeat xs (n-1) +(* +let duplicate bit length = + Vector (repeat [bit] length) (if dir then 0 else length - 1) dir + *) + let compare_op op (l,r) = bool_to_bit (op l r) let lt = compare_op (<) |