mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-12-29 11:11:06 +00:00
11c7a9e067
Validate that debugging instructions are not present for WebGPU For WebGPU execution environments, check that all of the debug instructions have already been stripped before validation. Fixes #2063
137 lines
5.6 KiB
C
137 lines
5.6 KiB
C
// Copyright (c) 2015-2016 The Khronos Group 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.
|
|
|
|
#ifndef SOURCE_OPCODE_H_
|
|
#define SOURCE_OPCODE_H_
|
|
|
|
#include "source/instruction.h"
|
|
#include "source/latest_version_spirv_header.h"
|
|
#include "source/table.h"
|
|
#include "spirv-tools/libspirv.h"
|
|
|
|
// Returns the name of a registered SPIR-V generator as a null-terminated
|
|
// string. If the generator is not known, then returns the string "Unknown".
|
|
// The generator parameter should be most significant 16-bits of the generator
|
|
// word in the SPIR-V module header.
|
|
//
|
|
// See the registry at https://www.khronos.org/registry/spir-v/api/spir-v.xml.
|
|
const char* spvGeneratorStr(uint32_t generator);
|
|
|
|
// Combines word_count and opcode enumerant in single word.
|
|
uint32_t spvOpcodeMake(uint16_t word_count, SpvOp opcode);
|
|
|
|
// Splits word into into two constituent parts: word_count and opcode.
|
|
void spvOpcodeSplit(const uint32_t word, uint16_t* word_count,
|
|
uint16_t* opcode);
|
|
|
|
// Finds the named opcode in the given opcode table. On success, returns
|
|
// SPV_SUCCESS and writes a handle of the table entry into *entry.
|
|
spv_result_t spvOpcodeTableNameLookup(spv_target_env,
|
|
const spv_opcode_table table,
|
|
const char* name, spv_opcode_desc* entry);
|
|
|
|
// Finds the opcode by enumerant in the given opcode table. On success, returns
|
|
// SPV_SUCCESS and writes a handle of the table entry into *entry.
|
|
spv_result_t spvOpcodeTableValueLookup(spv_target_env,
|
|
const spv_opcode_table table,
|
|
const SpvOp opcode,
|
|
spv_opcode_desc* entry);
|
|
|
|
// Copies an instruction's word and fixes the endianness to host native. The
|
|
// source instruction's stream/opcode/endianness is in the words/opcode/endian
|
|
// parameter. The word_count parameter specifies the number of words to copy.
|
|
// Writes copied instruction into *inst.
|
|
void spvInstructionCopy(const uint32_t* words, const SpvOp opcode,
|
|
const uint16_t word_count,
|
|
const spv_endianness_t endian, spv_instruction_t* inst);
|
|
|
|
// Gets the name of an instruction, without the "Op" prefix.
|
|
const char* spvOpcodeString(const SpvOp opcode);
|
|
|
|
// Determine if the given opcode is a scalar type. Returns zero if false,
|
|
// non-zero otherwise.
|
|
int32_t spvOpcodeIsScalarType(const SpvOp opcode);
|
|
|
|
// Determines if the given opcode is a specialization constant. Returns zero if
|
|
// false, non-zero otherwise.
|
|
int32_t spvOpcodeIsSpecConstant(const SpvOp opcode);
|
|
|
|
// Determines if the given opcode is a constant. Returns zero if false, non-zero
|
|
// otherwise.
|
|
int32_t spvOpcodeIsConstant(const SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a constant or undef.
|
|
bool spvOpcodeIsConstantOrUndef(const SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a scalar specialization constant.
|
|
bool spvOpcodeIsScalarSpecConstant(const SpvOp opcode);
|
|
|
|
// Determines if the given opcode is a composite type. Returns zero if false,
|
|
// non-zero otherwise.
|
|
int32_t spvOpcodeIsComposite(const SpvOp opcode);
|
|
|
|
// Determines if the given opcode results in a pointer when using the logical
|
|
// addressing model. Returns zero if false, non-zero otherwise.
|
|
int32_t spvOpcodeReturnsLogicalPointer(const SpvOp opcode);
|
|
|
|
// Returns whether the given opcode could result in a pointer or a variable
|
|
// pointer when using the logical addressing model.
|
|
bool spvOpcodeReturnsLogicalVariablePointer(const SpvOp opcode);
|
|
|
|
// Determines if the given opcode generates a type. Returns zero if false,
|
|
// non-zero otherwise.
|
|
int32_t spvOpcodeGeneratesType(SpvOp opcode);
|
|
|
|
// Returns true if the opcode adds a decoration to an id.
|
|
bool spvOpcodeIsDecoration(const SpvOp opcode);
|
|
|
|
// Returns true if the opcode is a load from memory into a result id. This
|
|
// function only considers core instructions.
|
|
bool spvOpcodeIsLoad(const SpvOp opcode);
|
|
|
|
// Returns true if the opcode is an atomic operation that uses the original
|
|
// value.
|
|
bool spvOpcodeIsAtomicWithLoad(const SpvOp opcode);
|
|
|
|
// Returns true if the opcode is an atomic operation.
|
|
bool spvOpcodeIsAtomicOp(const SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a branch instruction.
|
|
bool spvOpcodeIsBranch(SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a return instruction.
|
|
bool spvOpcodeIsReturn(SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a return instruction or it aborts
|
|
// execution.
|
|
bool spvOpcodeIsReturnOrAbort(SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a basic block terminator.
|
|
bool spvOpcodeIsBlockTerminator(SpvOp opcode);
|
|
|
|
// Returns true if the given opcode always defines an opaque type.
|
|
bool spvOpcodeIsBaseOpaqueType(SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a non-uniform group operation.
|
|
bool spvOpcodeIsNonUniformGroupOperation(SpvOp opcode);
|
|
|
|
// Returns true if the opcode with vector inputs could be divided into a series
|
|
// of independent scalar operations that would give the same result.
|
|
bool spvOpcodeIsScalarizable(SpvOp opcode);
|
|
|
|
// Returns true if the given opcode is a debug instruction.
|
|
bool spvOpcodeIsDebug(SpvOp opcode);
|
|
|
|
#endif // SOURCE_OPCODE_H_
|