diff options
| author | Robert Norton | 2019-05-30 14:45:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-05-30 14:45:49 +0100 |
| commit | 308207df86f824501efec740532f45e617da1a2e (patch) | |
| tree | 58dbafded5abf3777aa98054a06237b02dbab6f2 /src/sail_lib.ml | |
| parent | 101065d9c2c7f0d84f352019f157db9b1498a31a (diff) | |
Implement ones builtin in sail_lib and add to interpreter. However currently this is implemented in lib/vector_dec.sail as sail function that calls not_vec on sail_zeros.
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 13ed491b..21d95e64 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -728,6 +728,7 @@ let sign_extend (vec, n) = | B1 :: _ as vec -> replicate_bits ([B1], Big_int.of_int (m - List.length vec)) @ vec let zeros n = replicate_bits ([B0], n) +let ones n = replicate_bits ([B1], n) let shift_bits_right_arith (x, y) = let ybi = uint(y) in |