compiler/optimizing/nodes_vector_test.cc - LeafOS-Project/android_art - Gitiles

 /*
  * 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_ = new (GetAllocator()) HParameterValue(graph_->GetDexFile(),
                                                            dex::TypeIndex(1),
                                                            0,
                                                            DataType::Type::kInt8);
     entry_block_->AddInstruction(int8_parameter_);
     int16_parameter_ = new (GetAllocator()) HParameterValue(graph_->GetDexFile(),
                                                             dex::TypeIndex(2),
                                                             0,
                                                             DataType::Type::kInt16);
     entry_block_->AddInstruction(int16_parameter_);
     int32_parameter_ = new (GetAllocator()) HParameterValue(graph_->GetDexFile(),
                                                             dex::TypeIndex(0),
                                                             0,
                                                             DataType::Type::kInt32);
     entry_block_->AddInstruction(int32_parameter_);
   }

   // 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
	/*
	* 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_ = new (GetAllocator()) HParameterValue(graph_->GetDexFile(),
	dex::TypeIndex(1),
	0,
	DataType::Type::kInt8);
	entry_block_->AddInstruction(int8_parameter_);
	int16_parameter_ = new (GetAllocator()) HParameterValue(graph_->GetDexFile(),
	dex::TypeIndex(2),
	0,
	DataType::Type::kInt16);
	entry_block_->AddInstruction(int16_parameter_);
	int32_parameter_ = new (GetAllocator()) HParameterValue(graph_->GetDexFile(),
	dex::TypeIndex(0),
	0,
	DataType::Type::kInt32);
	entry_block_->AddInstruction(int32_parameter_);
	}

	// 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