| 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 #ifndef VM_FLOW_GRAPH_COMPILER_IA32_H_ | 5 #ifndef VM_FLOW_GRAPH_COMPILER_IA32_H_ |
| 6 #define VM_FLOW_GRAPH_COMPILER_IA32_H_ | 6 #define VM_FLOW_GRAPH_COMPILER_IA32_H_ |
| 7 | 7 |
| 8 #ifndef VM_FLOW_GRAPH_COMPILER_H_ | 8 #ifndef VM_FLOW_GRAPH_COMPILER_H_ |
| 9 #error Include flow_graph_compiler.h instead of flow_graph_compiler_ia32.h. | 9 #error Include flow_graph_compiler.h instead of flow_graph_compiler_ia32.h. |
| 10 #endif | 10 #endif |
| (...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 72 Register reg, | 72 Register reg, |
| 73 Register temp, | 73 Register temp, |
| 74 Label* not_double_or_smi); | 74 Label* not_double_or_smi); |
| 75 | 75 |
| 76 // Returns 'true' if code generation for this function is complete, i.e., | 76 // Returns 'true' if code generation for this function is complete, i.e., |
| 77 // no fall-through to regular code is needed. | 77 // no fall-through to regular code is needed. |
| 78 bool TryIntrinsify(); | 78 bool TryIntrinsify(); |
| 79 | 79 |
| 80 void GenerateCallRuntime(intptr_t deopt_id, | 80 void GenerateCallRuntime(intptr_t deopt_id, |
| 81 intptr_t token_pos, | 81 intptr_t token_pos, |
| 82 intptr_t try_index, | |
| 83 const RuntimeEntry& entry, | 82 const RuntimeEntry& entry, |
| 84 LocationSummary* locs); | 83 LocationSummary* locs); |
| 85 | 84 |
| 86 void GenerateCall(intptr_t token_pos, | 85 void GenerateCall(intptr_t token_pos, |
| 87 intptr_t try_index, | |
| 88 const ExternalLabel* label, | 86 const ExternalLabel* label, |
| 89 PcDescriptors::Kind kind, | 87 PcDescriptors::Kind kind, |
| 90 LocationSummary* locs); | 88 LocationSummary* locs); |
| 91 | 89 |
| 92 void GenerateAssertAssignable(intptr_t deopt_id, | 90 void GenerateAssertAssignable(intptr_t deopt_id, |
| 93 intptr_t token_pos, | 91 intptr_t token_pos, |
| 94 intptr_t try_index, | |
| 95 const AbstractType& dst_type, | 92 const AbstractType& dst_type, |
| 96 const String& dst_name, | 93 const String& dst_name, |
| 97 LocationSummary* locs); | 94 LocationSummary* locs); |
| 98 | 95 |
| 99 void GenerateInstanceOf(intptr_t deopt_id, | 96 void GenerateInstanceOf(intptr_t deopt_id, |
| 100 intptr_t token_pos, | 97 intptr_t token_pos, |
| 101 intptr_t try_index, | |
| 102 const AbstractType& type, | 98 const AbstractType& type, |
| 103 bool negate_result, | 99 bool negate_result, |
| 104 LocationSummary* locs); | 100 LocationSummary* locs); |
| 105 | 101 |
| 106 void GenerateInstanceCall(intptr_t deopt_id, | 102 void GenerateInstanceCall(intptr_t deopt_id, |
| 107 intptr_t token_pos, | 103 intptr_t token_pos, |
| 108 intptr_t try_index, | |
| 109 const String& function_name, | 104 const String& function_name, |
| 110 intptr_t argument_count, | 105 intptr_t argument_count, |
| 111 const Array& argument_names, | 106 const Array& argument_names, |
| 112 intptr_t checked_argument_count, | 107 intptr_t checked_argument_count, |
| 113 LocationSummary* locs); | 108 LocationSummary* locs); |
| 114 | 109 |
| 115 void GenerateStaticCall(intptr_t deopt_id, | 110 void GenerateStaticCall(intptr_t deopt_id, |
| 116 intptr_t token_pos, | 111 intptr_t token_pos, |
| 117 intptr_t try_index, | |
| 118 const Function& function, | 112 const Function& function, |
| 119 intptr_t argument_count, | 113 intptr_t argument_count, |
| 120 const Array& argument_names, | 114 const Array& argument_names, |
| 121 LocationSummary* locs); | 115 LocationSummary* locs); |
| 122 | 116 |
| 123 void GenerateInlinedMathSqrt(Label* done); | 117 void GenerateInlinedMathSqrt(Label* done); |
| 124 | 118 |
| 125 void GenerateNumberTypeCheck(Register kClassIdReg, | 119 void GenerateNumberTypeCheck(Register kClassIdReg, |
| 126 const AbstractType& type, | 120 const AbstractType& type, |
| 127 Label* is_instance_lbl, | 121 Label* is_instance_lbl, |
| (...skipping 10 matching lines...) Expand all Loading... |
| 138 Register instance_reg, | 132 Register instance_reg, |
| 139 Register temp_reg, | 133 Register temp_reg, |
| 140 Label* deopt); | 134 Label* deopt); |
| 141 | 135 |
| 142 void EmitInstanceCall(ExternalLabel* target_label, | 136 void EmitInstanceCall(ExternalLabel* target_label, |
| 143 const ICData& ic_data, | 137 const ICData& ic_data, |
| 144 const Array& arguments_descriptor, | 138 const Array& arguments_descriptor, |
| 145 intptr_t argument_count, | 139 intptr_t argument_count, |
| 146 intptr_t deopt_id, | 140 intptr_t deopt_id, |
| 147 intptr_t token_pos, | 141 intptr_t token_pos, |
| 148 intptr_t try_index, | |
| 149 LocationSummary* locs); | 142 LocationSummary* locs); |
| 150 | 143 |
| 151 void EmitLoadIndexedGeneric(LoadIndexedComp* comp); | 144 void EmitLoadIndexedGeneric(LoadIndexedComp* comp); |
| 152 void EmitTestAndCall(const ICData& ic_data, | 145 void EmitTestAndCall(const ICData& ic_data, |
| 153 Register class_id_reg, | 146 Register class_id_reg, |
| 154 intptr_t arg_count, | 147 intptr_t arg_count, |
| 155 const Array& arg_names, | 148 const Array& arg_names, |
| 156 Label* deopt, | 149 Label* deopt, |
| 157 intptr_t deopt_id, | 150 intptr_t deopt_id, |
| 158 intptr_t token_index, | 151 intptr_t token_index, |
| 159 intptr_t try_index, | |
| 160 LocationSummary* locs); | 152 LocationSummary* locs); |
| 161 | 153 |
| 162 void EmitDoubleCompareBranch(Condition true_condition, | 154 void EmitDoubleCompareBranch(Condition true_condition, |
| 163 XmmRegister left, | 155 XmmRegister left, |
| 164 XmmRegister right, | 156 XmmRegister right, |
| 165 BranchInstr* branch); | 157 BranchInstr* branch); |
| 166 void EmitDoubleCompareBool(Condition true_condition, | 158 void EmitDoubleCompareBool(Condition true_condition, |
| 167 XmmRegister left, | 159 XmmRegister left, |
| 168 XmmRegister right, | 160 XmmRegister right, |
| 169 Register result); | 161 Register result); |
| 170 | 162 |
| 171 intptr_t StackSize() const; | 163 intptr_t StackSize() const; |
| 172 | 164 |
| 173 // Returns assembler label associated with the given block entry. | 165 // Returns assembler label associated with the given block entry. |
| 174 Label* GetBlockLabel(BlockEntryInstr* block_entry) const; | 166 Label* GetBlockLabel(BlockEntryInstr* block_entry) const; |
| 175 | 167 |
| 176 // Returns true if there is a next block after the current one in | 168 // Returns true if there is a next block after the current one in |
| 177 // the block order and if it is the given block. | 169 // the block order and if it is the given block. |
| 178 bool IsNextBlock(BlockEntryInstr* block_entry) const; | 170 bool IsNextBlock(BlockEntryInstr* block_entry) const; |
| 179 | 171 |
| 180 void AddExceptionHandler(intptr_t try_index, intptr_t pc_offset); | 172 void AddExceptionHandler(intptr_t try_index, intptr_t pc_offset); |
| 181 void AddCurrentDescriptor(PcDescriptors::Kind kind, | 173 void AddCurrentDescriptor(PcDescriptors::Kind kind, |
| 182 intptr_t deopt_id, | 174 intptr_t deopt_id, |
| 183 intptr_t token_pos, | 175 intptr_t token_pos); |
| 184 intptr_t try_index); | |
| 185 | 176 |
| 186 void RecordSafepoint(LocationSummary* locs); | 177 void RecordSafepoint(LocationSummary* locs); |
| 187 | 178 |
| 188 Label* AddDeoptStub(intptr_t deopt_id, DeoptReasonId reason); | 179 Label* AddDeoptStub(intptr_t deopt_id, DeoptReasonId reason); |
| 189 | 180 |
| 190 void AddDeoptIndexAtCall(intptr_t deopt_id, intptr_t token_pos); | 181 void AddDeoptIndexAtCall(intptr_t deopt_id, intptr_t token_pos); |
| 191 | 182 |
| 192 void AddSlowPathCode(SlowPathCode* slow_path); | 183 void AddSlowPathCode(SlowPathCode* slow_path); |
| 193 | 184 |
| 194 void FinalizeExceptionHandlers(const Code& code); | 185 void FinalizeExceptionHandlers(const Code& code); |
| 195 void FinalizePcDescriptors(const Code& code); | 186 void FinalizePcDescriptors(const Code& code); |
| 196 void FinalizeDeoptInfo(const Code& code); | 187 void FinalizeDeoptInfo(const Code& code); |
| 197 void FinalizeStackmaps(const Code& code); | 188 void FinalizeStackmaps(const Code& code); |
| 198 void FinalizeVarDescriptors(const Code& code); | 189 void FinalizeVarDescriptors(const Code& code); |
| 199 void FinalizeComments(const Code& code); | 190 void FinalizeComments(const Code& code); |
| 200 | 191 |
| 201 const Bool& bool_true() const { return bool_true_; } | 192 const Bool& bool_true() const { return bool_true_; } |
| 202 const Bool& bool_false() const { return bool_false_; } | 193 const Bool& bool_false() const { return bool_false_; } |
| 203 const Class& double_class() const { return double_class_; } | 194 const Class& double_class() const { return double_class_; } |
| 204 | 195 |
| 205 void SaveLiveRegisters(LocationSummary* locs); | 196 void SaveLiveRegisters(LocationSummary* locs); |
| 206 void RestoreLiveRegisters(LocationSummary* locs); | 197 void RestoreLiveRegisters(LocationSummary* locs); |
| 207 | 198 |
| 208 // Returns true if the compiled function has a finally clause. | 199 // Returns true if the compiled function has a finally clause. |
| 209 bool HasFinally() const; | 200 bool HasFinally() const; |
| 210 | 201 |
| 202 intptr_t CurrentTryIndex() const { |
| 203 if (current_block_ == NULL) { |
| 204 return CatchClauseNode::kInvalidTryIndex; |
| 205 } |
| 206 return current_block_->try_index(); |
| 207 } |
| 208 |
| 211 static const int kLocalsOffsetFromFP = (-1 * kWordSize); | 209 static const int kLocalsOffsetFromFP = (-1 * kWordSize); |
| 212 | 210 |
| 213 private: | 211 private: |
| 214 friend class DeoptimizationStub; | 212 friend class DeoptimizationStub; |
| 215 | 213 |
| 216 void GenerateDeferredCode(); | 214 void GenerateDeferredCode(); |
| 217 | 215 |
| 218 void EmitInstructionPrologue(Instruction* instr); | 216 void EmitInstructionPrologue(Instruction* instr); |
| 219 | 217 |
| 220 // Emit code to load a Value into register 'dst'. | 218 // Emit code to load a Value into register 'dst'. |
| 221 void LoadValue(Register dst, Value* value); | 219 void LoadValue(Register dst, Value* value); |
| 222 | 220 |
| 223 void EmitStaticCall(const Function& function, | 221 void EmitStaticCall(const Function& function, |
| 224 const Array& arguments_descriptor, | 222 const Array& arguments_descriptor, |
| 225 intptr_t argument_count, | 223 intptr_t argument_count, |
| 226 intptr_t deopt_id, | 224 intptr_t deopt_id, |
| 227 intptr_t token_pos, | 225 intptr_t token_pos, |
| 228 intptr_t try_index, | |
| 229 LocationSummary* locs); | 226 LocationSummary* locs); |
| 230 | 227 |
| 231 // Type checking helper methods. | 228 // Type checking helper methods. |
| 232 void CheckClassIds(Register class_id_reg, | 229 void CheckClassIds(Register class_id_reg, |
| 233 const GrowableArray<intptr_t>& class_ids, | 230 const GrowableArray<intptr_t>& class_ids, |
| 234 Label* is_instance_lbl, | 231 Label* is_instance_lbl, |
| 235 Label* is_not_instance_lbl); | 232 Label* is_not_instance_lbl); |
| 236 | 233 |
| 237 RawSubtypeTestCache* GenerateInlineInstanceof(intptr_t token_pos, | 234 RawSubtypeTestCache* GenerateInlineInstanceof(intptr_t token_pos, |
| 238 const AbstractType& type, | 235 const AbstractType& type, |
| (...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 325 // that should be used when deoptimizing we store it in this variable. | 322 // that should be used when deoptimizing we store it in this variable. |
| 326 // In future AddDeoptStub should be moved out of the instruction template. | 323 // In future AddDeoptStub should be moved out of the instruction template. |
| 327 Environment* pending_deoptimization_env_; | 324 Environment* pending_deoptimization_env_; |
| 328 | 325 |
| 329 DISALLOW_COPY_AND_ASSIGN(FlowGraphCompiler); | 326 DISALLOW_COPY_AND_ASSIGN(FlowGraphCompiler); |
| 330 }; | 327 }; |
| 331 | 328 |
| 332 } // namespace dart | 329 } // namespace dart |
| 333 | 330 |
| 334 #endif // VM_FLOW_GRAPH_COMPILER_IA32_H_ | 331 #endif // VM_FLOW_GRAPH_COMPILER_IA32_H_ |
| OLD | NEW |