status-im
/
constantine
mirror of https://github.com/status-im/constantine.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Support 1.0+ int128 (can't use magic for bitnot)

This commit is contained in:
Mamy André-Ratsimbazafy 2020-02-08 13:28:43 +01:00
parent 8229bf384b
commit f18a958d5e
No known key found for this signature in database
GPG Key ID: 7B88AD1FE79492E1
2 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
constantine/word_types.nim
View File

@ -68,7 +68,11 @@ func high*(T: typedesc[Ct]): T {.inline.}=
func `and`*[T: Ct](x, y: T): T {.magic: "BitandI".}
func `or`*[T: Ct](x, y: T): T {.magic: "BitorI".}
func `xor`*[T: Ct](x, y: T): T {.magic: "BitxorI".}
func `not`*[T: Ct](x: T): T {.magic: "BitnotI".}
# func `not`*[T: Ct](x: T): T {.magic: "BitnotI".} # int128 changes broke the magic
template `not`*[T: Ct](x: T): T =
# Note: T.T is Ct.T is the conversion to the base type
T(not T.T(x))
func `+`*[T: Ct](x, y: T): T {.magic: "AddU".}
func `+=`*[T: Ct](x: var T, y: T): T {.magic: "Inc".}
func `-`*[T: Ct](x, y: T): T {.magic: "SubU".}

8
tests/test_word_types.nim
View File

@ -19,11 +19,11 @@ suite "Constant-time unsigned integers":
test "High - getting the biggest representable number":
check:
high(Ct[byte]).undistinct == 0xFF.byte
high(Ct[uint8]).undistinct == 0xFF.uint8
high(Ct[uint8]).undistinct == 0xFF'u8
high(Ct[uint16]).undistinct == 0xFFFF.uint16
high(Ct[uint32]).undistinct == 0xFFFFFFFF.uint32
high(Ct[uint64]).undistinct == 0xFFFFFFFF_FFFFFFFF.uint64
high(Ct[uint16]).undistinct == 0xFFFF'u16
high(Ct[uint32]).undistinct == 0xFFFFFFFF'u32
high(Ct[uint64]).undistinct == 0xFFFFFFFF_FFFFFFFF'u64
test "bitwise `and`, `or`, `xor`, `not`":
let x1 = rand(high(int)).uint64