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

add float semantics RFC #3514

Merged
merged 30 commits into from
Jul 27, 2024
Merged

add float semantics RFC #3514

Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
b9ff02a
add float semantics RFC
RalfJung Oct 14, 2023
ac910ce
fix typo
RalfJung Oct 14, 2023
b45d7f3
fix another typo
RalfJung Oct 14, 2023
44fc10d
copysign can also expose the sign of a NaN
RalfJung Oct 14, 2023
c62f40f
explain that this is a spec-only RFC
RalfJung Oct 17, 2023
af10c3a
terminology; LLVM doesn't document IEEE
RalfJung Oct 19, 2023
449e016
mention that float-to-int casts round towards zero
RalfJung Oct 19, 2023
8d46e0b
mention the C FENV_ pragmas
RalfJung Oct 20, 2023
c64f06d
mention the problem with FreeBSD
RalfJung Oct 20, 2023
e3cbc64
add note on platform intrinsics
RalfJung Nov 4, 2023
5219ac5
update C comparison
RalfJung Nov 8, 2023
2f8b973
add note on MSVC
RalfJung Nov 8, 2023
4380d1c
update on what C does
RalfJung Nov 9, 2023
f059e94
concrete example for lack of precision monotonicity
RalfJung Jan 5, 2024
1bce3f7
mention fast-math intrinsics as a future possibility
RalfJung Jan 5, 2024
41ec0fc
clarify the role of non-determinism for float in const
RalfJung Jan 26, 2024
f9e39f1
link to some prior Rust discussion
RalfJung Jan 26, 2024
fbd54b6
typo
RalfJung Jan 26, 2024
ce3c694
formatting
RalfJung Feb 1, 2024
a61a7f5
minor tweaks
RalfJung Feb 1, 2024
ee105a1
format the list of cases
RalfJung Feb 1, 2024
0e84131
list all deviations from IEEE more centrally
RalfJung Feb 1, 2024
48eeb5b
future possibility: deterministic sign for SNaN
RalfJung Feb 1, 2024
71a5f3c
link to LLVM issue for lack of documented float semantics
RalfJung Feb 6, 2024
ef1b0bf
clarify the scope of non-determinism
RalfJung Feb 14, 2024
0b79630
add another example for what this means for const
RalfJung Mar 2, 2024
9042b9e
add some notes and comments from the lang team discussion
RalfJung Jul 18, 2024
7b66fc7
add a paragraph on NaN debugging
RalfJung Jul 18, 2024
f953191
set RFC number
RalfJung Jul 27, 2024
ad1ec3a
Prepare RFC 3514 to be merged
traviscross Jul 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading