| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "test/unittests/interpreter/interpreter-assembler-unittest.h" | 5 #include "test/unittests/interpreter/interpreter-assembler-unittest.h" |
| 6 | 6 |
| 7 #include "src/code-factory.h" | 7 #include "src/code-factory.h" |
| 8 #include "src/compiler/node.h" | 8 #include "src/compiler/node.h" |
| 9 #include "src/interface-descriptors.h" | 9 #include "src/interface-descriptors.h" |
| 10 #include "src/isolate.h" | 10 #include "src/isolate.h" |
| 11 #include "test/unittests/compiler/compiler-test-utils.h" | 11 #include "test/unittests/compiler/compiler-test-utils.h" |
| 12 #include "test/unittests/compiler/node-test-utils.h" | 12 #include "test/unittests/compiler/node-test-utils.h" |
| 13 | 13 |
| 14 using ::testing::_; | 14 using ::testing::_; |
| 15 | 15 |
| 16 namespace v8 { | 16 namespace v8 { |
| 17 namespace internal { | 17 namespace internal { |
| 18 | 18 |
| 19 using namespace compiler; | 19 using namespace compiler; |
| 20 | 20 |
| 21 #ifdef ENABLE_VERIFY_CSA |
| 22 #define IS_BITCAST_WORD_TO_TAGGED_SIGNED(x) IsBitcastWordToTaggedSigned(x) |
| 23 #define IS_BITCAST_TAGGED_TO_WORD(x) IsBitcastTaggedToWord(x) |
| 24 #else |
| 25 #define IS_BITCAST_WORD_TO_TAGGED_SIGNED(x) (x) |
| 26 #define IS_BITCAST_TAGGED_TO_WORD(x) (x) |
| 27 #endif |
| 28 |
| 21 namespace interpreter { | 29 namespace interpreter { |
| 22 | 30 |
| 23 InterpreterAssemblerTestState::InterpreterAssemblerTestState( | 31 InterpreterAssemblerTestState::InterpreterAssemblerTestState( |
| 24 InterpreterAssemblerTest* test, Bytecode bytecode) | 32 InterpreterAssemblerTest* test, Bytecode bytecode) |
| 25 : compiler::CodeAssemblerState( | 33 : compiler::CodeAssemblerState( |
| 26 test->isolate(), test->zone(), | 34 test->isolate(), test->zone(), |
| 27 InterpreterDispatchDescriptor(test->isolate()), | 35 InterpreterDispatchDescriptor(test->isolate()), |
| 28 Code::ComputeFlags(Code::BYTECODE_HANDLER), | 36 Code::ComputeFlags(Code::BYTECODE_HANDLER), |
| 29 Bytecodes::ToString(bytecode), Bytecodes::ReturnCount(bytecode)) {} | 37 Bytecodes::ToString(bytecode), Bytecodes::ReturnCount(bytecode)) {} |
| 30 | 38 |
| (...skipping 512 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 543 IsWordShl(reg_index_node, IsIntPtrConstant(kPointerSizeLog2)), | 551 IsWordShl(reg_index_node, IsIntPtrConstant(kPointerSizeLog2)), |
| 544 store_value)); | 552 store_value)); |
| 545 } | 553 } |
| 546 } | 554 } |
| 547 | 555 |
| 548 TARGET_TEST_F(InterpreterAssemblerTest, SmiTag) { | 556 TARGET_TEST_F(InterpreterAssemblerTest, SmiTag) { |
| 549 TRACED_FOREACH(interpreter::Bytecode, bytecode, kBytecodes) { | 557 TRACED_FOREACH(interpreter::Bytecode, bytecode, kBytecodes) { |
| 550 InterpreterAssemblerTestState state(this, bytecode); | 558 InterpreterAssemblerTestState state(this, bytecode); |
| 551 InterpreterAssemblerForTest m(&state, bytecode); | 559 InterpreterAssemblerForTest m(&state, bytecode); |
| 552 Node* value = m.Int32Constant(44); | 560 Node* value = m.Int32Constant(44); |
| 553 EXPECT_THAT(m.SmiTag(value), IsBitcastWordToTaggedSigned(IsIntPtrConstant( | 561 EXPECT_THAT( |
| 554 static_cast<intptr_t>(44) | 562 m.SmiTag(value), |
| 555 << (kSmiShiftSize + kSmiTagSize)))); | 563 IS_BITCAST_WORD_TO_TAGGED_SIGNED(IsIntPtrConstant( |
| 564 static_cast<intptr_t>(44) << (kSmiShiftSize + kSmiTagSize)))); |
| 556 EXPECT_THAT(m.SmiUntag(value), | 565 EXPECT_THAT(m.SmiUntag(value), |
| 557 IsWordSar(IsBitcastTaggedToWord(value), | 566 IsWordSar(IS_BITCAST_TAGGED_TO_WORD(value), |
| 558 IsIntPtrConstant(kSmiShiftSize + kSmiTagSize))); | 567 IsIntPtrConstant(kSmiShiftSize + kSmiTagSize))); |
| 559 } | 568 } |
| 560 } | 569 } |
| 561 | 570 |
| 562 TARGET_TEST_F(InterpreterAssemblerTest, IntPtrAdd) { | 571 TARGET_TEST_F(InterpreterAssemblerTest, IntPtrAdd) { |
| 563 TRACED_FOREACH(interpreter::Bytecode, bytecode, kBytecodes) { | 572 TRACED_FOREACH(interpreter::Bytecode, bytecode, kBytecodes) { |
| 564 InterpreterAssemblerTestState state(this, bytecode); | 573 InterpreterAssemblerTestState state(this, bytecode); |
| 565 InterpreterAssemblerForTest m(&state, bytecode); | 574 InterpreterAssemblerForTest m(&state, bytecode); |
| 566 Node* a = m.Parameter(0); | 575 Node* a = m.Parameter(0); |
| 567 Node* b = m.Int32Constant(1); | 576 Node* b = m.Int32Constant(1); |
| (...skipping 155 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 723 EXPECT_THAT(feedback_vector, | 732 EXPECT_THAT(feedback_vector, |
| 724 m.IsLoad(MachineType::AnyTagged(), load_literals_matcher, | 733 m.IsLoad(MachineType::AnyTagged(), load_literals_matcher, |
| 725 IsIntPtrConstant(LiteralsArray::kFeedbackVectorOffset - | 734 IsIntPtrConstant(LiteralsArray::kFeedbackVectorOffset - |
| 726 kHeapObjectTag))); | 735 kHeapObjectTag))); |
| 727 } | 736 } |
| 728 } | 737 } |
| 729 | 738 |
| 730 } // namespace interpreter | 739 } // namespace interpreter |
| 731 } // namespace internal | 740 } // namespace internal |
| 732 } // namespace v8 | 741 } // namespace v8 |
| OLD | NEW |