Remove support for non-ssa optimizing code generation.

runtime/vm/compiler.cc

Index: runtime/vm/compiler.cc
diff --git a/runtime/vm/compiler.cc b/runtime/vm/compiler.cc
index c5c0ddcbfc4c41d79566611a3fa082b2118f610a..613734fb02d7be1a6ea8a8c8b8d1151e43c3e3f0 100644
--- a/runtime/vm/compiler.cc
+++ b/runtime/vm/compiler.cc
@@ -34,7 +34,6 @@ DEFINE_FLAG(bool, disassemble, false, "Disassemble dart code.");
 DEFINE_FLAG(bool, disassemble_optimized, false, "Disassemble optimized code.");
 DEFINE_FLAG(bool, trace_bailout, false, "Print bailout from ssa compiler.");
 DEFINE_FLAG(bool, trace_compiler, false, "Trace compiler operations.");
-DEFINE_FLAG(bool, use_ssa, true, "Use SSA form");
 DEFINE_FLAG(bool, local_cse, true, "Do local subexpression elimination.");
 DEFINE_FLAG(int, deoptimization_counter_threshold, 5,
     "How many times we allow deoptimization before we disallow"
@@ -122,8 +121,8 @@ static void InstallUnoptimizedCode(const Function& function) {
 
 
 // Return false if bailed out.
-static bool CompileParsedFunctionHelper(
-    const ParsedFunction& parsed_function, bool optimized, bool use_ssa) {
+static bool CompileParsedFunctionHelper(const ParsedFunction& parsed_function,
+                                        bool optimized) {
   TimerScope timer(FLAG_compiler_stats, &CompilerStats::codegen_timer);
   bool is_compiled = false;
   Isolate* isolate = Isolate::Current();
@@ -164,7 +163,9 @@ static bool CompileParsedFunctionHelper(
       flow_graph = builder.BuildGraph();
 
       // Transform to SSA.
-      if (optimized && use_ssa) flow_graph->ComputeSSA();
+      if (optimized) {
+        flow_graph->ComputeSSA();
+      }
 
       if (FLAG_print_flow_graph) {
         OS::Print("Before Optimizations\n");
@@ -178,28 +179,26 @@ static bool CompileParsedFunctionHelper(
       }
 
       if (optimized) {
-        FlowGraphOptimizer optimizer(*flow_graph, use_ssa);
+        FlowGraphOptimizer optimizer(*flow_graph);
         optimizer.ApplyICData();
 
         // Propagate types and eliminate more type tests.
-        FlowGraphTypePropagator propagator(*flow_graph, optimized && use_ssa);
+        FlowGraphTypePropagator propagator(*flow_graph);
         propagator.PropagateTypes();
 
 
-        if (use_ssa) {
-          // Do optimizations that depend on the propagated type information.
-          optimizer.OptimizeComputations();
-
-          if (FLAG_local_cse) {
-            LocalCSE local_cse(*flow_graph);
-            local_cse.Optimize();
-          }
+        // Do optimizations that depend on the propagated type information.
+        optimizer.OptimizeComputations();
 
-          // Perform register allocation on the SSA graph.
-          FlowGraphAllocator allocator(*flow_graph);
-          allocator.AllocateRegisters();
+        if (FLAG_local_cse) {
+          LocalCSE local_cse(*flow_graph);
+          local_cse.Optimize();
         }
 
+        // Perform register allocation on the SSA graph.
+        FlowGraphAllocator allocator(*flow_graph);
+        allocator.AllocateRegisters();
+
         if (FLAG_print_flow_graph) {
           OS::Print("After Optimizations:\n");
           FlowGraphPrinter printer(*flow_graph);
@@ -218,7 +217,6 @@ static bool CompileParsedFunctionHelper(
     FlowGraphCompiler graph_compiler(&assembler,
                                      *flow_graph,
                                      optimized,
-                                     optimized && use_ssa,
                                      is_leaf);
     {
       TimerScope timer(FLAG_compiler_stats,
@@ -262,7 +260,7 @@ static bool CompileParsedFunctionHelper(
       OS::Print("%s\n", bailout_error.ToErrorCString());
     }
     // We only bail out from generating ssa code.
-    ASSERT(optimized && use_ssa);
+    ASSERT(optimized);
     is_compiled = false;
   }
   // Reset global isolate state.
@@ -397,16 +395,7 @@ static RawError* CompileFunctionHelper(const Function& function,
     Parser::ParseFunction(&parsed_function);
     parsed_function.AllocateVariables();
 
-    if (!CompileParsedFunctionHelper(parsed_function,
-                                     optimized,
-                                     FLAG_use_ssa)) {
-      // Compile again using non-ssa code generation.
-      // Re-parse because of side-effects to the AST during compilation.
-      ParsedFunction parsed_function(function);
-      Parser::ParseFunction(&parsed_function);
-      parsed_function.AllocateVariables();
-      CompileParsedFunctionHelper(parsed_function, optimized, false);
-    }
+    CompileParsedFunctionHelper(parsed_function, optimized);

[Florian Schneider, 2012/08/21 12:50:01]

When bailing out, we should mark the function as not-optimizable. Otherwise,
we'll retry optimizing again without success.

 
     if (FLAG_trace_compiler) {
       OS::Print("--> '%s' entry: 0x%x\n",
@@ -454,8 +443,8 @@ RawError* Compiler::CompileParsedFunction(
   LongJump jump;
   isolate->set_long_jump_base(&jump);
   if (setjmp(*jump.Set()) == 0) {
-    // Non-optimized, non-ssa code generator.
-    CompileParsedFunctionHelper(parsed_function, false, false);
+    // Non-optimized code generator.
+    CompileParsedFunctionHelper(parsed_function, false);
     isolate->set_long_jump_base(base);
     return Error::null();
   } else {
@@ -531,8 +520,8 @@ RawObject* Compiler::ExecuteOnce(SequenceNode* fragment) {
     fragment->scope()->AddVariable(parsed_function.expression_temp_var());
     parsed_function.AllocateVariables();
 
-    // Non-optimized, non-ssa code generator.
-    CompileParsedFunctionHelper(parsed_function, false, false);
+    // Non-optimized code generator.
+    CompileParsedFunctionHelper(parsed_function, false);
 
     GrowableArray<const Object*> arguments;  // no arguments.
     const Array& kNoArgumentNames = Array::Handle();