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

Unified Diff: runtime/vm/intermediate_language_x64.cc

Issue 79653002: Merge TRUNCDIV and MOD into one instruction. Icorporated feedback from CL https://codereview.chromi… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 1 month 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 side-by-side diff with in-line comments
Download patch
« no previous file with comments | « runtime/vm/intermediate_language_mips.cc ('k') | tests/language/arithmetic_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: runtime/vm/intermediate_language_x64.cc
===================================================================
--- runtime/vm/intermediate_language_x64.cc (revision 30526)
+++ runtime/vm/intermediate_language_x64.cc (working copy)
@@ -4042,6 +4042,123 @@
}
+LocationSummary* MergedMathInstr::MakeLocationSummary() const {
+ if (kind() == MergedMathInstr::kTruncDivMod) {
+ const intptr_t kNumInputs = 2;
+ const intptr_t kNumTemps = 1;
+ LocationSummary* summary =
+ new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kNoCall);
+ // Both inputs must be writable because they will be untagged.
+ summary->set_in(0, Location::RegisterLocation(RAX));
+ summary->set_in(1, Location::WritableRegister());
+ summary->set_out(Location::RequiresRegister());
+ // Will be used for sign extension and division.
+ summary->set_temp(0, Location::RegisterLocation(RDX));
+ return summary;
+ }
+ UNIMPLEMENTED();
+ return NULL;
+}
+
+
+void MergedMathInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
+ Label* deopt = NULL;
+ if (CanDeoptimize()) {
+ deopt = compiler->AddDeoptStub(deopt_id(), kDeoptBinarySmiOp);
+ }
+ if (kind() == MergedMathInstr::kTruncDivMod) {
+ Register left = locs()->in(0).reg();
+ Register right = locs()->in(1).reg();
+ Register result = locs()->out().reg();
+ Label not_32bit, done;
+ Register temp = locs()->temp(0).reg();
+ ASSERT(left == RAX);
+ ASSERT((right != RDX) && (right != RAX));
+ ASSERT(temp == RDX);
+ ASSERT((result != RDX) && (result != RAX));
+ // Handle divide by zero in runtime.
+ __ testq(right, right);
+ __ j(ZERO, deopt);
+ // Check if both operands fit into 32bits as idiv with 64bit operands
+ // requires twice as many cycles and has much higher latency.
+ // We are checking this before untagging them to avoid corner case
+ // dividing INT_MAX by -1 that raises exception because quotient is
+ // too large for 32bit register.
+ __ movsxd(temp, left);
+ __ cmpq(temp, left);
+ __ j(NOT_EQUAL, &not_32bit);
+ __ movsxd(temp, right);
+ __ cmpq(temp, right);
+ __ j(NOT_EQUAL, &not_32bit);
+
+ // Both operands are 31bit smis. Divide using 32bit idiv.
+ __ SmiUntag(left);
+ __ SmiUntag(right);
+ __ cdq();
+ __ idivl(right);
+ __ movsxd(RAX, RAX);
+ __ movsxd(RDX, RDX);
+ __ jmp(&done);
+
+ // Divide using 64bit idiv.
+ __ Bind(&not_32bit);
+ __ SmiUntag(left);
+ __ SmiUntag(right);
+ __ cqo(); // Sign extend RAX -> RDX:RAX.
+ __ idivq(right); // RAX: quotient, RDX: remainder.
+ // Check the corner case of dividing the 'MIN_SMI' with -1, in which
+ // case we cannot tag the result.
+ __ CompareImmediate(RAX, Immediate(0x4000000000000000), PP);
+ __ j(EQUAL, deopt);
+ __ Bind(&done);
+
+ // Modulo correction (RDX).
+ // res = left % right;
+ // if (res < 0) {
+ // if (right < 0) {
+ // res = res - right;
+ // } else {
+ // res = res + right;
+ // }
+ // }
+ Label subtract, all_done;
+ __ cmpq(RDX, Immediate(0));
+ __ j(GREATER_EQUAL, &all_done, Assembler::kNearJump);
+ // Result is negative, adjust it.
+ __ cmpq(right, Immediate(0));
+ __ j(LESS, &subtract, Assembler::kNearJump);
+ __ addq(RDX, right);
+ __ jmp(&all_done, Assembler::kNearJump);
+ __ Bind(&subtract);
+ __ subq(RDX, right);
+ __ Bind(&all_done);
+ __ SmiTag(result);
+
+ __ LoadObject(result, Array::ZoneHandle(Array::New(2, Heap::kOld)), PP);
+ const intptr_t index_scale = FlowGraphCompiler::ElementSizeFor(kArrayCid);
+ Address trunc_div_address(
+ FlowGraphCompiler::ElementAddressForIntIndex(kArrayCid,
+ index_scale,
+ result,
+ 0));
+ Address mod_address(
+ FlowGraphCompiler::ElementAddressForIntIndex(kArrayCid,
+ index_scale,
+ result,
+ 1));
+ __ SmiTag(RAX);
+ __ SmiTag(RDX);
+ __ StoreIntoObjectNoBarrier(result, trunc_div_address, RAX);
+ __ StoreIntoObjectNoBarrier(result, mod_address, RDX);
+ // FLAG_throw_on_javascript_int_overflow: not needed.
+ // Note that the result of an integer division/modulo of two
+ // in-range arguments, cannot create out-of-range result.
+ return;
+ }
+ UNIMPLEMENTED();
+}
+
+
LocationSummary* PolymorphicInstanceCallInstr::MakeLocationSummary() const {
return MakeCallSummary();
}
« no previous file with comments | « runtime/vm/intermediate_language_mips.cc ('k') | tests/language/arithmetic_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698