diff options
Diffstat (limited to 'mips/prelude.sail')
| -rw-r--r-- | mips/prelude.sail | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/mips/prelude.sail b/mips/prelude.sail index 1c1a38ce..76638c68 100644 --- a/mips/prelude.sail +++ b/mips/prelude.sail @@ -149,11 +149,14 @@ union exception = { Error_internal_error : unit } -val sign_extend : forall 'n 'm , 'm >= 'n . bits('n) -> bits('m) -val zero_extend : forall 'n 'm , 'm >= 'n . bits('n) -> bits('m) +val mips_sign_extend : forall 'n 'm , 'm >= 'n . bits('n) -> bits('m) +val mips_zero_extend : forall 'n 'm , 'm >= 'n . bits('n) -> bits('m) -function sign_extend v = sail_sign_extend(v, sizeof('m)) -function zero_extend v = sail_zero_extend(v, sizeof('m)) +function mips_sign_extend v = sail_sign_extend(v, sizeof('m)) +function mips_zero_extend v = sail_zero_extend(v, sizeof('m)) + +overload sign_extend = {mips_sign_extend} +overload zero_extend = {mips_zero_extend} val zeros : forall 'n, 'n >= 0 . unit -> bits('n) function zeros() = replicate_bits (0b0,'n) |