blob: d3e54a0bf78c2f90aa6e0c6262c6990419dab752 [file] [log] [blame]
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -08001/*
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
17#ifndef ART_COMPILER_DEX_PASS_H_
18#define ART_COMPILER_DEX_PASS_H_
19
20#include <string>
21
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070022#include "compiler_ir.h"
23#include "base/logging.h"
24
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080025namespace art {
26
Jean Christophe Beyler44e5bde2014-04-29 14:40:41 -070027// Forward declarations.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070028class BasicBlock;
Jean Christophe Beyler44e5bde2014-04-29 14:40:41 -070029struct CompilationUnit;
30class Pass;
31
James C Scott4f596682014-05-01 05:52:04 -070032// Empty Pass Data Class, can be extended by any pass extending the base Pass class.
33class PassDataHolder {
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080034};
35
36/**
37 * @class Pass
James C Scott4f596682014-05-01 05:52:04 -070038 * @brief Base Pass class, can be extended to perform a more defined way of doing the work call.
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080039 */
40class Pass {
41 public:
James C Scott4f596682014-05-01 05:52:04 -070042 explicit Pass(const char* name)
43 : pass_name_(name) {
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080044 }
45
Vladimir Marko75ba13f2014-01-28 12:15:24 +000046 virtual ~Pass() {
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080047 }
48
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080049 virtual const char* GetName() const {
50 return pass_name_;
51 }
52
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080053 /**
54 * @brief Gate for the pass: determines whether to execute the pass or not considering a CompilationUnit
James C Scott4f596682014-05-01 05:52:04 -070055 * @param data the PassDataHolder.
56 * @return whether or not to execute the pass.
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080057 */
James C Scott4f596682014-05-01 05:52:04 -070058 virtual bool Gate(const PassDataHolder* data) const {
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080059 // Unused parameter.
James C Scott4f596682014-05-01 05:52:04 -070060 UNUSED(data);
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080061
62 // Base class says yes.
63 return true;
64 }
65
66 /**
James C Scott4f596682014-05-01 05:52:04 -070067 * @brief Start of the pass: called before the Worker function.
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080068 */
Jean Christophe Beylere1f65bc2014-06-09 10:18:26 -070069 virtual void Start(PassDataHolder* data) const {
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080070 // Unused parameter.
James C Scott4f596682014-05-01 05:52:04 -070071 UNUSED(data);
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080072 }
73
74 /**
James C Scott4f596682014-05-01 05:52:04 -070075 * @brief End of the pass: called after the WalkBasicBlocks function.
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080076 */
Jean Christophe Beylere1f65bc2014-06-09 10:18:26 -070077 virtual void End(PassDataHolder* data) const {
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080078 // Unused parameter.
James C Scott4f596682014-05-01 05:52:04 -070079 UNUSED(data);
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080080 }
81
82 /**
James C Scott4f596682014-05-01 05:52:04 -070083 * @param data the object containing data necessary for the pass.
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080084 * @return whether or not there is a change when walking the BasicBlock
85 */
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070086 virtual bool Worker(PassDataHolder* data ATTRIBUTE_UNUSED) const {
Vladimir Markoaa7b8a32014-10-15 11:35:44 +010087 // Passes that do all their work in Start() or End() should not allow useless node iteration.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070088 LOG(FATAL) << "Unsupported default Worker() used for " << GetName();
89 UNREACHABLE();
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080090 }
91
Jean Christophe Beyler8bcecce2014-04-29 13:42:08 -070092 static void BasePrintMessage(CompilationUnit* c_unit, const char* pass_name, const char* message, ...) {
93 // Check if we want to log something or not.
94 if (c_unit->print_pass) {
95 // Stringify the message.
96 va_list args;
97 va_start(args, message);
98 std::string stringified_message;
99 StringAppendV(&stringified_message, message, args);
100 va_end(args);
101
102 // Log the message and ensure to include pass name.
103 LOG(INFO) << pass_name << ": " << stringified_message;
104 }
105 }
106
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800107 protected:
108 /** @brief The pass name: used for searching for a pass when running a particular pass or debugging. */
109 const char* const pass_name_;
110
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800111 private:
112 // In order to make the all passes not copy-friendly.
113 DISALLOW_COPY_AND_ASSIGN(Pass);
114};
115} // namespace art
116#endif // ART_COMPILER_DEX_PASS_H_