Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(578)

Side by Side Diff: runtime/vm/flow_graph_compiler_arm64.cc

Issue 1513883002: Polymorphic calls in precompilation invoke megamorphic calls when tests fail (instead of deoptimizi… (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: g Created 5 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « runtime/vm/flow_graph_compiler_arm.cc ('k') | runtime/vm/flow_graph_compiler_ia32.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2014, 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 #include "vm/globals.h" // Needed here to get TARGET_ARCH_ARM64. 5 #include "vm/globals.h" // Needed here to get TARGET_ARCH_ARM64.
6 #if defined(TARGET_ARCH_ARM64) 6 #if defined(TARGET_ARCH_ARM64)
7 7
8 #include "vm/flow_graph_compiler.h" 8 #include "vm/flow_graph_compiler.h"
9 9
10 #include "vm/ast_printer.h" 10 #include "vm/ast_printer.h"
(...skipping 10 matching lines...) Expand all
21 #include "vm/stub_code.h" 21 #include "vm/stub_code.h"
22 #include "vm/symbols.h" 22 #include "vm/symbols.h"
23 23
24 namespace dart { 24 namespace dart {
25 25
26 DEFINE_FLAG(bool, trap_on_deoptimization, false, "Trap on deoptimization."); 26 DEFINE_FLAG(bool, trap_on_deoptimization, false, "Trap on deoptimization.");
27 DECLARE_FLAG(bool, enable_simd_inline); 27 DECLARE_FLAG(bool, enable_simd_inline);
28 DECLARE_FLAG(bool, use_megamorphic_stub); 28 DECLARE_FLAG(bool, use_megamorphic_stub);
29 29
30 30
31 void MegamorphicSlowPath::EmitNativeCode(FlowGraphCompiler* compiler) {
32 Assembler* assembler = compiler->assembler();
33 #define __ assembler->
34 __ Bind(entry_label());
35 __ Comment("MegamorphicSlowPath");
36 compiler->EmitMegamorphicInstanceCall(ic_data_, argument_count_, deopt_id_,
37 token_pos_, locs_, try_index_);
38 __ b(exit_label());
39 #undef __
40 }
41
42
31 FlowGraphCompiler::~FlowGraphCompiler() { 43 FlowGraphCompiler::~FlowGraphCompiler() {
32 // BlockInfos are zone-allocated, so their destructors are not called. 44 // BlockInfos are zone-allocated, so their destructors are not called.
33 // Verify the labels explicitly here. 45 // Verify the labels explicitly here.
34 for (int i = 0; i < block_info_.length(); ++i) { 46 for (int i = 0; i < block_info_.length(); ++i) {
35 ASSERT(!block_info_[i]->jump_label()->IsLinked()); 47 ASSERT(!block_info_[i]->jump_label()->IsLinked());
36 } 48 }
37 } 49 }
38 50
39 51
40 bool FlowGraphCompiler::SupportsUnboxedDoubles() { 52 bool FlowGraphCompiler::SupportsUnboxedDoubles() {
(...skipping 124 matching lines...) Expand 10 before | Expand all | Expand 10 after
165 } 177 }
166 178
167 return builder->CreateDeoptInfo(deopt_table); 179 return builder->CreateDeoptInfo(deopt_table);
168 } 180 }
169 181
170 182
171 void CompilerDeoptInfoWithStub::GenerateCode(FlowGraphCompiler* compiler, 183 void CompilerDeoptInfoWithStub::GenerateCode(FlowGraphCompiler* compiler,
172 intptr_t stub_ix) { 184 intptr_t stub_ix) {
173 // Calls do not need stubs, they share a deoptimization trampoline. 185 // Calls do not need stubs, they share a deoptimization trampoline.
174 ASSERT(reason() != ICData::kDeoptAtCall); 186 ASSERT(reason() != ICData::kDeoptAtCall);
175 Assembler* assem = compiler->assembler(); 187 Assembler* assembler = compiler->assembler();
176 #define __ assem-> 188 #define __ assembler->
177 __ Comment("%s", Name()); 189 __ Comment("%s", Name());
178 __ Bind(entry_label()); 190 __ Bind(entry_label());
179 if (FLAG_trap_on_deoptimization) { 191 if (FLAG_trap_on_deoptimization) {
180 __ brk(0); 192 __ brk(0);
181 } 193 }
182 194
183 ASSERT(deopt_env() != NULL); 195 ASSERT(deopt_env() != NULL);
184 __ Push(CODE_REG); 196 __ Push(CODE_REG);
185 __ BranchLink(*StubCode::Deoptimize_entry()); 197 __ BranchLink(*StubCode::Deoptimize_entry());
186 set_pc_offset(assem->CodeSize()); 198 set_pc_offset(assembler->CodeSize());
187 #undef __ 199 #undef __
188 } 200 }
189 201
190 202
191 #define __ assembler()-> 203 #define __ assembler()->
192 204
193 205
194 // Fall through if bool_register contains null. 206 // Fall through if bool_register contains null.
195 void FlowGraphCompiler::GenerateBoolToJump(Register bool_register, 207 void FlowGraphCompiler::GenerateBoolToJump(Register bool_register,
196 Label* is_true, 208 Label* is_true,
(...skipping 1044 matching lines...) Expand 10 before | Expand all | Expand 10 after
1241 locs); 1253 locs);
1242 __ Drop(argument_count); 1254 __ Drop(argument_count);
1243 } 1255 }
1244 1256
1245 1257
1246 void FlowGraphCompiler::EmitMegamorphicInstanceCall( 1258 void FlowGraphCompiler::EmitMegamorphicInstanceCall(
1247 const ICData& ic_data, 1259 const ICData& ic_data,
1248 intptr_t argument_count, 1260 intptr_t argument_count,
1249 intptr_t deopt_id, 1261 intptr_t deopt_id,
1250 intptr_t token_pos, 1262 intptr_t token_pos,
1251 LocationSummary* locs) { 1263 LocationSummary* locs,
1264 intptr_t try_index) {
1252 const String& name = String::Handle(zone(), ic_data.target_name()); 1265 const String& name = String::Handle(zone(), ic_data.target_name());
1253 const Array& arguments_descriptor = 1266 const Array& arguments_descriptor =
1254 Array::ZoneHandle(zone(), ic_data.arguments_descriptor()); 1267 Array::ZoneHandle(zone(), ic_data.arguments_descriptor());
1255 ASSERT(!arguments_descriptor.IsNull() && (arguments_descriptor.Length() > 0)); 1268 ASSERT(!arguments_descriptor.IsNull() && (arguments_descriptor.Length() > 0));
1256 const MegamorphicCache& cache = MegamorphicCache::ZoneHandle(zone(), 1269 const MegamorphicCache& cache = MegamorphicCache::ZoneHandle(zone(),
1257 MegamorphicCacheTable::Lookup(isolate(), name, arguments_descriptor)); 1270 MegamorphicCacheTable::Lookup(isolate(), name, arguments_descriptor));
1258 1271
1259 __ Comment("MegamorphicCall"); 1272 __ Comment("MegamorphicCall");
1260 __ LoadFromOffset(R0, SP, (argument_count - 1) * kWordSize); 1273 __ LoadFromOffset(R0, SP, (argument_count - 1) * kWordSize);
1261 __ LoadObject(R5, cache); 1274 __ LoadObject(R5, cache);
1262 if (FLAG_use_megamorphic_stub) { 1275 if (FLAG_use_megamorphic_stub) {
1263 __ BranchLink(*StubCode::MegamorphicLookup_entry()); 1276 __ BranchLink(*StubCode::MegamorphicLookup_entry());
1264 } else { 1277 } else {
1265 StubCode::EmitMegamorphicLookup(assembler()); 1278 StubCode::EmitMegamorphicLookup(assembler());
1266 } 1279 }
1267 __ blr(R1); 1280 __ blr(R1);
1268 1281
1269 AddCurrentDescriptor(RawPcDescriptors::kOther,
1270 Thread::kNoDeoptId, token_pos);
1271 RecordSafepoint(locs); 1282 RecordSafepoint(locs);
1272 const intptr_t deopt_id_after = Thread::ToDeoptAfter(deopt_id); 1283 const intptr_t deopt_id_after = Thread::ToDeoptAfter(deopt_id);
1273 if (is_optimizing()) { 1284 if (Compiler::always_optimize()) {
1285 // Megamorphic calls may occur in slow path stubs.
1286 // If valid use try_index argument.
1287 if (try_index == CatchClauseNode::kInvalidTryIndex) {
1288 try_index = CurrentTryIndex();
1289 }
1290 pc_descriptors_list()->AddDescriptor(RawPcDescriptors::kOther,
1291 assembler()->CodeSize(),
1292 Thread::kNoDeoptId,
1293 token_pos,
1294 try_index);
1295 } else if (is_optimizing()) {
1296 AddCurrentDescriptor(RawPcDescriptors::kOther,
1297 Thread::kNoDeoptId, token_pos);
1274 AddDeoptIndexAtCall(deopt_id_after, token_pos); 1298 AddDeoptIndexAtCall(deopt_id_after, token_pos);
1275 } else { 1299 } else {
1300 AddCurrentDescriptor(RawPcDescriptors::kOther,
1301 Thread::kNoDeoptId, token_pos);
1276 // Add deoptimization continuation point after the call and before the 1302 // Add deoptimization continuation point after the call and before the
1277 // arguments are removed. 1303 // arguments are removed.
1278 AddCurrentDescriptor(RawPcDescriptors::kDeopt, deopt_id_after, token_pos); 1304 AddCurrentDescriptor(RawPcDescriptors::kDeopt, deopt_id_after, token_pos);
1279 } 1305 }
1280 __ Drop(argument_count); 1306 __ Drop(argument_count);
1281 } 1307 }
1282 1308
1283 1309
1284 void FlowGraphCompiler::EmitSwitchableInstanceCall( 1310 void FlowGraphCompiler::EmitSwitchableInstanceCall(
1285 const ICData& ic_data, 1311 const ICData& ic_data,
(...skipping 571 matching lines...) Expand 10 before | Expand all | Expand 10 after
1857 void ParallelMoveResolver::RestoreFpuScratch(FpuRegister reg) { 1883 void ParallelMoveResolver::RestoreFpuScratch(FpuRegister reg) {
1858 __ PopDouble(reg); 1884 __ PopDouble(reg);
1859 } 1885 }
1860 1886
1861 1887
1862 #undef __ 1888 #undef __
1863 1889
1864 } // namespace dart 1890 } // namespace dart
1865 1891
1866 #endif // defined TARGET_ARCH_ARM64 1892 #endif // defined TARGET_ARCH_ARM64
OLDNEW
« no previous file with comments | « runtime/vm/flow_graph_compiler_arm.cc ('k') | runtime/vm/flow_graph_compiler_ia32.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698