RESOLVED FIXED Bug 65490
DFG JIT sometimes creates speculation check data structures that have invalid information about the format of a register 
https://bugs.webkit.org/show_bug.cgi?id=65490
Summary DFG JIT sometimes creates speculation check data structures that have invalid...
Filip Pizlo
Reported 2011-08-01 14:39:04 PDT
The DFG JIT speculation failure code requires knowing the format in which values are stored on both the speculative, and non-speculative, paths. For example, a number may be either boxed, unboxed as an integer, or unboxed as a double. But sometimes the speculative JIT creates a speculation failure in which it fails to correctly set the data format of a register, leading to either incorrect speculation failure code, or assertion failures.
Attachments
the patch (5.41 KB, patch)
2011-08-01 15:03 PDT, Filip Pizlo 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Filip Pizlo
Comment 1 2011-08-01 15:03:05 PDT
Created attachment 102564 [details] the patch
WebKit Review Bot
Comment 2 2011-08-01 15:32:22 PDT
Comment on attachment 102564 [details] the patch Clearing flags on attachment: 102564 Committed r92148: <http://trac.webkit.org/changeset/92148>
WebKit Review Bot
Comment 3 2011-08-01 15:32:26 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.