| 82 | } |
| 83 | |
| 84 | spv_result_t ValidateAssumeTrue(ValidationState_t& _, const Instruction* inst) { |
| 85 | const auto operand_type_id = _.GetOperandTypeId(inst, 0); |
| 86 | if (!operand_type_id || !_.IsBoolScalarType(operand_type_id)) { |
| 87 | return _.diag(SPV_ERROR_INVALID_ID, inst) |
| 88 | << "Value operand of OpAssumeTrueKHR must be a boolean scalar"; |
| 89 | } |
| 90 | return SPV_SUCCESS; |
| 91 | } |
| 92 | |
| 93 | spv_result_t ValidateExpect(ValidationState_t& _, const Instruction* inst) { |
| 94 | const auto result_type = inst->type_id(); |
no test coverage detected