Record the HashSet/HashMap operations in DFG/FTL/B3 and replay them in a benchmark
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGCombinedLiveness.cpp
1 /*
2  * Copyright (C) 2015-2016 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 "DFGCombinedLiveness.h"
28
29 #if ENABLE(DFG_JIT)
30
31 #include "DFGAvailabilityMap.h"
32 #include "DFGBlockMapInlines.h"
33 #include "FullBytecodeLiveness.h"
34 #include "JSCInlines.h"
35
36 namespace JSC { namespace DFG {
37
38 NodeSet liveNodesAtHead(Graph& graph, BasicBlock* block)
39 {
40     NodeSet seen;
41     for (NodeFlowProjection node : block->ssa->liveAtHead) {
42         if (node.kind() == NodeFlowProjection::Primary)
43             seen.addVoid(node.node());
44     }
45     
46     AvailabilityMap& availabilityMap = block->ssa->availabilityAtHead;
47     graph.forAllLocalsLiveInBytecode(
48         block->at(0)->origin.forExit,
49         [&] (VirtualRegister reg) {
50             availabilityMap.closeStartingWithLocal(
51                 reg,
52                 [&] (Node* node) -> bool {
53                     return seen.contains(node);
54                 },
55                 [&] (Node* node) -> bool {
56                     return seen.add(node).isNewEntry;
57                 });
58         });
59     
60     return seen;
61 }
62
63 CombinedLiveness::CombinedLiveness(Graph& graph)
64     : liveAtHead(graph)
65     , liveAtTail(graph)
66 {
67     // First compute the liveAtHead for each block.
68     for (BasicBlock* block : graph.blocksInNaturalOrder())
69         liveAtHead[block] = liveNodesAtHead(graph, block);
70     
71     // Now compute the liveAtTail by unifying the liveAtHead of the successors.
72     for (BasicBlock* block : graph.blocksInNaturalOrder()) {
73         for (BasicBlock* successor : block->successors()) {
74             for (Node* node : liveAtHead[successor])
75                 liveAtTail[block].addVoid(node);
76         }
77     }
78 }
79
80 } } // namespace JSC::DFG
81
82 #endif // ENABLE(DFG_JIT)
83