Inline Doubles truncate and round.

runtime/vm/assembler_ia32.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_IA32)
 
 #include "vm/assembler.h"
 #include "vm/code_generator.h"
 #include "vm/heap.h"
@@ skipping 791 matching lines @@
 
 void Assembler::pxor(XmmRegister dst, XmmRegister src) {
   AssemblerBuffer::EnsureCapacity ensured(&buffer_);
   EmitUint8(0x66);
   EmitUint8(0x0F);
   EmitUint8(0xEF);
   EmitXmmRegisterOperand(dst, src);
 }
 
 
+void Assembler::roundsd(XmmRegister dst, XmmRegister src, RoundingMode mode) {
+  ASSERT(CPUFeatures::sse4_1_supported());
+  AssemblerBuffer::EnsureCapacity ensured(&buffer_);
+  EmitUint8(0x66);
+  EmitUint8(0x0F);
+  EmitUint8(0x3A);
+  EmitUint8(0x0B);
+  EmitXmmRegisterOperand(dst, src);
+  // Mask precision exeption.
+  EmitUint8(static_cast<uint8_t>(mode) | 0x8);
+}
+
+
 void Assembler::fldl(const Address& src) {
   AssemblerBuffer::EnsureCapacity ensured(&buffer_);
   EmitUint8(0xDD);
   EmitOperand(0, src);
 }
 
 
 void Assembler::fstpl(const Address& dst) {
   AssemblerBuffer::EnsureCapacity ensured(&buffer_);
   EmitUint8(0xDD);
@@ skipping 894 matching lines @@
 void Assembler::DoubleAbs(XmmRegister reg) {
   static const struct ALIGN16 {
     uint64_t a;
     uint64_t b;
   } double_abs_constant =
       {0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFFLL};
   andpd(reg, Address::Absolute(reinterpret_cast<uword>(&double_abs_constant)));
 }
 
 
+void Assembler::DoubleRound(XmmRegister dst, XmmRegister src, XmmRegister tmp) {
+  ASSERT(tmp != src);
+  static double kZeroFiveConst = 0.5;
+  static double kNegZeroFiveConst = -0.5;
+  Label is_negative, round;
+  if (src != dst) {
+    movsd(dst, src);
+  }
+  Label below_half, below_equal_neg_half, done;
+  movsd(tmp, Address::Absolute(reinterpret_cast<uword>(&kZeroFiveConst)));
+  comisd(tmp, dst);
+  // 0.5 > dst ?

[Florian Schneider, 2013/01/11 09:49:30]

For consistency with the jump label I'd rewrite the comment to

// dst < 0.5 ?

[srdjan, 2013/01/11 19:41:08]

Done.

+  j(ABOVE, &below_half, Assembler::kNearJump);
+  // floor(val + 0.5).
+  addsd(dst, tmp);
+  roundsd(dst, dst, Assembler::kRoundDown);
+  jmp(&done, Assembler::kNearJump);
+  Bind(&below_half);
+  // Return -0.0 for -0.5.
+  movsd(tmp, Address::Absolute(reinterpret_cast<uword>(&kNegZeroFiveConst)));
+  comisd(tmp, dst);
+  // -0.5 >= dst.

[Florian Schneider, 2013/01/11 09:49:30]

Also here:

dst <= -0.5 ?

[srdjan, 2013/01/11 19:41:08]

Done.

+  j(ABOVE_EQUAL, &below_equal_neg_half, Assembler::kNearJump);
+  roundsd(dst, dst, Assembler::kRoundToZero);
+  jmp(&done, Assembler::kNearJump);
+  Bind(&below_equal_neg_half);
+  addsd(dst, tmp);
+  roundsd(dst, dst, Assembler::kRoundUp);
+  Bind(&done);
+}
+
+
 void Assembler::EnterFrame(intptr_t frame_size) {
   if (prologue_offset_ == -1) {
     prologue_offset_ = CodeSize();
   }
   pushl(EBP);
   movl(EBP, ESP);
   if (frame_size != 0) {
     Immediate frame_space(frame_size);
     subl(ESP, frame_space);
   }
@@ skipping 316 matching lines @@
 
 const char* Assembler::XmmRegisterName(XmmRegister reg) {
   ASSERT((0 <= reg) && (reg < kNumberOfXmmRegisters));
   return xmm_reg_names[reg];
 }
 
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32