sail/test/mono/pass/rewrites, branch sail2 Formal specification language for ISAs Fix typo a mono_rewrites definition 2020-09-07T12:40:24+00:00 Brian Campbell 2020-09-07T10:40:37+00:00 19573d9ce8448f8296195fe1990a6d88593b57f1 - 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) 
- 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)