dart2js cps: Add path-sensitive types by inserting refinement IR nodes.

pkg/compiler/lib/src/js_backend/codegen/task.dart

Index: pkg/compiler/lib/src/js_backend/codegen/task.dart
diff --git a/pkg/compiler/lib/src/js_backend/codegen/task.dart b/pkg/compiler/lib/src/js_backend/codegen/task.dart
index 16c882ac3274d7786dbf57624bdc633ae3dfdaee..c979290bb1b3fb19529bac879cf49f4e07b3a6b9 100644
--- a/pkg/compiler/lib/src/js_backend/codegen/task.dart
+++ b/pkg/compiler/lib/src/js_backend/codegen/task.dart
@@ -170,9 +170,13 @@ class CpsFunctionCompiler implements FunctionCompiler {
       assert(checkCpsIntegrity(cpsNode));
     }
 
+    applyCpsPass(new RedundantJoinEliminator());
+    applyCpsPass(new RedundantPhiEliminator());
+    applyCpsPass(new InsertRefinements(compiler.typesTask, compiler.world));
     TypePropagator typePropagator = new TypePropagator(compiler, this);
     applyCpsPass(typePropagator);
     dumpTypedIR(cpsNode, typePropagator);
+    applyCpsPass(new RemoveRefinements());
     applyCpsPass(new LoopInvariantCodeMotion());
     applyCpsPass(new ShareInterceptors());
     applyCpsPass(new ScalarReplacer(compiler));