| /* | |
| * Copyright (C) 2017 The Android Open Source Project | |
| * | |
| * Licensed under the Apache License, Version 2.0 (the "License"); | |
| * you may not use this file except in compliance with the License. | |
| * You may obtain a copy of the License at | |
| * | |
| * http://www.apache.org/licenses/LICENSE-2.0 | |
| * | |
| * Unless required by applicable law or agreed to in writing, software | |
| * distributed under the License is distributed on an "AS IS" BASIS, | |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| * See the License for the specific language governing permissions and | |
| * limitations under the License. | |
| */ | |
| #include "base/arena_allocator.h" | |
| #include "base/macros.h" | |
| #include "nodes.h" | |
| #include "optimizing_unit_test.h" | |
| namespace art HIDDEN { | |
| /** | |
| * Fixture class for testing vector nodes. | |
| */ | |
| class NodesVectorTest : public OptimizingUnitTest { | |
| public: | |
| NodesVectorTest() | |
| : graph_(CreateGraph()) { | |
| BuildGraph(); | |
| } | |
| ~NodesVectorTest() { } | |
| void BuildGraph() { | |
| graph_->SetNumberOfVRegs(1); | |
| entry_block_ = new (GetAllocator()) HBasicBlock(graph_); | |
| exit_block_ = new (GetAllocator()) HBasicBlock(graph_); | |
| graph_->AddBlock(entry_block_); | |
| graph_->AddBlock(exit_block_); | |
| graph_->SetEntryBlock(entry_block_); | |
| graph_->SetExitBlock(exit_block_); | |
| int8_parameter_ = MakeParam(DataType::Type::kInt8); | |
| int16_parameter_ = MakeParam(DataType::Type::kInt16); | |
| int32_parameter_ = MakeParam(DataType::Type::kInt32); | |
| } | |
| // General building fields. | |
| HGraph* graph_; | |
| HBasicBlock* entry_block_; | |
| HBasicBlock* exit_block_; | |
| HInstruction* int8_parameter_; | |
| HInstruction* int16_parameter_; | |
| HInstruction* int32_parameter_; | |
| }; | |
| // | |
| // The actual vector nodes tests. | |
| // | |
| TEST(NodesVector, Alignment) { | |
| EXPECT_TRUE(Alignment(1, 0).IsAlignedAt(1)); | |
| EXPECT_FALSE(Alignment(1, 0).IsAlignedAt(2)); | |
| EXPECT_TRUE(Alignment(2, 0).IsAlignedAt(1)); | |
| EXPECT_TRUE(Alignment(2, 1).IsAlignedAt(1)); | |
| EXPECT_TRUE(Alignment(2, 0).IsAlignedAt(2)); | |
| EXPECT_FALSE(Alignment(2, 1).IsAlignedAt(2)); | |
| EXPECT_FALSE(Alignment(2, 0).IsAlignedAt(4)); | |
| EXPECT_FALSE(Alignment(2, 1).IsAlignedAt(4)); | |
| EXPECT_TRUE(Alignment(4, 0).IsAlignedAt(1)); | |
| EXPECT_TRUE(Alignment(4, 2).IsAlignedAt(1)); | |
| EXPECT_TRUE(Alignment(4, 0).IsAlignedAt(2)); | |
| EXPECT_TRUE(Alignment(4, 2).IsAlignedAt(2)); | |
| EXPECT_TRUE(Alignment(4, 0).IsAlignedAt(4)); | |
| EXPECT_FALSE(Alignment(4, 2).IsAlignedAt(4)); | |
| EXPECT_FALSE(Alignment(4, 0).IsAlignedAt(8)); | |
| EXPECT_FALSE(Alignment(4, 2).IsAlignedAt(8)); | |
| EXPECT_TRUE(Alignment(16, 0).IsAlignedAt(1)); | |
| EXPECT_TRUE(Alignment(16, 0).IsAlignedAt(2)); | |
| EXPECT_TRUE(Alignment(16, 0).IsAlignedAt(4)); | |
| EXPECT_TRUE(Alignment(16, 8).IsAlignedAt(8)); | |
| EXPECT_TRUE(Alignment(16, 0).IsAlignedAt(16)); | |
| EXPECT_FALSE(Alignment(16, 1).IsAlignedAt(16)); | |
| EXPECT_FALSE(Alignment(16, 7).IsAlignedAt(16)); | |
| EXPECT_FALSE(Alignment(16, 0).IsAlignedAt(32)); | |
| EXPECT_EQ(16u, Alignment(16, 0).Base()); | |
| EXPECT_EQ(0u, Alignment(16, 0).Offset()); | |
| EXPECT_EQ(4u, Alignment(16, 4).Offset()); | |
| } | |
| TEST(NodesVector, AlignmentEQ) { | |
| EXPECT_TRUE(Alignment(2, 0) == Alignment(2, 0)); | |
| EXPECT_TRUE(Alignment(2, 1) == Alignment(2, 1)); | |
| EXPECT_TRUE(Alignment(4, 0) == Alignment(4, 0)); | |
| EXPECT_TRUE(Alignment(4, 2) == Alignment(4, 2)); | |
| EXPECT_FALSE(Alignment(4, 0) == Alignment(2, 0)); | |
| EXPECT_FALSE(Alignment(4, 0) == Alignment(4, 1)); | |
| EXPECT_FALSE(Alignment(4, 0) == Alignment(8, 0)); | |
| } | |
| TEST(NodesVector, AlignmentString) { | |
| EXPECT_STREQ("ALIGN(1,0)", Alignment(1, 0).ToString().c_str()); | |
| EXPECT_STREQ("ALIGN(2,0)", Alignment(2, 0).ToString().c_str()); | |
| EXPECT_STREQ("ALIGN(2,1)", Alignment(2, 1).ToString().c_str()); | |
| EXPECT_STREQ("ALIGN(16,0)", Alignment(16, 0).ToString().c_str()); | |
| EXPECT_STREQ("ALIGN(16,1)", Alignment(16, 1).ToString().c_str()); | |
| EXPECT_STREQ("ALIGN(16,8)", Alignment(16, 8).ToString().c_str()); | |
| EXPECT_STREQ("ALIGN(16,9)", Alignment(16, 9).ToString().c_str()); | |
| } | |
| TEST_F(NodesVectorTest, VectorOperationProperties) { | |
| HVecOperation* v0 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecOperation* v1 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecOperation* v2 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 2, kNoDexPc); | |
| HVecOperation* v3 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt16, 4, kNoDexPc); | |
| HVecOperation* v4 = new (GetAllocator()) HVecStore( | |
| GetAllocator(), | |
| int32_parameter_, | |
| int32_parameter_, | |
| v0, | |
| DataType::Type::kInt32, | |
| SideEffects::ArrayWriteOfType(DataType::Type::kInt32), | |
| 4, | |
| kNoDexPc); | |
| EXPECT_TRUE(v0->Equals(v0)); | |
| EXPECT_TRUE(v1->Equals(v1)); | |
| EXPECT_TRUE(v2->Equals(v2)); | |
| EXPECT_TRUE(v3->Equals(v3)); | |
| EXPECT_TRUE(v4->Equals(v4)); | |
| EXPECT_TRUE(v0->Equals(v1)); | |
| EXPECT_FALSE(v0->Equals(v2)); // different vector lengths | |
| EXPECT_FALSE(v0->Equals(v3)); // different packed types | |
| EXPECT_FALSE(v0->Equals(v4)); // different kinds | |
| EXPECT_TRUE(v1->Equals(v0)); // switch operands | |
| EXPECT_FALSE(v4->Equals(v0)); | |
| EXPECT_EQ(4u, v0->GetVectorLength()); | |
| EXPECT_EQ(4u, v1->GetVectorLength()); | |
| EXPECT_EQ(2u, v2->GetVectorLength()); | |
| EXPECT_EQ(4u, v3->GetVectorLength()); | |
| EXPECT_EQ(4u, v4->GetVectorLength()); | |
| EXPECT_EQ(DataType::Type::kFloat64, v0->GetType()); | |
| EXPECT_EQ(DataType::Type::kFloat64, v1->GetType()); | |
| EXPECT_EQ(DataType::Type::kFloat64, v2->GetType()); | |
| EXPECT_EQ(DataType::Type::kFloat64, v3->GetType()); | |
| EXPECT_EQ(DataType::Type::kFloat64, v4->GetType()); | |
| EXPECT_EQ(DataType::Type::kInt32, v0->GetPackedType()); | |
| EXPECT_EQ(DataType::Type::kInt32, v1->GetPackedType()); | |
| EXPECT_EQ(DataType::Type::kInt32, v2->GetPackedType()); | |
| EXPECT_EQ(DataType::Type::kInt16, v3->GetPackedType()); | |
| EXPECT_EQ(DataType::Type::kInt32, v4->GetPackedType()); | |
| EXPECT_EQ(16u, v0->GetVectorNumberOfBytes()); | |
| EXPECT_EQ(16u, v1->GetVectorNumberOfBytes()); | |
| EXPECT_EQ(8u, v2->GetVectorNumberOfBytes()); | |
| EXPECT_EQ(8u, v3->GetVectorNumberOfBytes()); | |
| EXPECT_EQ(16u, v4->GetVectorNumberOfBytes()); | |
| EXPECT_FALSE(v0->CanBeMoved()); | |
| EXPECT_FALSE(v1->CanBeMoved()); | |
| EXPECT_FALSE(v2->CanBeMoved()); | |
| EXPECT_FALSE(v3->CanBeMoved()); | |
| EXPECT_FALSE(v4->CanBeMoved()); | |
| } | |
| TEST_F(NodesVectorTest, VectorAlignmentAndStringCharAtMatterOnLoad) { | |
| HVecLoad* v0 = new (GetAllocator()) HVecLoad(GetAllocator(), | |
| int32_parameter_, | |
| int32_parameter_, | |
| DataType::Type::kInt32, | |
| SideEffects::ArrayReadOfType(DataType::Type::kInt32), | |
| 4, | |
| /*is_string_char_at*/ false, | |
| kNoDexPc); | |
| HVecLoad* v1 = new (GetAllocator()) HVecLoad(GetAllocator(), | |
| int32_parameter_, | |
| int32_parameter_, | |
| DataType::Type::kInt32, | |
| SideEffects::ArrayReadOfType(DataType::Type::kInt32), | |
| 4, | |
| /*is_string_char_at*/ false, | |
| kNoDexPc); | |
| HVecLoad* v2 = new (GetAllocator()) HVecLoad(GetAllocator(), | |
| int32_parameter_, | |
| int32_parameter_, | |
| DataType::Type::kInt32, | |
| SideEffects::ArrayReadOfType(DataType::Type::kInt32), | |
| 4, | |
| /*is_string_char_at*/ true, | |
| kNoDexPc); | |
| EXPECT_TRUE(v0->CanBeMoved()); | |
| EXPECT_TRUE(v1->CanBeMoved()); | |
| EXPECT_TRUE(v2->CanBeMoved()); | |
| EXPECT_FALSE(v0->IsStringCharAt()); | |
| EXPECT_FALSE(v1->IsStringCharAt()); | |
| EXPECT_TRUE(v2->IsStringCharAt()); | |
| EXPECT_TRUE(v0->Equals(v0)); | |
| EXPECT_TRUE(v1->Equals(v1)); | |
| EXPECT_TRUE(v2->Equals(v2)); | |
| EXPECT_TRUE(v0->Equals(v1)); | |
| EXPECT_FALSE(v0->Equals(v2)); // different is_string_char_at | |
| EXPECT_TRUE(v0->GetAlignment() == Alignment(4, 0)); | |
| EXPECT_TRUE(v1->GetAlignment() == Alignment(4, 0)); | |
| EXPECT_TRUE(v2->GetAlignment() == Alignment(4, 0)); | |
| v1->SetAlignment(Alignment(8, 0)); | |
| EXPECT_TRUE(v1->GetAlignment() == Alignment(8, 0)); | |
| EXPECT_FALSE(v0->Equals(v1)); // no longer equal | |
| } | |
| TEST_F(NodesVectorTest, VectorAlignmentMattersOnStore) { | |
| HVecOperation* p0 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecStore* v0 = new (GetAllocator()) HVecStore( | |
| GetAllocator(), | |
| int32_parameter_, | |
| int32_parameter_, | |
| p0, | |
| DataType::Type::kInt32, | |
| SideEffects::ArrayWriteOfType(DataType::Type::kInt32), | |
| 4, | |
| kNoDexPc); | |
| HVecStore* v1 = new (GetAllocator()) HVecStore( | |
| GetAllocator(), | |
| int32_parameter_, | |
| int32_parameter_, | |
| p0, | |
| DataType::Type::kInt32, | |
| SideEffects::ArrayWriteOfType(DataType::Type::kInt32), | |
| 4, | |
| kNoDexPc); | |
| EXPECT_FALSE(v0->CanBeMoved()); | |
| EXPECT_FALSE(v1->CanBeMoved()); | |
| EXPECT_TRUE(v0->Equals(v1)); | |
| EXPECT_TRUE(v0->GetAlignment() == Alignment(4, 0)); | |
| EXPECT_TRUE(v1->GetAlignment() == Alignment(4, 0)); | |
| v1->SetAlignment(Alignment(8, 0)); | |
| EXPECT_TRUE(v1->GetAlignment() == Alignment(8, 0)); | |
| EXPECT_FALSE(v0->Equals(v1)); // no longer equal | |
| } | |
| TEST_F(NodesVectorTest, VectorAttributesMatterOnHalvingAdd) { | |
| HVecOperation* u0 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kUint32, 4, kNoDexPc); | |
| HVecOperation* u1 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int16_parameter_, DataType::Type::kUint16, 8, kNoDexPc); | |
| HVecOperation* u2 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int8_parameter_, DataType::Type::kUint8, 16, kNoDexPc); | |
| HVecOperation* p0 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecOperation* p1 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int16_parameter_, DataType::Type::kInt16, 8, kNoDexPc); | |
| HVecOperation* p2 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int8_parameter_, DataType::Type::kInt8, 16, kNoDexPc); | |
| HVecHalvingAdd* v0 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), u0, u0, DataType::Type::kUint32, 4, /*is_rounded*/ true, kNoDexPc); | |
| HVecHalvingAdd* v1 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), u0, u0, DataType::Type::kUint32, 4, /*is_rounded*/ false, kNoDexPc); | |
| HVecHalvingAdd* v2 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), p0, p0, DataType::Type::kInt32, 4, /*is_rounded*/ true, kNoDexPc); | |
| HVecHalvingAdd* v3 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), p0, p0, DataType::Type::kInt32, 4, /*is_rounded*/ false, kNoDexPc); | |
| HVecHalvingAdd* v4 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), u1, u1, DataType::Type::kUint16, 8, /*is_rounded*/ true, kNoDexPc); | |
| HVecHalvingAdd* v5 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), u1, u1, DataType::Type::kUint16, 8, /*is_rounded*/ false, kNoDexPc); | |
| HVecHalvingAdd* v6 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), p1, p1, DataType::Type::kInt16, 8, /*is_rounded*/ true, kNoDexPc); | |
| HVecHalvingAdd* v7 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), p1, p1, DataType::Type::kInt16, 8, /*is_rounded*/ false, kNoDexPc); | |
| HVecHalvingAdd* v8 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), u2, u2, DataType::Type::kUint8, 16, /*is_rounded*/ true, kNoDexPc); | |
| HVecHalvingAdd* v9 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), u2, u2, DataType::Type::kUint8, 16, /*is_rounded*/ false, kNoDexPc); | |
| HVecHalvingAdd* v10 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), p2, p2, DataType::Type::kInt8, 16, /*is_rounded*/ true, kNoDexPc); | |
| HVecHalvingAdd* v11 = new (GetAllocator()) HVecHalvingAdd( | |
| GetAllocator(), p2, p2, DataType::Type::kInt8, 16, /*is_rounded*/ false, kNoDexPc); | |
| HVecHalvingAdd* hadd_insns[] = { v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11 }; | |
| EXPECT_FALSE(u0->CanBeMoved()); | |
| EXPECT_FALSE(u1->CanBeMoved()); | |
| EXPECT_FALSE(u2->CanBeMoved()); | |
| EXPECT_FALSE(p0->CanBeMoved()); | |
| EXPECT_FALSE(p1->CanBeMoved()); | |
| EXPECT_FALSE(p2->CanBeMoved()); | |
| for (HVecHalvingAdd* hadd_insn : hadd_insns) { | |
| EXPECT_TRUE(hadd_insn->CanBeMoved()); | |
| } | |
| EXPECT_TRUE(v0->IsRounded()); | |
| EXPECT_TRUE(!v1->IsRounded()); | |
| EXPECT_TRUE(v2->IsRounded()); | |
| EXPECT_TRUE(!v3->IsRounded()); | |
| EXPECT_TRUE(v4->IsRounded()); | |
| EXPECT_TRUE(!v5->IsRounded()); | |
| EXPECT_TRUE(v6->IsRounded()); | |
| EXPECT_TRUE(!v7->IsRounded()); | |
| EXPECT_TRUE(v8->IsRounded()); | |
| EXPECT_TRUE(!v9->IsRounded()); | |
| EXPECT_TRUE(v10->IsRounded()); | |
| EXPECT_TRUE(!v11->IsRounded()); | |
| for (HVecHalvingAdd* hadd_insn1 : hadd_insns) { | |
| for (HVecHalvingAdd* hadd_insn2 : hadd_insns) { | |
| EXPECT_EQ(hadd_insn1 == hadd_insn2, hadd_insn1->Equals(hadd_insn2)); | |
| } | |
| } | |
| } | |
| TEST_F(NodesVectorTest, VectorOperationMattersOnMultiplyAccumulate) { | |
| HVecOperation* v0 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecMultiplyAccumulate* v1 = new (GetAllocator()) HVecMultiplyAccumulate( | |
| GetAllocator(), HInstruction::kAdd, v0, v0, v0, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecMultiplyAccumulate* v2 = new (GetAllocator()) HVecMultiplyAccumulate( | |
| GetAllocator(), HInstruction::kSub, v0, v0, v0, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecMultiplyAccumulate* v3 = new (GetAllocator()) HVecMultiplyAccumulate( | |
| GetAllocator(), HInstruction::kAdd, v0, v0, v0, DataType::Type::kInt32, 2, kNoDexPc); | |
| EXPECT_FALSE(v0->CanBeMoved()); | |
| EXPECT_TRUE(v1->CanBeMoved()); | |
| EXPECT_TRUE(v2->CanBeMoved()); | |
| EXPECT_TRUE(v3->CanBeMoved()); | |
| EXPECT_EQ(HInstruction::kAdd, v1->GetOpKind()); | |
| EXPECT_EQ(HInstruction::kSub, v2->GetOpKind()); | |
| EXPECT_EQ(HInstruction::kAdd, v3->GetOpKind()); | |
| EXPECT_TRUE(v1->Equals(v1)); | |
| EXPECT_TRUE(v2->Equals(v2)); | |
| EXPECT_TRUE(v3->Equals(v3)); | |
| EXPECT_FALSE(v1->Equals(v2)); // different operators | |
| EXPECT_FALSE(v1->Equals(v3)); // different vector lengths | |
| } | |
| TEST_F(NodesVectorTest, VectorKindMattersOnReduce) { | |
| HVecOperation* v0 = new (GetAllocator()) | |
| HVecReplicateScalar(GetAllocator(), int32_parameter_, DataType::Type::kInt32, 4, kNoDexPc); | |
| HVecReduce* v1 = new (GetAllocator()) HVecReduce( | |
| GetAllocator(), v0, DataType::Type::kInt32, 4, HVecReduce::kSum, kNoDexPc); | |
| HVecReduce* v2 = new (GetAllocator()) HVecReduce( | |
| GetAllocator(), v0, DataType::Type::kInt32, 4, HVecReduce::kMin, kNoDexPc); | |
| HVecReduce* v3 = new (GetAllocator()) HVecReduce( | |
| GetAllocator(), v0, DataType::Type::kInt32, 4, HVecReduce::kMax, kNoDexPc); | |
| EXPECT_FALSE(v0->CanBeMoved()); | |
| EXPECT_TRUE(v1->CanBeMoved()); | |
| EXPECT_TRUE(v2->CanBeMoved()); | |
| EXPECT_TRUE(v3->CanBeMoved()); | |
| EXPECT_EQ(HVecReduce::kSum, v1->GetReductionKind()); | |
| EXPECT_EQ(HVecReduce::kMin, v2->GetReductionKind()); | |
| EXPECT_EQ(HVecReduce::kMax, v3->GetReductionKind()); | |
| EXPECT_TRUE(v1->Equals(v1)); | |
| EXPECT_TRUE(v2->Equals(v2)); | |
| EXPECT_TRUE(v3->Equals(v3)); | |
| EXPECT_FALSE(v1->Equals(v2)); // different kinds | |
| EXPECT_FALSE(v1->Equals(v3)); | |
| } | |
| } // namespace art |