diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/builtins/slice_mask.sail | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/builtins/slice_mask.sail b/test/builtins/slice_mask.sail new file mode 100644 index 00000000..e694f029 --- /dev/null +++ b/test/builtins/slice_mask.sail @@ -0,0 +1,12 @@ +default Order dec + +$include <exception_basic.sail> +$include <flow.sail> +$include <vector_dec.sail> + +function main (() : unit) -> unit = { + assert(slice_mask(32, 8, 4) == 0x00000F00); + assert(slice_mask(32, 16, 8) == 0x00FF0000); + assert(slice_mask(32, 15, 3) == 0x00038000); + assert(slice_mask(32, 16, 32) == 0xFFFF0000); +} |