Searched refs:underflow (Results 1 – 5 of 5) sorted by relevance
| /arkcompiler/ets_runtime/ecmascript/compiler/ |
| D | lcr_circuit_builder.cpp | 303 Label underflow(env_); in DoubleInRangeInt32() local
316 Branch(DoubleLessThan(x, Min), &underflow, &exit); in DoubleInRangeInt32()
317 Bind(&underflow); in DoubleInRangeInt32()
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | absint_checks.md | 41 These checks help to detect issues with unintended truncation/overflow/underflow etc.
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | absint_checks.md | 41 These checks help to detect issues with unintended truncation/overflow/underflow etc.
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/spec/ |
| D | 3_types.rst | 571 The integer operators cannot indicate an overflow or an underflow.
604 underflow
761 floating-point numbers and *gradual underflow* that make it easier to prove
784 gradual underflow
799 A floating-point operation with underflow produces a denormalized value
829 underflow
|
| D | 7_expressions.rst | 3219 language requires gradual underflow support as defined by IEEE 754
3227 despite possible overflow, underflow, or loss of information.
3237 underflow
3358 language requires gradual underflow support as defined by IEEE 754 (see
3362 error despite possible overflow, underflow, division by zero, or loss of
3371 underflow
3499 an error, even if the right-hand operand is zero. Overflow, underflow, or
3701 requires gradual underflow support as defined by IEEE 754 (see
3716 possible overflow, underflow, or loss of information.
3721 underflow
|