diff options
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 2681d334..d2364397 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -466,3 +466,7 @@ let make_bitvector_undef length = let bitwise_not_range_bit n = bitwise_not (to_vec defaultDir n) + +let mask (n,V bits start dir) = + let current_size = List.length bits in + V (drop (current_size - (natFromInteger n)) bits) (if dir then 0 else (n-1)) dir |