chromium/third_party/spirv-tools/src/source/val/validate_constants.cpp

// Copyright (c) 2018 Google LLC.
//
// 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.

#include "source/opcode.h"
#include "source/val/instruction.h"
#include "source/val/validate.h"
#include "source/val/validation_state.h"

namespace spvtools {
namespace val {
namespace {

spv_result_t ValidateConstantBool(ValidationState_t& _,
                                  const Instruction* inst) { … }

spv_result_t ValidateConstantComposite(ValidationState_t& _,
                                       const Instruction* inst) { … }

spv_result_t ValidateConstantSampler(ValidationState_t& _,
                                     const Instruction* inst) { … }

// True if instruction defines a type that can have a null value, as defined by
// the SPIR-V spec.  Tracks composite-type components through module to check
// nullability transitively.
bool IsTypeNullable(const std::vector<uint32_t>& instruction,
                    const ValidationState_t& _) { … }

spv_result_t ValidateConstantNull(ValidationState_t& _,
                                  const Instruction* inst) { … }

// Validates that OpSpecConstant specializes to either int or float type.
spv_result_t ValidateSpecConstant(ValidationState_t& _,
                                  const Instruction* inst) { … }

spv_result_t ValidateSpecConstantOp(ValidationState_t& _,
                                    const Instruction* inst) { … }

}  // namespace

spv_result_t ConstantPass(ValidationState_t& _, const Instruction* inst) { … }

}  // namespace val
}  // namespace spvtools