Adding support for multiple returns in compiled functions.

test/unittests/compiler/common-operator-unittest.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include <limits>
 
 #include "src/compiler/common-operator.h"
 #include "src/compiler/opcodes.h"
 #include "src/compiler/operator.h"
 #include "src/compiler/operator-properties.h"
@@ skipping 35 matching lines @@
   {                                                                          \
     &CommonOperatorBuilder::Name, IrOpcode::k##Name, properties,             \
         value_input_count, effect_input_count, control_input_count,          \
         value_output_count, effect_output_count, control_output_count        \
   }
     SHARED(Dead, Operator::kFoldable, 0, 0, 0, 1, 1, 1),
     SHARED(IfTrue, Operator::kKontrol, 0, 0, 1, 0, 0, 1),
     SHARED(IfFalse, Operator::kKontrol, 0, 0, 1, 0, 0, 1),
     SHARED(IfSuccess, Operator::kKontrol, 0, 0, 1, 0, 0, 1),
     SHARED(Throw, Operator::kKontrol, 1, 1, 1, 0, 0, 1),
-    SHARED(Return, Operator::kNoThrow, 1, 1, 1, 0, 0, 1),
     SHARED(Terminate, Operator::kKontrol, 0, 1, 1, 0, 0, 1)
 #undef SHARED
 };
 
 
 class CommonSharedOperatorTest
     : public TestWithZone,
       public ::testing::WithParamInterface<SharedOperator> {};
 
 }  // namespace
@@ skipping 114 matching lines @@
     EXPECT_EQ(input_count, static_cast<uint32_t>(op->ControlInputCount()));
     EXPECT_EQ(input_count, static_cast<uint32_t>(
                                OperatorProperties::GetTotalInputCount(op)));
     EXPECT_EQ(0, op->ValueOutputCount());
     EXPECT_EQ(0, op->EffectOutputCount());
     EXPECT_EQ(0, op->ControlOutputCount());
   }
 }
 
 
+TEST_F(CommonOperatorTest, Return) {
+  TRACED_FOREACH(int, input_count, kArguments) {
+    const Operator* const op = common()->Return(input_count);
+    EXPECT_EQ(IrOpcode::kReturn, op->opcode());
+    EXPECT_EQ(Operator::kNoThrow, op->properties());
+    EXPECT_EQ(input_count, op->ValueInputCount());
+    EXPECT_EQ(1, op->EffectInputCount());
+    EXPECT_EQ(1, static_cast<uint32_t>(op->ControlInputCount()));
+    EXPECT_EQ(2 + input_count, static_cast<uint32_t>(
+                                   OperatorProperties::GetTotalInputCount(op)));
+    EXPECT_EQ(0, op->ValueOutputCount());
+    EXPECT_EQ(0, op->EffectOutputCount());
+    EXPECT_EQ(1, op->ControlOutputCount());
+  }
+}
+
+
 TEST_F(CommonOperatorTest, Branch) {
   TRACED_FOREACH(BranchHint, hint, kBranchHints) {
     const Operator* const op = common()->Branch(hint);
     EXPECT_EQ(IrOpcode::kBranch, op->opcode());
     EXPECT_EQ(Operator::kKontrol, op->properties());
     EXPECT_EQ(hint, BranchHintOf(op));
     EXPECT_EQ(1, op->ValueInputCount());
     EXPECT_EQ(0, op->EffectInputCount());
     EXPECT_EQ(1, op->ControlInputCount());
     EXPECT_EQ(2, OperatorProperties::GetTotalInputCount(op));
@@ skipping 162 matching lines @@
     EXPECT_EQ(arguments + 1, OperatorProperties::GetTotalInputCount(op));
     EXPECT_EQ(0, op->ControlOutputCount());
     EXPECT_EQ(0, op->EffectOutputCount());
     EXPECT_EQ(1, op->ValueOutputCount());
   }
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8