| // Copyright 2013 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 "src/v8.h" |
| |
| #include "src/compiler/operator.h" |
| #include "test/cctest/cctest.h" |
| |
| using namespace v8::internal; |
| using namespace v8::internal::compiler; |
| |
| #define NaN (v8::base::OS::nan_value()) |
| #define Infinity (std::numeric_limits<double>::infinity()) |
| |
| TEST(TestOperatorMnemonic) { |
| SimpleOperator op1(10, Operator::kNoProperties, 0, 0, "ThisOne"); |
| CHECK_EQ(0, strcmp(op1.mnemonic(), "ThisOne")); |
| |
| SimpleOperator op2(11, Operator::kNoProperties, 0, 0, "ThatOne"); |
| CHECK_EQ(0, strcmp(op2.mnemonic(), "ThatOne")); |
| |
| Operator1<int> op3(12, Operator::kNoProperties, 0, 1, "Mnemonic1", 12333); |
| CHECK_EQ(0, strcmp(op3.mnemonic(), "Mnemonic1")); |
| |
| Operator1<double> op4(13, Operator::kNoProperties, 0, 1, "TheOther", 99.9); |
| CHECK_EQ(0, strcmp(op4.mnemonic(), "TheOther")); |
| } |
| |
| |
| TEST(TestSimpleOperatorHash) { |
| SimpleOperator op1(17, Operator::kNoProperties, 0, 0, "Another"); |
| CHECK_EQ(17, op1.HashCode()); |
| |
| SimpleOperator op2(18, Operator::kNoProperties, 0, 0, "Falsch"); |
| CHECK_EQ(18, op2.HashCode()); |
| } |
| |
| |
| TEST(TestSimpleOperatorEquals) { |
| SimpleOperator op1a(19, Operator::kNoProperties, 0, 0, "Another1"); |
| SimpleOperator op1b(19, Operator::kFoldable, 2, 2, "Another2"); |
| |
| CHECK(op1a.Equals(&op1a)); |
| CHECK(op1a.Equals(&op1b)); |
| CHECK(op1b.Equals(&op1a)); |
| CHECK(op1b.Equals(&op1b)); |
| |
| SimpleOperator op2a(20, Operator::kNoProperties, 0, 0, "Falsch1"); |
| SimpleOperator op2b(20, Operator::kFoldable, 1, 1, "Falsch2"); |
| |
| CHECK(op2a.Equals(&op2a)); |
| CHECK(op2a.Equals(&op2b)); |
| CHECK(op2b.Equals(&op2a)); |
| CHECK(op2b.Equals(&op2b)); |
| |
| CHECK(!op1a.Equals(&op2a)); |
| CHECK(!op1a.Equals(&op2b)); |
| CHECK(!op1b.Equals(&op2a)); |
| CHECK(!op1b.Equals(&op2b)); |
| |
| CHECK(!op2a.Equals(&op1a)); |
| CHECK(!op2a.Equals(&op1b)); |
| CHECK(!op2b.Equals(&op1a)); |
| CHECK(!op2b.Equals(&op1b)); |
| } |
| |
| |
| static SmartArrayPointer<const char> OperatorToString(Operator* op) { |
| OStringStream os; |
| os << *op; |
| return SmartArrayPointer<const char>(StrDup(os.c_str())); |
| } |
| |
| |
| TEST(TestSimpleOperatorPrint) { |
| SimpleOperator op1a(19, Operator::kNoProperties, 0, 0, "Another1"); |
| SimpleOperator op1b(19, Operator::kFoldable, 2, 2, "Another2"); |
| |
| CHECK_EQ("Another1", OperatorToString(&op1a).get()); |
| CHECK_EQ("Another2", OperatorToString(&op1b).get()); |
| |
| SimpleOperator op2a(20, Operator::kNoProperties, 0, 0, "Flog1"); |
| SimpleOperator op2b(20, Operator::kFoldable, 1, 1, "Flog2"); |
| |
| CHECK_EQ("Flog1", OperatorToString(&op2a).get()); |
| CHECK_EQ("Flog2", OperatorToString(&op2b).get()); |
| } |
| |
| |
| TEST(TestOperator1intHash) { |
| Operator1<int> op1a(23, Operator::kNoProperties, 0, 0, "Wolfie", 11); |
| Operator1<int> op1b(23, Operator::kFoldable, 2, 2, "Doggie", 11); |
| |
| CHECK_EQ(op1a.HashCode(), op1b.HashCode()); |
| |
| Operator1<int> op2a(24, Operator::kNoProperties, 0, 0, "Arfie", 3); |
| Operator1<int> op2b(24, Operator::kNoProperties, 0, 0, "Arfie", 4); |
| |
| CHECK_NE(op1a.HashCode(), op2a.HashCode()); |
| CHECK_NE(op2a.HashCode(), op2b.HashCode()); |
| } |
| |
| |
| TEST(TestOperator1intEquals) { |
| Operator1<int> op1a(23, Operator::kNoProperties, 0, 0, "Scratchy", 11); |
| Operator1<int> op1b(23, Operator::kFoldable, 2, 2, "Scratchy", 11); |
| |
| CHECK(op1a.Equals(&op1a)); |
| CHECK(op1a.Equals(&op1b)); |
| CHECK(op1b.Equals(&op1a)); |
| CHECK(op1b.Equals(&op1b)); |
| |
| Operator1<int> op2a(24, Operator::kNoProperties, 0, 0, "Im", 3); |
| Operator1<int> op2b(24, Operator::kNoProperties, 0, 0, "Im", 4); |
| |
| CHECK(op2a.Equals(&op2a)); |
| CHECK(!op2a.Equals(&op2b)); |
| CHECK(!op2b.Equals(&op2a)); |
| CHECK(op2b.Equals(&op2b)); |
| |
| CHECK(!op1a.Equals(&op2a)); |
| CHECK(!op1a.Equals(&op2b)); |
| CHECK(!op1b.Equals(&op2a)); |
| CHECK(!op1b.Equals(&op2b)); |
| |
| CHECK(!op2a.Equals(&op1a)); |
| CHECK(!op2a.Equals(&op1b)); |
| CHECK(!op2b.Equals(&op1a)); |
| CHECK(!op2b.Equals(&op1b)); |
| |
| SimpleOperator op3(25, Operator::kNoProperties, 0, 0, "Weepy"); |
| |
| CHECK(!op1a.Equals(&op3)); |
| CHECK(!op1b.Equals(&op3)); |
| CHECK(!op2a.Equals(&op3)); |
| CHECK(!op2b.Equals(&op3)); |
| |
| CHECK(!op3.Equals(&op1a)); |
| CHECK(!op3.Equals(&op1b)); |
| CHECK(!op3.Equals(&op2a)); |
| CHECK(!op3.Equals(&op2b)); |
| } |
| |
| |
| TEST(TestOperator1intPrint) { |
| Operator1<int> op1(12, Operator::kNoProperties, 0, 1, "Op1Test", 0); |
| CHECK_EQ("Op1Test[0]", OperatorToString(&op1).get()); |
| |
| Operator1<int> op2(12, Operator::kNoProperties, 0, 1, "Op1Test", 66666666); |
| CHECK_EQ("Op1Test[66666666]", OperatorToString(&op2).get()); |
| |
| Operator1<int> op3(12, Operator::kNoProperties, 0, 1, "FooBar", 2347); |
| CHECK_EQ("FooBar[2347]", OperatorToString(&op3).get()); |
| |
| Operator1<int> op4(12, Operator::kNoProperties, 0, 1, "BarFoo", -879); |
| CHECK_EQ("BarFoo[-879]", OperatorToString(&op4).get()); |
| } |
| |
| |
| TEST(TestOperator1doubleHash) { |
| Operator1<double> op1a(23, Operator::kNoProperties, 0, 0, "Wolfie", 11.77); |
| Operator1<double> op1b(23, Operator::kFoldable, 2, 2, "Doggie", 11.77); |
| |
| CHECK_EQ(op1a.HashCode(), op1b.HashCode()); |
| |
| Operator1<double> op2a(24, Operator::kNoProperties, 0, 0, "Arfie", -6.7); |
| Operator1<double> op2b(24, Operator::kNoProperties, 0, 0, "Arfie", -6.8); |
| |
| CHECK_NE(op1a.HashCode(), op2a.HashCode()); |
| CHECK_NE(op2a.HashCode(), op2b.HashCode()); |
| } |
| |
| |
| TEST(TestOperator1doubleEquals) { |
| Operator1<double> op1a(23, Operator::kNoProperties, 0, 0, "Scratchy", 11.77); |
| Operator1<double> op1b(23, Operator::kFoldable, 2, 2, "Scratchy", 11.77); |
| |
| CHECK(op1a.Equals(&op1a)); |
| CHECK(op1a.Equals(&op1b)); |
| CHECK(op1b.Equals(&op1a)); |
| CHECK(op1b.Equals(&op1b)); |
| |
| Operator1<double> op2a(24, Operator::kNoProperties, 0, 0, "Im", 3.1); |
| Operator1<double> op2b(24, Operator::kNoProperties, 0, 0, "Im", 3.2); |
| |
| CHECK(op2a.Equals(&op2a)); |
| CHECK(!op2a.Equals(&op2b)); |
| CHECK(!op2b.Equals(&op2a)); |
| CHECK(op2b.Equals(&op2b)); |
| |
| CHECK(!op1a.Equals(&op2a)); |
| CHECK(!op1a.Equals(&op2b)); |
| CHECK(!op1b.Equals(&op2a)); |
| CHECK(!op1b.Equals(&op2b)); |
| |
| CHECK(!op2a.Equals(&op1a)); |
| CHECK(!op2a.Equals(&op1b)); |
| CHECK(!op2b.Equals(&op1a)); |
| CHECK(!op2b.Equals(&op1b)); |
| |
| SimpleOperator op3(25, Operator::kNoProperties, 0, 0, "Weepy"); |
| |
| CHECK(!op1a.Equals(&op3)); |
| CHECK(!op1b.Equals(&op3)); |
| CHECK(!op2a.Equals(&op3)); |
| CHECK(!op2b.Equals(&op3)); |
| |
| CHECK(!op3.Equals(&op1a)); |
| CHECK(!op3.Equals(&op1b)); |
| CHECK(!op3.Equals(&op2a)); |
| CHECK(!op3.Equals(&op2b)); |
| |
| Operator1<double> op4a(24, Operator::kNoProperties, 0, 0, "Bashful", NaN); |
| Operator1<double> op4b(24, Operator::kNoProperties, 0, 0, "Bashful", NaN); |
| |
| CHECK(op4a.Equals(&op4a)); |
| CHECK(op4a.Equals(&op4b)); |
| CHECK(op4b.Equals(&op4a)); |
| CHECK(op4b.Equals(&op4b)); |
| |
| CHECK(!op3.Equals(&op4a)); |
| CHECK(!op3.Equals(&op4b)); |
| CHECK(!op3.Equals(&op4a)); |
| CHECK(!op3.Equals(&op4b)); |
| } |
| |
| |
| TEST(TestOperator1doublePrint) { |
| Operator1<double> op1(12, Operator::kNoProperties, 0, 1, "Op1Test", 0); |
| CHECK_EQ("Op1Test[0]", OperatorToString(&op1).get()); |
| |
| Operator1<double> op2(12, Operator::kNoProperties, 0, 1, "Op1Test", 7.3); |
| CHECK_EQ("Op1Test[7.3]", OperatorToString(&op2).get()); |
| |
| Operator1<double> op3(12, Operator::kNoProperties, 0, 1, "FooBar", 2e+123); |
| CHECK_EQ("FooBar[2e+123]", OperatorToString(&op3).get()); |
| |
| Operator1<double> op4(12, Operator::kNoProperties, 0, 1, "BarFoo", Infinity); |
| CHECK_EQ("BarFoo[inf]", OperatorToString(&op4).get()); |
| |
| Operator1<double> op5(12, Operator::kNoProperties, 0, 1, "BarFoo", NaN); |
| CHECK_EQ("BarFoo[nan]", OperatorToString(&op5).get()); |
| } |