| Index: src/compiler/typer.cc
|
| diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
|
| index 6c80446ce921da7e1906cd4dfe3e74e2bca6ee61..ea20cec83fdbfd2c8a26c483b28c2634e82c63c4 100644
|
| --- a/src/compiler/typer.cc
|
| +++ b/src/compiler/typer.cc
|
| @@ -557,6 +557,13 @@ Type* Typer::Visitor::TypeEffectSet(Node* node) {
|
| }
|
|
|
|
|
| +Type* Typer::Visitor::TypeGuard(Node* node) {
|
| + Type* input_type = Operand(node, 0);
|
| + Type* guard_type = OpParameter<Type*>(node);
|
| + return Type::Intersect(input_type, guard_type, zone());
|
| +}
|
| +
|
| +
|
| Type* Typer::Visitor::TypeBeginRegion(Node* node) {
|
| UNREACHABLE();
|
| return nullptr;
|
| @@ -1786,6 +1793,15 @@ Type* Typer::Visitor::TypeStoreElement(Node* node) {
|
| }
|
|
|
|
|
| +Type* Typer::Visitor::TypeObjectIsNumber(Node* node) {
|
| + Type* arg = Operand(node, 0);
|
| + if (arg->Is(Type::None())) return Type::None();
|
| + if (arg->Is(Type::Number())) return typer_->singleton_true_;
|
| + if (!arg->Maybe(Type::Number())) return typer_->singleton_false_;
|
| + return Type::Boolean();
|
| +}
|
| +
|
| +
|
| Type* Typer::Visitor::TypeObjectIsSmi(Node* node) {
|
| Type* arg = Operand(node, 0);
|
| if (arg->Is(Type::None())) return Type::None();
|
|
|