Replace WTF::move with WTFMove
[WebKit-https.git] / Source / JavaScriptCore / b3 / B3BlockInsertionSet.cpp
1 /*
2  * Copyright (C) 2015 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "B3BlockInsertionSet.h"
28
29 #if ENABLE(B3_JIT)
30
31 #include "B3BasicBlockInlines.h"
32 #include "B3InsertionSet.h"
33 #include "B3ProcedureInlines.h"
34 #include <wtf/BubbleSort.h>
35
36 namespace JSC { namespace B3 {
37
38 BlockInsertionSet::BlockInsertionSet(Procedure &proc)
39     : m_proc(proc)
40 {
41 }
42
43 BlockInsertionSet::~BlockInsertionSet() { }
44
45 void BlockInsertionSet::insert(BlockInsertion&& insertion)
46 {
47     m_insertions.append(WTFMove(insertion));
48 }
49
50 BasicBlock* BlockInsertionSet::insert(unsigned index, double frequency)
51 {
52     std::unique_ptr<BasicBlock> block(new BasicBlock(UINT_MAX, frequency));
53     BasicBlock* result = block.get();
54     insert(BlockInsertion(index, WTFMove(block)));
55     return result;
56 }
57
58 BasicBlock* BlockInsertionSet::insertBefore(BasicBlock* before, double frequency)
59 {
60     return insert(before->index(), frequency == frequency ? frequency : before->frequency());
61 }
62
63 BasicBlock* BlockInsertionSet::insertAfter(BasicBlock* after, double frequency)
64 {
65     return insert(after->index() + 1, frequency == frequency ? frequency : after->frequency());
66 }
67
68 BasicBlock* BlockInsertionSet::splitForward(
69     BasicBlock* block, unsigned& valueIndex, InsertionSet* insertionSet, double frequency)
70 {
71     Value* value = block->at(valueIndex);
72
73     // Create a new block that will go just before 'block', and make it contain everything prior
74     // to 'valueIndex'.
75     BasicBlock* result = insertBefore(block, frequency);
76     result->m_values.resize(valueIndex + 1);
77     for (unsigned i = valueIndex; i--;)
78         result->m_values[i] = block->m_values[i];
79
80     // Make the new block jump to 'block'.
81     result->m_values[valueIndex] =
82         m_proc.add<ControlValue>(Jump, value->origin(), FrequentedBlock(block));
83
84     // If we had inserted things into 'block' before this, execute those insertions now.
85     if (insertionSet)
86         insertionSet->execute(result);
87
88     // Remove everything prior to 'valueIndex' from 'block', since those things are now in the
89     // new block.
90     block->m_values.remove(0, valueIndex);
91
92     // This is being used in a forward loop over 'block'. Update the index of the loop so that
93     // it can continue to the next block.
94     valueIndex = 0;
95
96     // Fixup the predecessors of 'block'. They now must jump to the new block.
97     result->predecessors() = WTFMove(block->predecessors());
98     block->addPredecessor(result);
99     for (BasicBlock* predecessor : result->predecessors())
100         predecessor->replaceSuccessor(block, result);
101
102     return result;
103 }
104
105 bool BlockInsertionSet::execute()
106 {
107     if (m_insertions.isEmpty())
108         return false;
109     
110     // We allow insertions to be given to us in any order. So, we need to sort them before
111     // running WTF::executeInsertions. We strongly prefer a stable sort and we want it to be
112     // fast, so we use bubble sort.
113     bubbleSort(m_insertions.begin(), m_insertions.end());
114
115     executeInsertions(m_proc.m_blocks, m_insertions);
116     
117     // Prune out empty entries. This isn't strictly necessary but it's
118     // healthy to keep the block list from growing.
119     m_proc.m_blocks.removeAllMatching(
120         [&] (std::unique_ptr<BasicBlock>& blockPtr) -> bool {
121             return !blockPtr;
122         });
123     
124     // Make sure that the blocks know their new indices.
125     for (unsigned i = 0; i < m_proc.m_blocks.size(); ++i)
126         m_proc.m_blocks[i]->m_index = i;
127     
128     return true;
129 }
130
131 } } // namespace JSC::B3
132
133 #endif // ENABLE(B3_JIT)
134