Code

add float semantics RFC#3514

Code

Merged

traviscross merged 30 commits intorust-lang:masterrust-lang/rfcs:masterfrom RalfJung:float-semanticsRalfJung/rfcs:float-semanticsCopy head branch name to clipboardJul 27, 2024

Commits

Commits on Oct 14, 2023

• add float semantics RFC

  RalfJung

  committed
  b9ff02a

  Copy full SHA for b9ff02a

• fix typo

  Show description for ac910ce
  

  RalfJung

  and

  slanterns

  authored
  ac910ce

  Copy full SHA for ac910ce

• fix another typo

  Show description for b45d7f3
  

  RalfJung

  and

  PatchMixolydic

  authored
  b45d7f3

  Copy full SHA for b45d7f3

• copysign can also expose the sign of a NaN

  RalfJung

  committed
  44fc10d

  Copy full SHA for 44fc10d

Commits on Oct 17, 2023

• explain that this is a spec-only RFC

  RalfJung

  committed
  c62f40f

  Copy full SHA for c62f40f

Commits on Oct 19, 2023

• terminology; LLVM doesn't document IEEE

  RalfJung

  committed
  af10c3a

  Copy full SHA for af10c3a

• mention that float-to-int casts round towards zero

  RalfJung

  committed
  449e016

  Copy full SHA for 449e016

Commits on Oct 20, 2023

• mention the C FENV_ pragmas

  RalfJung

  committed
  8d46e0b

  Copy full SHA for 8d46e0b

• mention the problem with FreeBSD

  RalfJung

  committed
  c64f06d

  Copy full SHA for c64f06d

Commits on Nov 4, 2023

• add note on platform intrinsics

  RalfJung

  committed
  e3cbc64

  Copy full SHA for e3cbc64

Commits on Nov 8, 2023

• update C comparison

  RalfJung

  committed
  5219ac5

  Copy full SHA for 5219ac5

• add note on MSVC

  RalfJung

  committed
  2f8b973

  Copy full SHA for 2f8b973

Commits on Nov 9, 2023

• update on what C does

  RalfJung

  committed
  4380d1c

  Copy full SHA for 4380d1c

Commits on Jan 5, 2024

• concrete example for lack of precision monotonicity

  RalfJung

  committed
  f059e94

  Copy full SHA for f059e94

• mention fast-math intrinsics as a future possibility

  RalfJung

  committed
  1bce3f7

  Copy full SHA for 1bce3f7

Commits on Jan 26, 2024

• clarify the role of non-determinism for float in const

  RalfJung

  committed
  41ec0fc

  Copy full SHA for 41ec0fc

• link to some prior Rust discussion

  RalfJung

  committed
  f9e39f1

  Copy full SHA for f9e39f1

• typo

  RalfJung

  committed
  fbd54b6

  Copy full SHA for fbd54b6

Commits on Feb 1, 2024

• formatting

  RalfJung

  committed
  ce3c694

  Copy full SHA for ce3c694

• minor tweaks

  RalfJung

  committed
  a61a7f5

  Copy full SHA for a61a7f5

• format the list of cases

  RalfJung

  committed
  ee105a1

  Copy full SHA for ee105a1

• list all deviations from IEEE more centrally

  RalfJung

  committed
  0e84131

  Copy full SHA for 0e84131

• future possibility: deterministic sign for SNaN

  RalfJung

  committed
  48eeb5b

  Copy full SHA for 48eeb5b

Commits on Feb 6, 2024

• link to LLVM issue for lack of documented float semantics

  RalfJung

  committed
  71a5f3c

  Copy full SHA for 71a5f3c

Commits on Feb 14, 2024

• clarify the scope of non-determinism

  Show description for ef1b0bf
  

  RalfJung

  and

  joshtriplett

  authored
  ef1b0bf

  Copy full SHA for ef1b0bf

Commits on Mar 2, 2024

• add another example for what this means for const

  RalfJung

  committed
  0b79630

  Copy full SHA for 0b79630

Commits on Jul 18, 2024

• add some notes and comments from the lang team discussion

  RalfJung

  committed
  9042b9e

  Copy full SHA for 9042b9e

• add a paragraph on NaN debugging

  RalfJung

  committed
  7b66fc7

  Copy full SHA for 7b66fc7

Commits on Jul 27, 2024

• set RFC number

  RalfJung

  committed
  f953191

  Copy full SHA for f953191

• Prepare RFC 3514 to be merged

  traviscross

  committed
  ad1ec3a

  Copy full SHA for ad1ec3a