blob: 1162f8d61dc99f6b58d2ede4a1511a4799ded4e2 [file] [log] [blame]
<html>
<head>
<meta charset='utf-8'>
<style>
.pass {
font-weight: bold;
color: green;
}
.fail {
font-weight: bold;
color: red;
}
</style>
<script>
if (window.testRunner)
testRunner.dumpAsText();
function SputnikError(message)
{
this.message = message;
}
SputnikError.prototype.toString = function ()
{
return 'SputnikError: ' + this.message;
};
var sputnikException;
function testPrint(msg)
{
var span = document.createElement("span");
document.getElementById("console").appendChild(span); // insert it first so XHTML knows the namespace
span.innerHTML = msg + '<br />';
}
function escapeHTML(text)
{
return text.toString().replace(/&/g, "&amp;").replace(/</g, "&lt;");
}
function printTestPassed(msg)
{
testPrint('<span><span class="pass">PASS</span> ' + escapeHTML(msg) + '</span>');
}
function printTestFailed(msg)
{
testPrint('<span><span class="fail">FAIL</span> ' + escapeHTML(msg) + '</span>');
}
function testFailed(msg)
{
throw new SputnikError(msg);
}
var successfullyParsed = false;
</script>
</head>
<body>
<p>S15.8.2.4_A6</p>
<div id='console'></div>
<script>
try {
/**
* @name: S15.8.2.4_A6;
* @section: 15.8.2.4;
* @assertion: Math.atan, recommended that implementations use the approximation algorithms for IEEE 754 arithmetic contained in fdlibm;
* @description: Checking if Math.atan is approximately equals to its mathematical values on the set of 64 argument values; all the sample values is calculated with LibC;
*/
function getPrecision(num)
{
//TODO: Create a table of prec's,
// because using Math for testing Math isn't that correct.
log2num = Math.log(Math.abs(num))/Math.LN2;
pernum = Math.ceil(log2num);
return(2 * Math.pow(2, -52 + pernum));
//return(0);
}
var prec;
function isEqual(num1, num2)
{
if ((num1 === Infinity)&&(num2 === Infinity))
{
return(true);
}
if ((num1 === -Infinity)&&(num2 === -Infinity))
{
return(true);
}
prec = getPrecision(Math.min(Math.abs(num1), Math.abs(num2)));
return(Math.abs(num1 - num2) <= prec);
//return(num1 === num2);
}
// CHECK#1
vnum = 64;
var x = new Array();
x[0] = -16.00000000000000000000;
x[1] = -15.49206349206349200000;
x[2] = -14.98412698412698400000;
x[3] = -14.47619047619047600000;
x[4] = -13.96825396825396800000;
x[5] = -13.46031746031746000000;
x[6] = -12.95238095238095300000;
x[7] = -12.44444444444444500000;
x[8] = -11.93650793650793700000;
x[9] = -11.42857142857142900000;
x[10] = -10.92063492063492100000;
x[11] = -10.41269841269841300000;
x[12] = -9.90476190476190510000;
x[13] = -9.39682539682539720000;
x[14] = -8.88888888888888930000;
x[15] = -8.38095238095238140000;
x[16] = -7.87301587301587350000;
x[17] = -7.36507936507936560000;
x[18] = -6.85714285714285770000;
x[19] = -6.34920634920634970000;
x[20] = -5.84126984126984180000;
x[21] = -5.33333333333333390000;
x[22] = -4.82539682539682600000;
x[23] = -4.31746031746031810000;
x[24] = -3.80952380952381020000;
x[25] = -3.30158730158730230000;
x[26] = -2.79365079365079440000;
x[27] = -2.28571428571428650000;
x[28] = -1.77777777777777860000;
x[29] = -1.26984126984127070000;
x[30] = -0.76190476190476275000;
x[31] = -0.25396825396825484000;
x[32] = 0.25396825396825307000;
x[33] = 0.76190476190476275000;
x[34] = 1.26984126984126890000;
x[35] = 1.77777777777777860000;
x[36] = 2.28571428571428470000;
x[37] = 2.79365079365079440000;
x[38] = 3.30158730158730050000;
x[39] = 3.80952380952381020000;
x[40] = 4.31746031746031630000;
x[41] = 4.82539682539682600000;
x[42] = 5.33333333333333210000;
x[43] = 5.84126984126984180000;
x[44] = 6.34920634920634800000;
x[45] = 6.85714285714285770000;
x[46] = 7.36507936507936380000;
x[47] = 7.87301587301587350000;
x[48] = 8.38095238095237960000;
x[49] = 8.88888888888888930000;
x[50] = 9.39682539682539540000;
x[51] = 9.90476190476190510000;
x[52] = 10.41269841269841100000;
x[53] = 10.92063492063492100000;
x[54] = 11.42857142857142700000;
x[55] = 11.93650793650793700000;
x[56] = 12.44444444444444300000;
x[57] = 12.95238095238095300000;
x[58] = 13.46031746031745900000;
x[59] = 13.96825396825396800000;
x[60] = 14.47619047619047400000;
x[61] = 14.98412698412698400000;
x[62] = 15.49206349206349000000;
x[63] = 16.00000000000000000000;
var y = new Array();
y[0] = -1.50837751679893930000;
y[1] = -1.50633657314382670000;
y[2] = -1.50415785436419310000;
y[3] = -1.50182694519358660000;
y[4] = -1.49932735026103090000;
y[5] = -1.49664010557682300000;
y[6] = -1.49374329974393950000;
y[7] = -1.49061147949358030000;
y[8] = -1.48721490565349580000;
y[9] = -1.48351861384543530000;
y[10] = -1.47948121756761840000;
y[11] = -1.47505336756015580000;
y[12] = -1.47017574693777100000;
y[13] = -1.46477643093971600000;
y[14] = -1.45876736436890870000;
y[15] = -1.45203959426707030000;
y[16] = -1.44445671565255360000;
y[17] = -1.43584570229039390000;
y[18] = -1.42598382855595760000;
y[19] = -1.41457960835077490000;
y[20] = -1.40124433129607070000;
y[21] = -1.38544837679920190000;
y[22] = -1.36645204745321510000;
y[23] = -1.34319210978762000000;
y[24] = -1.31408799636151090000;
y[25] = -1.27669520176831860000;
y[26] = -1.22705270315911450000;
y[27] = -1.15838588519750950000;
y[28] = -1.05840686648415900000;
y[29] = -0.90372394590298166000;
y[30] = -0.65107672144448037000;
y[31] = -0.24870998909352368000;
y[32] = 0.24870998909352202000;
y[33] = 0.65107672144448037000;
y[34] = 0.90372394590298100000;
y[35] = 1.05840686648415900000;
y[36] = 1.15838588519750910000;
y[37] = 1.22705270315911450000;
y[38] = 1.27669520176831840000;
y[39] = 1.31408799636151090000;
y[40] = 1.34319210978761980000;
y[41] = 1.36645204745321510000;
y[42] = 1.38544837679920190000;
y[43] = 1.40124433129607070000;
y[44] = 1.41457960835077490000;
y[45] = 1.42598382855595760000;
y[46] = 1.43584570229039390000;
y[47] = 1.44445671565255360000;
y[48] = 1.45203959426707030000;
y[49] = 1.45876736436890870000;
y[50] = 1.46477643093971600000;
y[51] = 1.47017574693777100000;
y[52] = 1.47505336756015580000;
y[53] = 1.47948121756761840000;
y[54] = 1.48351861384543530000;
y[55] = 1.48721490565349580000;
y[56] = 1.49061147949358030000;
y[57] = 1.49374329974393950000;
y[58] = 1.49664010557682300000;
y[59] = 1.49932735026103090000;
y[60] = 1.50182694519358660000;
y[61] = 1.50415785436419310000;
y[62] = 1.50633657314382670000;
y[63] = 1.50837751679893930000;
var val;
for (i = 0; i < vnum; i++)
{
val = Math.atan(x[i]);
if (!isEqual(val, y[i]))
{
testFailed("\nx = " + x[i] + "\nlibc.atan(x) = " + y[i] + "\nMath.atan(x) = " + Math.atan(x[i]) + "\nMath.abs(libc.atan(x) - Math.atan(x)) > " + prec + "\n\n");
}
}
} catch (ex) {
sputnikException = ex;
}
var successfullyParsed = true;
</script>
<script>
if (!successfullyParsed)
printTestFailed('successfullyParsed is not set');
else if (sputnikException)
printTestFailed(sputnikException);
else
printTestPassed("");
testPrint('<br /><span class="pass">TEST COMPLETE</span>');
</script>
</body>
</html>