Unreviewed, rolling out r225362.
authorcommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Fri, 1 Dec 2017 00:14:34 +0000 (00:14 +0000)
committercommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Fri, 1 Dec 2017 00:14:34 +0000 (00:14 +0000)
https://bugs.webkit.org/show_bug.cgi?id=180225

removeIf predicate function can touch remove target set
(Requested by yusukesuzuki on #webkit).

Reverted changeset:

"[JSC] Remove easy toRemove & map.remove() use"
https://bugs.webkit.org/show_bug.cgi?id=180208
https://trac.webkit.org/changeset/225362

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@225368 268f45cc-cd09-0410-ab3c-d52691b4dbfc

Source/JavaScriptCore/ChangeLog
Source/JavaScriptCore/b3/B3MoveConstants.cpp
Source/JavaScriptCore/dfg/DFGArgumentsEliminationPhase.cpp
Source/JavaScriptCore/dfg/DFGObjectAllocationSinkingPhase.cpp
Source/JavaScriptCore/wasm/WasmSignature.cpp
Source/WTF/ChangeLog
Source/WTF/wtf/HashMap.h
Source/WTF/wtf/HashSet.h
Source/WTF/wtf/HashTable.h

index 9259f71..2f94f1e 100644 (file)
@@ -1,3 +1,17 @@
+2017-11-30  Commit Queue  <commit-queue@webkit.org>
+
+        Unreviewed, rolling out r225362.
+        https://bugs.webkit.org/show_bug.cgi?id=180225
+
+        removeIf predicate function can touch remove target set
+        (Requested by yusukesuzuki on #webkit).
+
+        Reverted changeset:
+
+        "[JSC] Remove easy toRemove & map.remove() use"
+        https://bugs.webkit.org/show_bug.cgi?id=180208
+        https://trac.webkit.org/changeset/225362
+
 2017-11-30  Yusuke Suzuki  <utatane.tea@gmail.com>
 
         [JSC] Use AllocatorIfExists for MaterializeNewObject
index c98172b..d3ed979 100644 (file)
@@ -342,8 +342,10 @@ private:
     }
 
     Procedure& m_proc;
+    Vector<Value*> m_toRemove;
     HashMap<ValueKey, unsigned> m_constTable;
     int64_t* m_dataSection;
+    HashMap<ValueKey, Value*> m_constants;
     InsertionSet m_insertionSet;
 };
 
index 929d100..bf1b9eb 100644 (file)
@@ -192,10 +192,20 @@ private:
     {
         bool changed;
         do {
-            changed = m_candidates.removeIf(
-                [&] (Node* candidate) {
-                    return !isStillValidCandidate(candidate);
-                });
+            changed = false;
+            Vector<Node*, 1> toRemove;
+
+            for (Node* candidate : m_candidates) {
+                if (!isStillValidCandidate(candidate))
+                    toRemove.append(candidate);
+            }
+
+            if (toRemove.size()) {
+                changed = true;
+                for (Node* node : toRemove)
+                    m_candidates.remove(node);
+            }
+
         } while (changed);
     }
 
index 8171b6e..3fda7d4 100644 (file)
@@ -507,10 +507,14 @@ public:
 
     void pruneByLiveness(const NodeSet& live)
     {
-        m_pointers.removeIf(
-            [&] (const auto& entry) {
-                return !live.contains(entry.key);
-            });
+        Vector<Node*> toRemove;
+        for (const auto& entry : m_pointers) {
+            if (!live.contains(entry.key))
+                toRemove.append(entry.key);
+        }
+        for (Node* node : toRemove)
+            m_pointers.remove(node);
+
         prune();
     }
 
@@ -678,10 +682,15 @@ private:
         }
 
         // Remove unreachable allocations
-        m_allocations.removeIf(
-            [&] (const auto& entry) {
-                return !reachable.contains(entry.key);
-            });
+        {
+            Vector<Node*> toRemove;
+            for (const auto& entry : m_allocations) {
+                if (!reachable.contains(entry.key))
+                    toRemove.append(entry.key);
+            }
+            for (Node* identifier : toRemove)
+                m_allocations.remove(identifier);
+        }
     }
 
     bool m_reached = false;
