Merged: Squashed multiple commits.

src/compiler/operation-typer.cc

Index: src/compiler/operation-typer.cc
diff --git a/src/compiler/operation-typer.cc b/src/compiler/operation-typer.cc
index dfd4c4b60477cad6b154fcbaeb123d472cc85235..ae7813956a0103e643f92478430e37618320549f 100644
--- a/src/compiler/operation-typer.cc
+++ b/src/compiler/operation-typer.cc
@@ -1009,6 +1009,19 @@ Type* OperationTyper::FalsifyUndefined(ComparisonOutcome outcome) {
   return singleton_true();
 }
 
+Type* OperationTyper::CheckFloat64Hole(Type* type) {
+  if (type->Maybe(Type::Hole())) {
+    // Turn "the hole" into undefined.
+    type = Type::Intersect(type, Type::Number(), zone());
+    type = Type::Union(type, Type::Undefined(), zone());
+  }
+  return type;
+}
+
+Type* OperationTyper::CheckNumber(Type* type) {
+  return Type::Intersect(type, Type::Number(), zone());
+}
+
 Type* OperationTyper::TypeTypeGuard(const Operator* sigma_op, Type* input) {
   return Type::Intersect(input, TypeGuardTypeOf(sigma_op), zone());
 }