| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143 |
- // Copyright (c) 2020 Vasyl Teliman
- //
- // 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/fuzz/transformation_add_parameter.h"
- #include <source/spirv_constant.h>
- #include "source/fuzz/fuzzer_util.h"
- namespace spvtools {
- namespace fuzz {
- TransformationAddParameter::TransformationAddParameter(
- const protobufs::TransformationAddParameter& message)
- : message_(message) {}
- TransformationAddParameter::TransformationAddParameter(
- uint32_t function_id, uint32_t parameter_fresh_id, uint32_t initializer_id,
- uint32_t function_type_fresh_id) {
- message_.set_function_id(function_id);
- message_.set_parameter_fresh_id(parameter_fresh_id);
- message_.set_initializer_id(initializer_id);
- message_.set_function_type_fresh_id(function_type_fresh_id);
- }
- bool TransformationAddParameter::IsApplicable(
- opt::IRContext* ir_context, const TransformationContext& /*unused*/) const {
- // Check that function exists
- const auto* function =
- fuzzerutil::FindFunction(ir_context, message_.function_id());
- if (!function ||
- fuzzerutil::FunctionIsEntryPoint(ir_context, function->result_id())) {
- return false;
- }
- // Check that |initializer_id| is valid.
- const auto* initializer_inst =
- ir_context->get_def_use_mgr()->GetDef(message_.initializer_id());
- if (!initializer_inst) {
- return false;
- }
- // Check that initializer's type is valid.
- const auto* initializer_type =
- ir_context->get_type_mgr()->GetType(initializer_inst->type_id());
- if (!initializer_type || initializer_type->AsVoid()) {
- return false;
- }
- return fuzzerutil::IsFreshId(ir_context, message_.parameter_fresh_id()) &&
- fuzzerutil::IsFreshId(ir_context, message_.function_type_fresh_id()) &&
- message_.parameter_fresh_id() != message_.function_type_fresh_id();
- }
- void TransformationAddParameter::Apply(
- opt::IRContext* ir_context, TransformationContext* /*unused*/) const {
- // Find the function that will be transformed
- auto* function = fuzzerutil::FindFunction(ir_context, message_.function_id());
- assert(function && "Can't find the function");
- auto parameter_type_id =
- fuzzerutil::GetTypeId(ir_context, message_.initializer_id());
- assert(parameter_type_id != 0 && "Initializer has invalid type");
- // Add new parameters to the function.
- function->AddParameter(MakeUnique<opt::Instruction>(
- ir_context, SpvOpFunctionParameter, parameter_type_id,
- message_.parameter_fresh_id(), opt::Instruction::OperandList()));
- fuzzerutil::UpdateModuleIdBound(ir_context, message_.parameter_fresh_id());
- // TODO(https://github.com/KhronosGroup/SPIRV-Tools/issues/3403):
- // Add an PointeeValueIsIrrelevant fact if the parameter is a pointer.
- // Fix all OpFunctionCall instructions.
- ir_context->get_def_use_mgr()->ForEachUser(
- &function->DefInst(), [this](opt::Instruction* call) {
- if (call->opcode() != SpvOpFunctionCall ||
- call->GetSingleWordInOperand(0) != message_.function_id()) {
- return;
- }
- // TODO(https://github.com/KhronosGroup/SPIRV-Tools/issues/3177):
- // it would be good to mark this usage of |id| as irrelevant, so that
- // we can perform some interesting transformations on it later.
- call->AddOperand({SPV_OPERAND_TYPE_ID, {message_.initializer_id()}});
- });
- auto* old_function_type = fuzzerutil::GetFunctionType(ir_context, function);
- assert(old_function_type && "Function must have a valid type");
- if (ir_context->get_def_use_mgr()->NumUsers(old_function_type) == 1) {
- // Adjust existing function type if it is used only by this function.
- old_function_type->AddOperand({SPV_OPERAND_TYPE_ID, {parameter_type_id}});
- // We must make sure that all dependencies of |old_function_type| are
- // evaluated before |old_function_type| (i.e. the domination rules are not
- // broken). Thus, we move |old_function_type| to the end of the list of all
- // types in the module.
- old_function_type->RemoveFromList();
- ir_context->AddType(std::unique_ptr<opt::Instruction>(old_function_type));
- } else {
- // Otherwise, either create a new type or use an existing one.
- std::vector<uint32_t> type_ids;
- type_ids.reserve(old_function_type->NumInOperands() + 1);
- for (uint32_t i = 0, n = old_function_type->NumInOperands(); i < n; ++i) {
- type_ids.push_back(old_function_type->GetSingleWordInOperand(i));
- }
- type_ids.push_back(parameter_type_id);
- function->DefInst().SetInOperand(
- 1, {fuzzerutil::FindOrCreateFunctionType(
- ir_context, message_.function_type_fresh_id(), type_ids)});
- }
- // Make sure our changes are analyzed.
- ir_context->InvalidateAnalysesExceptFor(
- opt::IRContext::Analysis::kAnalysisNone);
- }
- protobufs::Transformation TransformationAddParameter::ToMessage() const {
- protobufs::Transformation result;
- *result.mutable_add_parameter() = message_;
- return result;
- }
- } // namespace fuzz
- } // namespace spvtools
|