Revert r8592: failures on checked mode and some web tests.

lib/compiler/implementation/ssa/codegen.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class SsaCodeGeneratorTask extends CompilerTask {
   final JavaScriptBackend backend;
   SsaCodeGeneratorTask(JavaScriptBackend backend)
       : this.backend = backend,
         super(backend.compiler);
   String get name() => 'SSA code generator';
@@ skipping 54 matching lines @@
       } else {
         code = codegen.buffer.toString();
       }
       return buildJavaScriptFunction(element, parameters, code);
     });
   }
 
   String generateBailoutMethod(WorkItem work, HGraph graph) {
     return measure(() {
       compiler.tracer.traceGraph("codegen-bailout", graph);
+      new SsaBailoutPropagator(compiler).visitGraph(graph);
 
       Map<Element, String> parameterNames = getParameterNames(work);
       String parameters = Strings.join(parameterNames.getValues(), ', ');
       SsaUnoptimizedCodeGenerator codegen = new SsaUnoptimizedCodeGenerator(
           backend, work, parameters, parameterNames);
       codegen.visitGraph(graph);
 
+      StringBuffer newParameters = new StringBuffer();
+      if (!parameterNames.isEmpty()) newParameters.add('$parameters, ');
+      newParameters.add('state');
+
+      for (int i = 0; i < codegen.maxBailoutParameters; i++) {
+        newParameters.add(', env$i');
+      }
+
+      Element element = work.element;
       String body = '${codegen.setup}${codegen.buffer}';
-      return buildJavaScriptFunction(
-          work.element, codegen.newParameters.toString(), body);
+      return buildJavaScriptFunction(element, newParameters.toString(), body);
     });
   }
 
   Map<Element, String> getParameterNames(WorkItem work) {
     Map<Element, String> parameterNames = new LinkedHashMap<Element, String>();
     FunctionElement function = work.element;
 
     // The dom/html libraries have inline JS code that reference
     // parameter names directly. Long-term such code will be rejected.
     // Now, just don't mangle the parameter name.
@@ skipping 162 matching lines @@
         parameterNames);
     allocator.visitGraph(graph);
     variableNames = allocator.names;
   }
 
   visitGraph(HGraph graph) {
     preGenerateMethod(graph);
     currentGraph = graph;
     indent++;  // We are already inside a function.
     subGraph = new SubGraph(graph.entry, graph.exit);
-    HBasicBlock start = beginGraph(graph);
-    visitBasicBlock(start);
+    beginGraph(graph);
+    visitBasicBlock(graph.entry);
     if (!delayedVariableDeclarations.isEmpty()) {
       addIndented("var ");
       buffer.add(Strings.join(
           new List<String>.from(delayedVariableDeclarations), ', '));
       buffer.add(";\n");
     }
     endGraph(graph);
   }
 
   void visitSubGraph(SubGraph newSubGraph) {
@@ skipping 2168 matching lines @@
     }
   }
 }
 
 class SsaOptimizedCodeGenerator extends SsaCodeGenerator {
   SsaOptimizedCodeGenerator(backend, work, parameters, parameterNames)
     : super(backend, work, parameters, parameterNames);
 
   int maxBailoutParameters;
 
-  HBasicBlock beginGraph(HGraph graph) => graph.entry;
+  void beginGraph(HGraph graph) {}
   void endGraph(HGraph graph) {}
 
   void bailout(HTypeGuard guard, String reason) {
     if (maxBailoutParameters === null) {
       maxBailoutParameters = 0;
       work.guards.forEach((HTypeGuard guard) {
         int inputLength = guard.inputs.length;
         if (inputLength > maxBailoutParameters) {
           maxBailoutParameters = inputLength;
         }
       });
     }
     HInstruction input = guard.guarded;
     Namer namer = compiler.namer;
     Element element = work.element;
     buffer.add('return ');
     if (element.isInstanceMember()) {
       // TODO(ngeoffray): This does not work in case we come from a
       // super call. We must make bailout names unique.
       buffer.add('this.${namer.getBailoutName(element)}');
     } else {
       buffer.add(namer.isolateBailoutAccess(element));
     }
-    buffer.add('(${guard.state}');
+    int parametersCount = parameterNames.length;
+    buffer.add('($parameters');
+    if (parametersCount != 0) buffer.add(', ');
+    buffer.add('${guard.state}');
     // TODO(ngeoffray): try to put a variable at a deterministic
     // location, so that multiple bailout calls put the variable at
     // the same parameter index.
     int i = 0;
     for (; i < guard.inputs.length; i++) {
       buffer.add(', ');
       use(guard.inputs[i], JSPrecedence.ASSIGNMENT_PRECEDENCE);
     }
     // Make sure we call the bailout method with the number of
     // arguments it expects. This avoids having the underlying
@@ skipping 96 matching lines @@
   void startLabeledBlock(HLabeledBlockInformation labeledBlockInfo) {
   }
 
   void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) {
   }
 }
 
 class SsaUnoptimizedCodeGenerator extends SsaCodeGenerator {
 
   final StringBuffer setup;
-  final StringBuffer newParameters;
   final List<String> labels;
   int labelId = 0;
   int maxBailoutParameters = 0;
 
-  SsaBailoutPropagator propagator;
-  HInstruction savedFirstInstruction;
-
   SsaUnoptimizedCodeGenerator(backend, work, parameters, parameterNames)
     : super(backend, work, parameters, parameterNames),
       setup = new StringBuffer(),
-      newParameters = new StringBuffer(),
       labels = <String>[];
 
   String pushLabel() {
     String label = 'L${labelId++}';
     labels.addLast(label);
     return label;
   }
 
   String popLabel() {
     return labels.removeLast();
   }
 
   String currentLabel() {
     return labels.last();
   }
 
-  HBasicBlock beginGraph(HGraph graph) {
-    propagator = new SsaBailoutPropagator(compiler, generateAtUseSite);
-    propagator.visitGraph(graph);
+  void beginGraph(HGraph graph) {
+    if (!graph.entry.hasGuards()) return;
+    addIndented('switch (state) {\n');
+    indent++;
+    addIndented('case 0:\n');
+    indent++;
 
-    if (propagator.hasComplexTypeGuards) {
-      startBailoutSwitch();
+    // The setup phase of a bailout function sets up the environment for
+    // each bailout target. Each bailout target will populate this
+    // setup phase. It is put at the beginning of the function.
+    setup.add('  switch (state) {\n');
+  }
 
-      // The setup phase of a bailout function sets up the environment for
-      // each bailout target. Each bailout target will populate this
-      // setup phase. It is put at the beginning of the function.
-      setup.add('  switch (state) {\n');
-      return graph.entry;
-    } else {
-      // We change the first instruction of the first guard to be the
-      // guard. We will change it back in the call to [endGraph].
-      HBasicBlock block = propagator.firstTypeGuard.block;
-      savedFirstInstruction = block.first;
-      block.first = propagator.firstTypeGuard;
-      return block;
-    }
+  void endGraph(HGraph graph) {
+    if (!graph.entry.hasGuards()) return;
+    indent--; // Close original case.
+    indent--;
+    addIndented('}\n');  // Close 'switch'.
+    setup.add('  }\n');
   }
 
+  bool visitAndOrInfo(HAndOrBlockInformation info) => false;
+  bool visitIfInfo(HIfBlockInformation info) => false;
+  bool visitLoopInfo(HLoopBlockInformation info) => false;
+  bool visitTryInfo(HTryBlockInformation info) => false;
+  bool visitSequenceInfo(HStatementSequenceInformation info) => false;
+
   // If argument is a [HCheck] and it does not have a name, we try to
   // find the name of its checked input. Note that there must be a
   // name, otherwise the instruction would not be in the live
   // environment.
-  HInstruction unwrap(HInstruction argument) {
+  HInstruction unwrap(argument) {
     while (argument is HCheck && !variableNames.hasName(argument)) {
       argument = argument.checkedInput;
     }
     assert(variableNames.hasName(argument));
     return argument;
   }
 
-  void endGraph(HGraph graph) {
-    // TODO(ngeoffray): We could avoid generating the state at the
-    // call site for non-complex bailout methods.
-    newParameters.add('state');
-
-    if (!propagator.hasComplexTypeGuards) {
-      propagator.firstTypeGuard.block.first = savedFirstInstruction;
-      for (HInstruction input in propagator.firstTypeGuard.inputs) {
-        input = unwrap(input);
-        newParameters.add(', ${variableNames.getName(input)}');
-      }
-    } else {
-      for (int i = 0; i < maxBailoutParameters; i++) {
-        newParameters.add(', env$i');
-      }
-      indent--; // Close original case.
-      indent--;
-      addIndented('}\n');  // Close 'switch'.
-      setup.add('  }\n');
-    }
-  }
-
-  bool visitAndOrInfo(HAndOrBlockInformation info) => false;
-
-  bool visitIfInfo(HIfBlockInformation info) {
-    if (info.thenGraph.start.hasGuards()) return false;
-    if (info.elseGraph.start.hasGuards()) return false;
-    return super.visitIfInfo(info);
-  }
-
-  bool visitLoopInfo(HLoopBlockInformation info) {
-    if (info.start.hasGuards()) return false;
-    if (info.loopHeader.hasGuards()) return false;
-    return super.visitLoopInfo(info);
-  }
-
-  bool visitTryInfo(HTryBlockInformation info) => false;
-  bool visitSequenceInfo(HStatementSequenceInformation info) => false;
-
   void visitTypeGuard(HTypeGuard node) {
-    if (!propagator.hasComplexTypeGuards) return;
-
     indent--;
     addIndented('case ${node.state}:\n');
     indent++;
     addIndented('state = 0;\n');
 
     setup.add('    case ${node.state}:\n');
     int i = 0;
     for (HInstruction input in node.inputs) {
-      input = unwrap(input);
-      String name = variableNames.getName(input);
-      setup.add('      $name = env$i;\n');
+      HInstruction instruction = unwrap(input);
+      setup.add('      ${variableNames.getName(instruction)} = env$i;\n');
       i++;
     }
     if (i > maxBailoutParameters) maxBailoutParameters = i;
     setup.add('      break;\n');
   }
 
   void startBailoutCase(List<HTypeGuard> bailouts1,
                         List<HTypeGuard> bailouts2) {
     indent--;
     handleBailoutCase(bailouts1);
@@ skipping 14 matching lines @@
     indent++;
   }
 
   void endBailoutSwitch() {
     indent--; // Close 'case'.
     indent--;
     addIndented('}\n');  // Close 'switch'.
   }
 
   void beginLoop(HBasicBlock block) {
+    // TODO(ngeoffray): Don't put labels on loops that don't bailout.
     String newLabel = pushLabel();
     if (block.hasGuards()) {
       startBailoutCase(block.guards, const <HTypeGuard>[]);
     }
 
     addIndentation();
     HLoopInformation loopInformation = block.loopInformation;
     for (LabelElement label in loopInformation.labels) {
       writeLabel(label);
       buffer.add(":");
@@ skipping 88 matching lines @@
       startBailoutSwitch();
     }
   }
 
   void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) {
     if (labeledBlockInfo.body.start.hasGuards()) {
       endBailoutSwitch();
     }
   }
 }