Uses a conditional move for usage counter increment instead of a branch

runtime/vm/assembler_x64_test.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"
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/assembler.h"
 #include "vm/os.h"
 #include "vm/unit_test.h"
@@ skipping 2951 matching lines @@
 
 
 ASSEMBLER_TEST_RUN(ConditionalMovesEqual, test) {
   typedef int (*ConditionalMovesEqualCode)(int i);
   int res = reinterpret_cast<ConditionalMovesEqualCode>(test->entry())(785);
   EXPECT_EQ(1, res);
   res = reinterpret_cast<ConditionalMovesEqualCode>(test->entry())(-12);
   EXPECT_EQ(0, res);
 }
 
+
+// Return 1 if overflow, 0 if no overflow.
+ASSEMBLER_TEST_GENERATE(ConditionalMovesNoOverflow, assembler) {
+  __ movq(RDX, CallingConventions::kArg1Reg);
+  __ addq(RDX, CallingConventions::kArg2Reg);
+  __ movq(RAX, Immediate(1));
+  __ movq(RCX, Immediate(0));
+  __ cmovnoq(RAX, RCX);
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(ConditionalMovesNoOverflow, test) {
+  typedef int (*ConditionalMovesNoOverflowCode)(int64_t i, int64_t j);
+  int res = reinterpret_cast<ConditionalMovesNoOverflowCode>(
+      test->entry())(0x7fffffffffffffff, 2);
+  EXPECT_EQ(1, res);
+  res = reinterpret_cast<ConditionalMovesNoOverflowCode>(test->entry())(1, 1);
+  EXPECT_EQ(0, res);
+}
+
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_X64