[v8-dev] Optimise Math.floor(x/y) to use integer division for specific divisor....

src/hydrogen-instructions.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 889 matching lines @@
 }
 
 
 void HJSArrayLength::PrintDataTo(StringStream* stream) {
   value()->PrintNameTo(stream);
   stream->Add(" ");
   typecheck()->PrintNameTo(stream);
 }
 
 
+HValue* HUnaryMathOperation::Canonicalize() {
+  if (op() == kMathFloor) {
+    // If the input is integer32 then we replace the floor instruction
+    // with its input. This happens before the representation changes are
+    // introduced.
+    if (value()->representation().IsInteger32()) return value();
+
+    if (value()->IsDiv() && LChunkBuilder::SupportsMathFloorOfDiv()) {

[fschneider, 2012/03/28 09:59:18]

The function SupportsMathFloorDiv is essentially like writing

#ifdef V8_TARGET_ARCH_ARM

Maybe just put this part under the #ifdef and add a TODO(issue#) to add this for
other platforms.

e.g. Math.floor(x/4) can also be optimized for ia32.

[Alexandre, 2012/03/28 16:27:38]

Done.

+      HDiv* hdiv = HDiv::cast(value());
+      HValue* left = hdiv->left();
+      HValue* right = hdiv->right();
+      // Try to simplify left and right values of the division.
+      HValue* new_left =
+        LChunkBuilder::SimplifiedDividendForMathFloorOfDiv(left);
+      HValue* new_right =
+        LChunkBuilder::SimplifiedDivisorForMathFloorOfDiv(right);
+
+      // Return if left or right are not optimizable.
+      if ((new_left == NULL) || (new_right == NULL)) return this;
+
+      // Insert the new values in the graph.
+      if (new_left->IsInstruction() &&
+          !HInstruction::cast(new_left)->IsLinked()) {
+        HInstruction::cast(new_left)->InsertBefore(this);
+      }
+      if (new_right->IsInstruction() &&
+          !HInstruction::cast(new_right)->IsLinked()) {
+        HInstruction::cast(new_right)->InsertBefore(this);
+      }
+      HMathFloorOfDiv* instr =  new HMathFloorOfDiv(context(),
+                                                    new_left,
+                                                    new_right);
+      // Replace this HMathFloor instruction by the new HMathFloorOfDiv.
+      instr->InsertBefore(this);
+      ReplaceAllUsesWith(instr);
+      Kill();
+      // If the division had no other uses than this HMathFloor, delete it.

[fschneider, 2012/03/28 09:59:18]

Not sure how often the division acutally has other uses, but I'd prefer to
simplify the code here to restrict the optimization to the pattern
Math.floor(a/b) where the division has exactly one use.

[Alexandre, 2012/03/28 16:27:38]

Done.

+      // Also delete the arguments of the division if they are not used any
+      // more.
+      if (hdiv->HasNoUses()) {
+        hdiv->DeleteAndReplaceWith(NULL);
+        ASSERT(left->IsChange() || left->IsConstant());
+        ASSERT(right->IsChange() || right->IsConstant());
+        if (left->HasNoUses())  left->DeleteAndReplaceWith(NULL);
+        if (right->HasNoUses())  right->DeleteAndReplaceWith(NULL);
+      }
+      // Return NULL to remove this instruction from the graph.
+      return NULL;
+    }
+  }
+  return this;
+}
+
+
 HValue* HCheckInstanceType::Canonicalize() {
   if (check_ == IS_STRING &&
       !value()->type().IsUninitialized() &&
       value()->type().IsString()) {
     return NULL;
   }
   if (check_ == IS_SYMBOL &&
       value()->IsConstant() &&
       HConstant::cast(value())->handle()->IsSymbol()) {
     return NULL;
@@ skipping 1367 matching lines @@
 
 
 void HCheckPrototypeMaps::Verify() {
   HInstruction::Verify();
   ASSERT(HasNoUses());
 }
 
 #endif
 
 } }  // namespace v8::internal