| Index: src/compiler/typer.cc
|
| diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
|
| index 32a5203633e3075f3ec504ceb7086642ca031c3a..bfba6f9387a74d91a73b89019e34f41b036400b2 100644
|
| --- a/src/compiler/typer.cc
|
| +++ b/src/compiler/typer.cc
|
| @@ -2008,6 +2008,16 @@ Type* Typer::Visitor::TypeCheckBounds(Node* node) {
|
| return Type::Unsigned31();
|
| }
|
|
|
| +Type* Typer::Visitor::TypeCheckTaggedPointer(Node* node) {
|
| + Type* arg = Operand(node, 0);
|
| + return Type::Intersect(arg, Type::TaggedPointer(), zone());
|
| +}
|
| +
|
| +Type* Typer::Visitor::TypeCheckTaggedSigned(Node* node) {
|
| + Type* arg = Operand(node, 0);
|
| + return Type::Intersect(arg, typer_->cache_.kSmi, zone());
|
| +}
|
| +
|
| Type* Typer::Visitor::TypeCheckedUint32ToInt32(Node* node) {
|
| return Type::Signed32();
|
| }
|
|
|