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

Side by Side Diff: vm/flow_graph_compiler_x64.cc

Issue 11745022: - Make Boolean 'true' and 'false' singleton VM isolate objects. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/runtime/
Patch Set: Created 7 years, 11 months 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 | Annotate | Revision Log
« no previous file with comments | « vm/flow_graph_compiler_x64.h ('k') | vm/flow_graph_optimizer.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) 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 #include "vm/globals.h" // Needed here to get TARGET_ARCH_X64. 5 #include "vm/globals.h" // Needed here to get TARGET_ARCH_X64.
6 #if defined(TARGET_ARCH_X64) 6 #if defined(TARGET_ARCH_X64)
7 7
8 #include "vm/flow_graph_compiler.h" 8 #include "vm/flow_graph_compiler.h"
9 9
10 #include "lib/error.h" 10 #include "lib/error.h"
(...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after
54 54
55 // Fall through if bool_register contains null. 55 // Fall through if bool_register contains null.
56 void FlowGraphCompiler::GenerateBoolToJump(Register bool_register, 56 void FlowGraphCompiler::GenerateBoolToJump(Register bool_register,
57 Label* is_true, 57 Label* is_true,
58 Label* is_false) { 58 Label* is_false) {
59 const Immediate raw_null = 59 const Immediate raw_null =
60 Immediate(reinterpret_cast<intptr_t>(Object::null())); 60 Immediate(reinterpret_cast<intptr_t>(Object::null()));
61 Label fall_through; 61 Label fall_through;
62 __ cmpq(bool_register, raw_null); 62 __ cmpq(bool_register, raw_null);
63 __ j(EQUAL, &fall_through, Assembler::kNearJump); 63 __ j(EQUAL, &fall_through, Assembler::kNearJump);
64 __ CompareObject(bool_register, bool_true()); 64 __ CompareObject(bool_register, Bool::True());
65 __ j(EQUAL, is_true); 65 __ j(EQUAL, is_true);
66 __ jmp(is_false); 66 __ jmp(is_false);
67 __ Bind(&fall_through); 67 __ Bind(&fall_through);
68 } 68 }
69 69
70 70
71 // Clobbers RCX. 71 // Clobbers RCX.
72 RawSubtypeTestCache* FlowGraphCompiler::GenerateCallSubtypeTestStub( 72 RawSubtypeTestCache* FlowGraphCompiler::GenerateCallSubtypeTestStub(
73 TypeTestStubKind test_kind, 73 TypeTestStubKind test_kind,
74 Register instance_reg, 74 Register instance_reg,
(...skipping 414 matching lines...) Expand 10 before | Expand all | Expand 10 after
489 __ pushq(RCX); // TODO(srdjan): Pass instantiator instead of null. 489 __ pushq(RCX); // TODO(srdjan): Pass instantiator instead of null.
490 __ pushq(RDX); // Instantiator type arguments. 490 __ pushq(RDX); // Instantiator type arguments.
491 __ LoadObject(RAX, test_cache); 491 __ LoadObject(RAX, test_cache);
492 __ pushq(RAX); 492 __ pushq(RAX);
493 GenerateCallRuntime(token_pos, kInstanceofRuntimeEntry, locs); 493 GenerateCallRuntime(token_pos, kInstanceofRuntimeEntry, locs);
494 // Pop the parameters supplied to the runtime entry. The result of the 494 // Pop the parameters supplied to the runtime entry. The result of the
495 // instanceof runtime call will be left as the result of the operation. 495 // instanceof runtime call will be left as the result of the operation.
496 __ Drop(5); 496 __ Drop(5);
497 if (negate_result) { 497 if (negate_result) {
498 __ popq(RDX); 498 __ popq(RDX);
499 __ LoadObject(RAX, bool_true()); 499 __ LoadObject(RAX, Bool::True());
500 __ cmpq(RDX, RAX); 500 __ cmpq(RDX, RAX);
501 __ j(NOT_EQUAL, &done, Assembler::kNearJump); 501 __ j(NOT_EQUAL, &done, Assembler::kNearJump);
502 __ LoadObject(RAX, bool_false()); 502 __ LoadObject(RAX, Bool::False());
503 } else { 503 } else {
504 __ popq(RAX); 504 __ popq(RAX);
505 } 505 }
506 __ jmp(&done, Assembler::kNearJump); 506 __ jmp(&done, Assembler::kNearJump);
507 } 507 }
508 __ Bind(&is_not_instance); 508 __ Bind(&is_not_instance);
509 __ LoadObject(RAX, negate_result ? bool_true() : bool_false()); 509 __ LoadObject(RAX, negate_result ? Bool::True() : Bool::False());
510 __ jmp(&done, Assembler::kNearJump); 510 __ jmp(&done, Assembler::kNearJump);
511 511
512 __ Bind(&is_instance); 512 __ Bind(&is_instance);
513 __ LoadObject(RAX, negate_result ? bool_false() : bool_true()); 513 __ LoadObject(RAX, negate_result ? Bool::False() : Bool::True());
514 __ Bind(&done); 514 __ Bind(&done);
515 __ popq(RDX); // Remove pushed instantiator type arguments. 515 __ popq(RDX); // Remove pushed instantiator type arguments.
516 __ popq(RCX); // Remove pushed instantiator. 516 __ popq(RCX); // Remove pushed instantiator.
517 } 517 }
518 518
519 519
520 // Optimize assignable type check by adding inlined tests for: 520 // Optimize assignable type check by adding inlined tests for:
521 // - NULL -> return NULL. 521 // - NULL -> return NULL.
522 // - Smi -> compile time subtype check (only if dst class is not parameterized). 522 // - Smi -> compile time subtype check (only if dst class is not parameterized).
523 // - Class equality (only if class is not parameterized). 523 // - Class equality (only if class is not parameterized).
(...skipping 719 matching lines...) Expand 10 before | Expand all | Expand 10 after
1243 __ cmpq(Address(RSP, 0 * kWordSize), raw_null); 1243 __ cmpq(Address(RSP, 0 * kWordSize), raw_null);
1244 __ j(EQUAL, &check_identity, Assembler::kNearJump); 1244 __ j(EQUAL, &check_identity, Assembler::kNearJump);
1245 __ cmpq(Address(RSP, 1 * kWordSize), raw_null); 1245 __ cmpq(Address(RSP, 1 * kWordSize), raw_null);
1246 __ j(NOT_EQUAL, &fall_through, Assembler::kNearJump); 1246 __ j(NOT_EQUAL, &fall_through, Assembler::kNearJump);
1247 1247
1248 __ Bind(&check_identity); 1248 __ Bind(&check_identity);
1249 __ popq(result); 1249 __ popq(result);
1250 __ cmpq(result, Address(RSP, 0 * kWordSize)); 1250 __ cmpq(result, Address(RSP, 0 * kWordSize));
1251 Label is_false; 1251 Label is_false;
1252 __ j(NOT_EQUAL, &is_false, Assembler::kNearJump); 1252 __ j(NOT_EQUAL, &is_false, Assembler::kNearJump);
1253 __ LoadObject(result, bool_true()); 1253 __ LoadObject(result, Bool::True());
1254 __ Drop(1); 1254 __ Drop(1);
1255 __ jmp(skip_call); 1255 __ jmp(skip_call);
1256 __ Bind(&is_false); 1256 __ Bind(&is_false);
1257 __ LoadObject(result, bool_false()); 1257 __ LoadObject(result, Bool::False());
1258 __ Drop(1); 1258 __ Drop(1);
1259 __ jmp(skip_call); 1259 __ jmp(skip_call);
1260 __ Bind(&fall_through); 1260 __ Bind(&fall_through);
1261 } 1261 }
1262 1262
1263 1263
1264 void FlowGraphCompiler::LoadDoubleOrSmiToXmm(XmmRegister result, 1264 void FlowGraphCompiler::LoadDoubleOrSmiToXmm(XmmRegister result,
1265 Register reg, 1265 Register reg,
1266 Register temp, 1266 Register temp,
1267 Label* not_double_or_smi) { 1267 Label* not_double_or_smi) {
(...skipping 209 matching lines...) Expand 10 before | Expand all | Expand 10 after
1477 void ParallelMoveResolver::Exchange(const Address& mem1, const Address& mem2) { 1477 void ParallelMoveResolver::Exchange(const Address& mem1, const Address& mem2) {
1478 __ Exchange(mem1, mem2); 1478 __ Exchange(mem1, mem2);
1479 } 1479 }
1480 1480
1481 1481
1482 #undef __ 1482 #undef __
1483 1483
1484 } // namespace dart 1484 } // namespace dart
1485 1485
1486 #endif // defined TARGET_ARCH_X64 1486 #endif // defined TARGET_ARCH_X64
OLDNEW
« no previous file with comments | « vm/flow_graph_compiler_x64.h ('k') | vm/flow_graph_optimizer.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698