Line data Source code
1 : // Copyright 2015 the V8 project authors. All rights reserved.
2 : // Use of this source code is governed by a BSD-style license that can be
3 : // found in the LICENSE file.
4 :
5 : #ifndef V8_COMPILER_JS_INLINING_HEURISTIC_H_
6 : #define V8_COMPILER_JS_INLINING_HEURISTIC_H_
7 :
8 : #include "src/compiler/js-inlining.h"
9 :
10 : namespace v8 {
11 : namespace internal {
12 : namespace compiler {
13 :
14 928883 : class JSInliningHeuristic final : public AdvancedReducer {
15 : public:
16 : enum Mode { kGeneralInlining, kRestrictedInlining, kStressInlining };
17 : JSInliningHeuristic(Editor* editor, Mode mode, Zone* local_zone,
18 : OptimizedCompilationInfo* info, JSGraph* jsgraph,
19 : JSHeapBroker* broker,
20 : SourcePositionTable* source_positions)
21 : : AdvancedReducer(editor),
22 : mode_(mode),
23 : inliner_(editor, local_zone, info, jsgraph, broker, source_positions),
24 : candidates_(local_zone),
25 : seen_(local_zone),
26 : source_positions_(source_positions),
27 : jsgraph_(jsgraph),
28 928882 : broker_(broker) {}
29 :
30 18 : const char* reducer_name() const override { return "JSInliningHeuristic"; }
31 :
32 : Reduction Reduce(Node* node) final;
33 :
34 : // Processes the list of candidates gathered while the reducer was running,
35 : // and inlines call sites that the heuristic determines to be important.
36 : void Finalize() final;
37 :
38 : private:
39 : // This limit currently matches what the old compiler did. We may want to
40 : // re-evaluate and come up with a proper limit for TurboFan.
41 : static const int kMaxCallPolymorphism = 4;
42 :
43 1781547 : struct Candidate {
44 : base::Optional<JSFunctionRef> functions[kMaxCallPolymorphism];
45 : // In the case of polymorphic inlining, this tells if each of the
46 : // functions could be inlined.
47 : bool can_inline_function[kMaxCallPolymorphism];
48 : // Strong references to bytecode to ensure it is not flushed from SFI
49 : // while choosing inlining candidates.
50 : base::Optional<BytecodeArrayRef> bytecode[kMaxCallPolymorphism];
51 : // TODO(2206): For now polymorphic inlining is treated orthogonally to
52 : // inlining based on SharedFunctionInfo. This should be unified and the
53 : // above array should be switched to SharedFunctionInfo instead. Currently
54 : // we use {num_functions == 1 && functions[0].is_null()} as an indicator.
55 : base::Optional<SharedFunctionInfoRef> shared_info;
56 : int num_functions;
57 : Node* node = nullptr; // The call site at which to inline.
58 : CallFrequency frequency; // Relative frequency of this call site.
59 : int total_size = 0;
60 : };
61 :
62 : // Comparator for candidates.
63 : struct CandidateCompare {
64 : bool operator()(const Candidate& left, const Candidate& right) const;
65 : };
66 :
67 : // Candidates are kept in a sorted set of unique candidates.
68 : using Candidates = ZoneSet<Candidate, CandidateCompare>;
69 :
70 : // Dumps candidates to console.
71 : void PrintCandidates();
72 : Reduction InlineCandidate(Candidate const& candidate, bool small_function);
73 : void CreateOrReuseDispatch(Node* node, Node* callee,
74 : Candidate const& candidate, Node** if_successes,
75 : Node** calls, Node** inputs, int input_count);
76 : bool TryReuseDispatch(Node* node, Node* callee, Candidate const& candidate,
77 : Node** if_successes, Node** calls, Node** inputs,
78 : int input_count);
79 : enum StateCloneMode { kCloneState, kChangeInPlace };
80 : Node* DuplicateFrameStateAndRename(Node* frame_state, Node* from, Node* to,
81 : StateCloneMode mode);
82 : Node* DuplicateStateValuesAndRename(Node* state_values, Node* from, Node* to,
83 : StateCloneMode mode);
84 : Candidate CollectFunctions(Node* node, int functions_size);
85 :
86 : CommonOperatorBuilder* common() const;
87 : Graph* graph() const;
88 : JSGraph* jsgraph() const { return jsgraph_; }
89 : // TODO(neis): Make heap broker a component of JSGraph?
90 : JSHeapBroker* broker() const { return broker_; }
91 : Isolate* isolate() const { return jsgraph_->isolate(); }
92 : SimplifiedOperatorBuilder* simplified() const;
93 :
94 : Mode const mode_;
95 : JSInliner inliner_;
96 : Candidates candidates_;
97 : ZoneSet<NodeId> seen_;
98 : SourcePositionTable* source_positions_;
99 : JSGraph* const jsgraph_;
100 : JSHeapBroker* const broker_;
101 : int cumulative_count_ = 0;
102 : };
103 :
104 : } // namespace compiler
105 : } // namespace internal
106 : } // namespace v8
107 :
108 : #endif // V8_COMPILER_JS_INLINING_HEURISTIC_H_
|