RESOLVED INVALID137283
Fix a type check bug for op_profile_type in 64-bit baseline JIT 
https://bugs.webkit.org/show_bug.cgi?id=137283
Summary Fix a type check bug for op_profile_type in 64-bit baseline JIT
Saam Barati
Reported 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.
Attachments
Add attachment proposed patch, testcase, etc.
Saam Barati
Comment 1 2014-10-01 01:17:37 PDT
Now, TypeNumber is now assumed to be Integer || Double, not just Double, which makes fixing this irrelevant.
Note You need to log in before you can comment on or make changes to this bug.