Reland "Add DoubleTestOp instruction"

runtime/vm/constant_propagator.cc

 // Copyright (c) 2013, 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/constant_propagator.h"
 
 #include "vm/bit_vector.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/flow_graph_compiler.h"
 #include "vm/flow_graph_range_analysis.h"
@@ skipping 1150 matching lines @@
         break;
       default:
         UNREACHABLE();
     }
     const Double& result = Double::ZoneHandle(Double::NewCanonical(result_val));
     SetValue(instr, result);
   }
 }
 
 
+void ConstantPropagator::VisitDoubleTestOp(DoubleTestOpInstr* instr) {
+  const Object& value = instr->value()->definition()->constant_value();
+  if (value.IsInteger()) {
+    SetValue(instr, Bool::False());
+  } else if (IsIntegerOrDouble(value)) {
+    switch (instr->op_kind()) {
+      case MethodRecognizer::kDouble_getIsNaN:
+        SetValue(instr, Bool::Get(isnan(ToDouble(value))));
+        break;
+      case MethodRecognizer::kDouble_getIsInfinite:
+        SetValue(instr, Bool::Get(isinf(ToDouble(value))));
+        break;
+      default:
+        UNREACHABLE();
+    }
+  } else {
+    SetValue(instr, non_constant_);
+  }
+}
+
+
 void ConstantPropagator::VisitBinaryFloat32x4Op(
     BinaryFloat32x4OpInstr* instr) {
   const Object& left = instr->left()->definition()->constant_value();
   const Object& right = instr->right()->definition()->constant_value();
   if (IsNonConstant(left) || IsNonConstant(right)) {
     SetValue(instr, non_constant_);
   } else if (IsConstant(left) && IsConstant(right)) {
     // TODO(kmillikin): Handle binary operation.
     SetValue(instr, non_constant_);
   }
@@ skipping 508 matching lines @@
   GrowableArray<BitVector*> dominance_frontier;
   graph_->ComputeDominators(&dominance_frontier);
 
   if (FLAG_trace_constant_propagation &&
       FlowGraphPrinter::ShouldPrint(graph_->function())) {
     FlowGraphPrinter::PrintGraph("After CP", graph_);
   }
 }
 
 }  // namespace dart