-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathNBKFlexibleWidth+Literals.swift
103 lines (92 loc) · 7.89 KB
/
NBKFlexibleWidth+Literals.swift
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
//=----------------------------------------------------------------------------=
// This source file is part of the Numberick open source project.
//
// Copyright (c) 2023 Oscar Byström Ericsson
// Licensed under Apache License, Version 2.0
//
// See http://www.apache.org/licenses/LICENSE-2.0 for license information.
//=----------------------------------------------------------------------------=
import NBKCoreKit
import NBKFlexibleWidthKit
import XCTest
private typealias X = [UInt]
private typealias X64 = [UInt64]
private typealias X32 = [UInt32]
//*============================================================================*
// MARK: * NBK x Flexible Width x Literals x UIntXL
//*============================================================================*
final class NBKFlexibleWidthTestsOnLiteralsAsUIntXL: XCTestCase {
typealias T = UIntXL
//=------------------------------------------------------------------------=
// MARK: Tests
//=------------------------------------------------------------------------=
func testFromIntegerLiteral() {
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), (0))
XCTAssertEqual(T(x64:[ 10, 0, 0, 0] as X64), (10))
XCTAssertEqual(T(x64:[ 2, 0, 0, 0] as X64), (0b10))
XCTAssertEqual(T(x64:[ 8, 0, 0, 0] as X64), (0o10))
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), (0x10))
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), (0x10))
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), (+0))
XCTAssertEqual(T(x64:[ 10, 0, 0, 0] as X64), (+10))
XCTAssertEqual(T(x64:[ 2, 0, 0, 0] as X64), (+0b10))
XCTAssertEqual(T(x64:[ 8, 0, 0, 0] as X64), (+0o10))
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), (+0x10))
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), (+0x10))
#if SBI && swift(>=5.8)
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), (0x000000000000000000000000000000000000000000000000000000000000000000000000000000))
XCTAssertEqual(T(x64:[ ~0, 0, 0, 0] as X64), (0x00000000000000000000000000000000000000000000000000000000000000ffffffffffffffff))
XCTAssertEqual(T(x64:[ ~0, ~0, 0, 0] as X64), (0x0000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffff))
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, 0] as X64), (0x000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff))
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, ~0] as X64), (0x00000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff))
XCTAssertEqual(T(x64:[ 0, ~0, ~0, ~0] as X64), (0x00000000000000ffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000))
XCTAssertEqual(T(x64:[ 0, 0, ~0, ~0] as X64), (0x00000000000000ffffffffffffffffffffffffffffffff00000000000000000000000000000000))
XCTAssertEqual(T(x64:[ 0, 0, 0, ~0] as X64), (0x00000000000000ffffffffffffffff000000000000000000000000000000000000000000000000))
XCTAssertEqual(T(exactlyIntegerLiteral: (-0x000000000000000000000000000000000000000000000000000000000000000000000000000001)), nil)
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), (00000000000000000000000000000000000000000000000000000000000000000000000000000000))
XCTAssertEqual(T(x64:[ ~0, 0, 0, 0] as X64), (00000000000000000000000000000000000000000000000000000000000018446744073709551615))
XCTAssertEqual(T(x64:[ ~0, ~0, 0, 0] as X64), (00000000000000000000000000000000000000000340282366920938463463374607431768211455))
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, 0] as X64), (00000000000000000000006277101735386680763835789423207666416102355444464034512895))
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, ~0] as X64), (00115792089237316195423570985008687907853269984665640564039457584007913129639935))
XCTAssertEqual(T(x64:[ 0, ~0, ~0, ~0] as X64), (00115792089237316195423570985008687907853269984665640564039439137263839420088320))
XCTAssertEqual(T(x64:[ 0, 0, ~0, ~0] as X64), (00115792089237316195423570985008687907852929702298719625575994209400481361428480))
XCTAssertEqual(T(x64:[ 0, 0, 0, ~0] as X64), (00115792089237316195417293883273301227089434195242432897623355228563449095127040))
XCTAssertEqual(T(exactlyIntegerLiteral: (-00000000000000000000000000000000000000000000000000000000000000000000000000000001)), nil)
#else
XCTAssertEqual(T(integerLiteral: UInt.max), T(x64:[UInt64(UInt.max), 0, 0, 0] as X64))
XCTAssertEqual(T(integerLiteral: UInt.min), T(x64:[UInt64(UInt.min), 0, 0, 0] as X64))
#endif
}
func testFromStringLiteral() {
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), "0")
XCTAssertEqual(T(x64:[ 10, 0, 0, 0] as X64), "10")
XCTAssertEqual(T(x64:[ 2, 0, 0, 0] as X64), "0b10")
XCTAssertEqual(T(x64:[ 8, 0, 0, 0] as X64), "0o10")
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), "0x10")
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), "0x10")
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), "+0")
XCTAssertEqual(T(x64:[ 10, 0, 0, 0] as X64), "+10")
XCTAssertEqual(T(x64:[ 2, 0, 0, 0] as X64), "+0b10")
XCTAssertEqual(T(x64:[ 8, 0, 0, 0] as X64), "+0o10")
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), "+0x10")
XCTAssertEqual(T(x64:[ 16, 0, 0, 0] as X64), "+0x10")
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), "0x000000000000000000000000000000000000000000000000000000000000000000000000000000")
XCTAssertEqual(T(x64:[ ~0, 0, 0, 0] as X64), "0x00000000000000000000000000000000000000000000000000000000000000ffffffffffffffff")
XCTAssertEqual(T(x64:[ ~0, ~0, 0, 0] as X64), "0x0000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffff")
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, 0] as X64), "0x000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff")
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, ~0] as X64), "0x00000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
XCTAssertEqual(T(x64:[ 0, ~0, ~0, ~0] as X64), "0x00000000000000ffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000")
XCTAssertEqual(T(x64:[ 0, 0, ~0, ~0] as X64), "0x00000000000000ffffffffffffffffffffffffffffffff00000000000000000000000000000000")
XCTAssertEqual(T(x64:[ 0, 0, 0, ~0] as X64), "0x00000000000000ffffffffffffffff000000000000000000000000000000000000000000000000")
XCTAssertEqual(T(exactlyStringLiteral: "-0x000000000000000000000000000000000000000000000000000000000000000000000000000001"), nil)
XCTAssertEqual(T(x64:[ 0, 0, 0, 0] as X64), "00000000000000000000000000000000000000000000000000000000000000000000000000000000")
XCTAssertEqual(T(x64:[ ~0, 0, 0, 0] as X64), "00000000000000000000000000000000000000000000000000000000000018446744073709551615")
XCTAssertEqual(T(x64:[ ~0, ~0, 0, 0] as X64), "00000000000000000000000000000000000000000340282366920938463463374607431768211455")
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, 0] as X64), "00000000000000000000006277101735386680763835789423207666416102355444464034512895")
XCTAssertEqual(T(x64:[ ~0, ~0, ~0, ~0] as X64), "00115792089237316195423570985008687907853269984665640564039457584007913129639935")
XCTAssertEqual(T(x64:[ 0, ~0, ~0, ~0] as X64), "00115792089237316195423570985008687907853269984665640564039439137263839420088320")
XCTAssertEqual(T(x64:[ 0, 0, ~0, ~0] as X64), "00115792089237316195423570985008687907852929702298719625575994209400481361428480")
XCTAssertEqual(T(x64:[ 0, 0, 0, ~0] as X64), "00115792089237316195417293883273301227089434195242432897623355228563449095127040")
XCTAssertEqual(T(exactlyStringLiteral: "-00000000000000000000000000000000000000000000000000000000000000000000000000000001"), nil)
}
}