Shinichiro Hamaji | 1d545aa | 2015-06-23 15:29:13 +0900 | [diff] [blame] | 1 | // Copyright 2015 Google Inc. All rights reserved |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
Fumitoshi Ukai | 744bb2b | 2015-06-25 00:10:52 +0900 | [diff] [blame] | 15 | // +build ignore |
| 16 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 17 | #include "dep.h" |
| 18 | |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 19 | #include <algorithm> |
Shinichiro Hamaji | 485f912 | 2015-06-26 07:06:14 +0900 | [diff] [blame] | 20 | #include <iterator> |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 21 | #include <memory> |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 22 | #include <unordered_map> |
| 23 | #include <unordered_set> |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 24 | |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 25 | #include "eval.h" |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 26 | #include "fileutil.h" |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 27 | #include "log.h" |
| 28 | #include "rule.h" |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 29 | #include "strutil.h" |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 30 | #include "symtab.h" |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 31 | #include "var.h" |
| 32 | |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 33 | namespace { |
| 34 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 35 | static vector<DepNode*>* g_dep_node_pool; |
| 36 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 37 | static Symbol ReplaceSuffix(Symbol s, Symbol newsuf) { |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 38 | string r; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 39 | AppendString(StripExt(s.str()), &r); |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 40 | r += '.'; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 41 | AppendString(newsuf.str(), &r); |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 42 | return Intern(r); |
| 43 | } |
| 44 | |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 45 | class RuleTrie { |
| 46 | struct Entry { |
| 47 | Entry(shared_ptr<Rule> r, StringPiece s) |
| 48 | : rule(r), suffix(s) { |
| 49 | } |
| 50 | shared_ptr<Rule> rule; |
| 51 | StringPiece suffix; |
| 52 | }; |
| 53 | |
| 54 | public: |
| 55 | RuleTrie() {} |
| 56 | ~RuleTrie() { |
| 57 | for (auto& p : children_) |
| 58 | delete p.second; |
| 59 | } |
| 60 | |
| 61 | void Add(StringPiece name, shared_ptr<Rule> rule) { |
| 62 | if (name.empty() || name[0] == '%') { |
| 63 | rules_.push_back(Entry(rule, name)); |
| 64 | return; |
| 65 | } |
| 66 | const char c = name[0]; |
| 67 | auto p = children_.emplace(c, nullptr); |
| 68 | if (p.second) { |
| 69 | p.first->second = new RuleTrie(); |
| 70 | } |
| 71 | p.first->second->Add(name.substr(1), rule); |
| 72 | } |
| 73 | |
Shinichiro Hamaji | f772b17 | 2015-06-29 16:05:44 +0900 | [diff] [blame] | 74 | void Get(StringPiece name, vector<shared_ptr<Rule>>* rules) const { |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 75 | for (const Entry& ent : rules_) { |
| 76 | if ((ent.suffix.empty() && name.empty()) || |
| 77 | HasSuffix(name, ent.suffix.substr(1))) { |
| 78 | rules->push_back(ent.rule); |
| 79 | } |
| 80 | } |
Shinichiro Hamaji | f772b17 | 2015-06-29 16:05:44 +0900 | [diff] [blame] | 81 | if (name.empty()) |
| 82 | return; |
| 83 | auto found = children_.find(name[0]); |
| 84 | if (found != children_.end()) { |
| 85 | found->second->Get(name.substr(1), rules); |
| 86 | } |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 87 | } |
| 88 | |
| 89 | size_t size() const { |
| 90 | size_t r = rules_.size(); |
| 91 | for (const auto& c : children_) |
| 92 | r += c.second->size(); |
| 93 | return r; |
| 94 | } |
| 95 | |
| 96 | private: |
| 97 | vector<Entry> rules_; |
| 98 | unordered_map<char, RuleTrie*> children_; |
| 99 | }; |
| 100 | |
| 101 | } // namespace |
| 102 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 103 | DepNode::DepNode(Symbol o, bool p) |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 104 | : output(o), |
| 105 | has_rule(false), |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 106 | is_phony(p), |
Shinichiro Hamaji | a7984ad | 2015-09-11 16:33:16 +0900 | [diff] [blame] | 107 | rule_vars(NULL), |
| 108 | output_pattern(Symbol::IsUninitialized()) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 109 | g_dep_node_pool->push_back(this); |
| 110 | } |
| 111 | |
| 112 | class DepBuilder { |
| 113 | public: |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 114 | DepBuilder(Evaluator* ev, |
| 115 | const vector<shared_ptr<Rule>>& rules, |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 116 | const unordered_map<Symbol, Vars*>& rule_vars) |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 117 | : ev_(ev), |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 118 | rule_vars_(rule_vars), |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 119 | implicit_rules_(new RuleTrie()), |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 120 | first_rule_(NULL) { |
| 121 | PopulateRules(rules); |
Shinichiro Hamaji | b4969af | 2015-06-28 02:06:54 +0900 | [diff] [blame] | 122 | LOG_STAT("%zu variables", ev->mutable_vars()->size()); |
| 123 | LOG_STAT("%zu explicit rules", rules_.size()); |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 124 | LOG_STAT("%zu implicit rules", implicit_rules_->size()); |
Shinichiro Hamaji | b4969af | 2015-06-28 02:06:54 +0900 | [diff] [blame] | 125 | LOG_STAT("%zu suffix rules", suffix_rules_.size()); |
Shinichiro Hamaji | d40b6fe | 2015-06-29 17:08:42 +0900 | [diff] [blame] | 126 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 127 | auto found = rules_.find(Intern(".PHONY")); |
Shinichiro Hamaji | d40b6fe | 2015-06-29 17:08:42 +0900 | [diff] [blame] | 128 | if (found != rules_.end()) { |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 129 | for (Symbol input : found->second->inputs) { |
Shinichiro Hamaji | d40b6fe | 2015-06-29 17:08:42 +0900 | [diff] [blame] | 130 | phony_.insert(input); |
| 131 | } |
| 132 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 133 | } |
| 134 | |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 135 | ~DepBuilder() { |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 136 | } |
| 137 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 138 | void Build(vector<Symbol> targets, |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 139 | vector<DepNode*>* nodes) { |
| 140 | if (targets.empty()) { |
| 141 | if (!first_rule_) { |
| 142 | ERROR("*** No targets."); |
| 143 | } |
| 144 | CHECK(!first_rule_->outputs.empty()); |
Shinichiro Hamaji | 43defe0 | 2015-07-11 07:06:43 +0900 | [diff] [blame] | 145 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 146 | targets.push_back(first_rule_->outputs[0]); |
Shinichiro Hamaji | 319b649 | 2015-09-24 14:23:55 +0900 | [diff] [blame] | 147 | } |
| 148 | if (g_flags.gen_all_phony_targets) { |
| 149 | for (Symbol s : phony_) |
| 150 | targets.push_back(s); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 151 | } |
| 152 | |
| 153 | // TODO: LogStats? |
| 154 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 155 | for (Symbol target : targets) { |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 156 | cur_rule_vars_.reset(new Vars); |
| 157 | ev_->set_current_scope(cur_rule_vars_.get()); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 158 | DepNode* n = BuildPlan(target, Intern("")); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 159 | nodes->push_back(n); |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 160 | ev_->set_current_scope(NULL); |
| 161 | cur_rule_vars_.reset(NULL); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 162 | } |
| 163 | } |
| 164 | |
| 165 | private: |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 166 | bool Exists(Symbol target) { |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 167 | auto found = rules_.find(target); |
| 168 | if (found != rules_.end()) |
| 169 | return true; |
| 170 | if (phony_.count(target)) |
| 171 | return true; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 172 | return ::Exists(target.str()); |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 173 | } |
| 174 | |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 175 | void PopulateRules(const vector<shared_ptr<Rule>>& rules) { |
| 176 | for (shared_ptr<Rule> rule : rules) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 177 | if (rule->outputs.empty()) { |
| 178 | PopulateImplicitRule(rule); |
| 179 | } else { |
| 180 | PopulateExplicitRule(rule); |
| 181 | } |
| 182 | } |
Shinichiro Hamaji | 65657d9 | 2015-06-24 17:05:50 +0900 | [diff] [blame] | 183 | for (auto& p : suffix_rules_) { |
| 184 | reverse(p.second.begin(), p.second.end()); |
| 185 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 186 | } |
| 187 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 188 | bool PopulateSuffixRule(shared_ptr<Rule> rule, Symbol output) { |
| 189 | if (output.empty() || output.str()[0] != '.') |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 190 | return false; |
| 191 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 192 | const StringPiece rest = StringPiece(output.str()).substr(1); |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 193 | size_t dot_index = rest.find('.'); |
| 194 | // If there is only a single dot or the third dot, this is not a |
| 195 | // suffix rule. |
| 196 | if (dot_index == string::npos || |
| 197 | rest.substr(dot_index+1).find('.') != string::npos) { |
| 198 | return false; |
| 199 | } |
| 200 | |
| 201 | StringPiece input_suffix = rest.substr(0, dot_index); |
| 202 | StringPiece output_suffix = rest.substr(dot_index+1); |
| 203 | shared_ptr<Rule> r = make_shared<Rule>(*rule); |
| 204 | r->inputs.clear(); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 205 | r->inputs.push_back(Intern(input_suffix)); |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 206 | r->is_suffix_rule = true; |
| 207 | suffix_rules_[output_suffix].push_back(r); |
| 208 | return true; |
| 209 | } |
| 210 | |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 211 | void ApplyOutputPattern(const Rule& r, |
| 212 | Symbol output, |
| 213 | const vector<Symbol>& inputs, |
| 214 | vector<Symbol>* out_inputs) { |
| 215 | if (inputs.empty()) |
| 216 | return; |
| 217 | if (r.is_suffix_rule) { |
| 218 | for (Symbol input : inputs) { |
| 219 | out_inputs->push_back(ReplaceSuffix(output, input)); |
| 220 | } |
| 221 | return; |
| 222 | } |
| 223 | if (r.output_patterns.empty()) { |
| 224 | copy(inputs.begin(), inputs.end(), back_inserter(*out_inputs)); |
| 225 | return; |
| 226 | } |
| 227 | CHECK(r.output_patterns.size() == 1); |
| 228 | Pattern pat(r.output_patterns[0].str()); |
| 229 | for (Symbol input : inputs) { |
| 230 | string buf; |
| 231 | pat.AppendSubst(output.str(), input.str(), &buf); |
| 232 | out_inputs->push_back(Intern(buf)); |
| 233 | } |
| 234 | } |
| 235 | |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 236 | shared_ptr<Rule> MergeRules(const Rule& old_rule, |
| 237 | const Rule& rule, |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 238 | Symbol output, |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 239 | bool is_suffix_rule) { |
| 240 | if (old_rule.is_double_colon != rule.is_double_colon) { |
| 241 | ERROR("%s:%d: *** target file `%s' has both : and :: entries.", |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 242 | LOCF(rule.loc), output.str().c_str()); |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 243 | } |
| 244 | if (!old_rule.cmds.empty() && !rule.cmds.empty() && |
| 245 | !is_suffix_rule && !rule.is_double_colon) { |
Shinichiro Hamaji | ff4584d | 2015-06-24 17:45:14 +0900 | [diff] [blame] | 246 | WARN("%s:%d: warning: overriding commands for target `%s'", |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 247 | LOCF(rule.cmd_loc()), output.str().c_str()); |
Shinichiro Hamaji | ff4584d | 2015-06-24 17:45:14 +0900 | [diff] [blame] | 248 | WARN("%s:%d: warning: ignoring old commands for target `%s'", |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 249 | LOCF(old_rule.cmd_loc()), output.str().c_str()); |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 250 | } |
| 251 | |
| 252 | shared_ptr<Rule> r = make_shared<Rule>(rule); |
| 253 | if (rule.is_double_colon) { |
| 254 | r->cmds.clear(); |
| 255 | for (Value* c : old_rule.cmds) |
| 256 | r->cmds.push_back(c); |
| 257 | for (Value* c : rule.cmds) |
| 258 | r->cmds.push_back(c); |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 259 | if (!rule.output_patterns.empty() && !old_rule.output_patterns.empty() && |
| 260 | rule.output_patterns != old_rule.output_patterns) { |
| 261 | ERROR("%s:%d: TODO: merging two double rules with output patterns " |
| 262 | "is not supported", LOCF(rule.loc)); |
| 263 | } |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 264 | } else if (!old_rule.cmds.empty() && rule.cmds.empty()) { |
| 265 | r->cmds = old_rule.cmds; |
| 266 | } |
Shinichiro Hamaji | 485f912 | 2015-06-26 07:06:14 +0900 | [diff] [blame] | 267 | |
Shinichiro Hamaji | 2e23e4a | 2015-06-26 07:33:16 +0900 | [diff] [blame] | 268 | // If the latter rule has a command (regardless of the commands in |
| 269 | // |old_rule|), inputs in the latter rule has a priority. |
Shinichiro Hamaji | 485f912 | 2015-06-26 07:06:14 +0900 | [diff] [blame] | 270 | if (rule.cmds.empty()) { |
| 271 | r->inputs = old_rule.inputs; |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 272 | ApplyOutputPattern(rule, output, rule.inputs, &r->inputs); |
Shinichiro Hamaji | 485f912 | 2015-06-26 07:06:14 +0900 | [diff] [blame] | 273 | r->order_only_inputs = old_rule.order_only_inputs; |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 274 | ApplyOutputPattern(rule, output, rule.order_only_inputs, |
| 275 | &r->order_only_inputs); |
| 276 | r->output_patterns = old_rule.output_patterns; |
Shinichiro Hamaji | 485f912 | 2015-06-26 07:06:14 +0900 | [diff] [blame] | 277 | } else { |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 278 | ApplyOutputPattern(old_rule, output, old_rule.inputs, &r->inputs); |
| 279 | ApplyOutputPattern(old_rule, output, old_rule.order_only_inputs, |
| 280 | &r->order_only_inputs); |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 281 | } |
| 282 | return r; |
| 283 | } |
| 284 | |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 285 | void PopulateExplicitRule(shared_ptr<Rule> orig_rule) { |
| 286 | for (Symbol output : orig_rule->outputs) { |
| 287 | const bool is_suffix_rule = PopulateSuffixRule(orig_rule, output); |
Shinichiro Hamaji | e36dd56 | 2015-06-27 16:34:48 +0900 | [diff] [blame] | 288 | |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 289 | shared_ptr<Rule> rule = make_shared<Rule>(*orig_rule); |
Shinichiro Hamaji | e36dd56 | 2015-06-27 16:34:48 +0900 | [diff] [blame] | 290 | rule->outputs.clear(); |
| 291 | rule->outputs.push_back(output); |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 292 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 293 | auto p = rules_.insert(make_pair(output, rule)); |
| 294 | if (p.second) { |
| 295 | if (!first_rule_ && output.get(0) != '.') { |
| 296 | first_rule_ = rule; |
| 297 | } |
| 298 | } else { |
Shinichiro Hamaji | e30b3be | 2015-06-19 16:15:42 +0900 | [diff] [blame] | 299 | p.first->second = |
| 300 | MergeRules(*p.first->second, *rule, output, is_suffix_rule); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 301 | } |
| 302 | } |
| 303 | } |
| 304 | |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 305 | void PopulateImplicitRule(shared_ptr<Rule> rule) { |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 306 | for (Symbol output_pattern : rule->output_patterns) { |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 307 | shared_ptr<Rule> r = make_shared<Rule>(*rule); |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 308 | r->output_patterns.clear(); |
| 309 | r->output_patterns.push_back(output_pattern); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 310 | implicit_rules_->Add(output_pattern.str(), r); |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 311 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 312 | } |
| 313 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 314 | shared_ptr<Rule> LookupRule(Symbol o) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 315 | auto found = rules_.find(o); |
| 316 | if (found != rules_.end()) |
| 317 | return found->second; |
| 318 | return NULL; |
| 319 | } |
| 320 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 321 | Vars* LookupRuleVars(Symbol o) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 322 | auto found = rule_vars_.find(o); |
| 323 | if (found != rule_vars_.end()) |
| 324 | return found->second; |
| 325 | return NULL; |
| 326 | } |
| 327 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 328 | bool CanPickImplicitRule(shared_ptr<Rule> rule, Symbol output) { |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 329 | CHECK(rule->output_patterns.size() == 1); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 330 | Pattern pat(rule->output_patterns[0].str()); |
| 331 | if (!pat.Match(output.str())) { |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 332 | return false; |
| 333 | } |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 334 | for (Symbol input : rule->inputs) { |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 335 | string buf; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 336 | pat.AppendSubst(output.str(), input.str(), &buf); |
| 337 | if (!Exists(Intern(buf))) |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 338 | return false; |
| 339 | } |
| 340 | return true; |
| 341 | } |
| 342 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 343 | Vars* MergeImplicitRuleVars(Symbol output, Vars* vars) { |
Shinichiro Hamaji | dca79a3 | 2015-06-24 15:27:33 +0900 | [diff] [blame] | 344 | auto found = rule_vars_.find(output); |
| 345 | if (found == rule_vars_.end()) |
| 346 | return vars; |
| 347 | if (vars == NULL) |
| 348 | return found->second; |
| 349 | // TODO: leak. |
| 350 | Vars* r = new Vars(*found->second); |
| 351 | for (auto p : *vars) { |
| 352 | (*r)[p.first] = p.second; |
| 353 | } |
| 354 | return r; |
| 355 | } |
| 356 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 357 | bool PickRule(Symbol output, |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 358 | shared_ptr<Rule>* out_rule, Vars** out_var) { |
| 359 | shared_ptr<Rule> rule = LookupRule(output); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 360 | Vars* vars = LookupRuleVars(output); |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 361 | *out_rule = rule; |
| 362 | *out_var = vars; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 363 | if (rule) { |
| 364 | if (!rule->cmds.empty()) { |
| 365 | return true; |
| 366 | } |
| 367 | } |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 368 | |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 369 | vector<shared_ptr<Rule>> irules; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 370 | implicit_rules_->Get(output.str(), &irules); |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 371 | for (auto iter = irules.rbegin(); iter != irules.rend(); ++iter) { |
| 372 | shared_ptr<Rule> irule = *iter; |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 373 | if (!CanPickImplicitRule(irule, output)) |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 374 | continue; |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 375 | if (rule) { |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 376 | shared_ptr<Rule> r = make_shared<Rule>(*rule); |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 377 | r->output_patterns = irule->output_patterns; |
Shinichiro Hamaji | d2c0fe1 | 2015-06-26 07:42:53 +0900 | [diff] [blame] | 378 | r->inputs.clear(); |
| 379 | r->inputs = irule->inputs; |
| 380 | copy(rule->inputs.begin(), rule->inputs.end(), |
| 381 | back_inserter(r->inputs)); |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 382 | r->cmds = irule->cmds; |
| 383 | r->loc = irule->loc; |
| 384 | r->cmd_lineno = irule->cmd_lineno; |
| 385 | *out_rule = r; |
| 386 | return true; |
| 387 | } |
| 388 | if (vars) { |
Shinichiro Hamaji | dca79a3 | 2015-06-24 15:27:33 +0900 | [diff] [blame] | 389 | CHECK(irule->output_patterns.size() == 1); |
| 390 | vars = MergeImplicitRuleVars(irule->output_patterns[0], vars); |
| 391 | *out_var = vars; |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 392 | } |
| 393 | *out_rule = irule; |
| 394 | return true; |
| 395 | } |
| 396 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 397 | StringPiece output_suffix = GetExt(output.str()); |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 398 | if (output_suffix.get(0) != '.') |
| 399 | return rule.get(); |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 400 | output_suffix = output_suffix.substr(1); |
Shinichiro Hamaji | 4a71131 | 2015-06-19 14:44:20 +0900 | [diff] [blame] | 401 | |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 402 | SuffixRuleMap::const_iterator found = suffix_rules_.find(output_suffix); |
| 403 | if (found == suffix_rules_.end()) |
| 404 | return rule.get(); |
| 405 | |
| 406 | for (shared_ptr<Rule> irule : found->second) { |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 407 | CHECK(irule->inputs.size() == 1); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 408 | Symbol input = ReplaceSuffix(output, irule->inputs[0]); |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 409 | if (!Exists(input)) |
| 410 | continue; |
| 411 | |
| 412 | if (rule) { |
| 413 | shared_ptr<Rule> r = make_shared<Rule>(*rule); |
| 414 | r->inputs.insert(r->inputs.begin(), input); |
| 415 | r->cmds = irule->cmds; |
| 416 | r->loc = irule->loc; |
| 417 | r->cmd_lineno = irule->cmd_lineno; |
| 418 | *out_rule = r; |
| 419 | return true; |
| 420 | } |
| 421 | if (vars) { |
Shinichiro Hamaji | dca79a3 | 2015-06-24 15:27:33 +0900 | [diff] [blame] | 422 | CHECK(irule->outputs.size() == 1); |
| 423 | vars = MergeImplicitRuleVars(irule->outputs[0], vars); |
| 424 | *out_var = vars; |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 425 | } |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 426 | *out_rule = irule; |
| 427 | return true; |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 428 | } |
| 429 | |
| 430 | return rule.get(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 431 | } |
| 432 | |
Shinichiro Hamaji | 8d50301 | 2015-07-03 16:26:15 +0900 | [diff] [blame] | 433 | DepNode* BuildPlan(Symbol output, Symbol needed_by UNUSED) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 434 | LOG("BuildPlan: %s for %s", |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 435 | output.c_str(), |
| 436 | needed_by.c_str()); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 437 | |
| 438 | auto found = done_.find(output); |
| 439 | if (found != done_.end()) { |
| 440 | return found->second; |
| 441 | } |
| 442 | |
Shinichiro Hamaji | 52dbb60 | 2015-06-19 15:57:07 +0900 | [diff] [blame] | 443 | DepNode* n = new DepNode(output, phony_.count(output)); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 444 | done_[output] = n; |
| 445 | |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 446 | shared_ptr<Rule> rule; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 447 | Vars* vars; |
| 448 | if (!PickRule(output, &rule, &vars)) { |
| 449 | return n; |
| 450 | } |
| 451 | |
Shinichiro Hamaji | a7984ad | 2015-09-11 16:33:16 +0900 | [diff] [blame] | 452 | if (rule->output_patterns.size() >= 1) { |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 453 | if (rule->output_patterns.size() != 1) { |
| 454 | fprintf(stderr, "hmm %s\n", rule->DebugString().c_str()); |
| 455 | } |
Shinichiro Hamaji | a7984ad | 2015-09-11 16:33:16 +0900 | [diff] [blame] | 456 | CHECK(rule->output_patterns.size() == 1); |
| 457 | n->output_pattern = rule->output_patterns[0]; |
| 458 | } |
| 459 | |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 460 | vector<unique_ptr<ScopedVar>> sv; |
| 461 | if (vars) { |
| 462 | for (const auto& p : *vars) { |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 463 | Symbol name = p.first; |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 464 | RuleVar* var = reinterpret_cast<RuleVar*>(p.second); |
| 465 | CHECK(var); |
| 466 | Var* new_var = var->v(); |
| 467 | if (var->op() == AssignOp::PLUS_EQ) { |
| 468 | Var* old_var = ev_->LookupVar(name); |
| 469 | if (old_var->IsDefined()) { |
| 470 | // TODO: This would be incorrect and has a leak. |
| 471 | shared_ptr<string> s = make_shared<string>(); |
| 472 | old_var->Eval(ev_, s.get()); |
Shinichiro Hamaji | 3c785c7 | 2015-06-23 19:22:34 +0900 | [diff] [blame] | 473 | if (!s->empty()) |
| 474 | *s += ' '; |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 475 | new_var->Eval(ev_, s.get()); |
Shinichiro Hamaji | 5081c71 | 2015-08-14 16:49:20 +0900 | [diff] [blame] | 476 | new_var = new SimpleVar(*s, old_var->Origin()); |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 477 | } |
| 478 | } else if (var->op() == AssignOp::QUESTION_EQ) { |
| 479 | Var* old_var = ev_->LookupVar(name); |
| 480 | if (old_var->IsDefined()) { |
| 481 | continue; |
| 482 | } |
| 483 | } |
Shinichiro Hamaji | e978a89 | 2015-08-17 16:53:40 +0900 | [diff] [blame] | 484 | sv.emplace_back(new ScopedVar(cur_rule_vars_.get(), name, new_var)); |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 485 | } |
| 486 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 487 | |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 488 | ApplyOutputPattern(*rule, output, rule->inputs, &n->actual_inputs); |
| 489 | for (Symbol input : n->actual_inputs) { |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 490 | DepNode* c = BuildPlan(input, output); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 491 | n->deps.push_back(c); |
| 492 | } |
| 493 | |
Shinichiro Hamaji | 53ffb07 | 2015-09-26 12:07:22 +0900 | [diff] [blame^] | 494 | vector<Symbol> order_only_inputs; |
| 495 | ApplyOutputPattern(*rule, output, rule->order_only_inputs, |
| 496 | &order_only_inputs); |
| 497 | for (Symbol input : order_only_inputs) { |
Shinichiro Hamaji | 704e4fe | 2015-06-24 17:37:47 +0900 | [diff] [blame] | 498 | DepNode* c = BuildPlan(input, output); |
Shinichiro Hamaji | 183dbb9 | 2015-07-06 17:21:39 +0900 | [diff] [blame] | 499 | n->order_onlys.push_back(c); |
Shinichiro Hamaji | 704e4fe | 2015-06-24 17:37:47 +0900 | [diff] [blame] | 500 | } |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 501 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 502 | n->has_rule = true; |
| 503 | n->cmds = rule->cmds; |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 504 | if (cur_rule_vars_->empty()) { |
| 505 | n->rule_vars = NULL; |
| 506 | } else { |
| 507 | n->rule_vars = new Vars; |
| 508 | for (auto p : *cur_rule_vars_) { |
| 509 | n->rule_vars->insert(p); |
| 510 | } |
| 511 | } |
| 512 | n->loc = rule->loc; |
| 513 | if (!rule->cmds.empty() && rule->cmd_lineno) |
| 514 | n->loc.lineno = rule->cmd_lineno; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 515 | |
| 516 | return n; |
| 517 | } |
| 518 | |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 519 | Evaluator* ev_; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 520 | unordered_map<Symbol, shared_ptr<Rule>> rules_; |
| 521 | const unordered_map<Symbol, Vars*>& rule_vars_; |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 522 | unique_ptr<Vars> cur_rule_vars_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 523 | |
Shinichiro Hamaji | 2a04789 | 2015-06-29 13:56:41 +0900 | [diff] [blame] | 524 | unique_ptr<RuleTrie> implicit_rules_; |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 525 | typedef unordered_map<StringPiece, vector<shared_ptr<Rule>>> SuffixRuleMap; |
| 526 | SuffixRuleMap suffix_rules_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 527 | |
Shinichiro Hamaji | 0562c30 | 2015-06-19 15:30:49 +0900 | [diff] [blame] | 528 | shared_ptr<Rule> first_rule_; |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 529 | unordered_map<Symbol, DepNode*> done_; |
| 530 | unordered_set<Symbol> phony_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 531 | }; |
| 532 | |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 533 | void MakeDep(Evaluator* ev, |
| 534 | const vector<shared_ptr<Rule>>& rules, |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 535 | const unordered_map<Symbol, Vars*>& rule_vars, |
| 536 | const vector<Symbol>& targets, |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 537 | vector<DepNode*>* nodes) { |
Shinichiro Hamaji | ffc52c3 | 2015-06-23 16:51:07 +0900 | [diff] [blame] | 538 | DepBuilder db(ev, rules, rule_vars); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 539 | db.Build(targets, nodes); |
| 540 | } |
| 541 | |
| 542 | void InitDepNodePool() { |
| 543 | g_dep_node_pool = new vector<DepNode*>; |
| 544 | } |
| 545 | |
| 546 | void QuitDepNodePool() { |
| 547 | for (DepNode* n : *g_dep_node_pool) |
| 548 | delete n; |
| 549 | delete g_dep_node_pool; |
| 550 | } |