| 270 | } |
| 271 | |
| 272 | spv_result_t ValidateIsValidReserveId(ValidationState_t& _, |
| 273 | const Instruction* inst) { |
| 274 | if (!_.IsBoolScalarType(inst->type_id())) { |
| 275 | return _.diag(SPV_ERROR_INVALID_DATA, inst) |
| 276 | << "Result Type must be a bool scalar"; |
| 277 | } |
| 278 | |
| 279 | const Instruction* reserve_id = _.FindDef(_.GetOperandTypeId(inst, 2)); |
| 280 | if (reserve_id->opcode() != spv::Op::OpTypeReserveId) { |
| 281 | return _.diag(SPV_ERROR_INVALID_DATA, inst) |
| 282 | << "Reserve Id type must be OpTypeReserveId."; |
| 283 | } |
| 284 | |
| 285 | return SPV_SUCCESS; |
| 286 | } |
| 287 | |
| 288 | spv_result_t ValidateCreatePipeFromPipeStorage(ValidationState_t& _, |
| 289 | const Instruction* inst) { |
no test coverage detected