mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-28 17:04:41 +00:00
116 lines
2.2 KiB
Nim
116 lines
2.2 KiB
Nim
discard """
|
|
targets: "c cpp js"
|
|
"""
|
|
|
|
# Tests unsigned literals and implicit conversion between uints and ints
|
|
|
|
var h8: uint8 = 128
|
|
var h16: uint16 = 32768
|
|
var h32: uint32 = 2147483648'u32
|
|
var h64: uint64 = 9223372036854775808'u64
|
|
var foobar: uint64 = 9223372036854775813'u64 # Issue 728
|
|
|
|
var v8: uint8 = 10
|
|
var v16: uint16 = 10
|
|
var v32: uint32 = 10
|
|
var v64: uint64 = 10
|
|
|
|
# u8 + literal produces u8:
|
|
var a8: uint8 = v8 + 10
|
|
var a16: uint16 = v16 + 10
|
|
|
|
when false:
|
|
var d8 = v8 + 10'i8
|
|
var d16 = v8 + 10'i16
|
|
var d32 = v8 + 10'i32
|
|
|
|
when false:
|
|
# these don't work yet because unsigned.nim is stupid. XXX We need to fix this.
|
|
var f8 = v16 + 10'u8
|
|
var f16 = v16 + 10'u16
|
|
var f32 = v16 + 10'u32
|
|
|
|
var g8 = v32 + 10'u8
|
|
var g16 = v32 + 10'u16
|
|
var g32 = v32 + 10'u32
|
|
|
|
var ar: array[0..20, int]
|
|
var n8 = ar[v8]
|
|
var n16 = ar[v16]
|
|
var n32 = ar[v32]
|
|
var n64 = ar[v64]
|
|
|
|
|
|
block t4176:
|
|
var yyy: uint8 = 0
|
|
yyy = yyy - 127
|
|
doAssert type(yyy) is uint8
|
|
|
|
# bug #13661
|
|
|
|
proc fun(): uint = cast[uint](-1)
|
|
const x0 = fun()
|
|
|
|
doAssert typeof(x0) is uint
|
|
|
|
discard $x0
|
|
|
|
# bug #13671
|
|
|
|
const x1 = cast[uint](-1)
|
|
discard $(x1,)
|
|
|
|
# bug #13698
|
|
let n2: csize_t = 1
|
|
doAssert $n2.int32 == "1"
|
|
|
|
# bug #14616
|
|
|
|
let limit = 1'u64
|
|
|
|
let rangeVar = 0'u64 ..< limit
|
|
|
|
when not defined(gcRefc):
|
|
doAssert repr(rangeVar) == """0 .. 0""", repr(rangeVar)
|
|
|
|
# bug #15210
|
|
|
|
let a3 = not 0'u64
|
|
var success = false
|
|
try:
|
|
discard a3.int64
|
|
except RangeDefect:
|
|
success = true
|
|
|
|
doAssert success, "conversion should fail at runtime"
|
|
|
|
template main() =
|
|
# xxx move all tests under here so it gets tested in CT and RT
|
|
block: # bug #17572
|
|
type T = distinct uint64
|
|
func f(x: uint64): auto =
|
|
let a = T(x)
|
|
(x, a.uint64)
|
|
const x = 1'u64 shl 63 or 7
|
|
const b = T(x)
|
|
doAssert b.uint64 == 9223372036854775815'u64
|
|
doAssert $b.uint64 == "9223372036854775815"
|
|
doAssert f(x) == (9223372036854775815'u64, 9223372036854775815'u64)
|
|
|
|
static: main()
|
|
main()
|
|
|
|
block:
|
|
let a = uint64.high
|
|
let b = uint32.high
|
|
|
|
doAssert a.uint64 == a
|
|
doAssert a.uint32 == uint32.high
|
|
doAssert a.uint16 == uint16.high
|
|
doAssert a.uint8 == uint8.high
|
|
|
|
doAssert b.uint64 == b
|
|
doAssert b.uint32 == b
|
|
doAssert b.uint16 == uint16.high
|
|
doAssert b.uint8 == uint8.high
|