| tag | line | file | source code |
|---|---|---|---|
| DOUBLE_Emin | 142 | kernel/FPU-emu/reg_ld_str.c | else if ( exp < DOUBLE_Emin ) |
| DOUBLE_Emin | 156 | kernel/FPU-emu/reg_ld_str.c | FPU_loaded_data.exp = DOUBLE_Emin + EXP_BIAS; |
| DOUBLE_Emin | 557 | kernel/FPU-emu/reg_ld_str.c | else if ( exp < DOUBLE_Emin ) |
| DOUBLE_Emin | 559 | kernel/FPU-emu/reg_ld_str.c | if ( exp > DOUBLE_Emin-53 ) |
| DOUBLE_Emin | 565 | kernel/FPU-emu/reg_ld_str.c | tmp.exp += -DOUBLE_Emin + 52; /* largest exp to be 51 */ |