mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
a3b882930f
While these casts can be implemented by casting via uint, the resulting code is
less readable than code that uses direct casts.
library/uint16.m:
library/uint32.m:
library/uint64.m:
Add cast_from_uint8/1 and cast_to_uint8/1 to these modules.
NEWS:
Announce the above additions.
tests/hard_coded/Mmakefile:
tests/hard_coded/uint{16,32,64}_uint_casts.{m,exp}:
Add tests for the new casts.
28 lines
759 B
Plaintext
28 lines
759 B
Plaintext
cast_from_uint8(0u8) = 0u32
|
|
cast_from_uint8(7u8) = 7u32
|
|
cast_from_uint8(8u8) = 8u32
|
|
cast_from_uint8(15u8) = 15u32
|
|
cast_from_uint8(16u8) = 16u32
|
|
cast_from_uint8(31u8) = 31u32
|
|
cast_from_uint8(32u8) = 32u32
|
|
cast_from_uint8(63u8) = 63u32
|
|
cast_from_uint8(64u8) = 64u32
|
|
cast_from_uint8(127u8) = 127u32
|
|
cast_from_uint8(128u8) = 128u32
|
|
cast_from_uint8(254u8) = 254u32
|
|
cast_from_uint8(255u8) = 255u32
|
|
|
|
cast_to_uint8(0u32) = 0u8
|
|
cast_to_uint8(7u32) = 7u8
|
|
cast_to_uint8(8u32) = 8u8
|
|
cast_to_uint8(15u32) = 15u8
|
|
cast_to_uint8(16u32) = 16u8
|
|
cast_to_uint8(31u32) = 31u8
|
|
cast_to_uint8(32u32) = 32u8
|
|
cast_to_uint8(63u32) = 63u8
|
|
cast_to_uint8(64u32) = 64u8
|
|
cast_to_uint8(127u32) = 127u8
|
|
cast_to_uint8(128u32) = 128u8
|
|
cast_to_uint8(254u32) = 254u8
|
|
cast_to_uint8(255u32) = 255u8
|