[turbofan] Properly represent the float64 hole.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index cca58a238215cb2eefd364ff3d714229a7453cf5..3c79c67fffb5908f44a4186d4a95df6944938ef6 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -1201,8 +1201,8 @@ void Verifier::Visitor::Check(Node* node) {
       break;
 
     case IrOpcode::kCheckFloat64Hole:
-      CheckValueInputIs(node, 0, Type::Number());
-      CheckTypeIs(node, Type::Number());
+      CheckValueInputIs(node, 0, Type::NumberOrHole());
+      CheckTypeIs(node, Type::NumberOrUndefined());
       break;
     case IrOpcode::kCheckTaggedHole:
       CheckValueInputIs(node, 0, Type::Any());