Merge change list off bleeding_edge into toiger branch.

src/codegen.cc

 // Copyright 2007-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 334 matching lines @@
 }
 
 
 void CodeGenerator::GenerateFastCaseSwitchStatement(SwitchStatement* node,
                                                     int min_index,
                                                     int range,
                                                     int default_index) {
   ZoneList<CaseClause*>* cases = node->cases();
   int length = cases->length();
 
-  // Label pointer per number in range
-  SmartPointer<Label*> case_targets(NewArray<Label*>(range));
+  // JumpTarget pointer per number in range.
+  SmartPointer<JumpTarget*> case_targets(NewArray<JumpTarget*>(range));
 
-  // Label per switch case
-  SmartPointer<Label> case_labels(NewArray<Label>(length));
+  // JumpTarget per switch case.
+  SmartPointer<JumpTarget> case_labels(NewArray<JumpTarget>(length));
+  for (int i = 0; i < length; i++) {
+    case_labels[i].set_code_generator(this);
+  }
 
-  Label* fail_label = default_index >= 0 ? &(case_labels[default_index])
-                                         : node->break_target();
+  JumpTarget* fail_label = default_index >= 0 ? &(case_labels[default_index])
+                                              : node->break_target();
 
   // Populate array of label pointers for each number in the range.
   // Initally put the failure label everywhere.
   for (int i = 0; i < range; i++) {
     case_targets[i] = fail_label;
   }
 
   // Overwrite with label of a case for the number value of that case.
   // (In reverse order, so that if the same label occurs twice, the
   // first one wins).
   for (int i = length-1; i >= 0 ; i--) {
     CaseClause* clause = cases->at(i);
     if (!clause->is_default()) {
       Object* label_value = *(clause->label()->AsLiteral()->handle());
       int case_value = Smi::cast(label_value)->value();
       case_targets[case_value - min_index] = &(case_labels[i]);
     }
   }
 
   GenerateFastCaseSwitchJumpTable(node,
                                   min_index,
                                   range,
                                   fail_label,
-                                  Vector<Label*>(*case_targets, range),
-                                  Vector<Label>(*case_labels, length));
+                                  Vector<JumpTarget*>(*case_targets, range),
+                                  Vector<JumpTarget>(*case_labels, length));
 }
 
 
 void CodeGenerator::GenerateFastCaseSwitchCases(
     SwitchStatement* node,
-    Vector<Label> case_labels) {
+    Vector<JumpTarget> case_labels,
+    JumpTarget* table_start) {
   ZoneList<CaseClause*>* cases = node->cases();
   int length = cases->length();
 
   for (int i = 0; i < length; i++) {
     Comment cmnt(masm(), "[ Case clause");
-    masm()->bind(&(case_labels[i]));
+    case_labels[i].Bind();
     VisitStatements(cases->at(i)->statements());
+
+    // All of the labels match the same expected frame as the table start.
+    // If control flow cannot fall off the end of the case statement, we
+    // pick up the expected frame from the table start.  Otherwise we have
+    // to generate merge code to match the next label.
+    if (frame_ == NULL) {
+      frame_ = new VirtualFrame(table_start->expected_frame());
+    } else {
+      frame_->MergeTo(table_start->expected_frame());
+    }
   }
 
-  masm()->bind(node->break_target());
+  node->break_target()->Bind();
 }
 
 
 bool CodeGenerator::TryGenerateFastCaseSwitchStatement(SwitchStatement* node) {
   ZoneList<CaseClause*>* cases = node->cases();
   int length = cases->length();
 
   if (length < FastCaseSwitchMinCaseCount()) {
     return false;
   }
@@ skipping 51 matching lines @@
 void ArgumentsAccessStub::Generate(MacroAssembler* masm) {
   switch (type_) {
     case READ_LENGTH: GenerateReadLength(masm); break;
     case READ_ELEMENT: GenerateReadElement(masm); break;
     case NEW_OBJECT: GenerateNewObject(masm); break;
   }
 }
 
 
 } }  // namespace v8::internal