123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266 |
- // Copyright (c) 2017 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.
- // Validates correctness of logical SPIR-V instructions.
- #include "source/val/validate.h"
- #include "source/diagnostic.h"
- #include "source/opcode.h"
- #include "source/val/instruction.h"
- #include "source/val/validation_state.h"
- namespace spvtools {
- namespace val {
- // Validates correctness of logical instructions.
- spv_result_t LogicalsPass(ValidationState_t& _, const Instruction* inst) {
- const SpvOp opcode = inst->opcode();
- const uint32_t result_type = inst->type_id();
- switch (opcode) {
- case SpvOpAny:
- case SpvOpAll: {
- if (!_.IsBoolScalarType(result_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar type as Result Type: "
- << spvOpcodeString(opcode);
- const uint32_t vector_type = _.GetOperandTypeId(inst, 2);
- if (!vector_type || !_.IsBoolVectorType(vector_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected operand to be vector bool: "
- << spvOpcodeString(opcode);
- break;
- }
- case SpvOpIsNan:
- case SpvOpIsInf:
- case SpvOpIsFinite:
- case SpvOpIsNormal:
- case SpvOpSignBitSet: {
- if (!_.IsBoolScalarType(result_type) && !_.IsBoolVectorType(result_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar or vector type as Result Type: "
- << spvOpcodeString(opcode);
- const uint32_t operand_type = _.GetOperandTypeId(inst, 2);
- if (!operand_type || (!_.IsFloatScalarType(operand_type) &&
- !_.IsFloatVectorType(operand_type)))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected operand to be scalar or vector float: "
- << spvOpcodeString(opcode);
- if (_.GetDimension(result_type) != _.GetDimension(operand_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected vector sizes of Result Type and the operand to be "
- "equal: "
- << spvOpcodeString(opcode);
- break;
- }
- case SpvOpFOrdEqual:
- case SpvOpFUnordEqual:
- case SpvOpFOrdNotEqual:
- case SpvOpFUnordNotEqual:
- case SpvOpFOrdLessThan:
- case SpvOpFUnordLessThan:
- case SpvOpFOrdGreaterThan:
- case SpvOpFUnordGreaterThan:
- case SpvOpFOrdLessThanEqual:
- case SpvOpFUnordLessThanEqual:
- case SpvOpFOrdGreaterThanEqual:
- case SpvOpFUnordGreaterThanEqual:
- case SpvOpLessOrGreater:
- case SpvOpOrdered:
- case SpvOpUnordered: {
- if (!_.IsBoolScalarType(result_type) && !_.IsBoolVectorType(result_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar or vector type as Result Type: "
- << spvOpcodeString(opcode);
- const uint32_t left_operand_type = _.GetOperandTypeId(inst, 2);
- if (!left_operand_type || (!_.IsFloatScalarType(left_operand_type) &&
- !_.IsFloatVectorType(left_operand_type)))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected operands to be scalar or vector float: "
- << spvOpcodeString(opcode);
- if (_.GetDimension(result_type) != _.GetDimension(left_operand_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected vector sizes of Result Type and the operands to be "
- "equal: "
- << spvOpcodeString(opcode);
- if (left_operand_type != _.GetOperandTypeId(inst, 3))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected left and right operands to have the same type: "
- << spvOpcodeString(opcode);
- break;
- }
- case SpvOpLogicalEqual:
- case SpvOpLogicalNotEqual:
- case SpvOpLogicalOr:
- case SpvOpLogicalAnd: {
- if (!_.IsBoolScalarType(result_type) && !_.IsBoolVectorType(result_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar or vector type as Result Type: "
- << spvOpcodeString(opcode);
- if (result_type != _.GetOperandTypeId(inst, 2) ||
- result_type != _.GetOperandTypeId(inst, 3))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected both operands to be of Result Type: "
- << spvOpcodeString(opcode);
- break;
- }
- case SpvOpLogicalNot: {
- if (!_.IsBoolScalarType(result_type) && !_.IsBoolVectorType(result_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar or vector type as Result Type: "
- << spvOpcodeString(opcode);
- if (result_type != _.GetOperandTypeId(inst, 2))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected operand to be of Result Type: "
- << spvOpcodeString(opcode);
- break;
- }
- case SpvOpSelect: {
- uint32_t dimension = 1;
- {
- const Instruction* type_inst = _.FindDef(result_type);
- assert(type_inst);
- const SpvOp type_opcode = type_inst->opcode();
- switch (type_opcode) {
- case SpvOpTypePointer: {
- if (_.addressing_model() == SpvAddressingModelLogical &&
- !_.features().variable_pointers &&
- !_.features().variable_pointers_storage_buffer)
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Using pointers with OpSelect requires capability "
- << "VariablePointers or VariablePointersStorageBuffer";
- break;
- }
- case SpvOpTypeVector: {
- dimension = type_inst->word(3);
- break;
- }
- case SpvOpTypeBool:
- case SpvOpTypeInt:
- case SpvOpTypeFloat: {
- break;
- }
- default: {
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected scalar or vector type as Result Type: "
- << spvOpcodeString(opcode);
- }
- }
- }
- const uint32_t condition_type = _.GetOperandTypeId(inst, 2);
- const uint32_t left_type = _.GetOperandTypeId(inst, 3);
- const uint32_t right_type = _.GetOperandTypeId(inst, 4);
- if (!condition_type || (!_.IsBoolScalarType(condition_type) &&
- !_.IsBoolVectorType(condition_type)))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar or vector type as condition: "
- << spvOpcodeString(opcode);
- if (_.GetDimension(condition_type) != dimension)
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected vector sizes of Result Type and the condition to be"
- << " equal: " << spvOpcodeString(opcode);
- if (result_type != left_type || result_type != right_type)
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected both objects to be of Result Type: "
- << spvOpcodeString(opcode);
- break;
- }
- case SpvOpIEqual:
- case SpvOpINotEqual:
- case SpvOpUGreaterThan:
- case SpvOpUGreaterThanEqual:
- case SpvOpULessThan:
- case SpvOpULessThanEqual:
- case SpvOpSGreaterThan:
- case SpvOpSGreaterThanEqual:
- case SpvOpSLessThan:
- case SpvOpSLessThanEqual: {
- if (!_.IsBoolScalarType(result_type) && !_.IsBoolVectorType(result_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected bool scalar or vector type as Result Type: "
- << spvOpcodeString(opcode);
- const uint32_t left_type = _.GetOperandTypeId(inst, 2);
- const uint32_t right_type = _.GetOperandTypeId(inst, 3);
- if (!left_type ||
- (!_.IsIntScalarType(left_type) && !_.IsIntVectorType(left_type)))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected operands to be scalar or vector int: "
- << spvOpcodeString(opcode);
- if (_.GetDimension(result_type) != _.GetDimension(left_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected vector sizes of Result Type and the operands to be"
- << " equal: " << spvOpcodeString(opcode);
- if (!right_type ||
- (!_.IsIntScalarType(right_type) && !_.IsIntVectorType(right_type)))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected operands to be scalar or vector int: "
- << spvOpcodeString(opcode);
- if (_.GetDimension(result_type) != _.GetDimension(right_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected vector sizes of Result Type and the operands to be"
- << " equal: " << spvOpcodeString(opcode);
- if (_.GetBitWidth(left_type) != _.GetBitWidth(right_type))
- return _.diag(SPV_ERROR_INVALID_DATA, inst)
- << "Expected both operands to have the same component bit "
- "width: "
- << spvOpcodeString(opcode);
- break;
- }
- default:
- break;
- }
- return SPV_SUCCESS;
- }
- } // namespace val
- } // namespace spvtools
|