Bug 137283 - Fix a type check bug for op_profile_type in 64-bit baseline JIT
Summary: Fix a type check bug for op_profile_type in 64-bit baseline JIT
Status: RESOLVED INVALID
Alias: None
Product: WebKit
Classification: Unclassified
Component: JavaScriptCore (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Saam Barati
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-09-30 19:52 PDT by Saam Barati
Modified: 2014-10-01 01:17 PDT (History)
2 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Saam Barati 2014-09-30 19:52:50 PDT 
op_profile_type will successfully pass a type check compiled for TypeNumber when the argument is actually an integer. 
Currently, we want the type profiler to specifically capture that this has been an Int, but maybe in the future
it's worth getting more lossy about this kinda thing.
Comment 1 Saam Barati 2014-10-01 01:17:37 PDT 
Now, TypeNumber is now assumed to be Integer || Double, not just Double, which makes fixing this irrelevant.