aboutsummaryrefslogtreecommitdiff
path: root/test/opt/instruction_test.cpp
diff options
context:
space:
mode:
authorLei Zhang <antiagainst@google.com>2016-09-22 11:05:30 -0400
committerLei Zhang <antiagainst@google.com>2016-11-07 14:41:51 -0500
commit4f57e140bf078bc27e1c5826929a3aa6fe46de93 (patch)
tree9d383701879686067e812e9795086965e4108679 /test/opt/instruction_test.cpp
parentbf190ec8393eadc4876de7306eef951956455ab1 (diff)
downloadspirv-tools-4f57e140bf078bc27e1c5826929a3aa6fe46de93.tar.gz
Renaming test files to comply with Google style guide.
Also posfixing test files with `_test' to make it more clear.
Diffstat (limited to 'test/opt/instruction_test.cpp')
-rw-r--r--test/opt/instruction_test.cpp151
1 files changed, 151 insertions, 0 deletions
diff --git a/test/opt/instruction_test.cpp b/test/opt/instruction_test.cpp
new file mode 100644
index 00000000..608229f4
--- /dev/null
+++ b/test/opt/instruction_test.cpp
@@ -0,0 +1,151 @@
+// Copyright (c) 2016 Google Inc.
+//
+// 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 "opt/instruction.h"
+
+#include "gmock/gmock.h"
+
+#include "spirv-tools/libspirv.h"
+#include "unit_spirv.h"
+
+namespace {
+
+using spvtest::MakeInstruction;
+using spvtools::ir::Instruction;
+using spvtools::ir::Operand;
+using ::testing::Eq;
+
+TEST(InstructionTest, CreateTrivial) {
+ Instruction empty;
+ EXPECT_EQ(SpvOpNop, empty.opcode());
+ EXPECT_EQ(0u, empty.type_id());
+ EXPECT_EQ(0u, empty.result_id());
+ EXPECT_EQ(0u, empty.NumOperands());
+ EXPECT_EQ(0u, empty.NumOperandWords());
+ EXPECT_EQ(0u, empty.NumInOperandWords());
+ EXPECT_EQ(empty.cend(), empty.cbegin());
+ EXPECT_EQ(empty.end(), empty.begin());
+}
+
+TEST(InstructionTest, CreateWithOpcodeAndNoOperands) {
+ Instruction inst(SpvOpReturn);
+ EXPECT_EQ(SpvOpReturn, inst.opcode());
+ EXPECT_EQ(0u, inst.type_id());
+ EXPECT_EQ(0u, inst.result_id());
+ EXPECT_EQ(0u, inst.NumOperands());
+ EXPECT_EQ(0u, inst.NumOperandWords());
+ EXPECT_EQ(0u, inst.NumInOperandWords());
+ EXPECT_EQ(inst.cend(), inst.cbegin());
+ EXPECT_EQ(inst.end(), inst.begin());
+}
+
+// The words for an OpTypeInt for 32-bit signed integer resulting in Id 44.
+uint32_t kSampleInstructionWords[] = {(4 << 16) | uint32_t(SpvOpTypeInt), 44,
+ 32, 1};
+// The operands that would be parsed from kSampleInstructionWords
+spv_parsed_operand_t kSampleParsedOperands[] = {
+ {1, 1, SPV_OPERAND_TYPE_RESULT_ID, SPV_NUMBER_NONE, 0},
+ {2, 1, SPV_OPERAND_TYPE_LITERAL_INTEGER, SPV_NUMBER_UNSIGNED_INT, 32},
+ {3, 1, SPV_OPERAND_TYPE_LITERAL_INTEGER, SPV_NUMBER_UNSIGNED_INT, 1},
+};
+
+// A valid parse of kSampleParsedOperands.
+spv_parsed_instruction_t kSampleParsedInstruction = {kSampleInstructionWords,
+ uint16_t(4),
+ uint16_t(SpvOpTypeInt),
+ SPV_EXT_INST_TYPE_NONE,
+ 0, // type id
+ 44, // result id
+ kSampleParsedOperands,
+ 3};
+TEST(InstructionTest, CreateWithOpcodeAndOperands) {
+ Instruction inst(kSampleParsedInstruction);
+ EXPECT_EQ(SpvOpTypeInt, inst.opcode());
+ EXPECT_EQ(0u, inst.type_id());
+ EXPECT_EQ(44u, inst.result_id());
+ EXPECT_EQ(3u, inst.NumOperands());
+ EXPECT_EQ(3u, inst.NumOperandWords());
+ EXPECT_EQ(2u, inst.NumInOperandWords());
+}
+
+TEST(InstructionTest, GetOperand) {
+ Instruction inst(kSampleParsedInstruction);
+ EXPECT_THAT(inst.GetOperand(0).words, Eq(std::vector<uint32_t>{44}));
+ EXPECT_THAT(inst.GetOperand(1).words, Eq(std::vector<uint32_t>{32}));
+ EXPECT_THAT(inst.GetOperand(2).words, Eq(std::vector<uint32_t>{1}));
+}
+
+TEST(InstructionTest, GetInOperand) {
+ Instruction inst(kSampleParsedInstruction);
+ EXPECT_THAT(inst.GetInOperand(0).words, Eq(std::vector<uint32_t>{32}));
+ EXPECT_THAT(inst.GetInOperand(1).words, Eq(std::vector<uint32_t>{1}));
+}
+
+TEST(InstructionTest, OperandConstIterators) {
+ Instruction inst(kSampleParsedInstruction);
+ // Spot check iteration across operands.
+ auto cbegin = inst.cbegin();
+ auto cend = inst.cend();
+ EXPECT_NE(cend, inst.cbegin());
+
+ auto citer = inst.cbegin();
+ for (int i = 0; i < 3; ++i, ++citer) {
+ const auto& operand = *citer;
+ EXPECT_THAT(operand.type, Eq(kSampleParsedOperands[i].type));
+ EXPECT_THAT(operand.words,
+ Eq(std::vector<uint32_t>{kSampleInstructionWords[i + 1]}));
+ EXPECT_NE(cend, citer);
+ }
+ EXPECT_EQ(cend, citer);
+
+ // Check that cbegin and cend have not changed.
+ EXPECT_EQ(cbegin, inst.cbegin());
+ EXPECT_EQ(cend, inst.cend());
+
+ // Check arithmetic.
+ const Operand& operand2 = *(inst.cbegin() + 2);
+ EXPECT_EQ(SPV_OPERAND_TYPE_LITERAL_INTEGER, operand2.type);
+}
+
+TEST(InstructionTest, OperandIterators) {
+ Instruction inst(kSampleParsedInstruction);
+ // Spot check iteration across operands, with mutable iterators.
+ auto begin = inst.begin();
+ auto end = inst.end();
+ EXPECT_NE(end, inst.begin());
+
+ auto iter = inst.begin();
+ for (int i = 0; i < 3; ++i, ++iter) {
+ const auto& operand = *iter;
+ EXPECT_THAT(operand.type, Eq(kSampleParsedOperands[i].type));
+ EXPECT_THAT(operand.words,
+ Eq(std::vector<uint32_t>{kSampleInstructionWords[i + 1]}));
+ EXPECT_NE(end, iter);
+ }
+ EXPECT_EQ(end, iter);
+
+ // Check that begin and end have not changed.
+ EXPECT_EQ(begin, inst.begin());
+ EXPECT_EQ(end, inst.end());
+
+ // Check arithmetic.
+ Operand& operand2 = *(inst.begin() + 2);
+ EXPECT_EQ(SPV_OPERAND_TYPE_LITERAL_INTEGER, operand2.type);
+
+ // Check mutation through an iterator.
+ operand2.type = SPV_OPERAND_TYPE_TYPE_ID;
+ EXPECT_EQ(SPV_OPERAND_TYPE_TYPE_ID, (*(inst.cbegin() + 2)).type);
+}
+
+} // anonymous namespace