[turbofan] Float32Abs and Float64Abs are supported by all backends.

src/compiler/common-operator-reducer.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/common-operator-reducer.h"
 
 #include <algorithm>
 
 #include "src/compiler/common-operator.h"
 #include "src/compiler/js-graph.h"
@@ skipping 40 matching lines @@
     Node* vtrue = NodeProperties::GetValueInput(node, 0);
     Node* vfalse = NodeProperties::GetValueInput(node, 1);
     Node* merge = NodeProperties::GetControlInput(node);
     DiamondMatcher matcher(merge);
     if (matcher.Matched()) {
       if (matcher.IfTrue() == merge->InputAt(1)) std::swap(vtrue, vfalse);
       Node* cond = matcher.Branch()->InputAt(0);
       if (cond->opcode() == IrOpcode::kFloat32LessThan) {
         Float32BinopMatcher mcond(cond);
         if (mcond.left().Is(0.0) && mcond.right().Equals(vtrue) &&
-            vfalse->opcode() == IrOpcode::kFloat32Sub &&
-            machine()->HasFloat32Abs()) {
+            vfalse->opcode() == IrOpcode::kFloat32Sub) {
           Float32BinopMatcher mvfalse(vfalse);
           if (mvfalse.left().IsZero() && mvfalse.right().Equals(vtrue)) {
             return Change(node, machine()->Float32Abs(), vtrue);
           }
         }
         if (mcond.left().Equals(vtrue) && mcond.right().Equals(vfalse) &&
             machine()->HasFloat32Min()) {
           return Change(node, machine()->Float32Min(), vtrue, vfalse);
         } else if (mcond.left().Equals(vfalse) && mcond.right().Equals(vtrue) &&
                    machine()->HasFloat32Max()) {
           return Change(node, machine()->Float32Max(), vtrue, vfalse);
         }
       } else if (cond->opcode() == IrOpcode::kFloat64LessThan) {
         Float64BinopMatcher mcond(cond);
         if (mcond.left().Is(0.0) && mcond.right().Equals(vtrue) &&
-            vfalse->opcode() == IrOpcode::kFloat64Sub &&
-            machine()->HasFloat64Abs()) {
+            vfalse->opcode() == IrOpcode::kFloat64Sub) {
           Float64BinopMatcher mvfalse(vfalse);
           if (mvfalse.left().IsZero() && mvfalse.right().Equals(vtrue)) {
             return Change(node, machine()->Float64Abs(), vtrue);
           }
         }
         if (mcond.left().Equals(vtrue) && mcond.right().Equals(vfalse) &&
             machine()->HasFloat64Min()) {
           return Change(node, machine()->Float64Min(), vtrue, vfalse);
         } else if (mcond.left().Equals(vfalse) && mcond.right().Equals(vtrue) &&
                    machine()->HasFloat64Max()) {
@@ skipping 20 matching lines @@
   Node* vfalse = NodeProperties::GetValueInput(node, 2);
   if (vtrue == vfalse) return Replace(vtrue);
   switch (cond->opcode()) {
     case IrOpcode::kHeapConstant: {
       HeapObjectMatcher<HeapObject> mcond(cond);
       return Replace(mcond.Value().handle()->BooleanValue() ? vtrue : vfalse);
     }
     case IrOpcode::kFloat32LessThan: {
       Float32BinopMatcher mcond(cond);
       if (mcond.left().Is(0.0) && mcond.right().Equals(vtrue) &&
-          vfalse->opcode() == IrOpcode::kFloat32Sub &&
-          machine()->HasFloat32Abs()) {
+          vfalse->opcode() == IrOpcode::kFloat32Sub) {
         Float32BinopMatcher mvfalse(vfalse);
         if (mvfalse.left().IsZero() && mvfalse.right().Equals(vtrue)) {
           return Change(node, machine()->Float32Abs(), vtrue);
         }
       }
       if (mcond.left().Equals(vtrue) && mcond.right().Equals(vfalse) &&
           machine()->HasFloat32Min()) {
         return Change(node, machine()->Float32Min(), vtrue, vfalse);
       } else if (mcond.left().Equals(vfalse) && mcond.right().Equals(vtrue) &&
                  machine()->HasFloat32Max()) {
         return Change(node, machine()->Float32Max(), vtrue, vfalse);
       }
       break;
     }
     case IrOpcode::kFloat64LessThan: {
       Float64BinopMatcher mcond(cond);
       if (mcond.left().Is(0.0) && mcond.right().Equals(vtrue) &&
-          vfalse->opcode() == IrOpcode::kFloat64Sub &&
-          machine()->HasFloat64Abs()) {
+          vfalse->opcode() == IrOpcode::kFloat64Sub) {
         Float64BinopMatcher mvfalse(vfalse);
         if (mvfalse.left().IsZero() && mvfalse.right().Equals(vtrue)) {
           return Change(node, machine()->Float64Abs(), vtrue);
         }
       }
       if (mcond.left().Equals(vtrue) && mcond.right().Equals(vfalse) &&
           machine()->HasFloat64Min()) {
         return Change(node, machine()->Float64Min(), vtrue, vfalse);
       } else if (mcond.left().Equals(vfalse) && mcond.right().Equals(vtrue) &&
                  machine()->HasFloat64Max()) {
@@ skipping 35 matching lines @@
 Graph* CommonOperatorReducer::graph() const { return jsgraph()->graph(); }
 
 
 MachineOperatorBuilder* CommonOperatorReducer::machine() const {
   return jsgraph()->machine();
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8