Skip to content

Commit 8515ea3

Browse files
committed
Little things
1 parent 0ce768b commit 8515ea3

File tree

1 file changed

+6
-10
lines changed

1 file changed

+6
-10
lines changed

spec/float.dd

Lines changed: 6 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,8 @@ $(H2 $(LNAME2 fp_intermediate_values, Floating-Point Intermediate Values))
1717
implemented by the hardware.
1818
)
1919

20-
$(P It's possible that, due to greater use of temporaries and
21-
common subexpressions, optimized code may produce a more
22-
accurate answer than unoptimized code.)
20+
$(P Execution of floating-point expressions may yield a result of greater precision than dictated
21+
by the source.)
2322

2423
$(H2 $(LNAME2 fp_const_folding, Floating-Point Constant Folding))
2524

@@ -85,7 +84,7 @@ $(H2 $(LNAME2 rounding_control, Rounding Control))
8584
)
8685

8786

88-
$(H2 $(LNAME2 esception_flags, Exception Flags))
87+
$(H2 $(LNAME2 exception_flags, Exception Flags))
8988

9089
$(P IEEE 754 floating-point arithmetic can set several flags based on what
9190
happened with a
@@ -105,14 +104,11 @@ $(H2 $(LNAME2 esception_flags, Exception Flags))
105104
$(H2 $(LNAME2 floating-point-transformations, Floating-Point Transformations))
106105

107106
$(P An implementation may perform transformations on
108-
floating-point computations in order to reduce their strength,
109-
i.e. their runtime computation time.
110-
Because floating-point math does not precisely follow mathematical
111-
rules, some transformations are not valid, even though some
112-
other programming languages still allow them.
107+
floating-point computations in order to reduce their strength.
113108
)
114109

115-
$(P The following transformations of floating-point expressions
110+
$(P Not all transformations are valid: The following
111+
transformations of floating-point expressions
116112
are not allowed because under IEEE rules they could produce
117113
different results.
118114
)

0 commit comments

Comments
 (0)