OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 part of ssa; | 5 part of ssa; |
6 | 6 |
7 abstract class HVisitor<R> { | 7 abstract class HVisitor<R> { |
8 R visitAdd(HAdd node); | 8 R visitAdd(HAdd node); |
9 R visitBitAnd(HBitAnd node); | 9 R visitBitAnd(HBitAnd node); |
10 R visitBitNot(HBitNot node); | 10 R visitBitNot(HBitNot node); |
(...skipping 120 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
131 HBasicBlock exit; | 131 HBasicBlock exit; |
132 HThis thisInstruction; | 132 HThis thisInstruction; |
133 /// Receiver parameter, set for methods using interceptor calling convention. | 133 /// Receiver parameter, set for methods using interceptor calling convention. |
134 HParameterValue explicitReceiverParameter; | 134 HParameterValue explicitReceiverParameter; |
135 bool isRecursiveMethod = false; | 135 bool isRecursiveMethod = false; |
136 bool calledInLoop = false; | 136 bool calledInLoop = false; |
137 final List<HBasicBlock> blocks; | 137 final List<HBasicBlock> blocks; |
138 | 138 |
139 // We canonicalize all constants used within a graph so we do not | 139 // We canonicalize all constants used within a graph so we do not |
140 // have to worry about them for global value numbering. | 140 // have to worry about them for global value numbering. |
141 Map<Constant, HConstant> constants; | 141 Map<ConstantValue, HConstant> constants; |
142 | 142 |
143 HGraph() | 143 HGraph() |
144 : blocks = new List<HBasicBlock>(), | 144 : blocks = new List<HBasicBlock>(), |
145 constants = new Map<Constant, HConstant>() { | 145 constants = new Map<ConstantValue, HConstant>() { |
146 entry = addNewBlock(); | 146 entry = addNewBlock(); |
147 // The exit block will be added later, so it has an id that is | 147 // The exit block will be added later, so it has an id that is |
148 // after all others in the system. | 148 // after all others in the system. |
149 exit = new HBasicBlock(); | 149 exit = new HBasicBlock(); |
150 } | 150 } |
151 | 151 |
152 void addBlock(HBasicBlock block) { | 152 void addBlock(HBasicBlock block) { |
153 int id = blocks.length; | 153 int id = blocks.length; |
154 block.id = id; | 154 block.id = id; |
155 blocks.add(block); | 155 blocks.add(block); |
156 assert(identical(blocks[id], block)); | 156 assert(identical(blocks[id], block)); |
157 } | 157 } |
158 | 158 |
159 HBasicBlock addNewBlock() { | 159 HBasicBlock addNewBlock() { |
160 HBasicBlock result = new HBasicBlock(); | 160 HBasicBlock result = new HBasicBlock(); |
161 addBlock(result); | 161 addBlock(result); |
162 return result; | 162 return result; |
163 } | 163 } |
164 | 164 |
165 HBasicBlock addNewLoopHeaderBlock(JumpTarget target, | 165 HBasicBlock addNewLoopHeaderBlock(JumpTarget target, |
166 List<LabelDefinition> labels) { | 166 List<LabelDefinition> labels) { |
167 HBasicBlock result = addNewBlock(); | 167 HBasicBlock result = addNewBlock(); |
168 result.loopInformation = | 168 result.loopInformation = |
169 new HLoopInformation(result, target, labels); | 169 new HLoopInformation(result, target, labels); |
170 return result; | 170 return result; |
171 } | 171 } |
172 | 172 |
173 HConstant addConstant(Constant constant, Compiler compiler) { | 173 HConstant addConstant(ConstantValue constant, Compiler compiler) { |
174 HConstant result = constants[constant]; | 174 HConstant result = constants[constant]; |
175 if (result == null) { | 175 if (result == null) { |
176 TypeMask type = constant.computeMask(compiler); | 176 TypeMask type = constant.computeMask(compiler); |
177 result = new HConstant.internal(constant, type); | 177 result = new HConstant.internal(constant, type); |
178 entry.addAtExit(result); | 178 entry.addAtExit(result); |
179 constants[constant] = result; | 179 constants[constant] = result; |
180 } else if (result.block == null) { | 180 } else if (result.block == null) { |
181 // The constant was not used anymore. | 181 // The constant was not used anymore. |
182 entry.addAtExit(result); | 182 entry.addAtExit(result); |
183 } | 183 } |
184 return result; | 184 return result; |
185 } | 185 } |
186 | 186 |
187 HConstant addDeferredConstant(Constant constant, PrefixElement prefix, | 187 HConstant addDeferredConstant(ConstantValue constant, PrefixElement prefix, |
188 Compiler compiler) { | 188 Compiler compiler) { |
189 Constant wrapper = new DeferredConstant(constant, prefix); | 189 ConstantValue wrapper = new DeferredConstantValue(constant, prefix); |
190 compiler.deferredLoadTask.registerConstantDeferredUse(wrapper, prefix); | 190 compiler.deferredLoadTask.registerConstantDeferredUse(wrapper, prefix); |
191 return addConstant(wrapper, compiler); | 191 return addConstant(wrapper, compiler); |
192 } | 192 } |
193 | 193 |
194 HConstant addConstantInt(int i, Compiler compiler) { | 194 HConstant addConstantInt(int i, Compiler compiler) { |
195 return addConstant(compiler.backend.constantSystem.createInt(i), compiler); | 195 return addConstant(compiler.backend.constantSystem.createInt(i), compiler); |
196 } | 196 } |
197 | 197 |
198 HConstant addConstantDouble(double d, Compiler compiler) { | 198 HConstant addConstantDouble(double d, Compiler compiler) { |
199 return addConstant( | 199 return addConstant( |
(...skipping 1820 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2020 static const int DO_WHILE_LOOP = 1; | 2020 static const int DO_WHILE_LOOP = 1; |
2021 | 2021 |
2022 final int kind; | 2022 final int kind; |
2023 HLoopBranch(HInstruction condition, [this.kind = CONDITION_FIRST_LOOP]) | 2023 HLoopBranch(HInstruction condition, [this.kind = CONDITION_FIRST_LOOP]) |
2024 : super(<HInstruction>[condition]); | 2024 : super(<HInstruction>[condition]); |
2025 toString() => 'loop-branch'; | 2025 toString() => 'loop-branch'; |
2026 accept(HVisitor visitor) => visitor.visitLoopBranch(this); | 2026 accept(HVisitor visitor) => visitor.visitLoopBranch(this); |
2027 } | 2027 } |
2028 | 2028 |
2029 class HConstant extends HInstruction { | 2029 class HConstant extends HInstruction { |
2030 final Constant constant; | 2030 final ConstantValue constant; |
2031 HConstant.internal(this.constant, TypeMask constantType) | 2031 HConstant.internal(this.constant, TypeMask constantType) |
2032 : super(<HInstruction>[], constantType); | 2032 : super(<HInstruction>[], constantType); |
2033 | 2033 |
2034 toString() => 'literal: $constant'; | 2034 toString() => 'literal: $constant'; |
2035 accept(HVisitor visitor) => visitor.visitConstant(this); | 2035 accept(HVisitor visitor) => visitor.visitConstant(this); |
2036 | 2036 |
2037 bool isConstant() => true; | 2037 bool isConstant() => true; |
2038 bool isConstantBoolean() => constant.isBool; | 2038 bool isConstantBoolean() => constant.isBool; |
2039 bool isConstantNull() => constant.isNull; | 2039 bool isConstantNull() => constant.isNull; |
2040 bool isConstantNumber() => constant.isNum; | 2040 bool isConstantNumber() => constant.isNum; |
(...skipping 1037 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3078 class HDynamicType extends HRuntimeType { | 3078 class HDynamicType extends HRuntimeType { |
3079 HDynamicType(DynamicType dartType, TypeMask instructionType) | 3079 HDynamicType(DynamicType dartType, TypeMask instructionType) |
3080 : super(const <HInstruction>[], dartType, instructionType); | 3080 : super(const <HInstruction>[], dartType, instructionType); |
3081 | 3081 |
3082 accept(HVisitor visitor) => visitor.visitDynamicType(this); | 3082 accept(HVisitor visitor) => visitor.visitDynamicType(this); |
3083 | 3083 |
3084 int typeCode() => HInstruction.DYNAMIC_TYPE_TYPECODE; | 3084 int typeCode() => HInstruction.DYNAMIC_TYPE_TYPECODE; |
3085 | 3085 |
3086 bool typeEquals(HInstruction other) => other is HDynamicType; | 3086 bool typeEquals(HInstruction other) => other is HDynamicType; |
3087 } | 3087 } |
OLD | NEW |