* String type inference using compiler framework.

src/register-allocator.cc

Index: src/register-allocator.cc
diff --git a/src/register-allocator.cc b/src/register-allocator.cc
index 028baebdfc51708c1391a808a43cf84df1ce401f..94e031fa0bf9e4fff3e01c58865cf69622432fd3 100644
--- a/src/register-allocator.cc
+++ b/src/register-allocator.cc
@@ -36,8 +36,19 @@ namespace v8 { namespace internal {
 // Result implementation.
 
 Result::Result(Register reg, CodeGenerator* cgen)
-  : type_(REGISTER),
-    cgen_(cgen) {
+    : static_type_(),
+      type_(REGISTER),
+      cgen_(cgen) {
+  data_.reg_ = reg;
+  ASSERT(reg.is_valid());
+  cgen_->allocator()->Use(reg);
+}
+
+
+Result::Result(Register reg, CodeGenerator* cgen, StaticType static_type)
+    : static_type_(static_type),
+      type_(REGISTER),
+      cgen_(cgen) {
   data_.reg_ = reg;
   ASSERT(reg.is_valid());
   cgen_->allocator()->Use(reg);
@@ -45,6 +56,7 @@ Result::Result(Register reg, CodeGenerator* cgen)
 
 
 void Result::CopyTo(Result* destination) const {
+  destination->static_type_ = static_type_;
   destination->type_ = type();
   destination->cgen_ = cgen_;