| // 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 auto composites = _.features().select_between_composites; |
| auto fail = [&_, composites, inst, opcode]() -> spv_result_t { |
| return _.diag(SPV_ERROR_INVALID_DATA, inst) |
| << "Expected scalar or " |
| << (composites ? "composite" : "vector") |
| << " type as Result Type: " << spvOpcodeString(opcode); |
| }; |
| |
| 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; |
| } |
| |
| // Not RuntimeArray because of other rules. |
| case SpvOpTypeArray: |
| case SpvOpTypeMatrix: |
| case SpvOpTypeStruct: { |
| if (!composites) return fail(); |
| break; |
| }; |
| |
| default: |
| return fail(); |
| } |
| |
| 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) { |
| // If the condition is a vector type, then the result must also be a |
| // vector with matching dimensions. In SPIR-V 1.4, a scalar condition |
| // can be used to select between vector types. |composites| is a |
| // proxy for SPIR-V 1.4 functionality. |
| if (!composites || _.IsBoolVectorType(condition_type)) { |
| 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 |
