chromium/third_party/spirv-tools/src/source/val/validate_function.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 <algorithm>

#include "source/enum_string_mapping.h"
#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 {

// Returns true if |a| and |b| are instructions defining pointers that point to
// types logically match and the decorations that apply to |b| are a subset
// of the decorations that apply to |a|.
bool DoPointeesLogicallyMatch(val::Instruction* a, val::Instruction* b,
                              ValidationState_t& _) { … }

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

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

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

}  // namespace

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

}  // namespace val
}  // namespace spvtools