Collect type feedback on result of Math.[round|ceil|floor]

src/typing.cc

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/typing.h"
 
 #include "src/frames.h"
 #include "src/frames-inl.h"
 #include "src/ostreams.h"
 #include "src/parser.h"  // for CompileTimeValue; TODO(rossberg): should move
@@ skipping 522 matching lines @@
 }
 
 
 void AstTyper::VisitCall(Call* expr) {
   // Collect type feedback.
   RECURSE(Visit(expr->expression()));
   bool is_uninitialized = true;
   if (expr->IsUsingCallFeedbackICSlot(isolate())) {
     FeedbackVectorICSlot slot = expr->CallFeedbackICSlot();
     is_uninitialized = oracle()->CallIsUninitialized(slot);
-    if (!expr->expression()->IsProperty() &&
-        oracle()->CallIsMonomorphic(slot)) {
-      expr->set_target(oracle()->GetCallTarget(slot));
-      Handle<AllocationSite> site = oracle()->GetCallAllocationSite(slot);
-      expr->set_allocation_site(site);
+    if (oracle()->CallIsMonomorphic(slot)) {
+      if (oracle()->CallIsBuiltinWithMinusZeroResult(slot)) {
+        expr->MarkShouldHandleMinusZeroResult();
+      }
+      if (!expr->expression()->IsProperty()) {
+        expr->set_target(oracle()->GetCallTarget(slot));
+        Handle<AllocationSite> site = oracle()->GetCallAllocationSite(slot);
+        expr->set_allocation_site(site);
+      }
     }
   }
 
   expr->set_is_uninitialized(is_uninitialized);
 
   ZoneList<Expression*>* args = expr->arguments();
   for (int i = 0; i < args->length(); ++i) {
     Expression* arg = args->at(i);
     RECURSE(Visit(arg));
   }
@@ skipping 264 matching lines @@
 void AstTyper::VisitModuleUrl(ModuleUrl* module) {
 }
 
 
 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) {
   RECURSE(Visit(stmt->body()));
 }
 
 
 } }  // namespace v8::internal