Fix double-rounding in strtod.
authorfloitschV8@gmail.com <floitschV8@gmail.com@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Mon, 18 Oct 2010 15:19:39 +0000 (15:19 +0000)
committerfloitschV8@gmail.com <floitschV8@gmail.com@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Mon, 18 Oct 2010 15:19:39 +0000 (15:19 +0000)
commit11939873138d92c58562314d7284dcb6674e43ff
treef25fbd664f46447e8f96cb7fb2cf1f89331dbe42
parentb2b7aa6f3bbefa79d957e55aa6536773c18e94eb
Fix double-rounding in strtod.

Don't use floating-point operations on Linux,x86 to compute strtod. Since the
floating-point stack on Linux is set to 80bit double rounding may occure.

When falling back to gay_strtod append several '0's so that Gay doesn't take
the same shortcut either.

BUG=
TEST=

Review URL: http://codereview.chromium.org/3851003

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@5650 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
src/strtod.cc
test/cctest/test-strtod.cc