Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / android_art / refs/heads/sos-5.x / . / compiler / optimizing / gvn_test.cc
blob: 3bf4cc35ba860e53901a726b7863474cd1841b3b [file] [log] [blame]
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]1/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Andreas Gampe8cf9cb32017-07-19 09:28:38 -0700[diff] [blame]17#include "gvn.h"
18
Mathieu Chartierb666f482015-02-18 14:33:14 -0800[diff] [blame]19#include "base/arena_allocator.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]20#include "builder.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]21#include "nodes.h"
22#include "optimizing_unit_test.h"
Nicolas Geoffray827eedb2015-01-26 15:18:36 +0000[diff] [blame]23#include "side_effects_analysis.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]24
Vladimir Marko0a516052019-10-14 13:00:44 +0000[diff] [blame]25namespace art {
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]26
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]27class GVNTest : public OptimizingUnitTest {};
David Brazdil4833f5a2015-12-16 10:37:39 +0000[diff] [blame]28
29TEST_F(GVNTest, LocalFieldElimination) {
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]30 HGraph* graph = CreateGraph();
31 HBasicBlock* entry = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]32 graph->AddBlock(entry);
33 graph->SetEntryBlock(entry);
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]34 HInstruction* parameter = new (GetAllocator()) HParameterValue(graph->GetDexFile(),
35 dex::TypeIndex(0),
36 0,
37 DataType::Type::kReference);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]38 entry->AddInstruction(parameter);
39
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]40 HBasicBlock* block = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]41 graph->AddBlock(block);
42 entry->AddSuccessor(block);
43
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]44 block->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
45 nullptr,
46 DataType::Type::kReference,
47 MemberOffset(42),
48 false,
49 kUnknownFieldIndex,
50 kUnknownClassDefIndex,
51 graph->GetDexFile(),
52 0));
53 block->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
54 nullptr,
55 DataType::Type::kReference,
56 MemberOffset(42),
57 false,
58 kUnknownFieldIndex,
59 kUnknownClassDefIndex,
60 graph->GetDexFile(),
61 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]62 HInstruction* to_remove = block->GetLastInstruction();
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]63 block->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
64 nullptr,
65 DataType::Type::kReference,
66 MemberOffset(43),
67 false,
68 kUnknownFieldIndex,
69 kUnknownClassDefIndex,
70 graph->GetDexFile(),
71 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]72 HInstruction* different_offset = block->GetLastInstruction();
73 // Kill the value.
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]74 block->AddInstruction(new (GetAllocator()) HInstanceFieldSet(parameter,
75 parameter,
76 nullptr,
77 DataType::Type::kReference,
78 MemberOffset(42),
79 false,
80 kUnknownFieldIndex,
81 kUnknownClassDefIndex,
82 graph->GetDexFile(),
83 0));
84 block->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
85 nullptr,
86 DataType::Type::kReference,
87 MemberOffset(42),
88 false,
89 kUnknownFieldIndex,
90 kUnknownClassDefIndex,
91 graph->GetDexFile(),
92 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]93 HInstruction* use_after_kill = block->GetLastInstruction();
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]94 block->AddInstruction(new (GetAllocator()) HExit());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]95
96 ASSERT_EQ(to_remove->GetBlock(), block);
97 ASSERT_EQ(different_offset->GetBlock(), block);
98 ASSERT_EQ(use_after_kill->GetBlock(), block);
99
David Brazdilbadd8262016-02-02 16:28:56 +0000[diff] [blame]100 graph->BuildDominatorTree();
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]101 SideEffectsAnalysis side_effects(graph);
102 side_effects.Run();
Nicolas Geoffray827eedb2015-01-26 15:18:36 +0000[diff] [blame]103 GVNOptimization(graph, side_effects).Run();
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]104
105 ASSERT_TRUE(to_remove->GetBlock() == nullptr);
106 ASSERT_EQ(different_offset->GetBlock(), block);
107 ASSERT_EQ(use_after_kill->GetBlock(), block);
108}
109
David Brazdil4833f5a2015-12-16 10:37:39 +0000[diff] [blame]110TEST_F(GVNTest, GlobalFieldElimination) {
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]111 HGraph* graph = CreateGraph();
112 HBasicBlock* entry = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]113 graph->AddBlock(entry);
114 graph->SetEntryBlock(entry);
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]115 HInstruction* parameter = new (GetAllocator()) HParameterValue(graph->GetDexFile(),
116 dex::TypeIndex(0),
117 0,
118 DataType::Type::kReference);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]119 entry->AddInstruction(parameter);
120
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]121 HBasicBlock* block = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]122 graph->AddBlock(block);
123 entry->AddSuccessor(block);
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]124 block->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
125 nullptr,
126 DataType::Type::kBool,
127 MemberOffset(42),
128 false,
129 kUnknownFieldIndex,
130 kUnknownClassDefIndex,
131 graph->GetDexFile(),
132 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]133
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]134 block->AddInstruction(new (GetAllocator()) HIf(block->GetLastInstruction()));
135 HBasicBlock* then = new (GetAllocator()) HBasicBlock(graph);
136 HBasicBlock* else_ = new (GetAllocator()) HBasicBlock(graph);
137 HBasicBlock* join = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]138 graph->AddBlock(then);
139 graph->AddBlock(else_);
140 graph->AddBlock(join);
141
142 block->AddSuccessor(then);
143 block->AddSuccessor(else_);
144 then->AddSuccessor(join);
145 else_->AddSuccessor(join);
146
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]147 then->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
148 nullptr,
149 DataType::Type::kBool,
150 MemberOffset(42),
151 false,
152 kUnknownFieldIndex,
153 kUnknownClassDefIndex,
154 graph->GetDexFile(),
155 0));
156 then->AddInstruction(new (GetAllocator()) HGoto());
157 else_->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
158 nullptr,
159 DataType::Type::kBool,
160 MemberOffset(42),
161 false,
162 kUnknownFieldIndex,
163 kUnknownClassDefIndex,
164 graph->GetDexFile(),
165 0));
166 else_->AddInstruction(new (GetAllocator()) HGoto());
167 join->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
168 nullptr,
169 DataType::Type::kBool,
170 MemberOffset(42),
171 false,
172 kUnknownFieldIndex,
173 kUnknownClassDefIndex,
174 graph->GetDexFile(),
175 0));
176 join->AddInstruction(new (GetAllocator()) HExit());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]177
David Brazdilbadd8262016-02-02 16:28:56 +0000[diff] [blame]178 graph->BuildDominatorTree();
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]179 SideEffectsAnalysis side_effects(graph);
180 side_effects.Run();
Nicolas Geoffray827eedb2015-01-26 15:18:36 +0000[diff] [blame]181 GVNOptimization(graph, side_effects).Run();
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]182
183 // Check that all field get instructions have been GVN'ed.
184 ASSERT_TRUE(then->GetFirstInstruction()->IsGoto());
185 ASSERT_TRUE(else_->GetFirstInstruction()->IsGoto());
186 ASSERT_TRUE(join->GetFirstInstruction()->IsExit());
187}
188
David Brazdil4833f5a2015-12-16 10:37:39 +0000[diff] [blame]189TEST_F(GVNTest, LoopFieldElimination) {
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]190 HGraph* graph = CreateGraph();
191 HBasicBlock* entry = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]192 graph->AddBlock(entry);
193 graph->SetEntryBlock(entry);
194
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]195 HInstruction* parameter = new (GetAllocator()) HParameterValue(graph->GetDexFile(),
196 dex::TypeIndex(0),
197 0,
198 DataType::Type::kReference);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]199 entry->AddInstruction(parameter);
200
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]201 HBasicBlock* block = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]202 graph->AddBlock(block);
203 entry->AddSuccessor(block);
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]204 block->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
205 nullptr,
206 DataType::Type::kBool,
207 MemberOffset(42),
208 false,
209 kUnknownFieldIndex,
210 kUnknownClassDefIndex,
211 graph->GetDexFile(),
212 0));
213 block->AddInstruction(new (GetAllocator()) HGoto());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]214
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]215 HBasicBlock* loop_header = new (GetAllocator()) HBasicBlock(graph);
216 HBasicBlock* loop_body = new (GetAllocator()) HBasicBlock(graph);
217 HBasicBlock* exit = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]218
219 graph->AddBlock(loop_header);
220 graph->AddBlock(loop_body);
221 graph->AddBlock(exit);
222 block->AddSuccessor(loop_header);
223 loop_header->AddSuccessor(loop_body);
224 loop_header->AddSuccessor(exit);
225 loop_body->AddSuccessor(loop_header);
226
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]227 loop_header->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
228 nullptr,
229 DataType::Type::kBool,
230 MemberOffset(42),
231 false,
232 kUnknownFieldIndex,
233 kUnknownClassDefIndex,
234 graph->GetDexFile(),
235 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]236 HInstruction* field_get_in_loop_header = loop_header->GetLastInstruction();
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]237 loop_header->AddInstruction(new (GetAllocator()) HIf(block->GetLastInstruction()));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]238
239 // Kill inside the loop body to prevent field gets inside the loop header
240 // and the body to be GVN'ed.
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]241 loop_body->AddInstruction(new (GetAllocator()) HInstanceFieldSet(parameter,
242 parameter,
243 nullptr,
244 DataType::Type::kBool,
245 MemberOffset(42),
246 false,
247 kUnknownFieldIndex,
248 kUnknownClassDefIndex,
249 graph->GetDexFile(),
250 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]251 HInstruction* field_set = loop_body->GetLastInstruction();
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]252 loop_body->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
253 nullptr,
254 DataType::Type::kBool,
255 MemberOffset(42),
256 false,
257 kUnknownFieldIndex,
258 kUnknownClassDefIndex,
259 graph->GetDexFile(),
260 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]261 HInstruction* field_get_in_loop_body = loop_body->GetLastInstruction();
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]262 loop_body->AddInstruction(new (GetAllocator()) HGoto());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]263
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]264 exit->AddInstruction(new (GetAllocator()) HInstanceFieldGet(parameter,
265 nullptr,
266 DataType::Type::kBool,
267 MemberOffset(42),
268 false,
269 kUnknownFieldIndex,
270 kUnknownClassDefIndex,
271 graph->GetDexFile(),
272 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]273 HInstruction* field_get_in_exit = exit->GetLastInstruction();
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]274 exit->AddInstruction(new (GetAllocator()) HExit());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]275
276 ASSERT_EQ(field_get_in_loop_header->GetBlock(), loop_header);
277 ASSERT_EQ(field_get_in_loop_body->GetBlock(), loop_body);
278 ASSERT_EQ(field_get_in_exit->GetBlock(), exit);
279
David Brazdilbadd8262016-02-02 16:28:56 +0000[diff] [blame]280 graph->BuildDominatorTree();
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]281 {
282 SideEffectsAnalysis side_effects(graph);
283 side_effects.Run();
Nicolas Geoffray827eedb2015-01-26 15:18:36 +0000[diff] [blame]284 GVNOptimization(graph, side_effects).Run();
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]285 }
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]286
287 // Check that all field get instructions are still there.
288 ASSERT_EQ(field_get_in_loop_header->GetBlock(), loop_header);
289 ASSERT_EQ(field_get_in_loop_body->GetBlock(), loop_body);
290 // The exit block is dominated by the loop header, whose field get
291 // does not get killed by the loop flags.
292 ASSERT_TRUE(field_get_in_exit->GetBlock() == nullptr);
293
294 // Now remove the field set, and check that all field get instructions have been GVN'ed.
295 loop_body->RemoveInstruction(field_set);
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]296 {
297 SideEffectsAnalysis side_effects(graph);
298 side_effects.Run();
Nicolas Geoffray827eedb2015-01-26 15:18:36 +0000[diff] [blame]299 GVNOptimization(graph, side_effects).Run();
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]300 }
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]301
302 ASSERT_TRUE(field_get_in_loop_header->GetBlock() == nullptr);
303 ASSERT_TRUE(field_get_in_loop_body->GetBlock() == nullptr);
304 ASSERT_TRUE(field_get_in_exit->GetBlock() == nullptr);
305}
306
307// Test that inner loops affect the side effects of the outer loop.
David Brazdil4833f5a2015-12-16 10:37:39 +0000[diff] [blame]308TEST_F(GVNTest, LoopSideEffects) {
Alexandre Rames78e3ef62015-08-12 13:43:29 +0100[diff] [blame]309 static const SideEffects kCanTriggerGC = SideEffects::CanTriggerGC();
310
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]311 HGraph* graph = CreateGraph();
312 HBasicBlock* entry = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]313 graph->AddBlock(entry);
314 graph->SetEntryBlock(entry);
315
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]316 HBasicBlock* outer_loop_header = new (GetAllocator()) HBasicBlock(graph);
317 HBasicBlock* outer_loop_body = new (GetAllocator()) HBasicBlock(graph);
318 HBasicBlock* outer_loop_exit = new (GetAllocator()) HBasicBlock(graph);
319 HBasicBlock* inner_loop_header = new (GetAllocator()) HBasicBlock(graph);
320 HBasicBlock* inner_loop_body = new (GetAllocator()) HBasicBlock(graph);
321 HBasicBlock* inner_loop_exit = new (GetAllocator()) HBasicBlock(graph);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]322
323 graph->AddBlock(outer_loop_header);
324 graph->AddBlock(outer_loop_body);
325 graph->AddBlock(outer_loop_exit);
326 graph->AddBlock(inner_loop_header);
327 graph->AddBlock(inner_loop_body);
328 graph->AddBlock(inner_loop_exit);
329
330 entry->AddSuccessor(outer_loop_header);
331 outer_loop_header->AddSuccessor(outer_loop_body);
332 outer_loop_header->AddSuccessor(outer_loop_exit);
333 outer_loop_body->AddSuccessor(inner_loop_header);
334 inner_loop_header->AddSuccessor(inner_loop_body);
335 inner_loop_header->AddSuccessor(inner_loop_exit);
336 inner_loop_body->AddSuccessor(inner_loop_header);
337 inner_loop_exit->AddSuccessor(outer_loop_header);
338
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]339 HInstruction* parameter = new (GetAllocator()) HParameterValue(graph->GetDexFile(),
340 dex::TypeIndex(0),
341 0,
342 DataType::Type::kBool);
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]343 entry->AddInstruction(parameter);
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]344 entry->AddInstruction(new (GetAllocator()) HGoto());
345 outer_loop_header->AddInstruction(new (GetAllocator()) HSuspendCheck());
346 outer_loop_header->AddInstruction(new (GetAllocator()) HIf(parameter));
347 outer_loop_body->AddInstruction(new (GetAllocator()) HGoto());
348 inner_loop_header->AddInstruction(new (GetAllocator()) HSuspendCheck());
349 inner_loop_header->AddInstruction(new (GetAllocator()) HIf(parameter));
350 inner_loop_body->AddInstruction(new (GetAllocator()) HGoto());
351 inner_loop_exit->AddInstruction(new (GetAllocator()) HGoto());
352 outer_loop_exit->AddInstruction(new (GetAllocator()) HExit());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]353
David Brazdilbadd8262016-02-02 16:28:56 +0000[diff] [blame]354 graph->BuildDominatorTree();
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]355
356 ASSERT_TRUE(inner_loop_header->GetLoopInformation()->IsIn(
357 *outer_loop_header->GetLoopInformation()));
358
Alexandre Rames78e3ef62015-08-12 13:43:29 +0100[diff] [blame]359 // Check that the only side effect of loops is to potentially trigger GC.
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]360 {
361 // Make one block with a side effect.
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]362 entry->AddInstruction(new (GetAllocator()) HInstanceFieldSet(parameter,
363 parameter,
364 nullptr,
365 DataType::Type::kReference,
366 MemberOffset(42),
367 false,
368 kUnknownFieldIndex,
369 kUnknownClassDefIndex,
370 graph->GetDexFile(),
371 0));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]372
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]373 SideEffectsAnalysis side_effects(graph);
374 side_effects.Run();
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]375
Aart Bik854a02b2015-07-14 16:07:00 -0700[diff] [blame]376 ASSERT_TRUE(side_effects.GetBlockEffects(entry).DoesAnyWrite());
377 ASSERT_FALSE(side_effects.GetBlockEffects(outer_loop_body).DoesAnyWrite());
378 ASSERT_FALSE(side_effects.GetLoopEffects(outer_loop_header).DoesAnyWrite());
379 ASSERT_FALSE(side_effects.GetLoopEffects(inner_loop_header).DoesAnyWrite());
Alexandre Rames78e3ef62015-08-12 13:43:29 +0100[diff] [blame]380 ASSERT_TRUE(side_effects.GetLoopEffects(outer_loop_header).Equals(kCanTriggerGC));
381 ASSERT_TRUE(side_effects.GetLoopEffects(inner_loop_header).Equals(kCanTriggerGC));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]382 }
383
384 // Check that the side effects of the outer loop does not affect the inner loop.
385 {
386 outer_loop_body->InsertInstructionBefore(
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]387 new (GetAllocator()) HInstanceFieldSet(parameter,
388 parameter,
389 nullptr,
390 DataType::Type::kReference,
391 MemberOffset(42),
392 false,
393 kUnknownFieldIndex,
394 kUnknownClassDefIndex,
395 graph->GetDexFile(),
396 0),
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]397 outer_loop_body->GetLastInstruction());
398
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]399 SideEffectsAnalysis side_effects(graph);
400 side_effects.Run();
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]401
Aart Bik854a02b2015-07-14 16:07:00 -0700[diff] [blame]402 ASSERT_TRUE(side_effects.GetBlockEffects(entry).DoesAnyWrite());
403 ASSERT_TRUE(side_effects.GetBlockEffects(outer_loop_body).DoesAnyWrite());
404 ASSERT_TRUE(side_effects.GetLoopEffects(outer_loop_header).DoesAnyWrite());
405 ASSERT_FALSE(side_effects.GetLoopEffects(inner_loop_header).DoesAnyWrite());
Alexandre Rames78e3ef62015-08-12 13:43:29 +0100[diff] [blame]406 ASSERT_TRUE(side_effects.GetLoopEffects(inner_loop_header).Equals(kCanTriggerGC));
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]407 }
408
409 // Check that the side effects of the inner loop affects the outer loop.
410 {
411 outer_loop_body->RemoveInstruction(outer_loop_body->GetFirstInstruction());
412 inner_loop_body->InsertInstructionBefore(
Vladimir Markoca6fff82017-10-03 14:49:14 +0100[diff] [blame]413 new (GetAllocator()) HInstanceFieldSet(parameter,
414 parameter,
415 nullptr,
416 DataType::Type::kReference,
417 MemberOffset(42),
418 false,
419 kUnknownFieldIndex,
420 kUnknownClassDefIndex,
421 graph->GetDexFile(),
422 0),
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]423 inner_loop_body->GetLastInstruction());
424
Nicolas Geoffraye6f17152015-01-26 15:13:47 +0000[diff] [blame]425 SideEffectsAnalysis side_effects(graph);
426 side_effects.Run();
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]427
Aart Bik854a02b2015-07-14 16:07:00 -0700[diff] [blame]428 ASSERT_TRUE(side_effects.GetBlockEffects(entry).DoesAnyWrite());
429 ASSERT_FALSE(side_effects.GetBlockEffects(outer_loop_body).DoesAnyWrite());
430 ASSERT_TRUE(side_effects.GetLoopEffects(outer_loop_header).DoesAnyWrite());
431 ASSERT_TRUE(side_effects.GetLoopEffects(inner_loop_header).DoesAnyWrite());
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +0100[diff] [blame]432 }
433}
434} // namespace art