Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Stand up the trait hierarchy for integer types #1048

Merged
merged 51 commits into from
Sep 28, 2023
Merged

Stand up the trait hierarchy for integer types #1048

merged 51 commits into from
Sep 28, 2023

Conversation

kyouko-taiga
Copy link
Contributor

The hierarchy is openly inspired by Swift's standard library.

Some features have not been ported yet due to various blockers. These have been marked with TODOs in the source pointing at a corresponding issue in this repository.

Only the types Int and UInt have been made conforming to the trait hierarchy. Further, many methods are still thin unsafe wrappers around LLVM operations (see #884).

@kyouko-taiga
Move integer type sources to a dedicated directory
b39aa4c
@kyouko-taiga
Refactor the transpilation of metatypes
7c3e92b
@kyouko-taiga
Add 'FixedWidthInteger' to the standard library
e1c8f93
@kyouko-taiga
Make 'Int' conform to 'FixedWidthInteger'
972671b
@kyouko-taiga
Implement 'Bool.infix&&' and 'Bool.infix||'
f993aa9
@kyouko-taiga
Add overflow reporting operations to 'FixedWidthInteger'
80b0036
@kyouko-taiga
Test overflow reporting operations
f2799b1
@kyouko-taiga
Transpile unsigned division to LLVM
4782f51
@kyouko-taiga
Remove needless access modifiers
1c5b8f9
@kyouko-taiga
Transpile unsigned remainder to LLVM
5f8659d
@kyouko-taiga
Implement bitwise operations on 'UInt'
131d473
@kyouko-taiga
Make 'UInt' conform to 'FixedWidthInteger'
2847e2f
@kyouko-taiga
Add masking shift operators to 'Int'
468dfac
@kyouko-taiga
Transpile arithmetic shift to LLVM
74167ed
@kyouko-taiga
Transpile zero extension to LLVM
51d8bed
@kyouko-taiga
Fix the implementation of 'Int.infix&>>'
38c61e0
@kyouko-taiga
Add 'BinaryInteger' to the standard library
1c06d55
@kyouko-taiga
Make 'Int' conform to 'BinaryInteger'
4077b40
@kyouko-taiga
Expose the 'llvm.ctpop.*' as a built-in function
346a756
@kyouko-taiga
Expose the 'llvm.ctlz.*' as a built-in function
4f493dc
@kyouko-taiga
Expose the 'llvm.cttz.*' as a built-in function
2df6a45
@kyouko-taiga
Rename 'BinaryInteger.bit_width' to 'instance_bit_width'
b52a2cf
@kyouko-taiga
Reorder declarations for consistency
2ae4b38
@kyouko-taiga
Add bit manipulation APIs to 'BinaryInteger'
288d792
@kyouko-taiga
Fix 'Int.min' and 'Int.max'
0f6ef21
@kyouko-taiga
Test bit manipulation APIs on 'Int'
27d4105
@kyouko-taiga
Make 'UInt' conform to 'BinaryInteger'
b86891c
@kyouko-taiga
Make 'FixedWidthInteger' a refinement of 'BinaryInteger'
dcace42
@kyouko-taiga
Add 'CollectionOfOne' to the standard library
cafef6a
@kyouko-taiga
Add 'BinaryInteger.words' to the standard library
0d4e04d
@kyouko-taiga
Implement 'Int.init(truncating_or_extending)'
6a76950
@kyouko-taiga
Define 'init(truncating_or_extending:)' as a requirement of 'BinaryIn…
f0166f1 
…teger'
@kyouko-taiga
Add 'quotient_and_remainder(diiding_by:)' to 'BinaryInteger'
f53a91c
@kyouko-taiga
Add common binary operations as requirements of 'BinaryInteger'
6f51447
@kyouko-taiga
Fix the implementation of 'CollectionOfOne' to support --no-std
34a03b8
@kyouko-taiga
Move 'nonzero_bit_count' and 'leading_zeros' to 'FixedWidthInteger'
2ff5ee6
@kyouko-taiga
Define masking shift operators as requirements of 'FixedWidthInteger'
2a65c57
@kyouko-taiga
Define self-assigning variants of masking shift operators
64dc38f
@kyouko-taiga
Add 'Numeric' to the standard library
1c776fb
@kyouko-taiga
Make 'Int' conform to 'Numeric'
b7f8c7d
@kyouko-taiga
Document issues blocking the conformance of 'UInt' to 'Numeric'
ef3de0a
@kyouko-taiga
Make 'Numeric' a refinement of 'Equatable'
2035ecd
@kyouko-taiga
Add 'AdditiveArithmetic' to the standard library
ee80bba
@kyouko-taiga
Make 'Int' conform to 'AdditiveArithmetic'
83ebc5a
@kyouko-taiga
Make 'UInt' conform to 'AdditiveArithmetic'
e54c5d6
@kyouko-taiga
Make 'Numeric' a refinement of 'AdditiveArithmetic'
afb2895
@kyouko-taiga
Add 'SignedNumeric' to the standard library
58658e5
@kyouko-taiga
Make 'Int' conform to 'SignedNumeric'
308f3a7
@kyouko-taiga
Reorganize declarations by conformance
b056ff3
@kyouko-taiga
Make 'BinaryInteger' a refinement of 'Comparable'
244b8b8
@kyouko-taiga
Move sources related to numbers to a dedicated directory
494b46e
@dabrahams
Copy link
Collaborator

Very exciting!

@kyouko-taiga kyouko-taiga merged commit fec51b5 into main Sep 28, 2023
@kyouko-taiga kyouko-taiga deleted the integer-traits branch September 28, 2023 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kyouko-taiga @dabrahams