Coverage Report

Created: 2026-01-17 07:12

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/shaderc/third_party/spirv-tools/source/val/instruction.h
Line
Count
Source
1
// Copyright (c) 2015-2016 The Khronos Group Inc.
2
//
3
// Licensed under the Apache License, Version 2.0 (the "License");
4
// you may not use this file except in compliance with the License.
5
// You may obtain a copy of the License at
6
//
7
//     http://www.apache.org/licenses/LICENSE-2.0
8
//
9
// Unless required by applicable law or agreed to in writing, software
10
// distributed under the License is distributed on an "AS IS" BASIS,
11
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12
// See the License for the specific language governing permissions and
13
// limitations under the License.
14
15
#ifndef SOURCE_VAL_INSTRUCTION_H_
16
#define SOURCE_VAL_INSTRUCTION_H_
17
18
#include <cassert>
19
#include <cstdint>
20
#include <functional>
21
#include <utility>
22
#include <vector>
23
24
#include "source/ext_inst.h"
25
#include "source/opcode.h"
26
#include "source/table.h"
27
#include "source/table2.h"
28
#include "spirv-tools/libspirv.h"
29
30
namespace spvtools {
31
namespace val {
32
33
class BasicBlock;
34
class Function;
35
36
/// Wraps the spv_parsed_instruction struct along with use and definition of the
37
/// instruction's result id
38
class Instruction {
39
 public:
40
  explicit Instruction(const spv_parsed_instruction_t* inst);
41
42
  /// Registers the use of the Instruction in instruction \p inst at \p index
43
  void RegisterUse(const Instruction* inst, uint32_t index);
44
45
196k
  uint32_t id() const { return inst_.result_id; }
46
637k
  uint32_t type_id() const { return inst_.type_id; }
47
3.72M
  spv::Op opcode() const { return static_cast<spv::Op>(inst_.opcode); }
48
49
  /// Returns the Function where the instruction was defined. nullptr if it was
50
  /// defined outside of a Function
51
99.9k
  const Function* function() const { return function_; }
52
25.4k
  void set_function(Function* func) { function_ = func; }
53
54
  /// Returns the BasicBlock where the instruction was defined. nullptr if it
55
  /// was defined outside of a BasicBlock
56
54.4k
  const BasicBlock* block() const { return block_; }
57
25.4k
  void set_block(BasicBlock* b) { block_ = b; }
58
59
  /// Returns a vector of pairs of all references to this instruction's result
60
  /// id. The first element is the instruction in which this result id was
61
  /// referenced and the second is the index of the word in that instruction
62
  /// where this result id appeared
63
20.1k
  const std::vector<std::pair<const Instruction*, uint32_t>>& uses() const {
64
20.1k
    return uses_;
65
20.1k
  }
66
67
  /// The word used to define the Instruction
68
528k
  uint32_t word(size_t index) const { return words_[index]; }
69
70
  /// The words used to define the Instruction
71
137k
  const std::vector<uint32_t>& words() const { return words_; }
72
73
  /// Returns the operand at |idx|.
74
495k
  const spv_parsed_operand_t& operand(size_t idx) const {
75
495k
    return operands_[idx];
76
495k
  }
77
78
  /// The operands of the Instruction
79
755k
  const std::vector<spv_parsed_operand_t>& operands() const {
80
755k
    return operands_;
81
755k
  }
82
83
  /// Provides direct access to the stored C instruction object.
84
350
  const spv_parsed_instruction_t& c_inst() const { return inst_; }
85
86
  /// Provides direct access to instructions spv_ext_inst_type_t object.
87
1.03k
  spv_ext_inst_type_t ext_inst_type() const { return inst_.ext_inst_type; }
88
89
39.9k
  bool IsNonSemantic() const {
90
39.9k
    return spvIsExtendedInstruction(opcode()) &&
91
412
           spvExtInstIsNonSemantic(inst_.ext_inst_type);
92
39.9k
  }
93
94
  /// True if this is an OpExtInst for debug info extension.
95
5.08k
  bool IsDebugInfo() const {
96
5.08k
    return spvIsExtendedInstruction(opcode()) &&
97
206
           spvExtInstIsDebugInfo(inst_.ext_inst_type);
98
5.08k
  }
99
100
  // Casts the words belonging to the operand under |index| to |T| and returns.
101
  template <typename T>
102
239k
  T GetOperandAs(size_t index) const {
103
239k
    const spv_parsed_operand_t& o = operands_.at(index);
104
239k
    assert(o.num_words * 4 >= sizeof(T));
105
239k
    assert(o.offset + o.num_words <= inst_.num_words);
106
239k
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
239k
  }
unsigned int spvtools::val::Instruction::GetOperandAs<unsigned int>(unsigned long) const
Line
Count
Source
102
183k
  T GetOperandAs(size_t index) const {
103
183k
    const spv_parsed_operand_t& o = operands_.at(index);
104
183k
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
183k
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
183k
  }
spv::ExecutionModel spvtools::val::Instruction::GetOperandAs<spv::ExecutionModel>(unsigned long) const
Line
Count
Source
102
576
  T GetOperandAs(size_t index) const {
103
576
    const spv_parsed_operand_t& o = operands_.at(index);
104
576
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
576
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
576
  }
spv::StorageClass spvtools::val::Instruction::GetOperandAs<spv::StorageClass>(unsigned long) const
Line
Count
Source
102
44.9k
  T GetOperandAs(size_t index) const {
103
44.9k
    const spv_parsed_operand_t& o = operands_.at(index);
104
44.9k
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
44.9k
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
44.9k
  }
spv::Decoration spvtools::val::Instruction::GetOperandAs<spv::Decoration>(unsigned long) const
Line
Count
Source
102
5.21k
  T GetOperandAs(size_t index) const {
103
5.21k
    const spv_parsed_operand_t& o = operands_.at(index);
104
5.21k
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
5.21k
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
5.21k
  }
Unexecuted instantiation: spv::FPFastMathModeMask spvtools::val::Instruction::GetOperandAs<spv::FPFastMathModeMask>(unsigned long) const
spv::BuiltIn spvtools::val::Instruction::GetOperandAs<spv::BuiltIn>(unsigned long) const
Line
Count
Source
102
56
  T GetOperandAs(size_t index) const {
103
56
    const spv_parsed_operand_t& o = operands_.at(index);
104
56
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
56
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
56
  }
unsigned int const spvtools::val::Instruction::GetOperandAs<unsigned int const>(unsigned long) const
Line
Count
Source
102
2.56k
  T GetOperandAs(size_t index) const {
103
2.56k
    const spv_parsed_operand_t& o = operands_.at(index);
104
2.56k
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
2.56k
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
2.56k
  }
spv::LoopControlShift spvtools::val::Instruction::GetOperandAs<spv::LoopControlShift>(unsigned long) const
Line
Count
Source
102
94
  T GetOperandAs(size_t index) const {
103
94
    const spv_parsed_operand_t& o = operands_.at(index);
104
94
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
94
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
94
  }
Unexecuted instantiation: spv::Op spvtools::val::Instruction::GetOperandAs<spv::Op>(unsigned long) const
Unexecuted instantiation: NonSemanticClspvReflectionInstructions spvtools::val::Instruction::GetOperandAs<NonSemanticClspvReflectionInstructions>(unsigned long) const
int spvtools::val::Instruction::GetOperandAs<int>(unsigned long) const
Line
Count
Source
102
878
  T GetOperandAs(size_t index) const {
103
878
    const spv_parsed_operand_t& o = operands_.at(index);
104
878
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
878
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
878
  }
Unexecuted instantiation: spv::FPEncoding spvtools::val::Instruction::GetOperandAs<spv::FPEncoding>(unsigned long) const
spv::Capability spvtools::val::Instruction::GetOperandAs<spv::Capability>(unsigned long) const
Line
Count
Source
102
1.05k
  T GetOperandAs(size_t index) const {
103
1.05k
    const spv_parsed_operand_t& o = operands_.at(index);
104
1.05k
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
1.05k
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
1.05k
  }
spv::AddressingModel spvtools::val::Instruction::GetOperandAs<spv::AddressingModel>(unsigned long) const
Line
Count
Source
102
180
  T GetOperandAs(size_t index) const {
103
180
    const spv_parsed_operand_t& o = operands_.at(index);
104
180
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
180
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
180
  }
spv::MemoryModel spvtools::val::Instruction::GetOperandAs<spv::MemoryModel>(unsigned long) const
Line
Count
Source
102
180
  T GetOperandAs(size_t index) const {
103
180
    const spv_parsed_operand_t& o = operands_.at(index);
104
180
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
180
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
180
  }
Unexecuted instantiation: spv::ExecutionMode spvtools::val::Instruction::GetOperandAs<spv::ExecutionMode>(unsigned long) const
spv::FunctionControlMask spvtools::val::Instruction::GetOperandAs<spv::FunctionControlMask>(unsigned long) const
Line
Count
Source
102
314
  T GetOperandAs(size_t index) const {
103
314
    const spv_parsed_operand_t& o = operands_.at(index);
104
314
    assert(o.num_words * 4 >= sizeof(T));
105
    assert(o.offset + o.num_words <= inst_.num_words);
106
314
    return *reinterpret_cast<const T*>(&words_[o.offset]);
107
314
  }
Unexecuted instantiation: spv::TensorAddressingOperandsMask spvtools::val::Instruction::GetOperandAs<spv::TensorAddressingOperandsMask>(unsigned long) const
Unexecuted instantiation: spv::GroupOperation spvtools::val::Instruction::GetOperandAs<spv::GroupOperation>(unsigned long) const
108
109
264
  size_t LineNum() const { return line_num_; }
110
48.5k
  void SetLineNum(size_t pos) { line_num_ = pos; }
111
112
 private:
113
  const std::vector<uint32_t> words_;
114
  const std::vector<spv_parsed_operand_t> operands_;
115
  const spv_parsed_instruction_t inst_;
116
  size_t line_num_ = 0;
117
118
  /// The function in which this instruction was declared
119
  Function* function_ = nullptr;
120
121
  /// The basic block in which this instruction was declared
122
  BasicBlock* block_ = nullptr;
123
124
  /// This is a vector of pairs of all references to this instruction's result
125
  /// id. The first element is the instruction in which this result id was
126
  /// referenced and the second is the index of the word in the referencing
127
  /// instruction where this instruction appeared
128
  std::vector<std::pair<const Instruction*, uint32_t>> uses_;
129
};
130
131
bool operator<(const Instruction& lhs, const Instruction& rhs);
132
bool operator<(const Instruction& lhs, uint32_t rhs);
133
bool operator==(const Instruction& lhs, const Instruction& rhs);
134
bool operator==(const Instruction& lhs, uint32_t rhs);
135
136
template <>
137
std::string Instruction::GetOperandAs<std::string>(size_t index) const;
138
139
}  // namespace val
140
}  // namespace spvtools
141
142
// custom specialization of std::hash for Instruction
143
namespace std {
144
template <>
145
struct hash<spvtools::val::Instruction> {
146
  typedef spvtools::val::Instruction argument_type;
147
  typedef std::size_t result_type;
148
0
  result_type operator()(const argument_type& inst) const {
149
0
    return hash<uint32_t>()(inst.id());
150
0
  }
151
};
152
153
}  // namespace std
154
155
#endif  // SOURCE_VAL_INSTRUCTION_H_