[DFG] CheckTypeInfoFlags should say eliminated if it is removed in …

…constant folding phase

https://bugs.webkit.org/show_bug.cgi?id=185802

Reviewed by Saam Barati.

* dfg/DFGConstantFoldingPhase.cpp:
(JSC::DFG::ConstantFoldingPhase::foldConstants):


Canonical link: https://commits.webkit.org/201265@main
git-svn-id: https://svn.webkit.org/repository/webkit/trunk@232002 268f45cc-cd09-0410-ab3c-d52691b4dbfc

Source/JavaScriptCore/ChangeLog

@@ -1,3 +1,13 @@
+2018-05-20  Yusuke Suzuki  <utatane.tea@gmail.com>
+
+        [DFG] CheckTypeInfoFlags should say `eliminated` if it is removed in constant folding phase
+        https://bugs.webkit.org/show_bug.cgi?id=185802
+
+        Reviewed by Saam Barati.
+
+        * dfg/DFGConstantFoldingPhase.cpp:
+        (JSC::DFG::ConstantFoldingPhase::foldConstants):
+
 2018-05-18  Filip Pizlo  <fpizlo@apple.com>
 
         DFG should inline InstanceOf ICs

Source/JavaScriptCore/dfg/DFGConstantFoldingPhase.cpp

@@ -865,7 +865,7 @@ class ConstantFoldingPhase : public Phase {
                 ASSERT(bits);
                 if (bits == ImplementsDefaultHasInstance) {
                     if (abstractValue.m_type == SpecFunctionWithDefaultHasInstance) {
-                        changed = true;
+                        eliminated = true;
                         node->remove(m_graph);
                         break;
                     }
@@ -877,7 +877,7 @@ class ConstantFoldingPhase : public Phase {
                         // and we can read its inline type info flags. These flags don't change over the
                         // object's lifetime.
                         if ((value.asCell()->inlineTypeFlags() & bits) == bits) {
-                            changed = true;
+                            eliminated = true;
                             node->remove(m_graph);
                             break;
                         }
@@ -890,7 +890,7 @@ class ConstantFoldingPhase : public Phase {
                         ok &= (structure->typeInfo().inlineTypeFlags() & bits) == bits;
                     });
                     if (ok) {
-                        changed = true;
+                        eliminated = true;
                         node->remove(m_graph);
                         break;
                     }