258   int32_t ix, i;  in __erfl()  local
262   ix = se & 0x7fff;  in __erfl()
264   if (ix >= 0x7fff)  in __erfl()
270   ix = (ix << 16) | (i0 >> 16);  in __erfl()
271   if (ix < 0x3ffed800) /* |x|<0.84375 */  in __erfl()
273       if (ix < 0x3fde8000) /* |x|<2**-33 */  in __erfl()
275 	  if (ix < 0x00080000)  in __erfl()
292   if (ix < 0x3fffa000) /* 1.25 */  in __erfl()
304   if (ix >= 0x4001d555) /* 6.6666259765625 */  in __erfl()
313   if (ix < 0x4000b6db) /* 2.85711669921875 */  in __erfl()
344   int32_t hx, ix;  in libm_alias_ldouble()  local
349   ix = se & 0x7fff;  in libm_alias_ldouble()
350   if (ix >= 0x7fff)  in libm_alias_ldouble()
356   ix = (ix << 16) | (i0 >> 16);  in libm_alias_ldouble()
357   if (ix < 0x3ffed800) /* |x|<0.84375 */  in libm_alias_ldouble()
359       if (ix < 0x3fbe0000) /* |x|<2**-65 */  in libm_alias_ldouble()
367       if (ix < 0x3ffd8000) /* x<1/4 */  in libm_alias_ldouble()
378   if (ix < 0x3fffa000) /* 1.25 */  in libm_alias_ldouble()
396   if (ix < 0x4005d600) /* 107 */  in libm_alias_ldouble()
400       if (ix < 0x4000b6db) /* 2.85711669921875 */  in libm_alias_ldouble()
407       else if (ix < 0x4001d555) /* 6.6666259765625 */  in libm_alias_ldouble()