Pixels class prototype and test (not to be committed).

runtime/lib/double.cc

 // Copyright (c) 2011, 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/bootstrap_natives.h"
 
 #include "platform/math.h"
 
 #include "vm/code_generator.h"  // DartModulo.
 #include "vm/dart_entry.h"
@@ skipping 11 matching lines @@
 DEFINE_NATIVE_ENTRY(Double_doubleFromInteger, 2) {
   ASSERT(TypeArguments::CheckedHandle(arguments->NativeArgAt(0)).IsNull());
   const Integer& value = Integer::CheckedHandle(arguments->NativeArgAt(1));
   if (FLAG_trace_intrinsified_natives) {
     OS::Print("Double_doubleFromInteger %s\n", value.ToCString());
   }
   return Double::New(value.AsDoubleValue());
 }
 
 
+DEFINE_NATIVE_ENTRY(Double_doubleFromPixels, 1) {
+  const Integer& pixels = Integer::CheckedHandle(arguments->NativeArgAt(0));
+  // TODO(regis): Recognize +/- infinity.
+  return Double::New(pixels.AsDoubleValue() / Pixels::kScaling);
+}
+
+
 DEFINE_NATIVE_ENTRY(Double_add, 2) {
   double left = Double::CheckedHandle(arguments->NativeArgAt(0)).value();
   GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
   double right = right_object.value();
   if (FLAG_trace_intrinsified_natives) {
     OS::Print("Double_add %f + %f\n", left, right);
   }
   return Double::New(left + right);
 }
 
@@ skipping 62 matching lines @@
   if (exponent == 0) {
     // The double fits in a Smi or Mint.
     return Integer::New(ival);
   }
   Integer& result = Integer::Handle();
   result = Bigint::NewFromShiftedInt64(ival, exponent);
   return result.AsValidInteger();
 }
 
 
+static RawInteger* DoubleToPixels(double val, const char* error_msg) {
+  if (isnan(val)) {
+    const Array& args = Array::Handle(Array::New(1));
+    args.SetAt(0, String::Handle(String::New(error_msg)));
+    Exceptions::ThrowByType(Exceptions::kUnsupported, args);
+  }
+  if (isinf(val)) {
+    if (val < 0) {
+      return Integer::New(Pixels::kMinusInfinity);
+    } else {
+      return Integer::New(Pixels::kPlusInfinity);
+    }
+  }
+  DoubleInternals internals = DoubleInternals(val);
+  ASSERT(!internals.IsSpecial());  // Only Infinity and NaN are special.
+  uint64_t significand = internals.Significand();
+  intptr_t exponent = internals.Exponent() + Pixels::kFractionalBits;
+  if (exponent <= 0) {
+    significand >>= -exponent;
+    exponent = 0;
+  } else if (exponent <= 10) {
+    // A double significand has at most 53 bits. The following shift will
+    // hence not overflow, and yield an integer of at most 63 bits.
+    significand <<= exponent;
+    exponent = 0;
+  }
+  // A significand has at most 63 bits (after the shift above).
+  // The cast to int64_t is hence safe.
+  int64_t ival = static_cast<int64_t>(significand);
+  if (internals.Sign() < 0) {
+    ival = -ival;
+  }
+  if (exponent == 0) {
+    // The double fits in a Smi or Mint.
+    return Integer::New(ival);
+  }
+  Integer& result = Integer::Handle();
+  result = Bigint::NewFromShiftedInt64(ival, exponent);
+  return result.AsValidInteger();
+}
+
+
 DEFINE_NATIVE_ENTRY(Double_trunc_div, 2) {
   double left = Double::CheckedHandle(arguments->NativeArgAt(0)).value();
   GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
   double right = right_object.value();
   if (FLAG_trace_intrinsified_natives) {
     OS::Print("Double_trunc_div %f ~/ %f\n", left, right);
   }
   return DoubleToInteger(trunc(left / right),
                          "Result of truncating division is Infinity or NaN");
 }
@@ skipping 79 matching lines @@
 // MAC OSX math library produces old style cast warning.
 #pragma GCC diagnostic ignored "-Wold-style-cast"
 #endif
 
 DEFINE_NATIVE_ENTRY(Double_toInt, 1) {
   const Double& arg = Double::CheckedHandle(arguments->NativeArgAt(0));
   return DoubleToInteger(arg.value(), "Infinity or NaN toInt");
 }
 
 
+DEFINE_NATIVE_ENTRY(Double_toPixels, 1) {
+  const Double& arg = Double::CheckedHandle(arguments->NativeArgAt(0));
+  return DoubleToPixels(arg.value(), "NaN toPixels");
+}
+
+
 DEFINE_NATIVE_ENTRY(Double_parse, 3) {
   GET_NON_NULL_NATIVE_ARGUMENT(String, value, arguments->NativeArgAt(0));
   GET_NON_NULL_NATIVE_ARGUMENT(Integer, startValue, arguments->NativeArgAt(1));
   GET_NON_NULL_NATIVE_ARGUMENT(Integer, endValue, arguments->NativeArgAt(2));
 
   const intptr_t start = startValue.AsTruncatedUint32Value();
   const intptr_t end = endValue.AsTruncatedUint32Value();
   const intptr_t len = value.Length();
 
   // Indices should be inside the string, and 0 <= start < end <= len.
@@ skipping 87 matching lines @@
 DEFINE_NATIVE_ENTRY(Double_flipSignBit, 1) {
   const Double& arg = Double::CheckedHandle(arguments->NativeArgAt(0));
   const double in_val = arg.value();
   const int64_t bits = bit_cast<int64_t, double>(in_val) ^ kSignBitDouble;
   return Double::New(bit_cast<double, int64_t>(bits));
 }
 
 // Add here only functions using/referring to old-style casts.
 
 }  // namespace dart