Files
Nim/tests/int/tunsignedcomp.nim
metagn b97d603cd0 some test cleanups & category reorganization (#22010)
* clean up some test categories

* mention exact slice issue

* magics into system

* move trangechecks into overflow

* move tmemory to system

* try fix CI

* try fix CI

* final CI fix
2023-06-06 06:54:07 +02:00

137 lines
2.8 KiB
Nim

discard """
output: ''''''
disabled: "true"
"""
# All operations involving uint64 are commented out
# as they're not yet supported.
# All other operations are handled by implicit conversions from uints to ints
# uint64 could be supported but would need special implementation of the operators
# unsigned < signed
doAssert 10'u8 < 20'i8
doAssert 10'u8 < 20'i16
doAssert 10'u8 < 20'i32
doAssert 10'u8 < 20'i64
doAssert 10'u16 < 20'i8
doAssert 10'u16 < 20'i16
doAssert 10'u16 < 20'i32
doAssert 10'u16 < 20'i64
doAssert 10'u32 < 20'i8
doAssert 10'u32 < 20'i16
doAssert 10'u32 < 20'i32
doAssert 10'u32 < 20'i64
# doAssert 10'u64 < 20'i8
# doAssert 10'u64 < 20'i16
# doAssert 10'u64 < 20'i32
# doAssert 10'u64 < 20'i64
# signed < unsigned
doAssert 10'i8 < 20'u8
doAssert 10'i8 < 20'u16
doAssert 10'i8 < 20'u32
# doAssert 10'i8 < 20'u64
doAssert 10'i16 < 20'u8
doAssert 10'i16 < 20'u16
doAssert 10'i16 < 20'u32
# doAssert 10'i16 < 20'u64
doAssert 10'i32 < 20'u8
doAssert 10'i32 < 20'u16
doAssert 10'i32 < 20'u32
# doAssert 10'i32 < 20'u64
doAssert 10'i64 < 20'u8
doAssert 10'i64 < 20'u16
doAssert 10'i64 < 20'u32
# doAssert 10'i64 < 20'u64
# unsigned <= signed
doAssert 10'u8 <= 20'i8
doAssert 10'u8 <= 20'i16
doAssert 10'u8 <= 20'i32
doAssert 10'u8 <= 20'i64
doAssert 10'u16 <= 20'i8
doAssert 10'u16 <= 20'i16
doAssert 10'u16 <= 20'i32
doAssert 10'u16 <= 20'i64
doAssert 10'u32 <= 20'i8
doAssert 10'u32 <= 20'i16
doAssert 10'u32 <= 20'i32
doAssert 10'u32 <= 20'i64
# doAssert 10'u64 <= 20'i8
# doAssert 10'u64 <= 20'i16
# doAssert 10'u64 <= 20'i32
# doAssert 10'u64 <= 20'i64
# signed <= unsigned
doAssert 10'i8 <= 20'u8
doAssert 10'i8 <= 20'u16
doAssert 10'i8 <= 20'u32
# doAssert 10'i8 <= 20'u64
doAssert 10'i16 <= 20'u8
doAssert 10'i16 <= 20'u16
doAssert 10'i16 <= 20'u32
# doAssert 10'i16 <= 20'u64
doAssert 10'i32 <= 20'u8
doAssert 10'i32 <= 20'u16
doAssert 10'i32 <= 20'u32
# doAssert 10'i32 <= 20'u64
doAssert 10'i64 <= 20'u8
doAssert 10'i64 <= 20'u16
doAssert 10'i64 <= 20'u32
# doAssert 10'i64 <= 20'u64
# signed == unsigned
doAssert 10'i8 == 10'u8
doAssert 10'i8 == 10'u16
doAssert 10'i8 == 10'u32
# doAssert 10'i8 == 10'u64
doAssert 10'i16 == 10'u8
doAssert 10'i16 == 10'u16
doAssert 10'i16 == 10'u32
# doAssert 10'i16 == 10'u64
doAssert 10'i32 == 10'u8
doAssert 10'i32 == 10'u16
doAssert 10'i32 == 10'u32
# doAssert 10'i32 == 10'u64
doAssert 10'i64 == 10'u8
doAssert 10'i64 == 10'u16
doAssert 10'i64 == 10'u32
# doAssert 10'i64 == 10'u64
# unsigned == signed
doAssert 10'u8 == 10'i8
doAssert 10'u8 == 10'i16
doAssert 10'u8 == 10'i32
# doAssert 10'u8 == 10'i64
doAssert 10'u16 == 10'i8
doAssert 10'u16 == 10'i16
doAssert 10'u16 == 10'i32
# doAssert 10'u16 == 10'i64
doAssert 10'u32 == 10'i8
doAssert 10'u32 == 10'i16
doAssert 10'u32 == 10'i32
# doAssert 10'u32 == 10'i64
# doAssert 10'u64 == 10'i8
# doAssert 10'u64 == 10'i16
# doAssert 10'u64 == 10'i32
# doAssert 10'u64 == 10'i64