Lines Matching defs:vlx
249 uint32_t vlx = tabx[idx];
276 return static_cast<sf16>(((inp + vlx) >> 13) | (p >> 14));
294 in this case 'vlx' is 0x80000000. By subtracting the input value from it,
299 return static_cast<sf16>(((vlx - inp) >> 31) + UINT32_C(0x8000));
303 do actual tests; we just return 'vlx'.
333 return static_cast<sf16>(vlx);
336 for normal numbers, 'vlx' is the difference between the FP32 value of a number and the
338 baked into 'vlx': for rounding-away-from zero, the constant is 2^13 - 1, causing roundoff away
352 return static_cast<sf16>((inp + vlx) >> 13);
357 p = inp + vlx;
365 depends on the exponent. The shift must apply the correct rounding mode. 'vlx' is used to supply the
374 return static_cast<sf16>((((inp & UINT32_C(0x7FFFFF)) + UINT32_C(0x800000)) >> p) | vlx);
379 return static_cast<sf16>(rtup_shift32((inp & UINT32_C(0x7FFFFF)) + UINT32_C(0x800000), p) | vlx);
384 return static_cast<sf16>(rtna_shift32((inp & UINT32_C(0x7FFFFF)) + UINT32_C(0x800000), p) | vlx);
389 return static_cast<sf16>(rtne_shift32((inp & UINT32_C(0x7FFFFF)) + UINT32_C(0x800000), p) | vlx);