paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-28 20:59:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

+ Added a test checking that conversion of 64-bit integers to double-precision floats depends on current rounding mode when integer has more than 53 bits set.

Browse Source 
git-svn-id: trunk@28301 -
This commit is contained in:
sergei 2014-08-02 22:42:47 +00:00
parent c09d2e2096
commit 8910e2f74d
2 changed files with 79 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitattributes vendored
View File

@ -12360,6 +12360,7 @@ tests/test/units/math/tmask.pp svneol=native#text/plain
tests/test/units/math/tmask2.pp svneol=native#text/plain
tests/test/units/math/tnaninf.pp svneol=native#text/plain
tests/test/units/math/tpower.pp svneol=native#text/pascal
tests/test/units/math/troundm.pas svneol=native#text/plain
tests/test/units/math/tsincos.pp svneol=native#text/pascal
tests/test/units/math/ttrig1.pp svneol=native#text/plain
tests/test/units/matrix/tinv1.pp svneol=native#text/pascal

78
tests/test/units/math/troundm.pas Normal file
View File

@ -0,0 +1,78 @@
{ Converting 64-bit integers with more than 53 significant bits to double-precision
floating point format is subject to rounding. Hence result depends on rounding mode. }
uses math;
type
TExpected=array[TFPURoundingMode] of qword;
const
res1: TExpected = (
$43D0000000000000,
$43D0000000000000,
$43D0000000000001,
$43D0000000000000
);
res2: TExpected = (
$43E0000000000000,
$43DFFFFFFFFFFFFF,
$43E0000000000000,
$43DFFFFFFFFFFFFF
);
res3: TExpected = (
qword($C3E0000000000000),
qword($C3E0000000000000),
qword($C3DFFFFFFFFFFFFF),
qword($C3DFFFFFFFFFFFFF)
);
var
has_errors: boolean=false;
procedure fail;
begin
writeln('Wrong!');
has_errors:=true;
end;
procedure test(x: int64; const res: TExpected);
var
y: double;
yq: qword absolute y;
begin
writeln('integer value=',hexstr(x,16));
setroundmode(rmNearest);
y:=x;
writeln('rmNearest ',y, ' ',hexstr(yq,16));
if yq<>res[rmNearest] then fail;
setroundmode(rmUp);
y:=x;
writeln('rmUp ',y, ' ',hexstr(yq,16));
if yq<>res[rmUp] then fail;
setroundmode(rmDown);
y:=x;
writeln('rmDown ',y, ' ',hexstr(yq,16));
if yq<>res[rmDown] then fail;
setroundmode(rmTruncate);
y:=x;
writeln('rmTruncate ',y, ' ',hexstr(yq,16));
if yq<>res[rmTruncate] then fail;
end;
begin
test($4000000000000001,res1);
writeln;
test($7fffffffffffffff,res2);
writeln;
test(int64($8000000000000001),res3);
if has_errors then
halt(1);
end.