Fix typo a mono_rewrites definition

- add tests for a couple of related rewrites
- accept same range of constants for sign extension in the rewrite as for
  the zero extension version (to make the test simpler)

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail
index 3efc028a..b24bb152 100644
--- a/lib/mono_rewrites.sail
+++ b/lib/mono_rewrites.sail
@@ -165,7 +165,7 @@ val place_subrange_signed : forall 'n 'm, 'n >= 0 & 'm >= 0.
   (implicit('m), bits('n), int, int, int) -> bits('m) effect pure
 
 function place_subrange_signed(m,xs,i,j,shift) = {
-  place_slice_signed(m, xs, i, i-j+1, shift)
+  place_slice_signed(m, xs, j, i-j+1, shift)
 }
 
 /* This has different names in the aarch64 prelude (UInt) and the other