diff options
Diffstat (limited to 'test/builtins/unsigned2.sail')
| -rw-r--r-- | test/builtins/unsigned2.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/builtins/unsigned2.sail b/test/builtins/unsigned2.sail index dea6d9c5..9d0482b3 100644 --- a/test/builtins/unsigned2.sail +++ b/test/builtins/unsigned2.sail @@ -3,6 +3,8 @@ default Order dec $include <exception_basic.sail> $include <vector_dec.sail> +overload zero_extend = {sail_zero_extend} + function main (() : unit) -> unit = { assert(unsigned(zero_extend(0x21ad18, 52)) == 2207000); assert(unsigned(zero_extend(0x21ad1c, 52)) == 2207004); |