Changeset 153271 in webkit for trunk/Source/JavaScriptCore/dfg/DFGAbstractValue.h

Timestamp:

Jul 24, 2013, 9:04:35 PM (12 years ago)

Author:

[email protected]

Message:

fourthTier: DFG::AbstractState::beginBasicBlock() should set m_haveStructures if any of the valuesAtHead have either a current known structure or a non-top/non-bottom array modes
​https://bugs.webkit.org/show_bug.cgi?id=118489

Reviewed by Mark Hahnenberg.

• bytecode/ArrayProfile.h:

(JSC::arrayModesAreClearOrTop):
(JSC):

• dfg/DFGAbstractState.cpp:

(JSC::DFG::AbstractState::beginBasicBlock):

• dfg/DFGAbstractValue.h:

(JSC::DFG::AbstractValue::hasClobberableState):
(AbstractValue):

File:

• trunk/Source/JavaScriptCore/dfg/DFGAbstractValue.h (modified) (1 diff)

trunk/Source/JavaScriptCore/dfg/DFGAbstractValue.h

@@ -244 +244 @@
     }
     
+    bool hasClobberableState() const
+    {
+        return m_currentKnownStructure.isNeitherClearNorTop()
+            || !arrayModesAreClearOrTop(m_arrayModes);
+    }
+    
     void checkConsistency() const;