| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110 |
- // 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/fuzzer_pass_add_parameters.h"
- #include "source/fuzz/fuzzer_context.h"
- #include "source/fuzz/fuzzer_util.h"
- #include "source/fuzz/instruction_descriptor.h"
- #include "source/fuzz/transformation_add_parameter.h"
- namespace spvtools {
- namespace fuzz {
- FuzzerPassAddParameters::FuzzerPassAddParameters(
- opt::IRContext* ir_context, TransformationContext* transformation_context,
- FuzzerContext* fuzzer_context,
- protobufs::TransformationSequence* transformations)
- : FuzzerPass(ir_context, transformation_context, fuzzer_context,
- transformations) {}
- FuzzerPassAddParameters::~FuzzerPassAddParameters() = default;
- void FuzzerPassAddParameters::Apply() {
- const auto& type_candidates = ComputeTypeCandidates();
- if (type_candidates.empty()) {
- // The module contains no suitable types to use in new parameters.
- return;
- }
- // Iterate over all functions in the module.
- for (const auto& function : *GetIRContext()->module()) {
- // Skip all entry-point functions - we don't want to change those.
- if (fuzzerutil::FunctionIsEntryPoint(GetIRContext(),
- function.result_id())) {
- continue;
- }
- if (GetNumberOfParameters(function) >=
- GetFuzzerContext()->GetMaximumNumberOfFunctionParameters()) {
- continue;
- }
- if (!GetFuzzerContext()->ChoosePercentage(
- GetFuzzerContext()->GetChanceOfAddingParameters())) {
- continue;
- }
- auto num_new_parameters =
- GetFuzzerContext()->GetRandomNumberOfNewParameters(
- GetNumberOfParameters(function));
- for (uint32_t i = 0; i < num_new_parameters; ++i) {
- ApplyTransformation(TransformationAddParameter(
- function.result_id(), GetFuzzerContext()->GetFreshId(),
- FindOrCreateZeroConstant(
- type_candidates[GetFuzzerContext()->RandomIndex(
- type_candidates)]),
- GetFuzzerContext()->GetFreshId()));
- }
- }
- }
- std::vector<uint32_t> FuzzerPassAddParameters::ComputeTypeCandidates() const {
- std::vector<uint32_t> result;
- for (const auto* type_inst : GetIRContext()->module()->GetTypes()) {
- // TODO(https://github.com/KhronosGroup/SPIRV-Tools/issues/3403):
- // the number of types we support here is limited by the number of types
- // supported by |FindOrCreateZeroConstant|.
- switch (type_inst->opcode()) {
- case SpvOpTypeBool:
- case SpvOpTypeInt:
- case SpvOpTypeFloat:
- case SpvOpTypeArray:
- case SpvOpTypeMatrix:
- case SpvOpTypeVector:
- case SpvOpTypeStruct: {
- result.push_back(type_inst->result_id());
- } break;
- default:
- // Ignore other types.
- break;
- }
- }
- return result;
- }
- uint32_t FuzzerPassAddParameters::GetNumberOfParameters(
- const opt::Function& function) const {
- const auto* type = GetIRContext()->get_type_mgr()->GetType(
- function.DefInst().GetSingleWordInOperand(1));
- assert(type && type->AsFunction());
- return static_cast<uint32_t>(type->AsFunction()->param_types().size());
- }
- } // namespace fuzz
- } // namespace spvtools
|