WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
146867
AI folding of IsObjectOrNull is broken for non-object types that may be null
https://bugs.webkit.org/show_bug.cgi?id=146867
Summary
AI folding of IsObjectOrNull is broken for non-object types that may be null
Filip Pizlo
Reported
2015-07-10 19:24:22 PDT
Patch forthcoming.
Attachments
the patch
(4.06 KB, patch)
2015-07-10 19:26 PDT
,
Filip Pizlo
rniwa
: review+
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Filip Pizlo
Comment 1
2015-07-10 19:26:27 PDT
Created
attachment 256638
[details]
the patch
WebKit Commit Bot
Comment 2
2015-07-10 19:29:32 PDT
Attachment 256638
[details]
did not pass style-queue: ERROR: Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:1044: Should have only a single space after a punctuation in a comment. [whitespace/comments] [5] ERROR: Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:1053: Should have only a single space after a punctuation in a comment. [whitespace/comments] [5] Total errors found: 2 in 4 files If any of these errors are false positives, please file a bug against check-webkit-style.
Ryosuke Niwa
Comment 3
2015-07-10 19:51:13 PDT
Comment on
attachment 256638
[details]
the patch View in context:
https://bugs.webkit.org/attachment.cgi?id=256638&action=review
> Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:1056 > + if (!(child.m_type & ((SpecObject - SpecFunction) | SpecOther))) {
Can we define a local variable immediately before this line to reduce the number of parentheses involved? e.g. SpeculatedType nonFunctionObject = ((SpecObject - SpecFunction) | SpecOther);
Ryosuke Niwa
Comment 4
2015-07-10 19:53:24 PDT
or maybe an inline helper function somewhere?
Filip Pizlo
Comment 5
2015-07-10 19:59:52 PDT
(In reply to
comment #3
)
> Comment on
attachment 256638
[details]
> the patch > > View in context: >
https://bugs.webkit.org/attachment.cgi?id=256638&action=review
> > > Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:1056 > > + if (!(child.m_type & ((SpecObject - SpecFunction) | SpecOther))) { > > Can we define a local variable immediately before this line to reduce the > number of parentheses involved? > e.g. > SpeculatedType nonFunctionObject = ((SpecObject - SpecFunction) | SpecOther);
Well, we could, but nonFunctionObject would be the wrong name for this. It's really nonFunctionObjectOrUndefinedOrNull. At that point, the variable name is more complicated than the set expression!
Filip Pizlo
Comment 6
2015-07-10 20:00:07 PDT
(In reply to
comment #4
)
> or maybe an inline helper function somewhere?
https://bugs.webkit.org/show_bug.cgi?id=146870
Filip Pizlo
Comment 7
2015-07-10 20:03:09 PDT
Landed in
http://trac.webkit.org/changeset/186702
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug