blob: 64e5fa64e346b0af18503aa5c9f714cabcf06b94 [file] [log] [blame]
Ian Rogers8d3a1172013-06-04 01:13:28 -07001/*
2 * Copyright (C) 2013 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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_COMPILER_DEX_DATAFLOW_ITERATOR_INL_H_
18#define ART_COMPILER_DEX_DATAFLOW_ITERATOR_INL_H_
Ian Rogers8d3a1172013-06-04 01:13:28 -070019
20#include "dataflow_iterator.h"
21
22namespace art {
23
buzbee56c71782013-09-05 17:13:19 -070024// Single forward pass over the nodes.
25inline BasicBlock* DataflowIterator::ForwardSingleNext() {
Ian Rogers8d3a1172013-06-04 01:13:28 -070026 BasicBlock* res = NULL;
buzbee56c71782013-09-05 17:13:19 -070027 if (idx_ < end_idx_) {
buzbee0d829482013-10-11 15:24:55 -070028 BasicBlockId bb_id = block_id_list_->Get(idx_++);
buzbee56c71782013-09-05 17:13:19 -070029 res = mir_graph_->GetBasicBlock(bb_id);
Ian Rogers8d3a1172013-06-04 01:13:28 -070030 }
31 return res;
32}
33
buzbee56c71782013-09-05 17:13:19 -070034// Repeat full forward passes over all nodes until no change occurs during a complete pass.
35inline BasicBlock* DataflowIterator::ForwardRepeatNext(bool had_change) {
Ian Rogers8d3a1172013-06-04 01:13:28 -070036 changed_ |= had_change;
37 BasicBlock* res = NULL;
buzbee56c71782013-09-05 17:13:19 -070038 if ((idx_ >= end_idx_) && changed_) {
39 idx_ = start_idx_;
buzbee1da1e2f2013-11-15 13:37:01 -080040 repeats_++;
buzbee56c71782013-09-05 17:13:19 -070041 changed_ = false;
42 }
43 if (idx_ < end_idx_) {
buzbee0d829482013-10-11 15:24:55 -070044 BasicBlockId bb_id = block_id_list_->Get(idx_++);
buzbee56c71782013-09-05 17:13:19 -070045 res = mir_graph_->GetBasicBlock(bb_id);
46 }
47 return res;
48}
49
50// Single reverse pass over the nodes.
51inline BasicBlock* DataflowIterator::ReverseSingleNext() {
52 BasicBlock* res = NULL;
53 if (idx_ >= 0) {
buzbee0d829482013-10-11 15:24:55 -070054 BasicBlockId bb_id = block_id_list_->Get(idx_--);
buzbee56c71782013-09-05 17:13:19 -070055 res = mir_graph_->GetBasicBlock(bb_id);
56 }
57 return res;
58}
59
60// Repeat full backwards passes over all nodes until no change occurs during a complete pass.
61inline BasicBlock* DataflowIterator::ReverseRepeatNext(bool had_change) {
62 changed_ |= had_change;
63 BasicBlock* res = NULL;
64 if ((idx_ < 0) && changed_) {
65 idx_ = start_idx_;
buzbee1da1e2f2013-11-15 13:37:01 -080066 repeats_++;
buzbee56c71782013-09-05 17:13:19 -070067 changed_ = false;
68 }
69 if (idx_ >= 0) {
buzbee0d829482013-10-11 15:24:55 -070070 BasicBlockId bb_id = block_id_list_->Get(idx_--);
buzbee56c71782013-09-05 17:13:19 -070071 res = mir_graph_->GetBasicBlock(bb_id);
72 }
73 return res;
74}
75
76// AllNodes uses the existing GrowableArray iterator, and should be considered unordered.
77inline BasicBlock* AllNodesIterator::Next() {
78 BasicBlock* res = NULL;
Ian Rogers8d3a1172013-06-04 01:13:28 -070079 bool keep_looking = true;
80 while (keep_looking) {
81 res = all_nodes_iterator_->Next();
buzbee56c71782013-09-05 17:13:19 -070082 if ((res == NULL) || (!res->hidden)) {
Ian Rogers8d3a1172013-06-04 01:13:28 -070083 keep_looking = false;
84 }
85 }
86 return res;
87}
88
89} // namespace art
90
Brian Carlstromfc0e3212013-07-17 14:40:12 -070091#endif // ART_COMPILER_DEX_DATAFLOW_ITERATOR_INL_H_