@@ -1240,10 +1249,14 @@ private:
     {
         // We don't create materializations if the escapee is not a
         // sink candidate
-        escapees.removeIf(
-            [&] (const auto& entry) {
-                return !m_sinkCandidates.contains(entry.key);
-            });
+        Vector<Node*> toRemove;
+        for (const auto& entry : escapees) {
+            if (!m_sinkCandidates.contains(entry.key))
+                toRemove.append(entry.key);
+        }
+        for (Node* identifier : toRemove)
+            escapees.remove(identifier);
+
         if (escapees.isEmpty())
             return;
 
index 2c930ac..6a42d51 100644 (file)
@@ -144,18 +144,20 @@ void SignatureInformation::tryCleanup()
     SignatureInformation& info = singleton();
     LockHolder lock(info.m_lock);
 
-    info.m_indexMap.removeIf(
-        [&] (const auto& pair) {
-            const Ref<Signature>& signature = pair.value;
-            if (signature->refCount() == 1) {
-                // We're the only owner.
-                bool removed = info.m_signatureMap.remove(SignatureHash { signature.ptr() });
-                ASSERT_UNUSED(removed, removed);
-                return true;
-            }
-            return false;
-        });
-
+    Vector<std::pair<SignatureIndex, Signature*>> toRemove;
+    for (const auto& pair : info.m_indexMap) {
+        const Ref<Signature>& signature = pair.value;
+        if (signature->refCount() == 1) {
+            // We're the only owner.
+            toRemove.append(std::make_pair(pair.key, signature.ptr()));
+        }
+    }
+    for (const auto& pair : toRemove) {
+        bool removed = info.m_signatureMap.remove(SignatureHash { pair.second });
+        ASSERT_UNUSED(removed, removed);
+        removed = info.m_indexMap.remove(pair.first);
+        ASSERT_UNUSED(removed, removed);
+    }
     if (info.m_signatureMap.isEmpty()) {
         ASSERT(info.m_indexMap.isEmpty());
         info.m_nextIndex = Signature::firstValidIndex;
index af89041..bc4e55e 100644 (file)
@@ -1,3 +1,17 @@
+2017-11-30  Commit Queue  <commit-queue@webkit.org>
+
+        Unreviewed, rolling out r225362.
+        https://bugs.webkit.org/show_bug.cgi?id=180225
+
+        removeIf predicate function can touch remove target set
+        (Requested by yusukesuzuki on #webkit).
+
+        Reverted changeset:
+
+        "[JSC] Remove easy toRemove & map.remove() use"
+        https://bugs.webkit.org/show_bug.cgi?id=180208
+        https://trac.webkit.org/changeset/225362
+
 2017-11-30  Mark Lam  <mark.lam@apple.com>
 
         Let's scramble MacroAssemblerCodePtr values.
index 34e72ff..e4cf6ba 100644 (file)
@@ -135,7 +135,7 @@ public:
     bool remove(const KeyType&);
     bool remove(iterator);
     template<typename Functor>
-    bool removeIf(Functor&&);
+    void removeIf(Functor&&);
     void clear();
 
     MappedTakeType take(const KeyType&); // efficient combination of get with remove
@@ -443,9 +443,9 @@ inline bool HashMap<T, U, V, W, X>::remove(iterator it)
 
 template<typename T, typename U, typename V, typename W, typename X>
 template<typename Functor>
-inline bool HashMap<T, U, V, W, X>::removeIf(Functor&& functor)
+inline void HashMap<T, U, V, W, X>::removeIf(Functor&& functor)
 {
-    return m_impl.removeIf(std::forward<Functor>(functor));
+    m_impl.removeIf(std::forward<Functor>(functor));
 }
 
 template<typename T, typename U, typename V, typename W, typename X>
index fc45835..e62b3d9 100644 (file)
@@ -105,7 +105,7 @@ public:
     bool remove(const ValueType&);
     bool remove(iterator);
     template<typename Functor>
-    bool removeIf(const Functor&);
+    void removeIf(const Functor&);
     void clear();
 
     TakeType take(const ValueType&);
@@ -275,9 +275,9 @@ inline bool HashSet<T, U, V>::remove(const ValueType& value)
 
 template<typename T, typename U, typename V>
 template<typename Functor>
-inline bool HashSet<T, U, V>::removeIf(const Functor& functor)
+inline void HashSet<T, U, V>::removeIf(const Functor& functor)
 {
-    return m_impl.removeIf(functor);
+    m_impl.removeIf(functor);
 }
 
 template<typename T, typename U, typename V>
index d1eebd6..7f4fa9f 100644 (file)
@@ -405,7 +405,7 @@ namespace WTF {
         void removeWithoutEntryConsistencyCheck(iterator);
         void removeWithoutEntryConsistencyCheck(const_iterator);
         template<typename Functor>
-        bool removeIf(const Functor&);
+        void removeIf(const Functor&);
         void clear();
 
         static bool isEmptyBucket(const ValueType& value) { return isHashTraitsEmptyValue<KeyTraits>(Extractor::extract(value)); }
@@ -1108,7 +1108,7 @@ namespace WTF {
 
     template<typename Key, typename Value, typename Extractor, typename HashFunctions, typename Traits, typename KeyTraits>
     template<typename Functor>
-    inline bool HashTable<Key, Value, Extractor, HashFunctions, Traits, KeyTraits>::removeIf(const Functor& functor)
+    inline void HashTable<Key, Value, Extractor, HashFunctions, Traits, KeyTraits>::removeIf(const Functor& functor)
     {
         // We must use local copies in case "functor" or "deleteBucket"
         // make a function call, which prevents the compiler from keeping
@@ -1134,7 +1134,6 @@ namespace WTF {
             shrink();
         
         internalCheckTableConsistency();
-        return removedBucketCount;
     }
 
     template<typename Key, typename Value, typename Extractor, typename HashFunctions, typename Traits, typename KeyTraits>