Lines Matching defs:pio2_1
30 * pio2_1: first 33 bit of pi/2
31 * pio2_1t: pi/2 - pio2_1
33 * pio2_2t: pi/2 - (pio2_1+pio2_2)
35 * pio2_3t: pi/2 - (pio2_1+pio2_2+pio2_3)
40 pio2_1 = 1.57079632673412561417e+00, /* 0x3FF921FB, 0x54400000 */
63 z = x - pio2_1; /* one round good to 85 bits */
68 z = x + pio2_1;
75 z = x - 2*pio2_1;
80 z = x + 2*pio2_1;
92 z = x - 3*pio2_1;
97 z = x + 3*pio2_1;
106 z = x - 4*pio2_1;
111 z = x + 4*pio2_1;
123 r = x - fn*pio2_1;