Title: [224504] branches/safari-604.4.7.0-branch/Source/_javascript_Core
Revision
224504
Author
[email protected]
Date
2017-11-06 12:03:02 -0800 (Mon, 06 Nov 2017)

Log Message

Cherry-pick r224426. rdar://problem/35364681

Modified Paths

Diff

Modified: branches/safari-604.4.7.0-branch/Source/_javascript_Core/ChangeLog (224503 => 224504)


--- branches/safari-604.4.7.0-branch/Source/_javascript_Core/ChangeLog	2017-11-06 19:50:09 UTC (rev 224503)
+++ branches/safari-604.4.7.0-branch/Source/_javascript_Core/ChangeLog	2017-11-06 20:03:02 UTC (rev 224504)
@@ -1,3 +1,20 @@
+2017-11-06  Jason Marcell  <[email protected]>
+
+        Cherry-pick r224426. rdar://problem/35364681
+
+    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-05  Jason Marcell  <[email protected]>
 
         Cherry-pick r224416. rdar://problem/35296415

Modified: branches/safari-604.4.7.0-branch/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h (224503 => 224504)


--- branches/safari-604.4.7.0-branch/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h	2017-11-06 19:50:09 UTC (rev 224503)
+++ branches/safari-604.4.7.0-branch/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h	2017-11-06 20:03:02 UTC (rev 224504)
@@ -2864,10 +2864,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: {
@@ -2894,6 +2896,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