Support Throw and ReThrow in SSA-based compiler.

vm/intermediate_language.cc

 // 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.
 
 #include "vm/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/dart_entry.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/flow_graph_compiler.h"
@@ skipping 234 matching lines @@
   UNREACHABLE();
   return NULL;
 }
 
 
 void ParallelMoveInstr::SetInputAt(intptr_t i, Value* value) {
   UNREACHABLE();
 }
 
 
-intptr_t ReThrowInstr::InputCount() const {
-  return 2;
-}
-
-
-Value* ReThrowInstr::InputAt(intptr_t i) const {
-  if (i == 0) return exception();
-  if (i == 1) return stack_trace();
-  UNREACHABLE();
-  return NULL;
-}
-
-
-void ReThrowInstr::SetInputAt(intptr_t i, Value* value) {
-  if (i == 0) {
-    exception_ = value;
-    return;
-  }
-  if (i == 1) {
-    stack_trace_ = value;
-    return;
-  }
-  UNREACHABLE();
-}
-
-
-intptr_t ThrowInstr::InputCount() const {
-  return 1;
-}
-
-
-Value* ThrowInstr::InputAt(intptr_t i) const {
-  if (i == 0) return exception();
-  UNREACHABLE();
-  return NULL;
-}
-
-
-void ThrowInstr::SetInputAt(intptr_t i, Value* value) {
-  if (i == 0) {
-    exception_ = value;
-    return;
-  }
-  UNREACHABLE();
-}
-
-
 intptr_t GotoInstr::InputCount() const {
   return 0;
 }
 
 
 Value* GotoInstr::InputAt(intptr_t i) const {
   UNREACHABLE();
   return NULL;
 }
 
@@ skipping 773 matching lines @@
     ASSERT(temp_reg != value_reg);
     ASSERT(ic_data() != NULL);
     compiler->EmitClassChecksNoSmi(*ic_data(), instance_reg, temp_reg, deopt);
   }
   __ StoreIntoObject(instance_reg, FieldAddress(instance_reg, field().Offset()),
                      value_reg);
 }
 
 
 LocationSummary* ThrowInstr::MakeLocationSummary() const {
-  const int kNumInputs = 0;
-  const int kNumTemps = 0;
-  return new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kCall);
+  return new LocationSummary(0, 0, LocationSummary::kCall);
 }
 
 
 
 void ThrowInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
-  ASSERT(exception()->IsUse());
   compiler->GenerateCallRuntime(cid(),
                                 token_pos(),
                                 try_index(),
                                 kThrowRuntimeEntry);
   __ int3();
 }
 
 
 LocationSummary* ReThrowInstr::MakeLocationSummary() const {
-  const int kNumInputs = 0;
-  const int kNumTemps = 0;
-  return new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kCall);
+  return new LocationSummary(0, 0, LocationSummary::kCall);
 }
 
 
 void ReThrowInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
-  ASSERT(exception()->IsUse());
-  ASSERT(stack_trace()->IsUse());
   compiler->GenerateCallRuntime(cid(),
                                 token_pos(),
                                 try_index(),
                                 kReThrowRuntimeEntry);
   __ int3();
 }
 
 
 LocationSummary* GotoInstr::MakeLocationSummary() const {
   return new LocationSummary(0, 0, LocationSummary::kNoCall);
@@ skipping 310 matching lines @@
   if (compiler->is_ssa()) {
     ASSERT(locs()->in(0).IsRegister());
     __ PushRegister(locs()->in(0).reg());
   }
 }
 
 
 #undef __
 
 }  // namespace dart