-
Notifications
You must be signed in to change notification settings - Fork 10.4k
/
Copy pathMultipliedFullWidth.swift
128 lines (111 loc) · 6.66 KB
/
MultipliedFullWidth.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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
//===--- MultipliedFullWidth.swift ----------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2019 - 2020 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
// RUN: %target-run-simple-swift
// REQUIRES: executable_test
// UNSUPPORTED: back_deployment_runtime
import StdlibUnittest
var tests = TestSuite("MultipliedFullWidth")
func testCase<T: FixedWidthInteger>(
_ x: T, _ y: T, high: T, low: T.Magnitude, line: UInt = #line
) {
let result = x.multipliedFullWidth(by: y)
expectEqual(high, result.high, line: line)
expectEqual(low, result.low, line: line)
}
func specialValues<T: FixedWidthInteger & SignedInteger>(_ type: T.Type) {
let umin = T.Magnitude(truncatingIfNeeded: T.min)
testCase(T.min, .min, high: -(.min >> 1), low: 0)
testCase(T.min, -1, high: 0, low: umin)
testCase(T.min, 0, high: 0, low: 0)
testCase(T.min, 1, high: -1, low: umin)
testCase(T.min, .max, high: .min >> 1, low: umin)
testCase(T(-1), .min, high: 0, low: umin)
testCase(T(-1), -1, high: 0, low: 1)
testCase(T(-1), 0, high: 0, low: 0)
testCase(T(-1), 1, high: -1, low: .max)
testCase(T(-1), .max, high: -1, low: umin + 1)
testCase(T(0), .min, high: 0, low: 0)
testCase(T(0), -1, high: 0, low: 0)
testCase(T(0), 0, high: 0, low: 0)
testCase(T(0), 1, high: 0, low: 0)
testCase(T(0), .max, high: 0, low: 0)
testCase(T(1), .min, high: -1, low: umin)
testCase(T(1), -1, high: -1, low: .max)
testCase(T(1), 0, high: 0, low: 0)
testCase(T(1), 1, high: 0, low: 1)
testCase(T(1), .max, high: 0, low: .max >> 1)
testCase(T.max, .min, high: .min >> 1, low: umin)
testCase(T.max, -1, high: -1, low: umin + 1)
testCase(T.max, 0, high: 0, low: 0)
testCase(T.max, 1, high: 0, low: .max >> 1)
testCase(T.max, .max, high: (.max >> 1), low: 1)
}
func specialValues<T: FixedWidthInteger & UnsignedInteger>(_ type: T.Type) {
testCase(T(0), 0, high: 0, low: 0)
testCase(T(0), 1, high: 0, low: 0)
testCase(T(0), .max, high: 0, low: 0)
testCase(T(1), 0, high: 0, low: 0)
testCase(T(1), 1, high: 0, low: 1)
testCase(T(1), .max, high: 0, low: .max)
testCase(T.max, 0, high: 0, low: 0)
testCase(T.max, 1, high: 0, low: .max)
testCase(T.max, .max, high: .max-1, low: 1)
}
tests.test("Special Values") {
specialValues(Int.self)
specialValues(Int64.self)
specialValues(Int32.self)
specialValues(Int16.self)
specialValues(Int8.self)
specialValues(UInt.self)
specialValues(UInt64.self)
specialValues(UInt32.self)
specialValues(UInt16.self)
specialValues(UInt8.self)
}
tests.test("Random Values") {
// Some extra coverage for the 64b integers, since they are the only users
// of the default implementation (only on 32b systems):
testCase(Int64(-5837700935641288840), -1537421853862307457, high: 486536212510185592, low: 3055263144559363208)
testCase(Int64(1275671358463268836), 7781435829978284036, high: 538119614841437377, low: 14789118443021950864)
testCase(Int64(4911382318934676967), -5753361984332212917, high: -1531812888571062585, low: 1722298197364104621)
testCase(Int64(6581943526282064299), -8155192887281934825, high: -2909837032245044682, low: 16706127436327993437)
testCase(Int64(4009108071534959395), 7605188192539249328, high: 1652867370329384990, low: 3839516780320392720)
testCase(Int64(-1272471934452731280), -7713709059189882656, high: 532098144210826160, low: 4919265615377605120)
testCase(Int64(-1290602245486355209), -6877877092931971073, high: 481201646472028302, low: 4015257672509033225)
testCase(Int64(1966873427191941886), -7829903732960672311, high: -834858960925259072, low: 12998587081554941806)
testCase(Int64(5459471085932887725), 7323207134727813062, high: 2167365549637832126, low: 5826569093894448334)
testCase(Int64(-5681348775805725880), -6546051581806832250, high: 2016095739825622823, low: 7531931343377498032)
testCase(Int64(3528630718229643203), 6780383198781339163, high: 1297002242834103876, low: 16845851682892995473)
testCase(Int64(4386302929483327645), 756139473360675718, high: 179796324698125913, low: 13652654049648998702)
testCase(Int64(-2864416372170195291), 5089997120359086926, high: -790376395292167927, low: 8341529919881354566)
testCase(Int64(-252886279681789793), 1113918432442210295, high: -15270699648874904, low: 4582052466224525929)
testCase(Int64(-7821806154093904666), -678157520322455918, high: 287553003647030877, low: 6476241133902266156)
testCase(Int64(-7739162216163589826), 3946867172269483361, high: -1655871907247741938, low: 13863106094322986622)
testCase(UInt64(4052776605025255999), 17841868768407320997, high: 3919884617339462744, low: 486827993115916699)
testCase(UInt64(6242835766066895539), 14960190906716810460, high: 5062899690398282642, low: 14718350117826688468)
testCase(UInt64(17427627038899386484), 13127734187148388607, high: 12402473540330496943, low: 11581729162526677900)
testCase(UInt64(14992872905705044844), 12933105414992193421, high: 10511578899141219143, low: 7252341782600986236)
testCase(UInt64(12642327504267244590), 10708397907431293358, high: 7338914274020844379, low: 8873679764824466756)
testCase(UInt64(18257718462988034339), 17327659287939371125, high: 17150101049683916791, low: 14387647780301477119)
testCase(UInt64(5589411463208969260), 14342285504591657788, high: 4345749834640583520, low: 12301233398332628560)
testCase(UInt64(14319626538136147986), 2140855187369381019, high: 1661878466620705928, low: 2387587391530298086)
testCase(UInt64(12737453267169023056), 10991462038848276938, high: 7589590526017326520, low: 4333382898129426208)
testCase(UInt64(13832741301927421318), 7713698894698105596, high: 5784305396386691701, low: 6880744869607156712)
testCase(UInt64(5299309970076755930), 12147554660789977612, high: 3489702967025088672, low: 8435073470527345208)
testCase(UInt64(3775627568330760013), 12573993794040378591, high: 2573609598696611841, low: 11258650814777796627)
testCase(UInt64(10163828939432769169), 11406425048812406036, high: 6284737975620258563, low: 8064735036375816276)
testCase(UInt64(10553402338235046132), 16330771020588292162, high: 9342851854245941300, low: 7535126182307876584)
testCase(UInt64(17113612905570890777), 11972779332523394977, high: 11107516322766487141, low: 955396679557657273)
testCase(UInt64(10933450006210087838), 18204962163032170108, high: 10790145018498752040, low: 692054466472649864)
}
runAllTests()