Add inlining for intrinsics.

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index e30a47bea54895c2d3318329d92c7aa28acb9c20..90c3606cbd3952e34881f076fb495121f843ffa1 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -812,11 +812,21 @@ Bounds Typer::Visitor::TypeStoreElement(Node* node) {
 }
 
 
+Bounds Typer::Visitor::TypeIsSmi(Node* node) { return Bounds(Type::Boolean()); }
+
+
+Bounds Typer::Visitor::TypeIsNonNegativeSmi(Node* node) {
+  return Bounds(Type::Boolean());
+}
+
+
 // Machine operators.
 
 // TODO(rossberg): implement
-#define DEFINE_METHOD(x) \
-    Bounds Typer::Visitor::Type##x(Node* node) { return Bounds(Type::None()); }
+#define DEFINE_METHOD(x)                       \
+  Bounds Typer::Visitor::Type##x(Node* node) { \
+    return Bounds::Unbounded(zone());          \
+  }
 MACHINE_OP_LIST(DEFINE_METHOD)
 #undef DEFINE_METHOD