taglinefilesource code
DOUBLE_Emin189drivers/FPU-emu/reg_ld_str.celse if ( exp < DOUBLE_Emin )
DOUBLE_Emin203drivers/FPU-emu/reg_ld_str.cFPU_loaded_data.exp = DOUBLE_Emin + EXP_BIAS;
DOUBLE_Emin492drivers/FPU-emu/reg_ld_str.cif ( exp < DOUBLE_Emin )     /* It may be a denormal */
DOUBLE_Emin508drivers/FPU-emu/reg_ld_str.ctmp.exp += -DOUBLE_Emin + 52;  /* largest exp to be 51 */