Summary: | [JSC] Remove merging must handle values into proven types in CFA | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Yusuke Suzuki <ysuzuki> | ||||
Component: | JavaScriptCore | Assignee: | Yusuke Suzuki <ysuzuki> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | ews-watchlist, keith_miller, mark.lam, msaboff, saam, webkit-bug-importer | ||||
Priority: | P2 | Keywords: | InRadar | ||||
Version: | WebKit Nightly Build | ||||||
Hardware: | Unspecified | ||||||
OS: | Unspecified | ||||||
Attachments: |
|
Description
Yusuke Suzuki
2019-03-07 17:49:10 PST
I've changed the ChangeLog part since OSR entry validates the value with AbstractValue. We should not consume must handle value as a constant AbstractValue in CFA since we do not have strong assumption that must handle values should be the same constants when kicking off concurrent compilation and actually performing OSR entry. Created attachment 363969 [details]
Patch for landing
Originally, this patch is included in https://bugs.webkit.org/show_bug.cgi?id=195429, and separated after the review. (https://bugs.webkit.org/show_bug.cgi?id=195429#c4). |