Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(377)

Side by Side Diff: src/compiler/preprocess-live-ranges.cc

Issue 1305393003: [turbofan] Deferred blocks splintering. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 5 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/compiler/preprocess-live-ranges.h ('k') | src/compiler/register-allocator.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
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 #include "src/compiler/preprocess-live-ranges.h"
6 #include "src/compiler/register-allocator.h"
7
8 namespace v8 {
9 namespace internal {
10 namespace compiler {
11
12
13 #define TRACE(...) \
14 do { \
15 if (FLAG_trace_alloc) PrintF(__VA_ARGS__); \
16 } while (false)
17
18
19 namespace {
20
21 LiveRange* Split(LiveRange* range, RegisterAllocationData* data,
22 LifetimePosition pos) {
23 DCHECK(range->Start() < pos && pos < range->End());
24 DCHECK(pos.IsStart() || pos.IsGapPosition() ||
25 (data->code()
26 ->GetInstructionBlock(pos.ToInstructionIndex())
27 ->last_instruction_index() != pos.ToInstructionIndex()));
28 LiveRange* result = data->NewChildRangeFor(range);
29 range->SplitAt(pos, result, data->allocation_zone());
30 TRACE("Split range %d(v%d) @%d => %d.\n", range->id(),
31 range->TopLevel()->id(), pos.ToInstructionIndex(), result->id());
32 return result;
33 }
34
35
36 LifetimePosition GetSplitPositionForInstruction(const LiveRange* range,
37 int instruction_index) {
38 LifetimePosition ret = LifetimePosition::Invalid();
39
40 ret = LifetimePosition::GapFromInstructionIndex(instruction_index);
41 if (range->Start() >= ret || ret >= range->End()) {
42 return LifetimePosition::Invalid();
43 }
44 return ret;
45 }
46
47
48 LiveRange* SplitRangeAfterBlock(LiveRange* range, RegisterAllocationData* data,
49 const InstructionBlock* block) {
50 const InstructionSequence* code = data->code();
51 int last_index = block->last_instruction_index();
52 int outside_index = static_cast<int>(code->instructions().size());
53 bool has_handler = false;
54 for (auto successor_id : block->successors()) {
55 const InstructionBlock* successor = code->InstructionBlockAt(successor_id);
56 if (successor->IsHandler()) {
57 has_handler = true;
58 }
59 outside_index = Min(outside_index, successor->first_instruction_index());
60 }
61 int split_at = has_handler ? outside_index : last_index;
62 LifetimePosition after_block =
63 GetSplitPositionForInstruction(range, split_at);
64
65 if (after_block.IsValid()) {
66 return Split(range, data, after_block);
67 }
68
69 return range;
70 }
71
72
73 int GetFirstInstructionIndex(const UseInterval* interval) {
74 int ret = interval->start().ToInstructionIndex();
75 if (!interval->start().IsGapPosition() && !interval->start().IsStart()) {
76 ++ret;
77 }
78 return ret;
79 }
80
81
82 bool DoesSubsequenceClobber(const InstructionSequence* code, int start,
83 int end) {
84 for (int i = start; i <= end; ++i) {
85 if (code->InstructionAt(i)->IsCall()) return true;
86 }
87 return false;
88 }
89
90
91 void SplitRangeAtDeferredBlocksWithCalls(LiveRange* range,
92 RegisterAllocationData* data) {
93 DCHECK(!range->IsFixed());
94 DCHECK(!range->spilled());
95 if (range->TopLevel()->HasSpillOperand()) {
96 TRACE(
97 "Skipping deferred block analysis for live range %d because it has a "
98 "spill operand.\n",
99 range->TopLevel()->id());
100 return;
101 }
102
103 const InstructionSequence* code = data->code();
104 LiveRange* current_subrange = range;
105
106 UseInterval* interval = current_subrange->first_interval();
107
108 while (interval != nullptr) {
109 int first_index = GetFirstInstructionIndex(interval);
110 int last_index = interval->end().ToInstructionIndex();
111
112 if (last_index > code->LastInstructionIndex()) {
113 last_index = code->LastInstructionIndex();
114 }
115
116 interval = interval->next();
117
118 for (int index = first_index; index <= last_index;) {
119 const InstructionBlock* block = code->GetInstructionBlock(index);
120 int last_block_index = static_cast<int>(block->last_instruction_index());
121 int last_covered_index = Min(last_index, last_block_index);
122 int working_index = index;
123 index = block->last_instruction_index() + 1;
124
125 if (!block->IsDeferred() ||
126 !DoesSubsequenceClobber(code, working_index, last_covered_index)) {
127 continue;
128 }
129
130 TRACE("Deferred block B%d clobbers range %d(v%d).\n",
131 block->rpo_number().ToInt(), current_subrange->id(),
132 current_subrange->TopLevel()->id());
133 LifetimePosition block_start =
134 GetSplitPositionForInstruction(current_subrange, working_index);
135 LiveRange* block_and_after = nullptr;
136 if (block_start.IsValid()) {
137 block_and_after = Split(current_subrange, data, block_start);
138 } else {
139 block_and_after = current_subrange;
140 }
141 LiveRange* next = SplitRangeAfterBlock(block_and_after, data, block);
142 if (next != current_subrange) interval = next->first_interval();
143 current_subrange = next;
144 break;
145 }
146 }
147 }
148 }
149
150
151 void PreprocessLiveRanges::PreprocessRanges() {
152 SplitRangesAroundDeferredBlocks();
153 }
154
155
156 void PreprocessLiveRanges::SplitRangesAroundDeferredBlocks() {
157 size_t live_range_count = data()->live_ranges().size();
158 for (size_t i = 0; i < live_range_count; i++) {
159 LiveRange* range = data()->live_ranges()[i];
160 if (range != nullptr && !range->IsEmpty() && !range->spilled() &&
161 !range->IsFixed() && !range->IsChild()) {
162 SplitRangeAtDeferredBlocksWithCalls(range, data());
163 }
164 }
165 }
166
167 } // namespace compiler
168 } // namespace internal
169 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/preprocess-live-ranges.h ('k') | src/compiler/register-allocator.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698