[turbofan] Compute more precise type for ObjectIsSmi if possible.

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index 410a4f1162aefc2da84b651d06cdc2085ed8d6e1..cca9f0e807b88cdb7d7d83153d34b44dfbcd218b 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -1657,7 +1657,13 @@ Type* Typer::Visitor::TypeStoreElement(Node* node) {
 }
 
 
-Type* Typer::Visitor::TypeObjectIsSmi(Node* node) { return Type::Boolean(); }
+Type* Typer::Visitor::TypeObjectIsSmi(Node* node) {
+  Type* arg = Operand(node, 0);
+  if (arg->Is(Type::None())) return arg;

[Jarin, 2015/10/19 07:23:22]

I think it would be better to say "return Type::None()" here.

[Benedikt Meurer, 2015/10/19 07:25:44]

Done.

+  if (arg->Is(Type::TaggedSigned())) return typer_->singleton_true_;
+  if (arg->Is(Type::TaggedPointer())) return typer_->singleton_false_;
+  return Type::Boolean();
+}
 
 
 // Machine operators.