mirror of
https://github.com/dart-lang/sdk
synced 2024-09-05 08:24:39 +00:00
![]() `int` variables can attain NaN values because web int arithmetic implemented by JavaScript numbers (doubles) is not closed under many operations. It is possible get NaN using only addition: int a = 1, b = -1; while (a + a != a) { a += a; b += b; } int nan = a + b; On the VM, a, b and nan are all zero. On the web, a, b and nan are Infinity, -Infinity and NaN, respectively. Since NaN can leak into int arithmetic, is it helpful if bounds checks catch NaN indexes. NaN compares false in any comparison, so a test of the form if (index < 0 || index >= a.length) throw ioore(a, index); fails to detect a NaN value of `index`. This is fixed by negating the comparisons, and applying De Morgan's law: if (!(index >= 0 && index < a.length)) throw ioore(a, index); These changes have been applied to JSArray.[], JSArray.[]= and String.[] For dart2js the change is a little more involved. Primitive indexing is lowered to code with a HBoundsCheck check instruction. The code generated for the instruction now uses, e.g. `!(i>=0)` instead of `i<0`. This leads to a small code size regression. There is no regression at -O4 since bounds checks are omitted at -O4. At -O3 (where the regression is largest) the regression is 0.01% for cm 0.06% for flutter gallery -- array-heavy diff and layout 0.21% for Meteor -- array-heavy code 0.30% for Box2DOctane -- array-heavy code I believe the regression can be largely alleviated by determining if NaN is impossible at the index check, and if so, reverting to the smaller code pattern. The analysis could be global, incorporating NaN into the global abstract value domain, or a much simpler a local dataflow analysis. Many indexes are loop driven and cannot reach infinity because they are incremented by a small bump and eventually (even without a loop guard) the index would stop growing when the increment falls below the rounding error in O(2^53) iterations. Change-Id: I23ab1eb779f1d0c9c6655e13d69f65d453db9284 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/210321 Commit-Queue: Stephen Adams <sra@google.com> Reviewed-by: Mayank Patke <fishythefish@google.com> |
||
---|---|---|
.. | ||
co19 | ||
co19_2 | ||
corelib | ||
corelib_2 | ||
dartdevc | ||
dartdevc_2 | ||
ffi | ||
ffi_2 | ||
language | ||
language_2 | ||
lib | ||
lib_2 | ||
modular | ||
standalone | ||
standalone_2 | ||
web | ||
web_2 | ||
legacy_status_dart2js.csv | ||
README.md |
This directory contains tests of the language and core library implementations. For more information, see https://github.com/dart-lang/sdk/wiki/Testing.