Bug 14468 - Inaccurate j0f function
Summary: Inaccurate j0f function
Status: RESOLVED DUPLICATE of bug 14469
Alias: None
Product: glibc
Classification: Unclassified
Component: math (show other bugs)
Version: 2.17
: P2 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-08-15 13:59 UTC by Liubov Dmitrieva
Modified: 2014-06-17 18:39 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Last reconfirmed:
fweimer: security-


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Liubov Dmitrieva 2012-08-15 13:59:34 UTC
Test case:

// gcc main.c -std=c99 -lm
#include <stdio.h>
#include <fenv.h>
#include <stdlib.h>  // abs function for int argument

extern float j0f(float);
extern double j0(double);

#define i32(a)    (((int*)&(a))[0])

int main() {
    float a,r1,r2;

    i32(a)=0x413caa1f;    //argument

    fesetround(FE_TONEAREST);

    r1 = j0f(a);  //actual result
    r2 = j0(a);   //actual result 2

    printf("inputs: a = (0x%08x)\t%e\n", i32(a), a);
    printf("actual    = (0x%08x)\t%.13e\n", i32(r1), r1);
    printf("expected  = (0x%08x)\t%.13e\n", i32(r2), r2);
    printf("error     = %d ulp\n", abs(i32(r1) - i32(r2)));

    return 0;
}

Result:

inputs: a = (0x413caa1f)        1.179153e+01
actual    = (0xb471e828)        -2.2529331999976e-07
expected  = (0xb471d452)        -2.2522115727952e-07
error     = 5078 ulp
Comment 1 Liubov Dmitrieva 2012-08-15 14:24:41 UTC
Duplicate, was filed twice due to network connection problems.

*** This bug has been marked as a duplicate of bug 14469 ***
Comment 2 jsm-csl@polyomino.org.uk 2012-08-15 15:03:06 UTC
Could you please give versions of the tests, for all your recent bugs, 
that represent the test argument using a hex float value rather than by 
violating ISO C aliasing rules (type punning int and float)?  Hex float 
values are generally more convenient to deal with; you can put them 
directly in tests in libm-test.inc, or use them with MPFR to confirm the 
correct results.