diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/mono_rewrites.sail | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail index 167a2fdd..2958c890 100644 --- a/lib/mono_rewrites.sail +++ b/lib/mono_rewrites.sail @@ -130,6 +130,15 @@ function UInt_slice(xs,i,l) = { UInt(xs) } +val UInt_subrange : forall 'n, 'n >= 0. + (bits('n), int, int) -> int effect pure + +function UInt_subrange(xs,i,j) = { + let xs = (xs & slice_mask(j,i-j)) >> i in + UInt(xs) +} + + val zext_ones : forall 'n, 'n >= 0. int -> bits('n) effect pure function zext_ones(m) = { |