improve int addsub coverage + compile time test
This commit is contained in:
andri lim
zah
parent
3189775012
commit
4aff306a6f
|
|
@ -9,6 +9,288 @@
|
||||||
|
|
||||||
import ../stint, unittest
|
import ../stint, unittest
|
||||||
|
|
||||||
|
template chkAddition(chk, a, b, c, bits: untyped) =
|
||||||
|
block:
|
||||||
|
let x = stint(a, bits)
|
||||||
|
let y = stint(b, bits)
|
||||||
|
chk x + y == stint(c, bits)
|
||||||
|
|
||||||
|
template chkInplaceAddition(chk, a, b, c, bits: untyped) =
|
||||||
|
block:
|
||||||
|
var x = stint(a, bits)
|
||||||
|
x += stint(b, bits)
|
||||||
|
chk x == stint(c, bits)
|
||||||
|
|
||||||
|
template chkSubstraction(chk, a, b, c, bits: untyped) =
|
||||||
|
block:
|
||||||
|
let x = stint(a, bits)
|
||||||
|
let y = stint(b, bits)
|
||||||
|
chk x - y == stint(c, bits)
|
||||||
|
|
||||||
|
template chkInplaceSubstraction(chk, a, b, c, bits: untyped) =
|
||||||
|
block:
|
||||||
|
var x = stint(a, bits)
|
||||||
|
x -= stint(b, bits)
|
||||||
|
chk x == stint(c, bits)
|
||||||
|
|
||||||
|
template chkNegation(chk, a, b, bits: untyped) =
|
||||||
|
chk -stint(a, bits) == stint(b, bits)
|
||||||
|
|
||||||
|
template chkAbs(chk, a, b, bits: untyped) =
|
||||||
|
chk stint(a, bits).abs() == stint(b, bits)
|
||||||
|
|
||||||
|
template ctTest(name: string, body: untyped) =
|
||||||
|
body
|
||||||
|
echo "[OK] compile time ", name
|
||||||
|
|
||||||
|
template testAddSub(chk, tst: untyped) =
|
||||||
|
tst "addition":
|
||||||
|
chkAddition(chk, 0'i8, 0'i8, 0'i8, 8)
|
||||||
|
chkAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 8)
|
||||||
|
chkAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 8)
|
||||||
|
|
||||||
|
chkAddition(chk, 0'i8, 0'i8, 0'i8, 16)
|
||||||
|
chkAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 16)
|
||||||
|
chkAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 16)
|
||||||
|
chkAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 16)
|
||||||
|
chkAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 16)
|
||||||
|
|
||||||
|
chkAddition(chk, 0'i8, 0'i8, 0'i8, 32)
|
||||||
|
chkAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 32)
|
||||||
|
chkAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 32)
|
||||||
|
chkAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 32)
|
||||||
|
chkAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 32)
|
||||||
|
chkAddition(chk, high(int32) - 17'i32, 17'i32, high(int32), 32)
|
||||||
|
chkAddition(chk, low(int32) + 17'i32, 17'i32, low(int32) + 34'i32, 32)
|
||||||
|
|
||||||
|
chkAddition(chk, 0'i8, 0'i8, 0'i8, 64)
|
||||||
|
chkAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 64)
|
||||||
|
chkAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 64)
|
||||||
|
chkAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 64)
|
||||||
|
chkAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 64)
|
||||||
|
chkAddition(chk, high(int32) - 17'i32, 17'i32, high(int32), 64)
|
||||||
|
chkAddition(chk, low(int32) + 17'i32, 17'i32, low(int32) + 34'i32, 64)
|
||||||
|
chkAddition(chk, high(int64) - 17'i64, 17'i64, high(int64), 64)
|
||||||
|
chkAddition(chk, low(int64) + 17'i64, 17'i64, low(int64) + 34'i64, 64)
|
||||||
|
|
||||||
|
chkAddition(chk, 0'i8, 0'i8, 0'i8, 128)
|
||||||
|
chkAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 128)
|
||||||
|
chkAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 128)
|
||||||
|
chkAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 128)
|
||||||
|
chkAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 128)
|
||||||
|
chkAddition(chk, high(int32) - 17'i32, 17'i32, high(int32), 128)
|
||||||
|
chkAddition(chk, low(int32) + 17'i32, 17'i32, low(int32) + 34'i32, 128)
|
||||||
|
chkAddition(chk, high(int64) - 17'i64, 17'i64, high(int64), 128)
|
||||||
|
chkAddition(chk, low(int64) + 17'i64, 17'i64, low(int64) + 34'i64, 128)
|
||||||
|
|
||||||
|
tst "inplace addition":
|
||||||
|
chkInplaceAddition(chk, 0'i8, 0'i8, 0'i8, 8)
|
||||||
|
chkInplaceAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 8)
|
||||||
|
chkInplaceAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 8)
|
||||||
|
|
||||||
|
chkInplaceAddition(chk, 0'i8, 0'i8, 0'i8, 16)
|
||||||
|
chkInplaceAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 16)
|
||||||
|
chkInplaceAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 16)
|
||||||
|
chkInplaceAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 16)
|
||||||
|
chkInplaceAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 16)
|
||||||
|
|
||||||
|
chkInplaceAddition(chk, 0'i8, 0'i8, 0'i8, 32)
|
||||||
|
chkInplaceAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 32)
|
||||||
|
chkInplaceAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 32)
|
||||||
|
chkInplaceAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 32)
|
||||||
|
chkInplaceAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 32)
|
||||||
|
chkInplaceAddition(chk, high(int32) - 17'i32, 17'i32, high(int32), 32)
|
||||||
|
chkInplaceAddition(chk, low(int32) + 17'i32, 17'i32, low(int32) + 34'i32, 32)
|
||||||
|
|
||||||
|
chkInplaceAddition(chk, 0'i8, 0'i8, 0'i8, 64)
|
||||||
|
chkInplaceAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 64)
|
||||||
|
chkInplaceAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 64)
|
||||||
|
chkInplaceAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 64)
|
||||||
|
chkInplaceAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 64)
|
||||||
|
chkInplaceAddition(chk, high(int32) - 17'i32, 17'i32, high(int32), 64)
|
||||||
|
chkInplaceAddition(chk, low(int32) + 17'i32, 17'i32, low(int32) + 34'i32, 64)
|
||||||
|
chkInplaceAddition(chk, high(int64) - 17'i64, 17'i64, high(int64), 64)
|
||||||
|
chkInplaceAddition(chk, low(int64) + 17'i64, 17'i64, low(int64) + 34'i64, 64)
|
||||||
|
|
||||||
|
chkInplaceAddition(chk, 0'i8, 0'i8, 0'i8, 128)
|
||||||
|
chkInplaceAddition(chk, high(int8) - 17'i8, 17'i8, high(int8), 128)
|
||||||
|
chkInplaceAddition(chk, low(int8) + 17'i8, 17'i8, low(int8) + 34'i8, 128)
|
||||||
|
chkInplaceAddition(chk, high(int16) - 17'i16, 17'i16, high(int16), 128)
|
||||||
|
chkInplaceAddition(chk, low(int16) + 17'i16, 17'i16, low(int16) + 34'i16, 128)
|
||||||
|
chkInplaceAddition(chk, high(int32) - 17'i32, 17'i32, high(int32), 128)
|
||||||
|
chkInplaceAddition(chk, low(int32) + 17'i32, 17'i32, low(int32) + 34'i32, 128)
|
||||||
|
chkInplaceAddition(chk, high(int64) - 17'i64, 17'i64, high(int64), 128)
|
||||||
|
chkInplaceAddition(chk, low(int64) + 17'i64, 17'i64, low(int64) + 34'i64, 128)
|
||||||
|
|
||||||
|
tst "substraction":
|
||||||
|
chkSubstraction(chk, 0'i8, 0'i8, 0'i8, 8)
|
||||||
|
chkSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 8)
|
||||||
|
chkSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 8)
|
||||||
|
|
||||||
|
chkSubstraction(chk, 0'i8, 0'i8, 0'i8, 16)
|
||||||
|
chkSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 16)
|
||||||
|
chkSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 16)
|
||||||
|
chkSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 16)
|
||||||
|
chkSubstraction(chk, low(int16) + 17'i16, 17'i16, low(int16), 16)
|
||||||
|
|
||||||
|
chkSubstraction(chk, 0'i8, 0'i8, 0'i8, 32)
|
||||||
|
chkSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 32)
|
||||||
|
chkSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 32)
|
||||||
|
chkSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 32)
|
||||||
|
chkSubstraction(chk, low(int16) + 17'i16, 17'i16, low(int16), 32)
|
||||||
|
chkSubstraction(chk, high(int32) - 17'i32, 17'i32, high(int32) - 34'i32, 32)
|
||||||
|
chkSubstraction(chk, low(int32) + 17'i32, 17'i32, low(int32), 32)
|
||||||
|
|
||||||
|
chkSubstraction(chk, 0'i8, 0'i8, 0'i8, 64)
|
||||||
|
chkSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 64)
|
||||||
|
chkSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 64)
|
||||||
|
chkSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 64)
|
||||||
|
chkSubstraction(chk, low(int16) + 17'i16, 17'i16, low(int16), 64)
|
||||||
|
chkSubstraction(chk, high(int32) - 17'i32, 17'i32, high(int32) - 34'i32, 64)
|
||||||
|
chkSubstraction(chk, low(int32) + 17'i32, 17'i32, low(int32), 64)
|
||||||
|
chkSubstraction(chk, high(int64) - 17'i64, 17'i64, high(int64) - 34'i64, 64)
|
||||||
|
chkSubstraction(chk, low(int64) + 17'i64, 17'i64, low(int64), 64)
|
||||||
|
|
||||||
|
chkSubstraction(chk, 0'i8, 0'i8, 0'i8, 128)
|
||||||
|
chkSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 128)
|
||||||
|
chkSubstraction(chk, -high(int8), -high(int8), 0'i8, 128)
|
||||||
|
chkSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 128)
|
||||||
|
chkSubstraction(chk, -high(int16), -high(int16), 0'i16, 128)
|
||||||
|
chkSubstraction(chk, high(int32) - 17'i32, 17'i32, high(int32) - 34'i32, 128)
|
||||||
|
chkSubstraction(chk, -high(int32), -high(int32), 0'i32, 128)
|
||||||
|
chkSubstraction(chk, high(int64) - 17'i64, 17'i64, high(int64) - 34'i64, 128)
|
||||||
|
chkSubstraction(chk, -high(int64), -high(int64), 0'i64, 128)
|
||||||
|
|
||||||
|
tst "inplace substraction":
|
||||||
|
chkInplaceSubstraction(chk, 0'i8, 0'i8, 0'i8, 8)
|
||||||
|
chkInplaceSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 8)
|
||||||
|
chkInplaceSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 8)
|
||||||
|
|
||||||
|
chkInplaceSubstraction(chk, 0'i8, 0'i8, 0'i8, 16)
|
||||||
|
chkInplaceSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 16)
|
||||||
|
chkInplaceSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 16)
|
||||||
|
chkInplaceSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 16)
|
||||||
|
chkInplaceSubstraction(chk, low(int16) + 17'i16, 17'i16, low(int16), 16)
|
||||||
|
|
||||||
|
chkInplaceSubstraction(chk, 0'i8, 0'i8, 0'i8, 32)
|
||||||
|
chkInplaceSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 32)
|
||||||
|
chkInplaceSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 32)
|
||||||
|
chkInplaceSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 32)
|
||||||
|
chkInplaceSubstraction(chk, low(int16) + 17'i16, 17'i16, low(int16), 32)
|
||||||
|
chkInplaceSubstraction(chk, high(int32) - 17'i32, 17'i32, high(int32) - 34'i32, 32)
|
||||||
|
chkInplaceSubstraction(chk, low(int32) + 17'i32, 17'i32, low(int32), 32)
|
||||||
|
|
||||||
|
chkInplaceSubstraction(chk, 0'i8, 0'i8, 0'i8, 64)
|
||||||
|
chkInplaceSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 64)
|
||||||
|
chkInplaceSubstraction(chk, low(int8) + 17'i8, 17'i8, low(int8), 64)
|
||||||
|
chkInplaceSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 64)
|
||||||
|
chkInplaceSubstraction(chk, low(int16) + 17'i16, 17'i16, low(int16), 64)
|
||||||
|
chkInplaceSubstraction(chk, high(int32) - 17'i32, 17'i32, high(int32) - 34'i32, 64)
|
||||||
|
chkInplaceSubstraction(chk, low(int32) + 17'i32, 17'i32, low(int32), 64)
|
||||||
|
chkInplaceSubstraction(chk, high(int64) - 17'i64, 17'i64, high(int64) - 34'i64, 64)
|
||||||
|
chkInplaceSubstraction(chk, low(int64) + 17'i64, 17'i64, low(int64), 64)
|
||||||
|
|
||||||
|
chkInplaceSubstraction(chk, 0'i8, 0'i8, 0'i8, 128)
|
||||||
|
chkInplaceSubstraction(chk, high(int8) - 17'i8, 17'i8, high(int8) - 34'i8, 128)
|
||||||
|
chkInplaceSubstraction(chk, -high(int8), -high(int8), 0'i8, 128)
|
||||||
|
chkInplaceSubstraction(chk, high(int16) - 17'i16, 17'i16, high(int16) - 34'i16, 128)
|
||||||
|
chkInplaceSubstraction(chk, -high(int16), -high(int16), 0'i16, 128)
|
||||||
|
chkInplaceSubstraction(chk, high(int32) - 17'i32, 17'i32, high(int32) - 34'i32, 128)
|
||||||
|
chkInplaceSubstraction(chk, -high(int32), -high(int32), 0'i32, 128)
|
||||||
|
chkInplaceSubstraction(chk, high(int64) - 17'i64, 17'i64, high(int64) - 34'i64, 128)
|
||||||
|
chkInplaceSubstraction(chk, -high(int64), -high(int64), 0'i64, 128)
|
||||||
|
|
||||||
|
tst "negation":
|
||||||
|
chkNegation(chk, 0, 0, 8)
|
||||||
|
# chkNegation(chk, 128, -128, 8) # TODO: bug #93
|
||||||
|
chkNegation(chk, 127, -127, 8)
|
||||||
|
|
||||||
|
chkNegation(chk, 0, 0, 16)
|
||||||
|
chkNegation(chk, 128, -128, 16)
|
||||||
|
chkNegation(chk, 127, -127, 16)
|
||||||
|
#chkNegation(chk, 32768, -32768, 16) # TODO: bug #93
|
||||||
|
chkNegation(chk, 32767, -32767, 16)
|
||||||
|
|
||||||
|
chkNegation(chk, 0, 0, 32)
|
||||||
|
chkNegation(chk, 128, -128, 32)
|
||||||
|
chkNegation(chk, 127, -127, 32)
|
||||||
|
chkNegation(chk, 32768, -32768, 32)
|
||||||
|
chkNegation(chk, 32767, -32767, 32)
|
||||||
|
#chkNegation(chk, high(int32)+1, low(int32), 32) # TODO: bug #93
|
||||||
|
|
||||||
|
chkNegation(chk, 0, 0, 64)
|
||||||
|
chkNegation(chk, 128, -128, 64)
|
||||||
|
chkNegation(chk, 127, -127, 64)
|
||||||
|
chkNegation(chk, 32768, -32768, 64)
|
||||||
|
chkNegation(chk, 32767, -32767, 64)
|
||||||
|
chkNegation(chk, 2147483648, -2147483648, 64)
|
||||||
|
chkNegation(chk, 2147483647, -2147483647, 64)
|
||||||
|
#chkNegation(chk, 9223372036854775808, -9223372036854775808, 64) # TODO: bug #93
|
||||||
|
|
||||||
|
chkNegation(chk, 0, 0, 128)
|
||||||
|
chkNegation(chk, 128, -128, 128)
|
||||||
|
chkNegation(chk, 127, -127, 128)
|
||||||
|
chkNegation(chk, 32768, -32768, 128)
|
||||||
|
chkNegation(chk, 32767, -32767, 128)
|
||||||
|
chkNegation(chk, 2147483648, -2147483648, 128)
|
||||||
|
chkNegation(chk, 2147483647, -2147483647, 128)
|
||||||
|
#chkNegation(chk, 9223372036854775808, -9223372036854775808, 128) # TODO: bug #93
|
||||||
|
|
||||||
|
tst "absolute integer":
|
||||||
|
chkAbs(chk, 0, 0, 8)
|
||||||
|
chkAbs(chk, -127, 127, 8)
|
||||||
|
chkAbs(chk, -1, 1, 8)
|
||||||
|
chkAbs(chk, 1, 1, 8)
|
||||||
|
chkAbs(chk, 127, 127, 8)
|
||||||
|
|
||||||
|
chkAbs(chk, 0, 0, 16)
|
||||||
|
chkAbs(chk, -127, 127, 16)
|
||||||
|
chkNegation(chk, -32767, 32767, 16)
|
||||||
|
chkAbs(chk, -1, 1, 16)
|
||||||
|
chkAbs(chk, 1, 1, 16)
|
||||||
|
chkAbs(chk, 127, 127, 16)
|
||||||
|
chkAbs(chk, 32767, 32767, 16)
|
||||||
|
|
||||||
|
chkAbs(chk, 0, 0, 32)
|
||||||
|
chkAbs(chk, -127, 127, 32)
|
||||||
|
chkAbs(chk, -32767, 32767, 32)
|
||||||
|
chkAbs(chk, -1, 1, 32)
|
||||||
|
chkAbs(chk, 1, 1, 32)
|
||||||
|
chkAbs(chk, 127, 127, 32)
|
||||||
|
chkAbs(chk, 32767, 32767, 32)
|
||||||
|
chkAbs(chk, -2147483647, 2147483647, 32)
|
||||||
|
chkAbs(chk, 2147483647, 2147483647, 32)
|
||||||
|
|
||||||
|
chkAbs(chk, 0, 0, 64)
|
||||||
|
chkAbs(chk, -127, 127, 64)
|
||||||
|
chkAbs(chk, -32767, 32767, 64)
|
||||||
|
chkAbs(chk, -1, 1, 64)
|
||||||
|
chkAbs(chk, 1, 1, 64)
|
||||||
|
chkAbs(chk, 127, 127, 64)
|
||||||
|
chkAbs(chk, 32767, 32767, 64)
|
||||||
|
chkAbs(chk, -2147483647, 2147483647, 64)
|
||||||
|
chkAbs(chk, 2147483647, 2147483647, 64)
|
||||||
|
chkAbs(chk, -9223372036854775807, 9223372036854775807, 64)
|
||||||
|
chkAbs(chk, 9223372036854775807, 9223372036854775807, 64)
|
||||||
|
|
||||||
|
chkAbs(chk, 0, 0, 128)
|
||||||
|
chkAbs(chk, -127, 127, 128)
|
||||||
|
chkAbs(chk, -32767, 32767, 128)
|
||||||
|
chkAbs(chk, -1, 1, 128)
|
||||||
|
chkAbs(chk, 1, 1, 128)
|
||||||
|
chkAbs(chk, 127, 127, 128)
|
||||||
|
chkAbs(chk, 32767, 32767, 128)
|
||||||
|
chkAbs(chk, -2147483647, 2147483647, 128)
|
||||||
|
chkAbs(chk, 2147483647, 2147483647, 128)
|
||||||
|
chkAbs(chk, -9223372036854775807, 9223372036854775807, 128)
|
||||||
|
chkAbs(chk, 9223372036854775807, 9223372036854775807, 128)
|
||||||
|
|
||||||
|
static:
|
||||||
|
testAddSub(doAssert, ctTest)
|
||||||
|
|
||||||
|
suite "Wider signed int coverage":
|
||||||
|
testAddSub(check, test)
|
||||||
|
|
||||||
suite "Testing signed addition implementation":
|
suite "Testing signed addition implementation":
|
||||||
test "In-place addition gives expected result":
|
test "In-place addition gives expected result":
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue