Use predicates to check simple function types.

sdk/lib/_internal/compiler/implementation/ssa/builder.dart

Index: sdk/lib/_internal/compiler/implementation/ssa/builder.dart
diff --git a/sdk/lib/_internal/compiler/implementation/ssa/builder.dart b/sdk/lib/_internal/compiler/implementation/ssa/builder.dart
index 916928248af9b5cde784246791d2614044acf750..2e4407261d997fa5332f58add06fae38c27cb547 100644
--- a/sdk/lib/_internal/compiler/implementation/ssa/builder.dart
+++ b/sdk/lib/_internal/compiler/implementation/ssa/builder.dart
@@ -1776,6 +1776,10 @@ class SsaBuilder extends ResolvedVisitor implements Visitor {
       return new HTypeConversion.withTypeRepresentation(type, kind, subtype,
           original, typeVariable);
     } else if (type.kind == TypeKind.FUNCTION) {
+      FunctionType functionType = type;
+      if (functionType.isSimple) {
+        return original.convertType(compiler, type, kind);
+      }
       HType subtype = original.instructionType;
       if (type.containsTypeVariables) {
         bool contextIsTypeArguments = false;
@@ -2794,6 +2798,10 @@ class SsaBuilder extends ResolvedVisitor implements Visitor {
   HInstruction buildIsNode(Node node, DartType type, HInstruction expression) {
     type = type.unalias(compiler);
     if (type.kind == TypeKind.FUNCTION) {
+      FunctionType functionType = type;
+      if (functionType.isSimple) {
+        return new HIs(type, <HInstruction>[expression], HIs.RAW_CHECK);
+      }
       Element checkFunctionSubtype = backend.getCheckFunctionSubtype();
 
       HInstruction signatureName = graph.addConstantString(