More floating point tests!#282

Merged

sunfishcode merged 31 commits intomasterfrom

more-tests

May 6, 2016

Commits on Apr 28, 2016

Test more floating-point almost-identities.
sunfishcode
committed
Convert several inexact floating-point literals to hexadecimal form.
sunfishcode
committed
Add a testcase based on LLVM PR27036.
sunfishcode
committed
Test for incorrect rounding on sqrt(4.0).
sunfishcode
committed
Test another notable x87 sqrt case.
sunfishcode
committed
Test 1/(1/x).
sunfishcode
committed
Test algebraic factoring reversal.
sunfishcode
committed
Test algebraic factoring.
sunfishcode
committed
Test plain and Kahan summation.
sunfishcode
committed
Test that negates are not folded away at the expense of negative zero.
sunfishcode
committed
Test that x + -x is not folded away.
sunfishcode
committed
Test that addition is not folded to multiplication with different rounding.
sunfishcode
committed
Test the reinterpret conversions with more special values.
sunfishcode
committed
Test demote(promote(x)).
sunfishcode
committed
Test reinterpret cast with -1.
sunfishcode
committed
Test an interesting division boundary case.
sunfishcode
committed
Test the minimum valid value for trunc_u conversions.
sunfishcode
committed
Test min and max with signaling NaNs.
sunfishcode
committed
Test the least value with a positive quotient with the maximum value.
sunfishcode
committed
Test the least value with a positive square.
sunfishcode
committed
Test the least value with a finite reciprocal.
sunfishcode
committed
Test that unaligned memory accesses don't canonicalize NaNs.
sunfishcode
committed
Test that (x/y)/z is not optimized to x/(y*z).
sunfishcode
committed
Test that (x/y)*(z/w) is not optimized to (x*z)/(y*w).
sunfishcode
committed
Test that (x/z)+(y/z) is not optimized to (x+y)/z.
sunfishcode
committed
Test that sqrt(x*x) is not optimized to abs(x).
sunfishcode
committed
Test that sqrt(x)*sqrt(y) is not optimized to sqrt(x*y).
sunfishcode
committed
Test that sqrt(x)/sqrt(y) is not optimized to sqrt(x/y).
sunfishcode
committed
Test that (x*sqrt(y))/y is not optimized to x/sqrt(y).
sunfishcode
committed

Commits on May 5, 2016

Fix spello.
sunfishcode
committed
Correct a function name to match the test.
sunfishcode
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

More floating point tests!#282

More floating point tests!#282
sunfishcode merged 31 commits intomasterfrom
more-tests

Commits on Apr 28, 2016

Test more floating-point almost-identities.

Convert several inexact floating-point literals to hexadecimal form.

Add a testcase based on LLVM PR27036.

Test for incorrect rounding on sqrt(4.0).

Test another notable x87 sqrt case.

Test 1/(1/x).

Test algebraic factoring reversal.

Test algebraic factoring.

Test plain and Kahan summation.

Test that negates are not folded away at the expense of negative zero.

Test that x + -x is not folded away.

Test that addition is not folded to multiplication with different rounding.

Test the reinterpret conversions with more special values.

Test demote(promote(x)).

Test reinterpret cast with -1.

Test an interesting division boundary case.

Test the minimum valid value for trunc_u conversions.

Test min and max with signaling NaNs.

Test the least value with a positive quotient with the maximum value.

Test the least value with a positive square.

Test the least value with a finite reciprocal.

Test that unaligned memory accesses don't canonicalize NaNs.

Test that (x/y)/z is not optimized to x/(y*z).

Test that (x/y)(z/w) is not optimized to (xz)/(y*w).

Test that (x/z)+(y/z) is not optimized to (x+y)/z.

Test that sqrt(x*x) is not optimized to abs(x).

Test that sqrt(x)sqrt(y) is not optimized to sqrt(xy).

Test that sqrt(x)/sqrt(y) is not optimized to sqrt(x/y).

Test that (x*sqrt(y))/y is not optimized to x/sqrt(y).

Commits on May 5, 2016

Fix spello.

Correct a function name to match the test.