[turbofan] Add appropriate types to express Callable.

test/mjsunit/compiler/instanceof-opt1.js

Index: test/mjsunit/compiler/instanceof-opt1.js
diff --git a/test/mjsunit/compiler/instanceof-opt1.js b/test/mjsunit/compiler/instanceof-opt1.js
new file mode 100644
index 0000000000000000000000000000000000000000..6ffdfc0ab1be4df0e9e7e4a05100cdbb321aa69c
--- /dev/null
+++ b/test/mjsunit/compiler/instanceof-opt1.js
@@ -0,0 +1,18 @@
+// Copyright 2016 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+var Foo = {
+  [Symbol.hasInstance]: Function.prototype[Symbol.hasInstance]
+};
+
+// TurboFan will optimize this to false via constant-folding the
+// OrdinaryHasInstance call inside Function.prototype[@@hasInstance].
+function foo() { return 1 instanceof Foo; }
+
+assertEquals(false, foo());
+assertEquals(false, foo());
+%OptimizeFunctionOnNextCall(foo);
+assertEquals(false, foo());