Do not count invocations but usage of a function, i.e., increment a function's counter at IC calls …

runtime/vm/code_generator_x64.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_X64.
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/code_generator.h"
 
 #include "lib/error.h"
 #include "vm/ast_printer.h"
 #include "vm/class_finalizer.h"
 #include "vm/dart_entry.h"
 #include "vm/debugger.h"
 #include "vm/longjump.h"
 #include "vm/object.h"
 #include "vm/object_store.h"
 #include "vm/parser.h"
 #include "vm/resolver.h"
 #include "vm/stub_code.h"
 
 namespace dart {
 
 DEFINE_FLAG(bool, print_ast, false, "Print abstract syntax tree.");
 DEFINE_FLAG(bool, print_scopes, false, "Print scopes of local variables.");
 DEFINE_FLAG(bool, trace_functions, false, "Trace entry of each function.");
-DEFINE_FLAG(int, optimization_invocation_threshold, 1000,
-    "number of invocations before a function is optimized, -1 means never.");
 DECLARE_FLAG(bool, enable_type_checks);
-DECLARE_FLAG(bool, report_invocation_count);
 DECLARE_FLAG(bool, trace_compiler);
 
 #define __ assembler_->
 
 
 // TODO(regis): CodeGeneratorState, CodeGenerator::DescriptorList, and
 // CodeGenerator::HandlerList can probably be moved to code_generator.cc, since
 // they seem to be architecture independent.
 
 
@@ skipping 151 matching lines @@
                                       0,
                                       -1);
   __ jmp(&StubCode::FixCallersTargetLabel());
 }
 
 
 void CodeGenerator::GenerateDeferredCode() {
 }
 
 
-// Pre entry code is called before the frame has been constructed:
-// - check for stack overflow.
-// - optionally count function invocations.
-// - optionally trigger optimizing compiler if invocation threshold has been
-//   reached.
+// Pre entry code is called before the frame has been constructed.
 // Note that first 13 bytes may be patched with a jump.
 // TODO(srdjan): Add check that no object is inlined in the first
 // 13 bytes (length of a jump instruction).
 void CodeGenerator::GeneratePreEntryCode() {
   // Do not optimize if:
   // - we count invocations.
-  // - optimization disabled via negative 'optimization_invocation_threshold;
+  // - optimization disabled.
   // - function is marked as non-optimizable.
   // - type checks are enabled.
-  const bool may_optimize =
-      false &&   // TODO(srdjan): Remove once the optimizer is enabled on x64.
-      !FLAG_report_invocation_count &&
-      (FLAG_optimization_invocation_threshold >= 0) &&
-      !Isolate::Current()->debugger()->IsActive() &&
-      parsed_function_.function().is_optimizable();
-  // Count invocation and check.
-  if (FLAG_report_invocation_count || may_optimize) {
-    // TODO(turnidge): It would be nice to remove this nop.  Right now
-    // we need it to make sure the function is still patchable.
-    __ nop(8);
-    __ nop(5);
-    const Function& function =
-        Function::ZoneHandle(parsed_function_.function().raw());
-    __ LoadObject(RAX, function);
-    __ movq(R8, FieldAddress(RAX, Function::invocation_counter_offset()));
-    __ incq(R8);
-    if (may_optimize) {
-      __ cmpq(R8, Immediate(FLAG_optimization_invocation_threshold));
-      __ j(GREATER, &StubCode::OptimizeInvokedFunctionLabel());
-    }
-    // R8 contains an integer value, not an object.
-    __ movq(FieldAddress(RAX, Function::invocation_counter_offset()), R8);
-  }
+  // TODO(srdjan): Nop's still needed?
+  __ nop(8);
+  __ nop(5);
 }
 
 
 // Verify assumptions (in debug mode only).
 // - No two deopt descriptors have the same node id (deoptimization).
 // - No two ic-call descriptors have the same node id (type feedback).
 // - No two descriptors of same kind have the same PC.
 // A function without unique ids is marked as non-optimizable (e.g., because of
 // finally blocks).
 static void VerifyPcDescriptors(const PcDescriptors& descriptors,
@@ skipping 1586 matching lines @@
 
   // Call operator.
   GenerateBinaryOperatorCall(node->id(), node->token_index(), node->Name());
   // Result is in RAX.
   if (IsResultNeeded(node)) {
     __ pushq(RAX);
   }
 }
 
 
-void CodeGenerator::CountBackwardLoop() {
-  Label done;
-  const Function& function =
-      Function::ZoneHandle(parsed_function_.function().raw());
-  __ LoadObject(RAX, function);
-  __ movq(RBX, FieldAddress(RAX, Function::invocation_counter_offset()));
-  __ incq(RBX);
-  if (!FLAG_report_invocation_count) {
-    // Prevent overflow.
-    __ cmpq(RBX, Immediate(FLAG_optimization_invocation_threshold));
-    __ j(GREATER, &done);
-  }
-  // RBX contains an integer value, not an object.
-  __ movq(FieldAddress(RAX, Function::invocation_counter_offset()), RBX);
-  __ Bind(&done);
-}
-
-
 void CodeGenerator::VisitWhileNode(WhileNode* node) {
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   SourceLabel* label = node->label();
   __ Bind(label->continue_label());
   node->condition()->Visit(this);
   GenerateConditionTypeCheck(node->id(), node->condition()->token_index());
   __ popq(RAX);
   __ LoadObject(RDX, bool_true);
   __ cmpq(RAX, RDX);
   __ j(NOT_EQUAL, label->break_label());
   node->body()->Visit(this);
-  CountBackwardLoop();
   __ jmp(label->continue_label());
   __ Bind(label->break_label());
 }
 
 
 void CodeGenerator::VisitDoWhileNode(DoWhileNode* node) {
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   SourceLabel* label = node->label();
   Label loop;
   __ Bind(&loop);
   node->body()->Visit(this);
-  CountBackwardLoop();
   __ Bind(label->continue_label());
   node->condition()->Visit(this);
   GenerateConditionTypeCheck(node->id(), node->condition()->token_index());
   __ popq(RAX);
   __ LoadObject(RDX, bool_true);
   __ cmpq(RAX, RDX);
   __ j(EQUAL, &loop);
   __ Bind(label->break_label());
 }
 
 
 void CodeGenerator::VisitForNode(ForNode* node) {
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   node->initializer()->Visit(this);
   SourceLabel* label = node->label();
   Label loop;
   __ Bind(&loop);
   if (node->condition() != NULL) {
     node->condition()->Visit(this);
     GenerateConditionTypeCheck(node->id(), node->condition()->token_index());
     __ popq(RAX);
     __ LoadObject(RDX, bool_true);
     __ cmpq(RAX, RDX);
     __ j(NOT_EQUAL, label->break_label());
   }
   node->body()->Visit(this);
-  CountBackwardLoop();
   __ Bind(label->continue_label());
   node->increment()->Visit(this);
   __ jmp(&loop);
   __ Bind(label->break_label());
 }
 
 
 void CodeGenerator::VisitJumpNode(JumpNode* node) {
   SourceLabel* label = node->label();
 
@@ skipping 819 matching lines @@
   const Error& error = Error::Handle(
       Parser::FormatError(script, token_index, "Error", format, args));
   va_end(args);
   Isolate::Current()->long_jump_base()->Jump(1, error);
   UNREACHABLE();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_X64