Title: [224426] trunk/Source/_javascript_Core
Revision
224426
Author
[email protected]
Date
2017-11-03 13:45:06 -0700 (Fri, 03 Nov 2017)

Log Message

The Abstract Interpreter needs to change similar to clobberize() in r224366
https://bugs.webkit.org/show_bug.cgi?id=179267

Reviewed by Saam Barati.

Add clobberWorld() to HasGenericProperty, HasStructureProperty & GetPropertyEnumerator
cases in the abstract interpreter to match what was done for r224366.

* dfg/DFGAbstractInterpreterInlines.h:
(JSC::DFG::AbstractInterpreter<AbstractStateType>::executeEffects):

Modified Paths

Diff

Modified: trunk/Source/_javascript_Core/ChangeLog (224425 => 224426)


--- trunk/Source/_javascript_Core/ChangeLog	2017-11-03 20:31:00 UTC (rev 224425)
+++ trunk/Source/_javascript_Core/ChangeLog	2017-11-03 20:45:06 UTC (rev 224426)
@@ -1,3 +1,16 @@
+2017-11-03  Michael Saboff  <[email protected]>
+
+        The Abstract Interpreter needs to change similar to clobberize() in r224366
+        https://bugs.webkit.org/show_bug.cgi?id=179267
+
+        Reviewed by Saam Barati.
+
+        Add clobberWorld() to HasGenericProperty, HasStructureProperty & GetPropertyEnumerator
+        cases in the abstract interpreter to match what was done for r224366.
+
+        * dfg/DFGAbstractInterpreterInlines.h:
+        (JSC::DFG::AbstractInterpreter<AbstractStateType>::executeEffects):
+
 2017-11-03  Keith Miller  <[email protected]>
 
         PutProperytSlot should inform the IC about the property before effects.

Modified: trunk/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h (224425 => 224426)


--- trunk/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h	2017-11-03 20:31:00 UTC (rev 224425)
+++ trunk/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h	2017-11-03 20:45:06 UTC (rev 224426)
@@ -3091,10 +3091,12 @@
     }
     case HasGenericProperty: {
         forNode(node).setType(SpecBoolean);
+        clobberWorld(node->origin.semantic, clobberLimit);
         break;
     }
     case HasStructureProperty: {
         forNode(node).setType(SpecBoolean);
+        clobberWorld(node->origin.semantic, clobberLimit);
         break;
     }
     case HasIndexedProperty: {
@@ -3121,6 +3123,7 @@
     }
     case GetPropertyEnumerator: {
         forNode(node).setType(m_graph, SpecCell);
+        clobberWorld(node->origin.semantic, clobberLimit);
         break;
     }
     case GetEnumeratorStructurePname: {
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to