[turbofan] Introduce dedicated NumberConvertHoleNaN simplified operator.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index f611fbf8631671292fe6dfd27b5bb57362925a44..5a62564dfd76cf9ee17a9e1f9bc88d43f05d76bb 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -770,6 +770,11 @@ void Verifier::Visitor::Check(Node* node) {
       CheckValueInputIs(node, 0, Type::Number());
       CheckUpperIs(node, Type::Boolean());
       break;
+    case IrOpcode::kNumberConvertHoleNaN:
+      // Number -> Number \/ Undefined
+      CheckValueInputIs(node, 0, Type::Number());
+      CheckUpperIs(node, Type::NumberOrUndefined());
+      break;
     case IrOpcode::kPlainPrimitiveToNumber:
       // Type is Number.
       CheckUpperIs(node, Type::Number());